ГОСТ Р ИСО 10303-46-2002
WR2 —одним из элементов в объекте area_dependent_annotation_representation должен быть
annotalion_occurrence.
Неформальное утверждение
1Р1 — при наличии объекта area_dependent_annotalion_representation он должен входить в
presentation_area.
П р и м е ч а н и с —Ограничения но применению рассматриваемого объекта установлены правилами
для объекта prcscntation_reprcsontation_relatioitship.
4.4.7 О б ъ е к т p r o d u c t _ d a t a _ r e p r e s e n t a t i o n_v i е w
Объект produet_data_representation_view представляет собой изображение, состоящие из дву
мерных геометрических проекций, аннотации или того и другого. Вданное изображение могут вхо
дить другие изображения, или данное изображение может быть включено в другое изображение.
Данный объект не содержит полного изображения и не может быть отображен без представления
его в объект presentation-view.
EXPRESS-спениФикания
*>
ENTITY product, data_representation_view;
SUBTYPE OF (presentation_representation);
WHERE
WR1: SIZEOF (QUERY (item<* SELF \representation.item |
NOT (SIZEOF (l’PRESENTATI0N_0RGANIZAT10N_SCHEMA.CAMERA IMAGE1,
*GEOMETRY_SCHEMA.AXIS2_PLACEMENT|*
TYPEOF (item)) = I
))) = 0;
WR2: SIZEOF (QUERY (item<* (SELF \representation.items |
(PRESENTATION_ORGANIZATION_SCHEMA.CAMERA_lMAGE1IN
TYPEOF (item))
END_ENTITY:
(*
Формальные утверждения
WR1 — элементом product_data_representation_view должны быть объекты camerajmage или
axis2_placement:
WR2 —одним из элементов в product_data_representation_view должен быть объект camera_iniage.
Неформальное утверждение
IPI — при наличии объекта product_data_representation_view он должен входить в рге-
sentationview.
П р и м е ч а н и е —Ограничения по применению рассматриваемого объекта установлены правилами
для объекта prcscntation_rcprcsentation_rclatkmship.
4.4.8 О б ъ е к т v i e w_d е р е n d е n t_a n п о t а I i о n_r e p r e s e n t a t i o n
Объект view_dependent_annotation_representation является изображением, которое может быть
размещено в изображении, представленном объектом presentation_view. Данное изображение вклю
чает только элементы объектов annotation_occurrence. Рассматриваемый объект может быть связан
только с объектом presentation_v»ew.
EXPRESS-спенисЬикания
*)
ENTITY view_dependent_annotation_representation
SUBTYPE OF (presentation_representation);
WHERE
WR1: SIZEOF (QUERY (item<* (SELF \representation.items |
NOT (SIZEOF (|1PRESENTATION_DEFINTnON_SCHEMA.1+
•ANNOTATIONJOCCURRENCE’,
GEOMETRY SCHEMA.AXIS2_PLACEMENT|*
TYPEOF (item)) = 1
))) = 0;
J-J-1 8 4
13