ГОСТ Р ИСОЯС 10303-1013—2011
5.2 Сокращенный листинг интерпретированной модели прикладного модуля на языке
EXPRESS
В данном подразделе определена EXPRESS-схема. полученная из таблицы отображений. В ней
использованы элементы из общих ресурсов или из других прикладныхмодулей иопределены конструк
ции наязыке EXPRESS, относящиеся к настоящему стандарту.
В данном подразделеопределенаинтерпретированнаямодельприкладного модуля, а такжеопре
делены модификации, которые применяются к конструкциям, импортируемым изобщих ресурсов.
При использовании в данной схеме конструкций, определенных в общих ресурсах или в приклад
ных модулях, необходимо применятьследующие ограничения:
- использование объекта супертипа не дает права применять любой из его подтипов, пока этот
подтип не будеттакже импортирован в схему ИММ;
- использование выбираемого типа SELECT недает права применять любой из перечисленных в
нем типов, пока этот тип не будеттакже импортирован в схему ИММ.
EXPRESS-спецификация:
•)
SCHEMA Person_organization_assignment_mim;
USE FROM Person_organization_mim; - ISO/TS10303-1011
USE FROM person_organization_schema - ISO 10303-41
(organization_role,
person_and_organization_role);
USE FROM managemont_resources_schema - IS 010303-41
(organization_assignment,
person_and_organizatk>n_assignment);
r
П р и м е ч а н и я
1 Схемы, на которые даны ссылки выше, можно найти в следующих стандартах комплекса ИСО 10303:
Person_organization_mim в ИСО/ТС 10303-1011;
person_organi
2
atlon_
8
chema в ИСО 10303-41;
management_resources_schema в ИСО 10303-41.
2 Графическое представление данных схем приведено на рисунках D.1 и D.2, приложение D.
5.2.1 Определение типов данных ИММ
В данном пункте определены типыданных ИММ для настоящегоприкладного модуля.
5.2.1.1 ТипданныхorganizationJtem
Тип данных organizationJtem является расширяемым списком альтернативных именованных
типовданных. Он предоставляетмеханизмдля ссылокнаэкземпляры типовданных, расширяющихспи
сокальтернативных типовданных выбираемого типа organizationJtem.
П р и м е ч а н и е — Для обеспечения уверенности в том. что для объектов, ссылающихся на пустой расши
ряемый выбираемый (SELECT) тип данных, существует хотя бы один тип разрешенных экземпляров, а прикладных
модулях, использующих этот тип данных, требуется его расширение.
EXPRESS-спецификация:
’)
TYPE organizationJtem = EXTENSIBLE SELECT;
END_TYPE;
Г
5.2.1.2 Типданных person_and_organizationJtem
Тип данных person_and_organizationJtem является расширяемым списком альтернативных
именованныхтиповданных. Он предоставляет механизм для ссылок на экземпляры типовданных, рас
ширяющихсписокальтернативных типовданных выбираемоготипа porson_and_organizatlonJtem.
П р и м е ч а н и е — Для обеспечения уверенности в том. что для объектов, ссылающихся на пустой расши
ряемый выбираемый (SELECT) тип данных, существует хотя бы один тип разрешенных экземпляров, в прикладных
модулях, использующих этот тип данных, требуется его расширение
7