ГОС! Р ИСО 10303-203-2003
{product. product_related product_category);
WHERE
WRI: SIZEOF (QUERY (prod <♦ product |
NOT (SIZEOF (QUERY (prpc <* product_related product category |
(prod IN prpc.products) AND
(prpc.name IN |’assembly’, ’inseparable_assembly’, ’detail’,
’customerJ’urnished_equipment’l))) = 1))) = 0;
END..RULE:
<*
Описании аргумеитоц
product — идентифицирует набор всех экземпляров объектов product.
produetrdatedproduetcategory — идентифицирует набор всех экземпляров объектов prod-
uct_related_product_category.
Формальное утверждение
WR1 —для каждого экземпляра объекта product должен существовать только один экземпляр
объекта product_related_product_category, значениями атрибута name которого являются “assembly”,
“mseparab!e_assembly“, “detail” или “customer_fumished_equipment”.
5.2.5.6 Правило changerequesl^requires approvaI
Правило change_request_requires_approva! определяет, что на каждый экземпляр объекта
changc_request должна быть дана ссылка только из одного объекта cc_design_approval. Это правило
устанавливает обязательность утверждения каждого предложения (заявки) на изменение.
EXPRESS-епецифнкацня
•)
RULE change_request_requires_approval FOR
(change_request. cc_design_approval);
WHERE
WRI: SIZEOF (QUERY (cr <• change_request |
NOT (SIZEOF (QUERY (ccda <* cc_design_approvai |
cr IN ccda.items )) = ! ) ) ) = 0;
END_RULE:
(4
Описания аргументов
change_request — идентифицирует набор всех экземазяров объектов change_request:
cc_design_approval — идентифицирует набор всех экземпляров объектов cc_design_approval.
Формальное утверждение
WR1 —для каждого экземпляра объекта change_request должен существовать только один
экземпляр объекта cc_design_approval. содержащий данный экземпляр объекта change_request в
соответствующем наборе объектов items.
5.2.5.7 Правим change reqtiesl requires person organization
Правило change_request_requires_person_organization определяет, что на любой объект
change_request должна быть дана ссылка хотя бы из одного объекта cc_design_person_and organiza-
tion assignment. Это правило определяет необходимость наличия дтя любого объекта change_request
соответствующего адресата, принимающего данный объект. Смысл понятия адресата разъяснен в
описании атрибута role объекта person_and_organization_assignment.
П р и м е ч а н и е —Допустимость использования
различных
значений ролей при связывании
объекта
pcrM)n_and_organization_assignnicnt с различными
объектами
определяется функцией cc_dcsign_j>crson_and_or-
gani/atiun_corrclation. Эту функцию используютлокатьнодля объекта cc_dcsign_pen>on_and_organization_assign-
ment.
EXPRESS-спеннфикация
*)
RULE change_request_rcquims_person_organization FOR
(change_request,
cc_design_person_and_oiganization_assignment);
WHERE
68