ГОСТ Р ИСОЯС 10303-1179—2012
3.4 Термин, определенный в ИСОЯС 10303-1017
В настоящем стандарте применен следующийтермин:
- общие ресурсы (common resources).
3.5 Сокращения
В настоящем стандарте применены следующиесокращения:
ПМ — прикладной модуль (application module; AM);
ПЭМ — прикладная эталонная модель (application reference model: ARM);
ИММ — интерпретированная модель модуля (module interpreted model; MIM);
URL — унифицированный указатель ресурса (uniform resource locator).
4 Информационные требования
В данном разделе определены информационные требования к прикладному модулю «Участие
отдельного объекта вдействии», представленные вформе ПЭМ.
П р и м е ч а н и я
1 Графическое представление информационных требований приведено в приложении С.
2 Спецификация отображения определена в 5.1. Она показывает, как информационные требования удов
летворяются при использовании общих ресурсов и конструкций, определенных в схеме ИММ или импортированных в
схему ИММ данного прикладного модуля.
Ниже представлен фрагмент EXPRESS-слецификации. с которого начинается описание схемы
Individual_involvemontJn_activity_arm.
EXPRESS-спецификация:
*)
SCHEMA lndividual_involvement_in_activity_arm;
Г
4.1 Необходимые ПЭМ прикладных модулей
Приведенные ниже операторы языка EXPRESS определяютэлементы, импортированные из ПЭМ
других прикладных модулей.
EXPRESS-спецификация:
*)
USE FROM lndividual_activity_arm; -- ISC^S 10303-1176
USE FROMActivity_arm;-- 150Я8 10303-1047
C
П р и м е ч а н и я
1 Схемы.ссылки на которые приведены выше, определены вследующихстандартах комплекса ИСО 10303:
lndivldual_actlvlty_arm
Actlvlty_arm
— ИСОЯС 10303-1176;
— ИСОЯС 10303-1047.
2 Графическое представление схемы lndlvldual_lnvolvem ent_ln_actlvlty_arm приведено в приложении С.
рисунки С.1 и С.2.
4.2 Определение типа данных ПЭМ
В данном подразделе определен тип данных ПЭМ прикладного модуля «Участие отдельного
объекта вдействии».
4.2.1 Тип данных involved_select
Типданных involved_select представляетобъект, участвующий вдействии.
EXPRESS-спецификация:
*)
TYPE involved_select = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON activityJtem;
END_TYPE;
r
з