ГОС! Р ИСО 10303-203-2003
5.2.5.57 Правило dependentJnstantlable_actionjUrectlve
Правило dependentJnstantiable_action_directive устанавливает, что использование всех экзем
пляров объекта action_directive зависит от определения других объектов.
EXPRESS-спеинфнкация
*)
RULE dependent_instamiable_action directive FOR (action_directive) ;
WHERE
WR1: S1ZEOF (QUERY (ad <♦ action_direceive |
NOT (SIZEOF (USEDIN (ad. ” ) ) > = ! ))) = 0;
END_RULE;
(
4
Определение аргумента
action directive — идентифицирует набор всех экземпляров объектов action_directive.
Формальное утверждение
WR1 - на каждый экземпляр объекта action_directive должна быть дана ссылка из атрибута
другого объекта.
5.2.5.58 /Правило dependent Jnstaniiable_securiiy_classiflcation_tevel
Правило depeiident_iii.stantiable_security_classification_level устанавливает, что использование
всех экземпляров объекта security_classification_level зависит от определения других объектов.
EXPRESS-спецнфикация
“)
RULE dependent_instamiable_security_classificationJevel FOR
(security_classificationJevel) ;
WHERE
WRI: SIZEOF (QUERY (scl <* securityjclassificationjevel |
NOT (SIZEOF (USEDIN (scl. ’ ’ ))>= I ))) = 0;
END_RULE ;
<4
Определение аргумеша
security_classi!ication_level — идентифииирует набор всех экземпляров объектов security_classi-
ficationjevd.
Формальное утверждение
WR1 — на каждый экземпляр объекта security_classification_level должна быть дана ссылка из
атрибута другого объекта.
5.2.5.59 IIрани.ю dependentJnsfantIable_approvaI_status
Правило dependent_instantiable_approval_status устанавливает, что использование всех экзем
пляров объекта approval_status_levd зависит от определения других объектов.
EXPRESS-спсинфикаиия
*)
RULE dependent_instantiable_approval status FOR (approval_status);
WHERE
WRI: SIZEOF (QUERY (ast <*approval_status |
NOT (SIZEOF (USEDIN (ast, ” ) ) > = ! ))) = 0;
END_RULE;
(4
Определение аргумента
approval_status — пластифицирует набор всех экземпляров объектов approval_status.
Формальное утверждение
WR1 — на каждый экземпляр объекта approval_status должна быть дана ссылка из атрибута
другого объекта.
5.2.5.60 Правило dependentJnstantiable_document_type
Правило dependentinstantiabledocumenttype устанавливает, что использование всех экземпля
ров объекта document_type зависит от определения других объектов.
92