ГОСТ Р ИСОЛ-С 10303-1210— 2016
4.2 Определение объектов ПЭМ
Настоящий подраздел описывает объекты ПЭМ рассматриваемого прикладного модуля. Каждый
объект ПЭМ является простейшим неделимым элементом, который моделирует уникальное понятие
прикладной области, и содержит атрибуты для представления объекта. Далее приведены объекты
ПЭМ и их определения.
4.2.1 Объект Complement
Объект Complement представляет такое отношение между
- множеством Sv
- множеством U. и
- множеством S2.
которое показывает, что множество S2состоит из всех членов множества U. не являющихся членами
множества S,.
EXPRESS-слецификация:
*>
ENTITY Complement;
id: STRING;
name: STRING;
description: STRING;
set_1: Class;
set_2: Class;
universe: Class;
END_ENTITY;
r
Определения атрибутов:
id — обозначение отношения дополнения, представляемого экземпляром объекта Complement;
name — слово или группа слов, которыми называется отношение дополнения, представляемое
экземпляром объекта Complement.
description — текст, содержащий дополнительную информацию об отношении дополнения, пред
ставляемом экземпляром объекта Complement;
set_1 — экземпляр объекта Class, для которого экземпляр объекта Class, играющий роль атрибу
та set_2. представляет множество, являющееся дополнением множества, представленного экземпля
ром объекта, играющим роль атрибута universe.
set_2 — экземпляр объекта Class, для которого экземпляр объекта Class, играющий роль атрибу
та set_1. представляет множество, являющееся дополнением множества, представленного экземпля
ром объекта, играющим роль атрибута universe.
universe — экземпляр объекта Class, представляющий множество, являющееся объединением
множеств, представленных объектами, играющими роль атрибутов sct_1 и set_2.
4.2.2 Объект Intersection
Объект Intersection представляет такое отношение между:
- множеством R и
- множеством множеств {SJ,
которое показывает, что множество R состоит из элементов, каждый из которых является элементом
всех множеств из набора множеств {Sj}.
EXPRESS-слецификация:
*>
ENTITY Intersection:
id: STRING:
name: STRING;
description: OPTIONAL STRING;
operand: SET[2:?] OF Class,
4