ГОС! Р ИСО 10303-203-2003
uct_dcnnition_formation должна быть дана ссылка только из одного объекта cc_design_person_and_or-
ganizationassignnicnt. имеющего роль автора, или из одного или нескольких объектов cc_design_per-
son_and_-orgam/ation_assignntent.имеющихратьпоставщикадетали(part .supplier)или
проектировщика (design..supplier). Это правило устанавливает необходимость наличия для каждого
объекта product_definit»on_formatlon автора или поставщика, отвечающего за создание или поставку
конкретной версии проекта. Смысл понятий автор (creator), поставщик детали (pan supplier) и
проектировщик (design_supplier) рассмотрен в 5.2.5.43 как часть описания правила rcstrict_person_or-
ganization_roIe.
П р и м е ч а в и е —Допустимость использования различных значений ролей при связывании объекта
pcrv)n_and organi/3ition_asMRnraent с разными объектами определяется функцией cc_dcsign_pcrson_and_organi-
zation coiTdation. Этуфункциюиспатьзуют локально для объектаcc_dcsign_per9on_and_orgaHizati<>n_assig*meiit.
См. описание функции в 5.2.6.2.
2
EXPRESS-спеиификация
*)
RULE product_version_requires_ person_organization FOR
(produci_definition_formation.
cc. design.person_and_oi) anization assignment) :
WHERE
WR1: S1ZEOF (QUERY (pdf <♦ product_definition_formation |
NOT (SIZEOF (QUERY (ccdpoa <•
cc_design_person_and_organization_assignment |
(pdf IN ccdpoa.items) AND (ccdpoa.role.name = ’creator’ ))) = ! ) ) ) = 0;
WR2: SIZEOF (QUERY (pdf <♦ product_definiUon_formation |
NOT (SIZEOF (QUERY (ccdpoa <•
cc_design_person_and_organization_assigniment |
(pdf IN ccdpoa.items) AND
(ccdpoa.role.name IN |’design_supplier’, ’pan_supplier’ |))) >= 1 ))) = 0:
END_RULE;
(4
Описания аргументов
prodnct_derinition_formation — идентифицирует набор всех экземпляров объектов product_defi-
nition_formation.
cc_design_person_and_organization_assignment — идентифицирует набор всех экземпляров объ
ектов cc_design_person_and_organization_assignment.
Формальные утверждения
VVR1 —для каждого экземпляра объекта product_definition_formation должен сушест!ювать толь
ко один экземпляр объекта cc_designjerson_and_-organization_assigninent. содержащий экземпляр
данного объекта product_-definition_formation в соответствующем наборе объектов items, атрибут
role которого ссылается на объект person_and_organization_role. имеющий значение ’creator’ для
атрибута name.
WR2 —для каждого экземпляра объекта product_derinitlon_formatk»n должен существовать по
крайней мере один экземпляр объекта cc_design_person_-and_organization_assignmcnt. содержащий
экземпляр данного объекта product_definition_formation в соответствующем наборе объектов items,
атрибут role которого ссылается на объект person_and_organi/ation_role. имеющий значение ‘des-
ign_supplier‘ или ’part_supplier’ для атрибута пате.
5.2.5.24 Правою product_ version_requires„securiry_classiftcarion
Правило prodiKt_version_requires_security_classification определяет, что на каждый экземпляр
объекта product_definition_formation должна быть дана ссылка только из одного экземпляра объекта
cc_design_security_classification. Это правило устанавливает, что каждая версия проекта должна иметь
свою классификацию защиты.
EXPRESS-спецнфикация
*)
RULE product_version_requires_security_classilicat»on FOR
(product_dcfmitionjormation. cc_design_security. classification) ;
76