ГОС! Р ИСО 10303-203-2003
WHERE
WR1: SIZEOF (QUERY (pc <* product„concept |
NOT (SIZEOF (QUERY (ci <♦ configurationJtem |
pc :=: ci.item_concept )) >= I ))) = 0;
END_RULE;
(*
Опрслелсния aprvментои
product_concept —идентифицирует набор всех экземпляров объектов product_concept.
configurationjtem —идентифицирует набор всех экземпляров объектов configurationjtem.
Формальное утверждение
WR1 —для каждого экземпляра объекта product_concept должен существовать по крайней мере
один экземпляр объекта configurationjtem. содержащий экземпляр объекта product_concept в каче
стве значения соответствующего атрибута item_concept.
5.2.5.64
Правило configurationJtem requires_person_organizoiion
Правило configurationJtem_requires_person_organization определяет, что на каждый объект con
figurationjtem должна быть дана ссылка только из одного объекта cc_design person_and_organiza-
tionassignment. Это правило устанавливает необходимость наличия для каждого объекта
configurationjtem соответствующего ответственного лица (configuration_manager). Понятие configu-
ration_manager пояснено в атрибуте role объекта person organization axsignment
П р и м е ч а н и е —Связь значений различныхролей pcrM>n_organi/ation_a«ignmcnt для разных объектов
определена в функции cc_dc*.ignpcrMin_andorgani/ation_coiTilation. Эту функцию используют локально для
объекта cc_dcsign_pcrson_and_organuation_assignnienl. Описание функции приведено в 5.2.6.2.
EXPRESS-спспификация
*)
RULE configurationJtem_requires„penion_.oiganization FOR
(configurat ion Jte m.
cc.designj3erson_and_oi^anization_assignntent) ;
WHERE
WRI: SIZEOF (QUERY (ci <* configurationjtem |
NOT (SIZEOF (QUERY (ccdpoa <•
cc_design„person_and„oi^anization_assigninent |
ci IN ccdpoa.items )) = 1 ))) = 0;
END_RULE ;
(*
Определения аргументов
configurationjtem —идентифицирует набор всех экземпляров объектов configurationjtem:
cc_design_person_and_organization_assignment — идентифицирует набор всех экземпляров объ
ектов cc_dcsign_person_and_organization_assignment.
Формальное утверждение
WR1 —для каждого экземпляра объекта configurationjtem должен существовать только одни
экземпляр объекта cc_design_person_organization_assignment. содержащий данный экземпляр объекта
configurationjtem в соответствующем наборе объектов Items.
5.2.5.65
Правило subtype m undaton efiectivity
Правило subtype_mandatory_effectivity определяет, что каждый экземпляр объектов effectivity
должен быть экземпляром сложного объекта, сопоставимым с одним из экземпляров объектов
serial_numbered_effectivity. dated_effectivity или lot_effectivity и экземпляром объекта configuration_ef-
fectivity.
EXPRESS-спеинфикация
• )
RULE subtype_mandatoty_eft’ectivity FOR (effectivity);
WHERE
WRI: SIZEOF (QUERY (eflT<• effectivity |
NOT ((SIZEOF (rCONFIG_CONTROL_DESKiN.SERIAL_NUMBERED_EFFECTIV!TY\
l)4