ГОС! Р ИСО 10303-203-2003
Описание аргумента
product_denaition_formation — идентифицирует набор всех ограниченных экземпляров объек
тов product_definition_formation.
Формальное утверждение
WR1 — каждый экземпляр объекта product_definition_formation должен быть представлен объ
ектом product_definiUon_formation_with_specified_source.
5.2.5.51 Правило dependentJnstant/ab/ejiate
Правило dependent_instantiable_date определяет, что все экземпляры объекта date связаны с
определениями других объектов.
EXPRESS-спеинфикация
•)
RULE dependent_instantiable_date FOR (date);
WHERE
WR1: SIZEOF (QUERY (dt <♦ date |
NOT (SIZEOF (USEDIN (dt. 1 ’)) >= I ))) = 0;
END_RULE;
C
Описание аргумента
date — идентифицирует набор всех экземпляров объектов date.
Формальное утверждение
WRI — на каждый экземпляр объекта date должна бьпь дана ссылка из атрибута другого
объекта.
5.2.5.52 //ранило dependent Jnstantlable_shape_represenunion
Правило dependent_instantiable_shape_representation определяет, что использование всех экзем
пляров объекта shape_representation зависит от определений других объектов.
EXPRESS-спецнфикация
“)
RULE dependent_instantiable_shape_repnesentation FOR
(shape„representation);
WHERE
WRI: SIZEOF (QUERY (sr <• shape_representation |
NOT (SIZEOF (USEDIN (sr, ’ ’)) >= 1 ))) = 0;
END„RULE ;
Г
Описание аргумента
shape_representation — идентифицирует набор всех экземпляров объектов shape_representation.
Формальное утверждение
VVRI - на каждый экземпляр объекта shape_representation должна бытьдана ссылка из атрибута
другого объекта sbape representation
5.2.5.53 //ранило dependentJnstantiable_named_unit
Правило dependent_instantiable_named_unit определяет, что использование всех экземпляров
объекта named_unit зависит от определения других объектов.
EXPRESS-спецнфикация
•)
RULE dependentJnstantiable_named_unit FOR (named_unit);
WHERE
WRI: SIZEOF (QUERY (nu <♦ named„unit |
NOT (SIZEOF (USEDIN (nu, ’ ’)) >= I))) = 0;
END_RULE;
<*
Описание аргумента
named_unit — идентифицирует набор всех экземпляров объектов named_unit.
%