ГОС! Р ИСО 10303-203-2003
WHERE
WRI: S1ZEOF (QUERY (pd <• produci_defmition |
NOT (SIZEOF (QUERY (ccda <* cc_design_approvai |
pd IN ccda.items )) = 1 ))) = 0;
END_RULE;
<4
Описания аргументов
product_definition — идентифицирует набор всех экземпляров объектов product_definition.
cc_design_approval — идентифицирует набор исех экземпляров объектов cc_design_approval.
Формальное утверждение
WR1 —для каждого экземпляра объекта product_definition может существовать только один
экземпляр объекта cc_design_approval, содержащий данный экземпляр объекта product_definition в
соответствующем наборе объектов items.
5.2.5.27 Правило product_definition_requires_datejime
Правило product_definition_requires_date_time определяет, что на каждый экземпляр объекта
product_dcfinition должна быть дана ссылка только из одного объекта cc_design_date_and_time_as-
signment. Это правило устанавливает необходимость наличия для любого объекта product_definition
даты создания соответствующего изделия.
П р и м е ч а н и е —Допустимость использования различных значений ролей объекта при связывании
date_time_assigament с разными объектами определяется функцией cc_dcsign_date_and_timc_corrclation. Эту
функцию используют локально для объекта cc_design_datc_and_time_assignmcnt.
EXPRESS-сиеиификация
")
RULE product_definition_requires_date_time FOR
(product_definition. cc_design_date_and_time_assignment);
WHERE
WRI: SIZEOF (QUERY (pd <* pfoducl_definilion |
NOT (SIZEOF (QUERY (ccdta <* cc_design_date_and_time_assignment |
pd IN ccdta.items )) = !))) = 0;
END RULE;
(4
Описания аргументов
prodBctdeflnltioo — идентифицирует набор всех экземпляров объектов product_dennition:
cc_design_date_and_time_assignment —идентифицирует набор всех экземпляров объектов
cc_design_date_and_time_assignment.
Формальное утверждение
WR1 —для каждого экземпляра объекта product_definition должен существовать только один
экземпляр объекта cc_design_date_and_time_assignment. содержащий данный экземпляр объекта
product_definition в соответствующем наборе объектов items.
5.2.5.28 Правило certificationjrequires_approval
Правило certification_requires_approval определяет, что на каждый экземпляр объекта certifica
tion должна быть дана ссылка только из одного экземпляра объекта cc_design_approval. Это правило
устанавливает необходимость наличия сертификации (аттестации) любого поставщика конструкции
(проекта) в целом или ее детали (составной части).
EXPRESS-спецификация
*)
RULE certifkation^requires_approval FOR (certification.
cc_design_approval);
WHERE
WRI: SIZEOF (QUERY (cert <* certification |
NOT (SIZEOF (QUERY (ccda <* cc_design_approval |
cert IN ccda.items )) = 1 ))) = 0;
END_RULE;
<4
78