ГОС! Р ИСО 10303-203-2003
EXPRESS-спецнфикация
•)
RULE subtype_mandatorv_product_context FOR (product context);
WHERE
WR1: SIZEOF (QUERY (pc <♦ product context |
NOT (*CONFlG_CONTROL_DESlGN.MECHANlCAL_CONTEXT IN TYPEOF(pc)))) = 0;
END_RULE;
(*
Описание аргумента
product_context — идентифицирует набор всех экземпляров объектов product_context.
Формальное утверждение
WR1 — каждый экземпляр объекта product_context должен быть представлен объектом niechani-
cal_context.
5.2.5.3 Правило design^context forjproperty
Правило design_conte.\t_for_propert> определяет, что проектирование рассматривается в кон
тексте только тех стадий жизненного цикла изделия, для которых могут быть определены характе
ристики, задаваемые в настоящем стандарте. Структуры изделий могут быть определены на любой
стадии жизненного цикла посредством контекста из объекта productdefinition.
EXPRESS-спсиификаиия
*)
RULE design_context_for_property FOR (product_definition);
WHERE
WR1: SIZEOF (QUERY (pd <• productdefinition |
(SIZEOF (USEDIN (pd. ’CONFlG_CONTROL_DESIGN.>+
’PROPERTY,DEFINITION.DEFINITION’) +
QUERY (pdr <♦ USEDIN (pd, CONFlG_CONTROL_DESIGN.’ +
’PRODUCT_DEFINITION_RELATIONSHIP.RELATED_PRODUCT_DEFINITION ) |
SIZEOF (USEDIN (pdr, CONFlG_CONTROL_DESlGN.PROPERTY_DEFINITION.’ +
DEFINITION’)) >= 1)) >= 1) AND
(NOT ( CONFIG_CONTROL_DESIGN.DESIGN_CONTEXT IN
TYPEOF (pd.frame_of_reference))))) = 0;
END_RULE;
(4
Описание аргумента
product_deflnition — идентифицирует набор всех экземпляров объекта product_definition.
Формальное утверждение
WRI —для каждого экземпляра объекта product_def]nition справедливо, что если на этот эк-
эемпляр дана ссылка посредством атрибута definition объекта property_definition или этот экземпляр
представлен атрибутом related_product_definition в экземпляре объекта product_definition_relation.ship,
ссылка на который задана посредством атрибута definition объекта property_definition, то атрибут
frame_of_reference экземпляра объекта product_definition должен ссылаться на design_context.
5.2.5.4 Правило restrict product_category_value
Правило restrict_product_catcgory_value определяет ограниченный набор значений, которые
может принимать объект product_category. связанный с объектом product.
EXPRESS-спенификация
•)
RULE n?strict_product_category_value FOR
(product_related_product_category),
WHERE
WRI: SIZEOF (QUERY (prpc <•
product_related_ product_category |
NOT (prpc.name IN (’assembly’’, ’detail’,
’customer_fumished_equipment’, ’inseparable_assembly\ ’cast’,
’coined’, ’drawn’, ’extruded’, ’forged’, ’formed’, ’machined’.
66