ГОСТ Р ИСОЯС 10303-1014—2010
Если атрибут assignod_date является объектом Date_time:
Элемент ИММ:PATH
Ссылочный путь:(date_and_time_assignment=>
applied_date_and_time_assignment
applied_date_and_time_assignmentitems[i] -> date_andjime_item)
5.2 Сокращенный листинг ИММ на языке EXPRESS
В данном подразделе определена EXPRESS-схема. полученная из таблицы отображений. В ней
использованы элементы из общих ресурсов или других прикладных модулей иопределены конструкции
на языке EXPRESS, относящиеся к настоящему стандарту.
В данном подразделе определена интерпретированная модель (ИММ) для рассматриваемого
прикладного модуля, а также определены модификации, которым подвергаются конструкции, импорти
рованные из общих ресурсов.
При использовании в данной схеме конструкций, определенных в общих ресурсах или в приклад
ных модулях, накладываются следующие ограничения:
- использование объекта, являющегося супертипом, неозначает применениелюбой из его конкре
тизаций. если только данная конкретизация также не импортирована в схему ИММ;
- использование типа SELECT не означает применение любого из указанных в нем типов данных,
если только данный тип также не импортирован в схему ИММ.
EXPRESS-спеииФикаиия:
*)
SCHEMA Date_time_assignment_mim;
USE FROM Date_time_mim;-- ISO/TS 10303-1010
USE FROM date_time_schema - -ISO 10303-41
(date.
date_role,
date_time_role);
USE FROM management_resources_schema--ISO 10303-41
(date_and_time_assignment,
r
date_assignment);
П р и м е ч а н и я
1 Схемы, ссыпки на которые приведены выше, опредепены в следующих стандартах комплекса ИСО 10303:
Date_tlme_«nlm
date_tlme_schema
management_resources_schema
— ИСОЯС 10303-1010:
— ИСО 10303-41;
— ИСОЮ303-41.
2 Графическое представление схемы Date_time_asslgnment_mim приведено на рисунках D.1 и D.2. прило
жение О.
5.2.1 Определение типов данных ИММ
В данном пунктеопределены типыданных ИММ для прикладного модуля «Назначениедаты и вре
мени».
5.2.1.1 Tnndatejtem
Тип datejtem является наращиваемым списком альтернативных типов данных. Дополнительные
альтернативные типыданных определяются в выбираемыхтипахданных, расширяющихтип datejtem.
П р и м е ч а н и е — Для пустого наращиваемого списка выбора требуется его наполнение в других модулях
для обеспечения того, чтобы ссылающиеся на него объекты имели по крайней мере одну допустимую реализацию.
EXPRESS-споциФикация:
•)
TYPE datejtem = EXTENSIBLE SELECT;
END_TYPE;
r
7