ГОСТ Р ИСО/ТС 10303-1109—2013
ПЭМ - прикладная эталонная модель (application reference model: ARM);
ИММ - интерпретированная модель модуля (module interpreted model; MIM);
URL - унифицированный указатель ресурса (uniform resource locator).
4 Информационные требования
В данном разделе определены информационные требования к прикладному модулю
«Альтернативное решение», представленные в форме ПЭМ.
Примечания
1Графическое представление информационных требований приведено в приложении С.
2Спецификация отображения определена в 5.1. Она устанавливает, как удовлетворяются
информационные требования при использовании общих ресурсов и конструкций, определенных в схеме ИММ
или импортированных в схему ИММ данного прикладного модуля.
Ниже представлен фрагмент EXPRESS-спецификации. с которого начинается описание схемы
Alternative_solutlon_arm.
EXPRESS-спеиификация:
*>
SCHEMA Alternative_solution_arm;
(*
4.1 Необходимые ПЭМ прикладных модулей
Приведенные ниже операторы языка EXPRESS определяют элементы, импортированные из
ПЭМ других прикладных модулей.
EXPRESS-спецификация:
*)
USE FROM Person_orgar.ization_assign:nent_arm — ISO/TS 10303-1013
Product_occurrence_arm;
Physical_breakdown_arm;
— ISO/TS
— ISO/TS
10303-1063
10303-1215
USE FROM
USE FROM
(*
Примечания
1 Схемы, ссылки на которые приведены выше, определены в следующих документах комплексаИСО
10303:
Person_organization_assignment_arm
Product_occurrence_arm
Physical_breakdown_arm
-ИСО/ТС 10303-1013;
-ИСО/ТС 10303-1063;
-ИСО/ТС 10303-1215.
2 Графическое представление схемы AJternative_solution_ami приведено в приложении С. рисунки С.1 и
С.2.
4.2 Определение типа данных ПЭМ
В данном подразделе определен тип данных ПЭМ прикладного модуля «Альтернативное
решение».
4.2.1 Тип данных complex_product_select
Типданныхcomplex_product_selectдопускаетиспользованиетиповданных
Alternative_solution. Functional_element_definltion и Physical_elemont_definition.
EXPRESS-спецификация:
*)
TYPE complex_product_select = SELECT
(Alcernat:ive_solution,
Functional_elemen^definition,
Physical_element_definition);
END_TY?E;
(*
"
3