ГОСТРИСО 15926-2 -2010
Спецификация на языке EXPRESS:
■)
ENTITY specialization
SUPERTYPE OF (OKEOF<
boundary_of_number space,
boundary_of_property_space,
specia1ization_by_domain,
specialization_by_role,
specialization_of_individual_dimension_from_property)
)
SUBTYPE OF(relationship);
subclass:class;
superclass:class;
END_ENTITY;
<*
Определения атрибутов:
subclass: класс, который является специализацией класса суперкласса:
superclass: класс, который является обобщением класса подкласса.
5.2.3 Classes of class (классы класса)
Этот подкласс содержитобъявления типовданныхлогических объектов, которые предсташтяют
классы класса.
Примечание — На рисунке 179 представлена диаграмма типа(ов) данных логического объекта,
определенно^ых) в этом подразделе.
5.2.3.1 Class ofclass (класс класса)
Класс class of class есть класс, чьи члены являются экземплярами класса.
Примечание —Если необходимо классифицировать класс class_of_class, можно использоватьдругой
класс класса. Этовозможно поюму. что класс классаесть класс.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_class
SUPERTYPE OF <ONEOF<
arithmetic_number,
class_of_class_of_individual,
class_of_clas3_ofRelationship,
class_of_number,
class_of_property_space,
cla3S_of_shape_dimension)
ANOOR enumerated_set_of_cla3s)
SU8TYPE OF(class_of_ab3tract_object);
END_ENTITY;
(*
113