ГОСТ Р ИСО/ТС 10303-1211—2016
Примечания
1 Схемы, ссылки на которые даны выше, можно найти в следующих стандартах и документах комплекса
ИСО 10303:
Maths_space_mim — ИСО/ТС 10303-1091:
mathematical_context_schema — ИСО 10303-51.
2 Графическое представление данных схем приведено на рисунках D.1 и D.2. приложение D.
5.2.1 Определение типа данных ИММ
В настоящем пункте определен тип данных ИММ для прикладного модуля, рассматриваемого в
настоящем стандарте.
5.2.1.1 Тип данных rolationship_select
Тип данных relationship_select представляет отношение, для которого задается мощность.
EXPRESS-слецификация:
*)
TYPE relationship select = EXTENSIBLE SELECT BASED ON
space context select;
END TYPE;
<*
5.2.2 Определения объектов ИММ
Настоящий пункт задает объекты ИММ для прикладного модуля, рассматриваемого в настоящем
стандарте. Далее специфицированы объекты ИММ и их определения.
5.2.2.1 Объект cardinality_of_relatod_class
Объект cardinality_of_related_class является таким подтипом объекта maths_space_context.
посредством которого реализована концепция объекта Cardinality_of_related_class (определенного в
ПЭМ).
EXPRESS-слецификация:
*>
ENTITY cardinality of related class
S’JBTYPE OF {maths space context);
SELF\maths space context.physical space : relationship select;
END ENTITY;
(*
Определение атрибута:
physical_space — объект, представляющий отношение, для которого посредством объекта
maths_space. играющего роль атрибута abstract_space. задается мощность.
5.2.2.2 Объект cardinality_of_relating_class
Объект cardinality_of_relating_class является таким подтипом объекта maths_space_context.
посредством которого реализована концепция объекта Cardinality_of_relating_class (определенного в
ПЭМ).
EXPRESS-слецификация:
*)
ENTITY cardinality of relating class
S’JBTYPE OF (maths space context);
SELFNmaths space context.physical space : relationship select;
END ENTITY;
(*
Определение атрибута:
physical_space — объект, представляющий отношение, для которого посредством объекта
maths_space. играющего роль атрибута abstract_space. задается мощность.
*)
END SCHEMA; — Cardinality of relationship mim
<*
8