ГОСТ Р ИСО/ТС 10303-1211—2016
5.1.1.1 Связь объекта Cardinality_of_relatcd_class с объектом Maths_space (представленным
атрибутом cardinality)
Элемент ИММ:
Источник.
Ссылочный путь:
maths_space_context.abstract_space
И С 010303-51
cardinality_of_related_class <=
maths_space_context
maths_space_context.abstract_space
5.1.1.2 Связьобъекта Cardinality_of_related_class с объектами типов, входящих в список выбора
выбираемого типа данных relationship_select (представленным атрибутом relationship)
Элемент ИММ:
Источник:
Ссылочный путь:
maths_space_context.physical_space
ИС0 10303-51
cardinality_of_related_class <=
maths_space_context
maths_space_context.physical_space = relationship_select
5.1.2 Прикладной объект Cardinality_of_relating_class
Элемент ИММ:
Источник.
cardinality_of_relating_class
ИС0 10303-1211
5.1.2.1 Связь объекта Cardinality_of_relating_class с объектом Maths_space (представленным
атрибутом cardinality)
Элемент ИММ:
Источник:
Ссылочный путь:
maths_space_context.abstract_space
ИС0 10303-51
cardinality_of_relating_class <=
maths_space_context
maths_space_context.abstract_space
5.1.2.2 Связь объекта Cardinality_of_rolating_class с объектами типов, входящих в список
выбора выбираемого типа данных rolationship_selcct (представленным атрибутом relationship)
Элемент ИММ:
Источник:
Ссылочный путь:
maths_space_context.physical_space
ИС010303-51
cardinality_of_relating_class <=
maths_space_context
maths_space_context.physical_space = relationship_select
5.2Сокращенный листинг ИММ на языке EXPRESS
В данном подразделе определена EXPRESS-схема. полученная из таблицы отображений. В ней
использованы элементы из общих ресурсов или издругих прикладных модулей и определены конструк
ции на языке EXPRESS, относящиеся к настоящему стандарту.
В данном подразделе определена интерпретированная модель прикладного модуля «Мощность
отношения», а также определены модификации, которым подвергаются конструкции, импортированные
из общих ресурсов.
При использовании в данной схеме конструкций, определенных в общих ресурсах или в приклад
ных модулях, необходимо применять следующие ограничения:
- использование объекта супертипа не дает права применять любой из его подтипов, пока этот
подтип не будет также импортирован в схему ИММ:
- использование выбираемого типа SELECT не дает права применять любой из перечисленных в
нем типов, пока этот тип не будет также импортирован в схему ИММ.
EXPRESS-спецификация:
*)
SCHEMA Cardinality ot relationship mim;
USE FROM Maths space mim;— ISO/TS 103C3-1091
USE FROM mathematical context schema— ISO 1C303-51
(spacecontext select,
maths space context);
Г
7