ГОСТ Р ИСО 10303-505—2006
NOT (SIZEOF (mi.mapping_source.
mapped_representation.context_ofJtems.
representations_in_context) = 1)
)) =
0
)
)) = 0;
END_ENTITY:
<*
Формальные утверждения
WR1 — объект draughtlng_drawing_revlsion долженбытьсвязан неменеечем содним объектом
presentation_area. каждый из которых является объектом drawing_shoet_revision.
WR2 — каждый объект approval, относящийся к объекту draughting_drawing_revision. должен
иметь точно одну дату.
WR3 — каждый объект approval, относящийся к каждому листу объекта draughting_drawing_-
revision. должен иметь точно одну дату.
WR4 — каждый объект approval, относящийся к объекту draughting_drawing_revision. должен
быть авторизован одной или несколькими организациями.
WR5 — каждый объект approval, относящийся к каждому листу объекта draughting_drawing_-
revision. должен быть авторизован одной или несколькими организациями.
WR6 — объект draughting_drawing_revlsion должен быть одним из элементов не более чем
одного объекта draughting_titlo.
WR7 — каждый лист объекта draughting_drawing_revision должен быть одним из элементов не
более чем одного объекта draughting_title.
WR8 — элементы каждого листа объекта draughting_drawing_revision должны иметь тип либо
styledjtem. либо mappedjtem. либо axis2_p!acement. либо planar_box.
WR9 — среди элементов каждого листа объекта draughting_drawing_revision должен находить
ся. по крайней мере, один объект типа styledjtem или mappedjtem.
WR10 — каждый листобъекта draughting_drawing_revision должен содержатьточно один объект
planarJ>ox. который является атрибутом size объекта presentation_size.
WR11 — если на листе объекта draughting_drawing_revision присутствуетобъектmappedjtem,
то источником объекта mappedjtem должен быть объект presentation_view.
WR12 — каждыйобъект axis2_placementналистеобъекта draughting_drawing_revision должен
быть объектом mappingJarget для некоторого объекта mappedjtem.
WR13 — объект ropresentation_context листа объекта draughting_drawlng_revision не должен
быть контекстом какого-либо другого объекта representation.
WR14 — каждый вид на листе объекта draughting_drawing_revision должен быть объектом
mappod_representation для точно одного объекта mappedjtem.
WR15 — элементы каждого вида на каждом листе объекта draughting_drawing_revision должны
иметь тип либо styledjtem. либо camerajmage. либо axis2_placemont.
WR16 — каждый вид на каждом листе объекта draughting_drawing_revision должен содержать
точно один объект camerajmage.
WR17 — каждый вид на каждом листе объекта draughting_drawing_revision должен содержать
точно один объект axis2_placoment. который является объектом mapping_origin для объекта
mappedjtem.
WR18 — объект rcprosontation contoxt каждого вида на каждом листе объекта draughting_-
drawing_revision не должен быть контекстом какого-либо другого объекта representation.
4.3.4Объект draughting_organization_assignment связывает объект organization с объектом
product_dofinitionjormation. drawing_revision или drawing_sheet_revision.
EXPRESS-спеииФикация
*)
ENTITY draughting_organization_assignment
SUBTYPE OF (organization_assignment);
assignedJtems : SET [1:?] OF draughting_organizationJtem,
END_ENTITY;
C
10