ГОСТ Р ИСО/ТС 10303—1637
EXPRESS-спецификация.
*)
SCHEMA Assembly_module_macro_definition_arm;
(*
4.1 Прикладные эталонные модели, необходимые для прикладного модуля
Ниже представлены интерфейсные операторы языка EXPRESS, посредством которых задаются
элементы, импортируемые из прикладных эталонных моделей других прикладных модулей.
EXPRESS-спецификация:
*)
USE FROM Interconnect_module_with_macros_arm;-- ISO/TS 10303-
1687
(*
П р и м е ч а н и я
1 Схема, ссылка на которую дана выше, можно найти в следующих документах комплекса ИСО 10303:
lnterconnect_module_with_macros_arm-ИСО/ТС 10303-1687.
2 Графическое представление данных схем приведено на рисунках С.1 и С.2. приложение С.
4.2 Определение объектов ПЭМ
В настоящем подразделе определены объекты ПЭМ рассматриваемого прикладного модуля.
Каждый объект ПЭМ является простейшим неделимым элементом, который моделирует уникальное
понятие прикладной области, и содержит атрибуты для представления объекта. Далее приведены
объекты ПЭМ и их определения.
4.2.1 Assembly_module_macro_terminal
ОбъектAssembly_module_macro_terminal-этотакойподтипобъекта
Assembly_module_terminal, экземпляры которого используются только в случае определения
макромодуля.
П р и м е ч а н и е- Соединяющий вывод не имеет смысла в контексте, отличном от определения
макромодуля.
EXPRESS-спецификация:
*)
ENTITY Assembly_module_macro_termir.al
SUBTYPE OF (Assembly_module_termir>al);
INVERSE
defining_termir.al :
Component_feature_to_physical_usage_view_assignment FOR
defined_part_feature;
WHERE
WR1:
’LAYERED_INTERCONNECT_MODULE_DESIGN_ARM.INTERCONNECT_MODULE_MACRO_
TERMINAL’ IN TYPEOF(defining_termir.al.assigr.ed_termir.al);
WR2: ’ASSEMBLY_MODULE_MACRO_DEFINITION_ARM.’ +
•COMPONENT_TERMINAL_TO_ASSEMBLY_MODULE_MACRO_TERMINAL_ASSIGNMENT’
IN TYPEOF(defining_termir.al);
WR3: NOT (SIZEOF(USEDIN(SELF, ’’)) >0) OR (SIZEOF(QUERY(ct <*
USEDIN(SELF, **) j NOT
(’ASSEMBLY_MODULE_WITH_MACRO_COMPONENT_ARM.ASSEMBLY_MODULE_MACRO_C
OMPONENT_JOIN_TERMINAL’ IN TYPEOF(ct)))) = 0);
END_ENTITY;
<*
3