Норенков И.П. - Автоматизированное производство (1054022), страница 68
Текст из файла (страница 68)
Аналогично тип aggregate обобщает агрегативные типы данных— array, bag, list, set. Например:function add (a,b: generic: intype): generic: intype;localnr: number;vr: vector;end_local;if (‘number’ in typeof (a)) and (‘number’ in typeof (b))then nr := a+b;(* функция typeof (a) возвращает тип аргумента а и, если этот тип есть number, то первый операндлогического выражения равен true *)return (nr);elseif (‘this schema.vector’ in typeof (a)) and (‘this schema.vector’ in typeof (b)) thenvr.i := a.i + b.i;vr.j := a.j + b.j;vr.k := a.k + b.k;(* подразумевается, что декларация типа vector была произведена в схеме с именем this schema *)return (vr);end_if;end_if;end_function;&.+.)$(*),$" . !"#$%!#&'&($"!))$*+($*,#&($"!)&*1775@!"! 6%*#$A&,&+($*,#&($"!)&P !"#$%!#&'&($"!))KH :&:#*%В языке Express-G специальные символы для изображения правил, процедур и функций не оговорены.'40,-:0-1. Способ описания констант очевиден из следующего примера:constantyear: integer:= 1995;start: date := date(12,16,1982);(*подразумевается, что при описании типа date указаны три атрибута месяц, число, год*)end_constant;(?:+/4,9>?+ ,6./.
Для установления интерфейса между двумя схемами вводятся спецификации интерфейса.Применяют два типа спецификаций — use и reference. Например:schema s1;entity par1;name: string;end_entity;end_schema;schema s2; (* в схеме s2 в качестве параметра х используется name из s1.par1 *)use from s1.par1 ( name as x);end_schema;Ссылки типа use отличаются тем, что декларации сущностей из другой схемы используются в данной схеме каксвои локальные, в то время как reference просто позволяет обращаться к декларациям другой сущности.В языке Express-G используются диаграммы двух уровней.
На схемном уровне (schema level) изображаются схемыи их взаимосвязи в виде линий. На cущностном уровне (entity level) изображаются типы, сущности, атрибуты, а для ссылок на объекты другой схемы применяются специальные символы.Эти символы представляют овальными фигурами. В овале записывают имя схемы-источника и имя используемогоопределения. В нашем примере это ссылка на S1.par1. Овал помещается внутрь прямоугольника, в котором дополнительно указывается имя атрибута (в примере это name).Для указания межстраничной связи, что требуется, если Express-G модель размещается более чем на одной странице, используется овальный символ, внутри которого указываются через запятую номер страницы и номер ссылки."8+/.8 /45.D+ 0: >?17.
Express. Пример “person_organization_schema” взят из 41-го тома “Интегрированные ресурсы” стандарта STEP (ISO 10303.41).schema person_organization_schema;entity address;internal_location : optional label;street_number : optional label;street : optional label;postal_box : optional label;town : optional label;region : optional label;postal_code : optional label;country : optional label;facsimile_number : optional label;telephone_number : optional label;electronic_mail_address : optional label;telex_number : optional label;wherewr1 : exists(internal_location) or exists(street_number) or exists(street) or exists(postal_box) orexists(town) or exists(region) or exists(postal_code) or exists(country) or exists(facsimile_number)or exists(telephone_number) or exists(electronic_mail_address) or exists(telex_number);end_entity;entity personal_addresssubtype of (address);people : set[7:?] of person;description : text;end_entity;entity person;id : identifier;&.+.)$(*),$" . !"#$%!#&'&($"!))$*+($*,#&($"!)&*1785@!"! 6%*#$A&,&+($*,#&($"!)&P !"#$%!#&'&($"!))KH :&:#*%last_name : optional label;first_name : optional label;middle_names : optional list[7:?] of label;prefix_titles : optional list[[7:?] of label;suffix_titles : optional list[[7:?] of label;uniqueur1 : id;wherewr1 : exists(last_name) or exists(first_name);end_entity;end_schema;*-8<7-<8: 4B/.004@4 H:2D: 9 ,-:05:8-.
STEP (ISO)0303-2)). Внутри стандарта STEP введен обменный файл, но технология обмена данными между различными системами более полно разработана в стандарте P-LIB.Обменный файл в STEP состоит из головной и информационной секций. В головной секции (между служебными словами HEADER и ENDSEC) указываются:Entity file_name — имя и некоторые другие атрибуты данного конкретного обменного файла;Entity file_description — неформальное описание содержимого файла и требования к ПО для обработки данного файла;Entity file_schema — схемы, для которых далее даны экземпляры сущностей;keyword (список типов).В информационной секции ( между словами DATA и ENDSEC) указываются имена экземпляров сущностей и значения их атрибутов в виде следующих строк:# имя сущности = keyword (список параметров);Например:#7 = POINT(0.0,0.2,0.5);(* экземпляр сущности типа POINT с именем 1 имеет значения параметров 0, 0.2 и 0.5 типа REAL.*)#2 = WIDGET(.RED.);(* экземпляр сущности типа WIDGET с именем 2 имеет значение перечислимого типа RED.*)...#8 = LINE(#7,#4);(* значениями атрибутов являются экземпляры сущностей с именами 1 и 4.*)В списке параметров значения перечисляются в том же порядке, в каком они фигурировали в описании сущности.%:,I+8.0+> >?17: Express.
В языке Express-C добавляются возможности описания событий и транзакций:event a;when b ⇒ c; (* здесь b — логическое выражение, с — обращение к транзакции при b =true*);end_event;transaction c;local d: e;end_local;...end_transaction;При описании соответствия между двумя Express-моделями используются языки Express-X или Express-М. Например, в Express-М соответствие между схемой-источником А, в которой заданы атрибуты а1, а2, а3, и схемой-целью В, вкоторой те же атрибуты описаны идентификаторами b1, b2, b3, выражается следующим описанием:shema map B ← A;b1 := a1;b2 := a2;b3 := a3;end_shema_map;При отображении возможны преобразования атрибутов, например, если a1 задан в метрах, а b1 в сантиметрах, то впримере нужно записать b1 := a1*100.&.+.)$(*),$" .
!"#$%!#&'&($"!))$*+($*,#&($"!)&*1795@!"! 6%*#$A&,&+($*,#&($"!)&P !"#$%!#&'&($"!))KH :&:#*%P38:L0.0+> + 94384,1 5D> ,:/4740-84D>1. Назовите основные стадии проектирования технических систем. Для чего нужно прототипирование?2. Что такое “профиль открытой системы”?3. Чем обеспечивается открытость систем?4. Что понимают под диаграммой потока данных?5.
Представьте IDEF0-диаграмму верхнего уровня для этапов жизненного цикла промышленной продукции.6. Приведите пример неспецифического отношения.7. Постройте IDEF1X-диаграмму для сущностей “студенческая группа, студент, преподаватель, дисциплина”.8. Назовите причины появления стандартов STEP.9.
Что называют прикладным протоколом в STEP-технологии?10. Что понимается под метамоделью в CASE системах?11. Представьте диаграмму, полученную в п.7 на языке Express.12. Опишите назначение и структуру обменного файла в языке Express.13. Для чего нужны разновидности языка Express, такие как Express-M и Express-V?&.+.)$(*),$" . !"#$%!#&'&($"!))$*+($*,#&($"!)&*180+(&@$Q*)&*E.-45+7+ IDEFM:BD+=: ".))6C4690.)6C96F.90.IDEF0IDEF1, IDEF1XIDEF2IDEF3IDEF4IDEF5IDEF6IDEF8IDEF9IDEF14Функциональное моделирование (Function Modeling Method)Информационное моделирование (Information and Data Modeling Methods)Поведенческое моделирование (Simulation Modeling Method)Моделирование процессов (Process Flow and Object State Description Capture Method)Объектно-ориентированное проектирование (Object-Oriented Design Method).Систематизация объектов приложения (Ontology Description Capture method)Обоснование проектных действий (Design Rationale Capture Method)Взаимодействие человека и системы (Human-System Interaction Design)Выявление и учет условий и ограничений проектирования (Business Constraint Discovery)Моделирование вычислительных сетей для АС (Network Design)*-:05:8-1 CDIF (CASE Data Interchange Format)CDIF-стандарты подразделяют на три группы.A.
*-8<7-<8: ,-:05:8-49.“CDIF CASE Data Interchange Format — Overview” EIA/IS-106; общая концепция стандартов CDIF.“CDIF / Framework for Modeling and Extensibility” EIA/IS-107; поскольку стандарты CDIF должны бытьприменимы для экспорта/импорта данных в различных предметных областях, а существующие стандарты могут не отражать особенностей некоторых предметных областей, то требуются средства для включения в CDIFновых частей, описывающих эти особенности. Данный стандарт определяет инструментальные средства длявключения описаний новых предметных областей.X. J48/:- 4B/.0: 5:001/+.“CDIF Transfer Format / General Rules for Syntaxes and Encodings” EIA/IS-108; стандарт устанавливаетправила для включения в CDIF форматов с другим синтаксисом или других способов кодирования.“CDIF Transfer Format / Transfer Format Syntax SYNTAX.1” EIA/IS-109; основной синтаксис, принятый внастоящее время.“CDIF Transfer Format / Transfer Format Encoding ENCODING.1” EIA/IS-110; основной способ кодирования, принятый в настоящее время.“CDIF Transfer Format / OMG IDL Bindings”; предназначен для передачи данных по Internet с использованием средств CORBA.(.
!0-.@8+849:00:> /.-:/45.DF.“CDIF — Integrated Meta-model / Foundation Subject Area” EIA/IS-111; описывает иерархическое представление информации с использованием наследования.“CDIF — Integrated Meta-model / Common Subject Area” EIA/IS-112; описывает свойства, инвариантныедля многих объектов. Определенные здесь свойства далее наследуются в описании семантики и формы представления. Примеры таких свойств: ограничения, имена и т.п.“CDIF — Integrated Meta-model / Data Modeling Subject Area” EIA/IS-114; задает основные формы моделей “отношения-атрибуты”.“CDIF — Integrated Meta-model / Data Flow Model Subject Area” EIA/IS-115; поддерживает моделированиепотоков данных с использованием декомпозиции процессов, источников, потоков по методикам таким, как IDEF0.“CDIF — Integrated Meta-model / Data Definition Subject Area”; задает описание наиболее общих атрибутов таких, как простые типы данных, деньги, даты и т.п.“CDIF — Integrated Meta-model / State Event Model Subject Area”; поддерживает методики, оперирующиесостояниями, переходами между ними, событиями, условиями и действиями, т.е.
методики поведенческого моделирования.“CDIF — Integrated Meta-model / Object-Oriented Analysis and Design Subject Area”; поддерживает современные объектно-ориентированные методики и средства такие, как методики Буча или UML. Этот стандартрассматривается, как относящийся к наиболее важным.“CDIF — Integrated Meta-model / Computer Aided Control Systems Design Subject Area”; концепция управ-&.+.)$(*),$" . !"#$%!#&'&($"!))$*+($*,#&($"!)&*181+(&@$Q*)&*ления проектированием в реальном масштабе времени.“CDIF — Integrated Meta-model / Presentation Location and Connectivity Subject Area” EIA/IS-118; поддерживает представление моделей в форме графа (узлы, ребра, присоединенные к ним метки).“CDIF — Integrated Meta-model / Physical Relational Database Subject Area” — стандарт относится к физическому уровню реляционных баз данных.“CDIF — Integrated Meta-model / Project Management Planning and Scheduling Subject Area” — стандартотносится к предметной области, связанной с управлением планированием и потоками работ.“CDIF — Integrated Meta-model / Business Process Modeling Subject Area” — стандарт относится к предметной области моделирования бизнес процессов.*-:05:8-1 STEPТретья группа стандартов (тома с 31 по 39) в ISО 10303 относится к методам тестирования продукции.N=3): General concepts; в стандарте представлены общие положения определения соответствия продукции требованиям стандартов STEP, включая организацию тестирования (аккредитацию, сертификацию, взаимоотношения между контролерами и клиентами).N=32: Requirements on testing laboratories and clients; устанавливаются требования к контролерам и клиентам.N=33: Structure and use of abstract test suites; устанавливаются структура и порядок использования тестовых последовательностей.N=34: Abstract test methods; описываются методы тестирования.N=35: Abstract test methods for SDAI implementations; то же по отношению к SDAI представлениям.Группа стандартов “Набор средств тестирования” включает тома, начинающиеся с номера 301.
Каждыйиз этих стандартов соответствует прикладному протоколу, имеющему уменьшенный на 100 номер, т.е. стандартс N=301 определяет средства тестирования для объектов протокола АР201 и т.д.Группа стандартов «Интегрированные общие ресурсы» (N от 41 до 49) описывает модели, ис-пользуемые во многих прикладных протоколах.N=4): Fundamentals of product description and support; основы описания и поддержки изделий. В протоколе определяются такие понятия и группы сущностей, как продукт, представление формы (shape_representation), операция (action), контекст — аспект описания (application and product context), статус утверждения(approval), контракт, дата, типы документов, исполнители (организации и персоналии), единицы измерениядлин, площадей, масс, температур и др.N=42: Geometric and topological representation; представление геометрии и топологии.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
