ГОСТ Р ИСО 10303-203-2003
Формальное утверждение
WRl — каждый экземпляр объекта shape_representation должен быть представлен объектом
geometrically _l>ouiided_wireframe_representation. geometrically _boimded_surface_representation. edge_ba-
sedwireframerepresentation,shell_based_wireframe_representation,manifold_surface_*ith_topo-
logy_representation. faceted_brep_representation или advanced_brep_representation. или в соответству
ющем наборе атрибута Items содержать только объекты axis2_placement_3d. или быть представлением
объектов shape_aspect или shape_aspects_relationship.
5.2.5.74
Правило subtypejnandatory_ representation
Правило subtype_mandatory_representation требует, чтобы все объекты representation были пред
ставлены объектами shape_representation.
EXPRESS-спеиификаиия
*)
RULE subtype_mandatory_representation FOR (representation):
WHERE
WRl: SIZEOF (QUERY (rep <• representation |
NOT (’CONFICj_CONTROL_DESIGN.SHAPE,.REPRESENTATION’ IN
TYPEOF (rep)))) = 0;
END_RULE;
Г
Описание аргумент
representation — идентифицирует набор всех ограниченных экземпляров объектов repre
sentation.
Формальное утверждение
WR1 — каждый экземпляр объекта representation должен быть представлен объектом shape_rep-
resentation.
5.2.5.75
Правило subtypejnandatory_representationjContext
Правило subtype_mandatory_representation_context требует,чтобывсеобъектыгерге-
sentationcontext были представлены посредством объектов geometric_representation_context.
EXPKESS-епеиификапни
*)
RULE subtype_niandatory_reprcsentation_context FOR (representation_context);
WHERE
WRl: SIZEOF (QUERY (rep_cntxt <* representation context |
NOT (’CONFIG_CONTROL_DESIGN.GEOMETRlC_REPRESENTATION_CONTEXT IN
TYPEOF (rep_cntxt)))) = 0;
END_RULE;
C
Описание аргумента
representation_context — идентифицирует набор всех ограниченных экземпляров объектов гер-
resentation_context.
Формальное утверждение
WR1 - каждый экземпляр объекта representation_context должен быть представлен объектом
geometric_representation_context.
5.2.5.76
Привило no shapeJorjnakeJrom
Правило no_shape_for_make_from определяет, что объекты product_derinition_relationship, пред
ставляющие отношение “полуфабрикат—деталь” через объекты design_make_from_relationship. не
должны иметь определенной формы. Это правило работает путем запрета на использование объекта
design_make_from_relationship в объекте product_deflnition_shapc. устанавливающем форму компонен
та. входящего в сборочную единицу.
EXPRESS-спецификация
*)
RULE no_shape_for_make_from FOR
(design make_from_relationship):
WHERE
WRl: SIZEOF (QUERY (dmfr <* designjmke_from_relationship |
99