ГОСТ Р ИСОЯС 10303-1012—2013
4 Информационные требования
В данном разделе определены информационные требования к прикладному модулю «Утвержде
ние», представленные в форме ПЭМ.
П р и м е ч а н и я
1 Графическое представление информационных требований приведено в приложении С.
2 Спецификация отображения определена в 5.1. Она устанавливает, как удовлетворяются информацион
ные требования при использовании общих ресурсов и конструкций, определенных всхеме ИММ или импортирован
ных в схему ИММ данного прикладного модуля.
Ниже представлен фрагмент EXPRESS-спецификации. с которого начинается описание схемы
Approval_arm.
EXPRESS-специФикаиия:
•)
SCHEMAApproval_arm;
(*.
4.1 Необходимые ПЭМ прикладных модулей
Приведенные ниже операторы языка EXPRESSопределяютэлементы, импортированные из ПЭМ
других прикладныхмодулей.
EXPRESS-спецификация:
*)
USE FROM Date_time_assignment_arm; -- ISO/TS 10303-1014
USE FROM Person_organization_arm; -- ISO/TS 10303-1011
Г
П р и м е ч а н и я
1 Схемы,ссылки на которые приведены выше, определены в следующихдокументах комплекса ИСО 10303:
Date_tlme_asslgnment_arm — ИСОЯС 10303-1014;
Person_organlzatlon_arm — ИСОЯС 10303-1011.
2 Графическое представление схемы Approval_arm приведено в приложении С. рисунки С.1 и
С.2.
4.2 Определение типаданных ПЭМ
В данном подразделе определен типданных ПЭМ прикладного модуля «Утверждение».
4.2.1 Типданных approvaljtem
Тип данных approvaljtem является наращиваемым списком альтернативных типов данных.
Дополнительные альтернативные типыданных определяются в выбираемых типахданных, расширяю
щихтипданных approvaljtem.
П р и м е ч а н и е — Для пустого наращиваемого списка требуется его наполнение в другом модуле для
обеспечения по крайней мере одной допустимой реализации любого объекта.
EXPRESS-специФикаиия:
*)
TYPE approvaljtem = EXTENSIBLE GENERIC_ENTITY SELECT;
END_TYPE;
r
4.3 Определение объектов ПЭМ
В данном подразделе определены объекты ПЭМ прикладного модуля «Утверждение». Объект
ПЭМ является простейшим неделимымэлементом схарактеризующимиегоатрибутами и представляет
собой уникальноепонятие прикладнойобласти.
4.3.1 ОбъектApproval
Объект Approval представляет формальное подтверждение качества данных об изделии или
действии.
з