ГОСТРИСО 15926-2 2010
5.2.25.2 Enumerated set ofclass (перечислимое множество классов)
Сущностьenumerated set of class естькласс class of.class, являющийся перечислимым набором
экземпляров класса. «Перечислимое* означает, что задается полное множество членов.
Пример —/пластмасса, 1,2 кг, рама]есть сущность enumerated_set_of_class. В более общем виде [(А, В ,С),
(В. С, D), (С, D, Г.)]также является сущностью enumerated_set_of_class.
Спецификация на языке EXPRESS:
*>
ENTITY enumer.aLed_set_oI_clas3
SUBTYPE OF(ciass_of_class);
END_EHTITY;
<*
5.2.25.3 Intersection ofset ofclass (пересечение множества классов)
Сущность intersection of set of classестьсущность functional mapping, указывающая что класс
результатов состоит из тех членов классов сущности enumerated set of class, которые являются
общими для каждого класса.
Пример — Пересечение перечислимого набора классов [(А, В, С), (В, С, D), С, D, Е)] есть С.
Спецификация на языке EXPRESS:
enumerated_set_o£_elass;
:class;
*>
ENTITY mter
s e c
tion_of_set_oI_c
lass
SUBTYPE OF(lunctlonaI_aiapping);
SELFNfunctlonalmapping.Input :
SELF\functionai_mapping.result
E N D _E N T IT Y ;
<*
Определения атрибутов:
input: сущность enumerated set_of class, члены которой пересекаются;
result: класс, который представляет пересечение членов перечислимого набора классов.
5.2.25.4 Union ofset ofclass (объединение наборов классов)
Сущность union of set of class) есть сущность functional_mapping, указывающая, что членство
класса результатов является объединением членов сущности enumerated _set of class.
Пример —Объединение сущности euumerated_set_of_claxs [(А, В, С), (В, С, D), (С, D, Е)]есть (А, В. С, D, Е).
Спецификация на языке EXPRESS:
t
enuraerated_set_ol_ciasa;
:class;
*)
entity
union_o£_set_of_class
SUBTYPE OF<unctronaI_»apping);
SELF\funcitonal_aapprng.input :
SELF\runctionai_mapping.result
END_ENTITY;
t*
Определения атрибутов:
input: сущность enumerated_set of class, являющаяся доменом функции объединения:
result: класс, являющийся диапазоном функции объединения.
202