ГОСТ Р ИСО/ТС 10303-1113
схеме ИММ или импортированных в схему ИММ прикладного модуля, описанного в настоящем
стандарте.
Ниже представлен фрагмент EXPRESS-спецификации, с которого начинается
описание схемы Group.
EXPRESS-спецификация:
*)
SCHEMA Group_arm;
<*
4.1 Определение типа данных ПЭМ
В данномподразделе приведен определенныйв ПЭМ тип данных
рассматриваемого прикладного модуля.
4.1.1 Тип данных groupablejtem
Тип данных groupable jtem является расширяемым списком альтернативных
типов данных. В выбираемых (SELECT) типах данных, расширяющих тип данных
groupablejtem, добавляются дополнительные альтернативные типы данных.
П р и м е ч а н и е-Для обеспечения уверенности в том. что для объектов, ссылающихся
на пустой расширяемый выбранный (SELECT) тип данных, существует хотя бы один тип
разрешенных экземпляров, в прикладных модулях, использующих этот тип данных, требуется его
расширение.
EXPRESS-спецификация:
*)
TYPE groupable_item = EXTENSIBLE GENERIC_ENTITY SELECT;
WHERE
WR1:NOT (’GROUP_ARM.GROUP’ IN TYPEOF(SELF));
END_TYPE;
<*
"
Формальное положение
WR1: Экземпляр данных типа groupablejtem не может быть экземпляром
объекта Group или какого-либо подтипа объекта Group.
П р и м е ч а н и е-Вложенность групп может быть представлена с помощью объекта
Group_relationship.
5