ГОСТ Р ИСОТТС 10303-1210— 2016
5.1.7 Прикладной объект Union
Элемент ИММ:
union
Источник:
ИС0 10303-54
5.1.7.1 Атрибут id
Элемент ИММ.
union.id
Источник:
ИС0 10303-54
5.1.7.2 Атрибут name
Элемент ИММ.
union.name
Источник:
И С 010303-54
5.1.7.3 Атрибут description
Элемент ИММ.
union.descnption
Источник:
ИСО 10303-54
5.1.7.4 Связь объекта Union с объектом Class (представленным атрибутом operand)
Элемент ИММ:
PATH
Ссылочный путь:
union
union.operand -> class
5.1.7.5 Связь объекта Union с объектом Class (представленным атрибутом resultant)
Элемент ИММ:
PATH
Ссылочный путь:
union
union.resultant -> class
5.2 Сокращенный листинг ИММ на языке EXPRESS
В данном подразделе определена EXPRESS-схема. полученная из таблицы отображений. В ней
использованы элементы из общих ресурсов или издругих прикладных модулей иопределены конструк
ции на языке EXPRESS, относящиеся к настоящему стандарту.
В данном подразделе определена интерпретированная модель прикладного модуля «Теория мно
жеств». а также определены модификации, которым подвергаются конструкции, импортированные из
общих ресурсов.
При использовании в данной схеме конструкций, определенных в общих ресурсах или в приклад
ных модулях, необходимо применять следующие ограничения:
- использование объекта супертипа не дает права применять любой из его подтипов, пока этот
подтип не будет также импортирован в схему ИММ:
- использование выбираемого типа SELECT не дает права применять любой из перечисленных в
нем типов, пока этот тип не будет также импортирован в схему ИММ.
EXPRESS-слсцификация:
*>
SCHEMA Set_theory_mim;
USE FROM Class_mim: - ISO/TS 10303-1070
USE FROM set_theory_schema -- ISO 10303-54
(complement,
intersection.
14