ГОСТРИСО 15926-2 -2010
(RT) input — (RT) ввод: (RT) result —(RT)результат; difference_of_sel_of_class —разностьмножества класса;
class — класс; enumerated_set_of_class — перечислимоемножество класса; union_af_set_of_class —объединение
множества класса; intersectionjaf_set_of_class —пересечениемножества масса; enumerated number set —
перечисшмое числовое множество; enumeratedproperty set —перечислимый набор свойств
Рисунок 201 —Диаграмма 25 из29для EXPRESS-G схемы интеграциижизненного цикла
Спецификация на языке EXPRESS:
er.umerated_set_of_class;
:class;
*)
ENTITY difference_of_set_of_class
SUBTYPE OF(functional_mapping>;
SELF\functional_mapping.input :
SELF\functional_mapping.result
ENDJENTITY;
Г
Определения атрибутов:
input: сущность enumerated_set of class, которая является доменом разностной функции;
result: класс, который является диапазоном разностной функции.
201