ГОСТ Р ИСО 10303-203-2003
И
матыюе утверждение
—для каждого экземпляра объекта product должен быть один или несколько экземпляров
объекта product_definition_formation, в которых значения атрибута of_product должны соответствовать
данному объекту product.
5.2.5.21 Прашею product requires_person^organization
Правило product_requires_person_organization определяет, что на каждый экземпляр объекта
product должна быть дана ссылка из экземпляра объекта cc_dcsign_person_and_organization_assign-
ment. Это правило устанавливает, что для каждого изделия должен быть определен собственник
(объект design_owner).
EXPRESS-спецнфикапия
*)
RULE praduct_requires_person_organization FOR
(product, cc_design_persoH_and_organization_assignment) :
WHERE
WR1: SIZEOF (QUERY (prod <• product |
NOT (SIZEOF (QUERY (ccdpoa <♦
cc_design person_and_organization_assignment |
prod IN ccdpoa.items )) = 1 ))) = 0;
END^RULE :
C
Описания аргументов
product — идентифицирует набор всех экземпляров объектов product.
cc_design_person_and_organization_assignment — идентифицирует набор всех экземпляров объ
ектов cc_design_person_and_organization_assignment.
Формальное утверждение
WR1 - для каждого экземпляра объекта product должен существовать экземпляр объекта
cc_design_pcrson_and_organization_assignment. содержащий атрибут items с значением эквивалент
ным данному экземпляру объекта product.
П р и меч а н и е —Ролью атрибута porsonandorganization объекта product является "design_o\vner".
Данная роль связана с формальным описанием функции, определенной в 5.2.6.2.
5.2.5.22 Правило product_version_requires_approval
Правило product_version_requires_approvaI определяет, что па каждый экземпляр объекта prod-
uct_definition_formation должна быть дана ссылка только из одного экземпляра объекта cc_design_ap-
provai. Это правило устанавливает необходимость утверждения каждой версии проекта.
EXRRESS-спецификаиия
*>
RULE product_version_requires_approval FOR (product ,detiniiion_formation,
cc^design approval) ;
WHERE
WR1: SIZEOF (QUERY (pdf <• p«xluct_defmition_fonnation |
NOT (SIZEOF (QUERY (ccda <• cc_design_approval |
pdf IN ccda .items )) = 1 ))) = 0;
END_RULE ;
C
Описания аргументов
product_defloition_formatioa — идентифицирует набор всех экземпляров объектов product_defi-
nitionformation
cc_design_approval — идентифицирует набор всех экземпляров объектов cc_design_approval.
Формальное утверждение
WR1 — для каждого экземпляра объекта product_deri»ition_formation должен существовать толь
ко один экземпляр объекта cc_design_approval, содержащий данный экземпляр объекта product_defi-
oition_formation в соответствующем наборе объектов items.
5.2.5.23 /правило product_versionrequiresperson organization
Правило product_vcrsion_requircs_person_organization определяет, что на любой объект prod-
75