ГОСТ Р ИСО 10303-21—2022
#6 = DD(#3); -------------------------------------------- > D
#7 = АА(’АВС’); ----------------------------------------->Е
А: #1 является экземпляром комбинации аа и bb;
В: #2 является экземпляром комбинации аа и сс;
С: #3 является экземпляром комбинации аа, bb и сс;
D: объект dd ссылается на объект аа как на атрибут. Следовательно, экземпляр объекта dd может иметь раз
решенные ссылки на любой из экземпляров #1. #2 или #3;
Е: аа не является абстрактным супертипом и может быть представлен экземплярами, для которых приме
няется внутреннее отображение, поскольку в этом случае определяемое множество состоит только из одного эле
мента.
2
Отображение более сложного графа подтип/супертип. Определение объекта в языке EXPRESS.
ENTITY х;
attrib_x : INTEGER;
END_ENTITY;
ENTITY aABSTRACT SUPERTYPE OF(ONEOF(b,с)); ~> A
attrib_a :x ----------------------------------------------------------- > В
END_ENTITY;
ENTITY b SUPERTYPE OF(d ANDOR e)
SUBTYPE OF (a);
attrib_b : REAL; ----------------------------------------------------> В
END_ENTITY;
ENTITY c SUBTYPE OF (a); -------------------------------------> C
attrib_c : REAL;
END_ENTITY;
ENTITY d SUBTYPE OF (b); -------------------------------------> D
attrib_d :x;
END_ENTITY;
ENTITY eABSTRACT SUPERTYPE
SUBTYPE OF (b); ------------------------------------> A
attrib_e :x; -----------------------------------------------------------> В
END_ENTITY;
ENTITY f SUPERTYPE OF (h);
attrib_f: x; ------------------------------------------------------------> В
END_ENTITY;
ENTITY g SUBTYPE OF (e); -------------------------------------> E
attrib_g : INTEGER;
END_ENTITY;
ENTITY h SUBTYPE OF (e,f); -----------------------------------> E
attrib_h : INTEGER;
END_ENTITY;
А: поскольку объекты а и e являются абстрактными супертипами, они не могут присутствовать в структуре
обмена в виде самостоятельных экземпляров;
В: поскольку атрибуты attrib_a, attrib b, attrib_e и attrib f являются атрибутами объектов супертипа, они будут
отображены как унаследованные атрибуты в том случае, если при отображении подтипа применено внутреннее
отображение. Эти атрибуты будут отображены как атрибуты объектов, в которых они объявлены, если подтип ото
бражен с использованием внешнего отображения;
С: поскольку объект с участвует в операторе ONEOF, а его супертип не участвует ни в каких операторах с
супертипами, для объекта с будет использовано внутреннее отображение;
D: отображение d зависит от структуры определяемого множества, в котором оно появляется;
49