ГОСТ Р ИСО 12006-3—2017
Формальное утверждение:
WR1 — экземпляр, в котором атрибуты, касающиеся точек объекта, не должны содержаться в
списке связанных объектов.
4.3.34 xtdRolSequonces
xtdRelSequences — специализация xtdRelationship. представляющая последовательность между
двумя экземплярами xtdActivity. Относительное xtdActivity предшествует связанному xtdActivity в после
довательности.
EXPRESS-слециФикация:
М
ENTITY xtdRelSequences
SUBTYPE Oi(xtdRelationship);
:OPTIONAL
:OPTIONAL
xtdActivity;
xtdActivity;
RelatingAcrivity
RelatedActivity
WHERE
VJR1 : Relar.edActivity:<>: Relatir.gActivity;
WR2 : EXISTS(Relatir.gActivity) OR EXISTS(RelatedActivity);
ENU_EN Г1TY;
<*
Определение атрибута:
RelatingActivity
Ссылка на предшествующее действие в последовательности.
RelatedActivity
Ссылка на последующее действие в последовательности.
Формальное утверждение:
WR1 — относительное действие не должно указывать на тот же экземпляр, что и связанное дей
ствие;
WR2 — относительное действие либо связанное действие должно быть оговорено.
4.3.35 xtdRolSpecializes
xtdRelSpecializes — специализация xtdRelAssociates, представляющая специализацию супертипа
в один или более подтипов, при обеспечении того, что подтип более ограниченный, чем супертип.
Пример 1
—
«Наружная дверь»
-
это специализации «двери».
Пример 2
—
«Пространство»
—
это обобщение «комнаты».
EXPRESS-слециФикация:
*)
ENTITY xtdRelSpecializes
SUBTYPE OP(xtdRelAssociat.es);
WHERE
WR1 : SI2EOF(QUERY(Result <* RelatedObjects l RelatingObject:-: Re
sult)) - 0;
WR2 : 3IZEOF(QUERY(Result <* SELF.RelatedObjects I NOT(TYPEOF(SELF.
RelatingObject) - TYPEOt(Result)))) - 0;
ENU_ENTITY;
(*
Формальное утверждение:
WR1 — экземпляр, в котором атрибуты, касающиеся точек объекта, не должны содержаться в
списке связанных объектов:
WR2 — тип относительного объекта всегда должен совпадать с типом каждого связанного объек
та. т. е. экземпляр xtdSubject может быть только специализацией другого экземпляра xtdSubjoct.
4.3.36 xtdRolationship
xtdRelationship— специализация xtdRoot. Это абстрактный объект, представляющий воплощение
соотношения и позволяющий добавлять в данный объект дополнительные атрибуты.
18