ГОС! Р ИСО 10303-203-2003
NOT (S1ZEOF (QUERY (pd <♦ USEDIN (dmfr, ’CONFIG.CONTROL^DESIGN.’ +
l>ROPERTY_DEFINlTION.DEFINITION’) |
’CONFIG_CONTROL DESIGN.PRODUCT_DEFINlT!ON_SHAPE’ IN TYPEOF (pd))) =
0 ))) = 0;
END_RIJLE;
C
Описание аргумента
design_make_from_relatk>nship — идентифицирует набор всех ограниченных экземпляров объ
екта design_niake_froni_reIationship.
Формальное утверждение
WR1 — ни на один объект design_make_from_relationship не должна быть дана ссылка из
атрибута definition объекта property_definition, представленного объектом product_definition_shapc.
5.2.5.77 Правило no_shape_for_supplied_pan
Правило no_shape_for_supplied_part определяет, что объекты product_dcrinition_relation<>hip,
представляющие отношение “деталь—покупная деталь” через объекты supplicd_part_relation.ship, не
должны иметь определенной формы. Это правило работает путем запрета на использование объекта
supplicd_part_relationsiiip в объекте product_definition_shape, устанавливающем форму компонента,
входящего в сборочную единицу.
EXPRESS-спенификации
*)
RULE no_shape_for_supplied_part FOR
(supplied_part_re!ationship);
WHERE
W’RI: SIZEOF (QUERY (spr <• supplied_part_relationship |
NOT (SIZEOF (QUERY (pd <* USEDIN (spr, ,CONFIG_CONTROL_DESIGN/ +
TROPERTY..DEFIMTION.DEFINITION’) |
,CONFlG_CONTROL_DESlGN.PRODUCT_DEFINITION_SHAPE‘ IN TYPEOF (pd))) =
0))) = 0;
END..RULE:
<*
Описание аргумента
supplied_part_relationsbip — идентифицирует набор всех ограниченных экземпляров объекта
supplied_part_relationship.
Формальное утверждение
W’RI — ни на один объект supplicd_part_relationship не должна быть дана ссылка из атрибута
definition объекта property_definition. представленного объектом product_definition_shape.
5.2.5.78 Правило approval thuejime consiraints
Правило approval_date_time_constraints определяет, что каждый экземпляр объекта ар-
proval_date_time должен ссылаться только на экземпляр объекта datc_and_time. Это правило уста
навливает необходимость связи дат с конкретным временем.
EXPRESS-спецификацня
*)
RULE approval_date_tin>e_constrainLs FOR (approval_date_time);
WHERE
W’RI: SIZEOF (QUERY (adi <• approval_date_time |
NOT (SIZEOF (TYPEOF(adt.datejime) •
| *CONFlG_CONTROL_DESIGN.DATE_AND_TIME* I) = 1 ))) =0 ;
END_RULE;
C
Описание аргумента
approval_date_time — идентифицирует набор всех экземпляров объектов approval_date_time.
Формальное утверждение
WR1 —для каждого экземпляра объекта approval_date_time из атрибута date_time должна быть
дана ссылка на экземпляр объекта datc_and_time.
100