ГОСТ Р ИСО 10303-46-2002
EXPRESS-cnennthnKainm
4)
ENTITY background colour
SUBT1TY OF (colour);
presentation : area or_view:
UNIQUE
UR1 : presentation;
END ENTITY;
<4
Описание атрибута
presentation —объекты presentation_area или presentation_view. для которых установлен фоно
вый цвет.
Формальное утверждение
UR1 — для любого объекта presentation_area или presentation.view может быть задан только
один цвет фона.
4.4.II О б ъ е к т р r e s e n t a t i o n_r ер r e s e n t a t i o n_r е 1a t i о n s h iр
Объект presentation_representation_relationship определяет отношение между объектами рге-
sentation_represcntation. Данное отношение является направленным в том смысле, что представле
ние «потомка* (гер_2) преобразуется в представление «родителя* (гер_1) и не предусматривает
обратного преобразования. Рассматриваемый объект ограничивает отношение между некоторыми
объектами presentation_representation для обеспечения их представления в иерархии (см. 4.1).
EXPRESS-спецнсЬикаиия
4)
ENTITY presentation_representation_relationshiр
SUBTYPE OF (representation, relationship_with_transformation);
WHERE
WR1 : PRESENTATION..DEFENITION_SCHEMA.PRESENTATION_.REPRESENTATION’IN
TYPEOF (SELF\representation„relationshi р_гер_ 1);
WR2 : ’PRESENTAT10N_DEFENIT10N_SCHEMA."PRESENTAT10N_REPRESENTAT10N’IN
TYPEOF (SELF\representation_relationship_rep_2);
WR3 : acyclic_presentation_representation_relatioivship (SELF,
|SELF\representation relationship_rep 2|);
WR4 : NOT ((’PRESENTATION_ORGANIZATION_SCHEMA.PRESENTATION_AREA’1N
TYPEOF (SELF\representation relationshi p.rep_I))
AND
NOT (SIZEOF (I’PRESENTATION_ORGANIZATION SCHEMA.’ +
’PRODUCT_DATA_REPRESENTATrON’_VIEW’,
1PRESENTATION_0RGAN IZATION SCH EMA.’ +
VIEW_DEPENDENT_ANN0TAT10N_REPRESENTATI0N’|*
TYPEOF (SELF\representation_relationship_rep_2)) = 6));
WR5 : NOT ((’PRESENTATION_ORGANIZATION_SCHEMA.PRESENTATION_VlEW"
IN TYPEOF (SELF\representation relationship rep I))
AND
NOT (SIZEOF (| PRESENTATION_ORGANIZATION SCHEMA.’ +
PRESENTATION AREA’,
’PRESENTAT10N_0RGANIZAT10N_SCHEMA.’ +
PRESENTATION VIEW,
PRESENTATION .ORGAN IZATION_SCHEMA.’ +
’AREA.DEPEN DENT.ANNOTATION REPRESENTATION.’!*
TYPEOF (SELF\representation_relationship rep 2)) = 0));
WR6 : NOT ((’PRESENTATION_ORGANIZATION_SCHEMA.PRESENTATION.VIEW” IN
TYPEOF (SELF\representation_relationshi p_rep_2)))
XOR
( PRESENTATION_ORGANIZATION_SCHEMA.PRESENTATION_AREA’ IN
TYPEOF (SELF\representation_relationship_rep_l));
15