ГОСТ Р ИСО/ТС 10303-1277— 2016
3.5 Сокращения
В настоящем стандарте применены следующие сокращения:
ПМ— прикладной модуль:
ПЭМ — прикладная эталонная модель;
ИММ — интерпретированная модель модуля;
URL — унифицированный указатель информационного ресурса.
4 Информационные требования
В настоящем разделе определены информационные требования к прикладному модулю «Зада
ние размещения», которые представлены в форме ПЭМ.
Примечания
1Графическое представление информационных требований приведено в приложении С.
2 Спецификация отображения определена в 5.1. Она показывает, как удовлетворяются информационные
требования при использовании общих ресурсов и конструкций, определенных всхеме ИММ или импортированных в
схему ИММ прикладного модуля, описанного в настоящем стандарте.
В настоящем разделе средствами языка EXPRESS, специфицированного в ГОСТ Р ИСО 10303-11.
определены информационные требования, которым должны соответствовать реализации. Ниже
представлен фрагмент EXPRESS-спецификации. с которого начинается описание схемы Location_
assignment_arm. В нем определены необходимые внешние ссылки.
EXPRESS-слециФикация:
*>
SCHEMA Locati.on__assignment_.arm;
С
4.1 Прикладная эталонная модель, необходимая для прикладного модуля
Ниже представлен интерфейсный оператор языка EXPRESS, посредством которого задается эле
мент. импортированный из прикладной эталонной модели другого прикладного модуля.
EXPRESS-слецификация:
М
USE FROM Location_arm; -- 1SO/TS 10303-1276
C
П р и м е ч а н и я
1Схему, ссылка на которую дана выше, можно найти в следующем документе комплекса ИСО 10303:
Location_arm — ИСО/ТС 10303-1276.
2 Графическое представление данной схемы приведено на рисунках С.1 иС.2. приложение С.
4.2 Определенно типа данных ПЭМ
В настоящем подразделе определен тип данных ПЭМ рассматриваемого прикладного модуля.
4.2.1 Тип данных location_assignment_selcct
Тип данных location_assignment_soloct является расширяемым списком альтернативных имено
ванных типов данных. Дополнительные альтернативные типы данных задаются в выбранных (SELECT)
типах данных, расширяющих тип данных location_assignment_select.
П р и м е ч а н и е — Для того, чтобы обеспечить уверенность в том. что для объектов, ссылающихся на пу
стой расширяемый выбираемый (SELECT) типданных, существует хотя бы один тип в разрешенных экземплярах,
в прикладных модулях, использующих этот типданных, требуется его расширение.
EXPRESS-слецификация:
*>
TYPE location_assignment_selecC = EXTENSIBLE GENERIC_ENTITY SELECT;
END_TYPE;
C
4.3 Определение объекта ПЭМ
В настоящем подразделе описан объект ПЭМ рассматриваемого прикладного модуля. Каждый
объект ПЭМ является простейшим неделимым элементом, который моделирует уникальное понятие
3