ГОСТ Р ИСО 10303-54—2011
description: текст, описывающий отношение дополнения. Задавать значение этого атрибута не
обязательно.
set_1: класс, дополнением которого в классе, играющем роль атрибута universe, является класс,
играющий роль атрибута set_2.
set_2: класс, дополнением которого в классе, играющем роль атрибута universe, является класс,
играющий роль атрибута set_1.
universe: класс, являющийся объединением класса, играющего роль атрибута set_1. и класса,
играющего роль атрибута set_2.
Формальные положения:
для класса не можетбыть явно задана идентичность его своемудополнению.
5.3.2 Объект intersection
Объект intersection (пересечение) специфицируеттакое отношение между множеством R и мно
жеством множеств (S). при котором каждый элемент множества R является одновременно элементом
каждого из множеств {S,}.
EXPRESS-спеииФикаиия:
*)
ENTITY intersection;
id: identifier;
name:label;
description: OPTIONAL text;
operand : SET[2:?] OF class;
resultant:class;
END_ENTITY;
r
Определения атрибутов.
id: идентификатор отношения пересечения,
name: наименование отношенияпересечения.
description: текст, описывающий отношение пересечения. Задавать значение этого атрибута не
обязательно.
operand: множество множеств, результатом которого является множество, играющее роль атри
бута resultant.
resultant: множество, состоящее извсехэлементов, каждый из которыхявляетсяэлементом каж
дого из множеств, входящих в множество множеств, играющее роль атрибута operand.
5.3.3 Объект power_sot
Объектpower_set (мощность множества) специфицируеттакоеотношение междумножеством S и
множеством S*, при котором множество S* является множеством всех подмножеств множества S.
Пример
Рассмотрим следующие три экземпляра классов:
- *насос» — класс, элементами которого являются отдельные насосы;
- *класс предметов потребления» — класс, элементами которого являются классы предметов
потребления, используемые для их закупок;
- «класс предметов потребления, являющихся насосами» — класс, входящий в число классов пред
метов потребления и используемый для закупки насосов.
«Класс предметов потребления, являющихся насосами». — это пересечение «класса предметов
потребления» и мощности множества всех насосов.
EXPRESS-спеииФикаиия:
‘ )
ENTITY power_set;
id: identifier;
name:label;
description: OPTIONALtext;
8