ГОСТ Р ИСОЯС 10303-1059—2012
3.5 Сокращения
В настоящем стандарте применены следующиесокращения:
ПМ — прикладной модуль (application module; AM);
ПЭМ — прикладная эталонная модель (application reference model; ARM);
ИММ — интерпретированная модель модуля (module interpreted model; MIM);
URL — унифицированный указатель ресурса (uniform resource locator).
4 Информационные требования
В данном разделе определены информационные требования к прикладному модулю «Задание
применяемости», представленные в форме ПЭМ.
П р и м е ч а н и я
1 Графическое представление информационных требований приведено в приложении С.
2 Спецификация отображения определена в 5.1. Она устанавливает, как удовлетворяются информацион
ныетребования при использовании общих ресурсов иконструкций,определенных в схеме ИММ или импортирован
ных в схему ИММ данного прикладного модуля.
Ниже представлен фрагмент EXPRESS-спецификации. с которого начинается описание схемы
Effectivity_application_arm.
EXPRESS-спецификация;
’)
SCHEMA Effectivity_application_arm,
(’
4.1 Необходимые ПЭМ прикладных модулей
Приведенные ниже операторы языка EXPRESSопределяют элементы, импортированные из ПЭМ
других прикладныхмодулей.
EXPRESS-спецификация:
*)
USE FROM Effectivity_arm; - - ISO/TS10303-1057
Г
П р и м е ч а н и я
1 Схема, ссылка на которую приведена выше, определена в следующем документе комплекса ИСО 10303:
E»fectlvlty_arm — ИСОЯС 10303-1057.
2 Графическое представление схемы EMectlvlty_appllcation_arm приведено а приложении С. рисунки С.1
и С.2.
4.2 Определение типа данных ПЭМ
В данном подразделе определен тип данных ПЭМ прикладного модуля «Задание применяе
мости».
4.2.1 Тип данных effectivityjtem
Тип данных effectivityjtem является наращиваемым списком альтернативных типов данных,
которыйобеспечиваетвозможность ссылаться наэкземпляры типовданных, расширяющихтипданных
effectivityjtem.
П р и м е ч а н и е — Пустой наращиваемый список выбора должен быть расширен в других прикладных
модулях для обеспечения допустимой реализации любого объектного типа данных, ссылающегося на данный
список.
EXPRESS-спецификация:
*)
TYPE effectivityjtem = EXTENSIBLE SELECT;
END_TYPE;
Г.
3