ГОСТ Р ИСО/ТС 10303-1271—2016
4 Информационные требования
В настоящем разделе определены информационные требования к прикладному модулю «Описа
ние параметров состояния», которые представлены в форме ПЭМ.
Примечания
1Графическое представление информационных требований приведено в приложении С.
2 Спецификация отображения определена в 5.1. Она показывает, как удовлетворяются информационные
требования при использовании общих ресурсов и конструкций, определенных в схеме ИММ или импортированных в
схему ИММ прикладного модуля, описанного в настоящем стандарте.
В настоящем разделе средствами языка EXPRESS, специфицированного в ГОСТ Р ИСО
10303-11, определены информационные требования, которым должны соответствовать реализации.
Ниже представлен фрагмент EXPRESS-спецификации. с которого начинается описание схемы State_
characterized_arm. В нем определены необходимые внешние ссылки.
EXPRESS-слециФикация:
*)
SCHEMA State_characterized_arm;
С
4.1 Прикладные эталонные модели, необходимые для прикладного модуля
Ниже представлены интерфейсные операторы языка EXPRESS, посредством которых задаются
элементы, импортированные из прикладных эталонных моделей других прикладных модулей.
EXPRESS-слециФикация:
*)
USE FROM Condition_characterized_arm; - ISO/TS 10303-1257
USE FROM Condition_evaluation_characterized_arm; - ISO/TS 10303-1296
USE FROM Property_assignment_arm: - ISC^S 10303-1030
USE FROM State_observed_arm; - ISO/TS 10303-1256
Г
Примечания
1Схемы, ссылки на которые даны выше, можно найти в следующих документах комплекса ИСО 10303:
Condition_characterized_arm — ИСО/ТС 10303-1257;
Condition_evaluation_characterized_arm — ИСО/ТС 10303-1296:
Property_assignment_arm — ИСО/ТС 10303-1030:
State_observed_arm — ИСО/ТС 10303-1256.
2 Графическое представление данных схем приведено на рисунках С.1 и С.2. приложение С.
4.2 Определение типов данных ПЭМ
В настоящем подразделе определены типы данных ПЭМ рассматриваемого прикладного модуля.
4.2.1 Тип данных state_dermition_condition_item
Выбираемый тип данных state_dofinition_condition_item является расширением типа данных
conditionJtom В настоящем типе данных к списку альтернативных выбираемых типов данных добав
лены именованные типы State_definition и Stato_dofinition_relationship.
Примечание — В прикладных модулях, использующих конструкции настоящего прикладного модуля,
список объектных типов данных может быть расширен.
EXPRESS-слециФикация:
*)
TYPE state_definition_condition_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON condition_
item WITH
3