ГОСТ Р ИСО/ТС 10303-1271—2016
5.2 Сокращенный листинг ИММ на языке EXPRESS
В данном подразделе определена EXPRESS-схема. полученная из таблицы отображений. В ней
использованы элементы из общих ресурсов или из других прикладных модулей иопределены конструк
ции на языке EXPRESS, относящиеся к настоящему стандарту.
В данном подразделе определены интерпретированная модель прикладного модуля «Описание
параметров состояния» и модификации, которые применяются к конструкциям, импортированным из
общих ресурсов.
При использовании в данной схеме конструкций, определенных в общих ресурсах или в приклад
ных модулях, необходимо применять следующие ограничения:
- использование объекта супертипа не дает права применять любой из его подтипов, пока этот
подтип не будет также импортирован в схему ИММ:
- использование выбираемого типа SELECT не дает права применять любой из перечисленных в
нем типов, пока этот тип не будет также импортирован в схему ИММ.
EXPRESS-спеииФикаиия:
*)
SCHEMA State_charactorized_mim;
USE FROM Condition_charactenzed_mim: -- ISO/TS 10303-1257
USE FROM Condition_evaluation_characterized_mim; - ISO/TS 10303-1296
USE FROM product_property_definition_schema - ISO 10303-41
(characterized_object);
USE FROM Property_assignment_mim; - ISO/TS 10303-1030
USE FROM State_observed_mim: ~ ISO/TS 10303-1256
r
Примечания
1Схемы, ссылки на которые даны выше, можнонайти вследующих стандартах и документах комплекса ИСО
10303:
Condition_characterized_mim — ИСО/ТС 10303-1257:
Condition_evaluation_characterized_mim — ИСО/ТС 10303-1296:
product_property_definition_schema — ИСО 10303-41;
Property_assignment_mim— ИСО/ТС 10303-1030;
State_observed_mim — ИСО.ТС 10303-1256.
2 Графическое представление данных схем приведено на рисунках D.1 и D.2. приложение D.
5.2.1 Определение типов данных ИММ
В данном пункте определены типы данных объектов ИММ для настоящего прикладного модуля.
5.2.1.1 Тип данных state_observod_role_classification_item
Выбираемый тип данных stato_obsorved_role_classlfication_item является расширением типа
данных classificationjtem. В настоящем типе данных к списку альтернативных выбираемых типов
данных добавлен именованный тип state_ observed_role.
Примечание — В прикладных модулях, использующих конструкции настоящего прикладного модуля,
список объектных типов данных гложетбыть расширен.
EXPRESS-спеииФикаиия:
*>
TYPE state_observed_role_dassificationjtem = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON
classificationjtem WITH
(state_observed_role);
END_TYPE;
r
24