ГОСТ Р ИСО 10303-46-2002
WHERE
WR1: item_in_context (SELF.clipping..box,
SELF\representation.contexi of items);
END_ENTITY:
(*
Определение атрибута
clipping_box —объект planar_box. определяющий границы выделения содержимого примитива
table_record_field_represcntat»on.
Формальное утверждение
WR1 —атрибут clippingbox должен быть представлен в контексте примитива table_rccord_field_
representation_with_cl ipping_box.
5.4.16 II p и м it т и в s y m b o l j c p r e s e n t a t i o n_r e l a t i o n s h i p
Примитивом symbol_represcntation_relationship является вид объекта representatlon_
relationship with transformation, используемый для связи объектов symbol representation
EXPRESS-епеитЬнкаиня
*)
ENTITY symbol_representation_relationship
SUBTYPE OF (representation_relationship_with_transformation);
WHERE
WR1: acyclic symbol_representation_relationship (SELF,
|SELF\representation_relationship.rep 2|);
WR2: PRESENTATI0N_DEFIN1T10N_SCHEMA.SYMB0L_REPRESENTAT10NTN
TYPEOF (SELF\representation_relationship.rep_l);
WR3: ’PRESENTATION,, DEFINlTION_SCHEMA.SYMBOL_ REPRESENTATION’!N
TYPEOF (SELF\representation relationshi p.rep_2);
END_ENT1TY;
(*
Определения атрибутов
SELF\representation_relationship.rep_l — объект symbol_representation. играющий роль «роди
теля (корня)* в «дереве* объектов symbol_reprcsentation;
SELF\representation_relationship.rep_2 —объект symbol_representation. играющий роль «потом
ка (листа)* в «дереве* объектов symbol_representation.
Формальные утверждения
WR1 — объект symbol_representatlon_relationship не должен входить в «дерево* объектов sym-
быть объект sym-
быть объект sym-
bol_representation, «корнем» которого является «лист дерева* данных объектов;
WR2 — атрибутом гер_1 объекта symbol_representation_reIationship должен
bo!_representation;
WR3 — атрибутом гер_2 объекта symbol_representation_relationship должен
bol_representation.
II р и м е ч а и и с —Атрибуты гср_1 и гср_2 определены в ГОСТ Р ИСО 10303-43.
5.4.17 П р и м и т и в t a b I е_г е р г е s е п t a t i о n_r e l a t i o n s h i p
Примитивом table_representation_relationship является вид объекта symbol_representation_
relationship, используемый для связи с объектами table_representation. table_record_representation и
table_record_field_representation.
EXPRESS-спеинсЬикапия
4 )
ENTITY table_representation_reIationship
SUBTYPE OF (semboI_representation_relatioaship);
WHERE
WR1: NOTCPRESENTATION. DEFINITION„SCHEMA. TABLE RECORD, REPRESENTATION’^
TYPEOF (SELF\representation relationshi p„rep_ I);
XOR
REPRESENTATION’!N
(*PRESENTATION_DEFINITION_SCHEMA.TABLE_RECORD_FIELD
TYPEOF (SELF\representation_relationship.rep_2)):
39