ГОСТ Р ИСО/ТС 10303-1211—2016
4 Информационные требования
В настоящем разделе определены информационные требования к прикладному модулю «Мощ
ность отношения», которые представлены в форме ПЭМ.
Примечания
1 Графическое представление информационных требований приведено в приложении С.
2 Спецификация отображения определена в 5.1. Она показывает, как удовлетворяются информа
ционные требования при использовании общих ресурсов и конструкций, определенных в схеме ИММ
или импортированных в схему ИММ прикладного модуля, описанного в настоящем стандарте.
В настоящем подразделе с применением языка EXPRESS дано определение информационных
требований, которым должны соответствовать программные реализации. Ниже представлен фрагмент
EXPRESS-сяецификации, с которого начинается описание схемы Cardinality_of_relationship_arm. В
нем определены необходимые внешние ссылки.
EXPRESS-спеиификаиия:
*)
SCHEMA Cardinality ot relationship arm;
<*
4.1 ПЭМ, необходимые для прикладного модуля
Ниже представлены интерфейсные операторы языка EXPRESS, посредством которых задаются
элементы, импортированные из прикладных эталонных моделей других прикладных модулей.
EXPRESS-спецификация:
*)
USE FROM Maths space arm;— ISC/TS 103C3-1091
(*
Примечания
1 Схемы, ссыпки на которые приведены выше, определены в следующих документах комплекса ИСО 10303:
Maths_space_arm — ИСОЯС 10303-1091.
2 Графическое представление этих схем приведено на рисунках С.1 и С.2, приложение С.
4.2 Определение типа данных ПЭМ
В данном подразделе приведены определенные в ПЭМ типы данных рассматриваемого приклад
ного модуля.
4.2.1 Тип данных relationship_select
Тип данных relationship_solect представляет отношение, для которого задается мощность.
EXPRESS-спецификация:
*)
TYPE relationship select = EXTENSIBLE SELECT;
END TYPE;
(*
4.3 Определения объектов ПЭМ
Настоящий подраздел описывает объекты ПЭМ рассматриваемого прикладного модуля. Объект
ПЭМ является простейшим неделимым элементом, который моделирует уникальное понятие приклад
ной области и содержит атрибуты для представления объекта. Далее приведены объекты ПЭМ и
их определения.
4.3.1 Прикладной объект Cardinality_of_relatod_class
Посредством объекта Cardinality_of_related_class задается мощность отношения между класса
ми в отношении зависимого (связываемого) класса. Мощность задает, сколько раз участники отноше
ния могут ссылаться на один и тот же объект.
Эта информация отражает реальный мир, а не ограничения на хранимую информацию. Не все
отношения, существующие в реальном мире, необходимо записывать.
3