ГОС! Р ИСО 10303-203-2003
5.2.5.68 Правило coordlnated_assembtyjand_shape
Правило coordinated_assembly_and_shape определяет. что отношение между двумя объектами
produetdefinition. представляющими сборочную единицу и компонент в объекте next_assem-
b!y_usage_occurrence. и отношение между двумя объектами shape_representation, содержащими пред
ставления форм сборочной единицы и компонентов в объекте shape_representation_rclationship
должны быть явно связаны с использованием объекта context_dependent_shape_representation. Это
правило вызывает функцию assembly_shape_is_defined, возврашаюшую значение ’true", если отно
шения сборочной единицы и формы заданы явно.
EXPRESS-епеиификация
Ч
RULE coordinated_assembly_and_shape FOR
(next_assemWy_usage_occurrence);
WHERE
WR1: SIZEOF (QUERY (nauo <• next_assembIy_usage_occurrence |
NOT assembly_shape_is_detined (nauo, ’CONFlG_CONTROL_DESIGN’))))
=
0
;
END^RULE:
(4
Описание аргумента
next_assembly_usage_occurrcnce — идешпфицирует набор всех экземпляров объектов next_as-
sembIy_nsage_occurrence.
Формальное утверждение
WR1 —для каждого экземпляра объекта next_assembly_usage_occuiTcnce значением функции
assembly_shape_is_defmed должно быть ’true’.
5.2.5.69 Правило subtype_mandatoryj?roduet_definition_usage
Правило subtypc_mandatory_product_definition_usage определяет, что все объекты product_defi-
nition_usage должны быть представлены как объекты assembly_coniponent_usage.
EXPRESS-спецнфикация
•)
RULE subtype nttndatoryj>roduct_definition_usage FOR
(product_definition_usage);
WHERE
WR1: SIZEOF (QUERY (pdu <♦ product_definition_usage |
NOT (’CONFIG_CONTROL_ DESIGN.’ +
’ASSEM BLY_COMPONENT_USAGE* IN TYFEOF(pdu)))) = 0;
END_RULE:
(*
Описание аргумента
product_deflnition_usagc — идентифицирует набор всех ограниченных экземпляров объектов
product_definition_u.sage.
Формальное утверждение
WR1 — каждый экземпляр объекта product_definition_usage должен быть представлен как as
sembly _coniponent_usage.
5.2.5.70 Правит аси^requires^security^classification
Правило acu_requlres_security_classification определяет, что на каждый экземпляр объекта as
sembly _component_usage должна быть дана ссылка только из одного объекта cc_design_security_clas-
sification. Это правило устанавливает, что любому определению изделия из объекта product_definition,
представленному атрибутом related_product_definition в объекте assembly_component_usage. должен
быть присвоен уровень конфиденциальности в контексте его использования в сборочной единице,
заданном объектом assembly_component_usage.
EXPRESS-спецификация
*)
RULE acu_requires_9ecurity_classification FOR
(assembiy_component_usage,
%