ГОСТ Р ИСО 10303-203-2003
EXPRESS-спецнфикапия
ф)
RULE dependentjnstantiablejlocumentjype FOR (document_type);
WHERE
WRl: SIZEOF (QUERY (di <• documentjype |
NOT (SIZEOF (USEDIN (dt, ” ))> = ! ))) = 0;
END_RULE :
C
Ощ>еделепие аргумента
document type — идентифицирует набор всех экземпляров объектов document_type.
Формальное утверждение
WR1 — на каждый экземпляр объекта document_type должна быть дана ссылка из атрибута
другого объекта.
5.2.5.61
Правило dependentJnstantlablejcontraetjype
Правило dependent_instantiable_contract_type type устанавливает, что использование всех экзем
пляров объекта contract_type зависит от определения других объектов.
EXPRESS-спеинфнкация
*)
RULE dependent_instantiable_contract_type FOR (contractjype) ;
WHERE
WRl: SIZEOF (QUERY (ct <* contractjype |
NOT (SIZEOF (USEDIN (ct, ’ *))>= I ))) = 0;
END_RULE ;
C
Опрелсление аргумента
contract_type —идентифицирует набор всех экземпляров объектов contract_type.
Формальное утверждение
WR1 — на каждый экземпляр объекта contract_type type должна быть дана ссылка из атрибута
другого объекта.
5.2.5.62
П равлю dependentJnstautiable ^certificationjy p e
Правило dependcntjnstantiable_certification_type устанавливает, что использование всех экзем
пляров объекта certification_type зависит от определения других объектов.
EXPRESS-спеиификания
*)
RULE dependent_instantiable_certification_type FOR (certificationjype):
WHERE
WRl: SIZEOF (QUERY (ct <* certificationjype |
NOT (SIZEOF (USEDIN (ct, ’ ’)) > = l ))) = 0;
END_RULE ;
C
Определение аргумента
certificationJype — идентифицирует набор всех экземпляров объектов certification_type.
Формальное утверждение
WR1 — на каждый экземпляр объекта certificationjypc должна быть дана ссылка из атрибута
другого объекта.
5.2.5.63
П равлю product_concept_requbvs_configurationJtem
Правило product_concept_requires_configuration_item определяет, что на каждый объект рго-
duct_concept должна быть дана ссылка по крайней мере из одного объекта configurationjtem. Это
правило устанавливает необходимость наличия связи любого объекта product_concept по крайней
мере с одним объектом configurationjtem.
EXPRESS-спеиификания
*)
RULE product_cotKept_requires_configuraiion_item FOR
(productjroncept, configurationjtem) ;
93