ГОСТ Р ИСО 10303-203-2003
WHERE
WR1: SIZEOF (QUERY (pdf <• product_definition_fonnation |
NOT (SIZEOF (QUERY (ccdsc <• cc_design_security_classification |
pdf IN ccdsc.items )> = ! ) ) ) = 0;
END_RULE :
C
Описания аргументов
produet_deftnitk>n_formation — идентифицирует набор всех экземпляров объектов product_defi-
nitionforniation
cc_design_security_classification —идентифицирует набор всех экземпляров объектов cc_de-
sign_security classification.
Формальное утверждение
WR1 — для каждого экземпляра объекта product_definition_formation должен существовать
единственный экземпляр объекта cc_design_security_classification. содержащий данный экземпляр
объекта product_definition_formation в соответствующем наборе объектов items.
5.2.5.25 Правило product^definition„requires_person_otf>anlzarion
Правило product_definition_requires_person_organization определяет, что на любой объект prod-
uct_dcfinition должна быть дана ссылка только из одного объекта cc_design_person_and_organua-
tion_assignment.Эгоправилоопределяетнеобходимостьналичиядля любогообъекта
product_definition автора (разработчика), отвечающего за конкретное описание проекта (конструк
ции). Смысл понятия автор (разработчик) пояснен в описании атрибута role объекта person_and_or-
ganizatk>n_assignment.
П р и м е ч а н не - Допустимость использования различных значений ролей при связывании
рег-
sonandorgani/ationavsignmint с разными объектами определяется функцией cc_desiRn_person_and_orgaiiiza-
tion correlatioB. Эту функцию используют локально для объекта cc_dcsign_person_and_organization_assignment.
EXPRESS-снеиификаиия
*)
RULE product_definition„reqiiires person_organizatk>n FOR
(product_definition,
cc_design_person_and_organization_assignment);
WHERE
WRI: SIZEOF (QUERY (pd <* product_definition |
NOT (SIZEOF (QUERY (ccdpoa <*
cc_designj>erson_and_ofganization_assignment |
pd IN ccdpoa.items )) = 1 ))) = 0:
END_RULE;
(•
Описания аргументов
product_definition — идентифицирует набор всех экземпляров объектов product definition.
cc_design_person_and organization_assignment — идентифицирует набор всех экземпляров объ
ектов cc_design_person_and_organization_assignment.
Формальное утверждение
WR1 — для каждого экземпляра объекта product_definition должен существовать только один
экземпляр объекта cc_design_person_and_organization_assignment, содержащий данный экземпляр
объекта product_definition в соответствующем наборе объектов Items.
5.2.5.26 Прави
.10
product_definiiion_requires_approval
Правило produet_definition_requires approval определяет, что па каждый экземпляр объекта
product_definition должна быть дана ссылка только из одного экземпляра объекта cc_design_approval.
Это правило определяет необходимость наличия утверждения любого определения проектируемого
изделия (конструкции).
EXPRESS-снеиификаиия
ф>
RULE product_definition„requires_approval FOR
(product_definition, cc_design_approval);
77