В настоящем разделе определены информационные требования к прикладному модулю "Группа", которые представлены в виде ПЭМ.
Примечания
1 Графическое представление информационных требований представлено в приложении С.
2 Спецификация отображения определена в 5.1. Она показывает, как удовлетворяются информационные требования при использовании общих ресурсов и конструкций, определенных в схеме ИММ или импортированных в схему ИММ прикладного модуля, описанного в настоящем стандарте.
Ниже представлен фрагмент EXPRESS-спецификации, с которого начинается описание схемы Group.
EXPRESS-спецификация:
*) |
SCHEMA Group_arm; |
(* |
4.1 Определение типа данных ПЭМ
В данном подразделе приведен определенный в ПЭМ тип данных рассматриваемого прикладного модуля.
4.1.1 Тип данных groupable_item
Тип данных groupable_item является расширяемым списком альтернативных типов данных. В выбираемых (SELECT) типах данных, расширяющих тип данных groupable_item, добавляются дополнительные альтернативные типы данных.
Примечание - Для обеспечения уверенности в том, что для объектов, ссылающихся на пустой расширяемый выбранный (SELECT) тип данных, существует хотя бы один тип разрешенных экземпляров, в прикладных модулях, использующих этот тип данных, требуется его расширение.
EXPRESS-спецификация:
*) | |
TYPE groupable_item = EXTENSIBLE GENERIC_ENTITY SELECT; | |
WHERE | |
WR1: NOT ('GROUP_ARM.GROUP' IN TYPEOF (SELF) ) ; | |
END_TYPE; | |
(* |
Формальное положение
WR1: Экземпляр данных типа groupable_item не может быть экземпляром объекта Group или какого-либо подтипа объекта Group.
Примечание - Вложенность групп может быть представлена с помощью объекта Group_relationship.
4.2 Определение объектов ПЭМ
В настоящем подразделе определены объекты ПЭМ рассматриваемого прикладного модуля. Объект ПЭМ является простейшим неделимым элементом, который моделирует уникальное понятие прикладной области, и содержит атрибуты для представления объекта. Ниже приведены объекты ПЭМ и их определения.
4.2.1 Объект Group
Представляющий группу объект Group является собранием экземпляров данных типа groupable_item. Объект может содержать ноль или более элементов.
EXPRESS-спецификация: