ГОСТ Р ИСО/ТС 10303-1212—2016
3.6Сокращения
В настоящем стандарте применены следующие сокращения:
ПМ— прикладной модуль:
ПЭМ — прикладная эталонная модель:
ИММ — интерпретированная модель модуля:
URL — унифицированный указатель информационного ресурса.
4 Информационные требования
В настоящем разделе определены информационные требования к прикладному модулю «Класси
фикация», которые представлены в форме ПЭМ.
П ри м е ча н и я
1Графическое представление информационных требований приведено в приложении С.
2 Спецификация отображения определена в 5.1. Она показывает, как удовлетворяются информационные
требования при использовании общих ресурсов и конструкций, определенных в схеме ИММ или импортированных
всхему ИММ прикладного модуля, описанного в настоящем стандарте.
В настоящем подразделе с применением языка EXPRESS дано определение информационных
требований, которым должны соответствовать программные реализации. Ниже представлен фрагмент
EXPRESS-слецификации. с которого начинается описание схемы Classification_arm. В нем определе ны
необходимые внешние ссылки.
EXPRESS-cneuntbHKaunn:
*)
SCHEMA C laa sific a tio n _ a rm ;
<*
4.1 ПЭМ, необходимые для прикладного модуля
Ниже представлен интерфейсный оператор языка EXPRESS, посредством которого задаются
элементы, импортированные из прикладных эталонных моделей других прикладных модулей.
EXPRESS-спеииФикация:
*)
USE FROM C la ss_ a rm ;—ISO/TS 10303-1070 <*
Примечания
1Схемы, ссылки на которые приведены выше, определены в следующем документе комплекса ИСО 10303:
Class_arm — ИССУТС 10303-1070.
2 Графическое представление этих схем приведено на рисунках С.1 — С.З. приложение С.
4.2 Определение типов данных ПЭМ
В данном подразделе приведены определенные в ПЭМ типы данных рассматриваемого приклад
ного модуля.
4.2.1 Тип classification_select
Объекты, входящие в список выбора типа данных classifiication_seloct. представляют классифи
цируемые предметы.
Примечание — Для того чтобы обеспечить уверенность в том, что для объектов, ссылающихся на пу
стой расширяемый выбираемый (SELECT) тип данных, существует хотя бы один тип разрешенных экземпляров,
в прикладных модулях, использующих этот тип данных, требуется его расширение.
EXPRESS-спеиификация:
*)
ТУРЕ c l a s s i f i c a t i o n _ s e l e c t - EXTENSIBLE SELECT;
END_TYPE;
<*
~
4.2.2 Тип данных complete_memborship_solect
Объекты, входящие в список выбора типа данных complete_membership_select. представляют
предметы, которые являются членами множества, заданного явным перечислением.
3