ГОСТ Р ИСОГГС 10303—1637
- использование объекта супертипа не дает права применять любой из его подтипов, пока этот
подтип не будет также импортирован в схему ИММ:
- использование выбираемого типа SELECT не дает права применять любой из перечисленных
в нем типов, пока этот тип не будет также импортирован в схему ИММ.
EXPRESS-спецификация:
*>
SCHEMA Assembly_module_macro_definition_mim;
USE FROM Interconnect_module_with_macros_mim; -- ISO/TS 10303-
1687
(*
П р и м е ч а н и я
1 Схему, ссылка на которую, дана выше, можно найти в следующих документах комплекса ИСО 10303:
Interconnect_module_wrth_macro5_mim- ИСОЯС 10303-1687.
2 Графическое представление данных схем приведено на рисунках D.1 и D.2. приложение D.
5.2.1 Определение объекта ИММ
В данном пункте определен объект ИММ для настоящего прикладного модуля.. Ниже
специфицирован объект ИММ и его определение.
5.2.1.1 Объект assembly_module_macro_terminal
Объектassembly_module_macro_terminal-этотакойподтипобъекта
assembly_module_terminal.которыйреализует концепцию прикладногообъекта ПЭМ
Assembly_module_macro_terminal.
EXPRESS-спецификация:
*>
ENTITY assembly_module_macro_terminal
SUBTYPE OF (assembly_module_terminal);
END_TYPE;
(*
5.2.2 Ограничение ИММ, накладываемое на отношения лодтип-супертип
Настоящий подраздел описывает определенное в ИММ ограничение, накладываемое на
отношения лодтип-супертип. Упомянутое ограничение накладывается на возможные экземпляры
объектов,связанныхотношениемподтип-супертип.НижеприведеноограничениеПЭМ,
накладываемое на отношения подтип-супертип. и его определение.
5.2.2.1 Ограничение assembly_module_termlnal_subtypes
Ограничениенакладываетсянадопустимыеэкземплярыподтиповобъекта
assembly_module_terminal.
EXPRESS-спецификация:
*>
SUBTYPE_CONSTRAINT assembly_module_terminal_subtypes FOR
assembly_module_terminal;
ONEOF (assembly_module_interface_terminal,
assembly_module_macro_terminal);
END_SUBTYPE_CONSTRAINT;
<*
*)
END_SCHEMA; -- Assembly_module_macro_definition_mim
<*
8