ГОС! Р ИСО 10303-203-2003
cc_design_date_and_time_assignmcnt —идентифицирует набор всех экземпляров объектов
cc_design_date_and_tinie_assignment.
Формальное утверждение
WR1 —для каждого экземпляра объекта start_request должен существовать только один экзем
пляр объекта cc_design_date_and_time_assignment. содержащий данный экземпляр объекта start_rc-
quest в соответствующем наборе объектов items.
5.2.5.14 Прави
.10
startswork requires appro val
Правило start_work_requires_approval определяет, что на каждый экземпляр объекта start_work
должна быть дана ссылка только из одного экземпляра объекта cc_design_approval. Это правило
определяет необходимость утверждения (санкции) начала (запуска) любого проиесса проектирова
ния.
EXPRESS-спецификации
•)
RULE stait_work_requires_approval FOR
(start_work. cc_design_approval);
WHERE
WR1: S1ZEOF (QUERY (svv <• start_work |
NOT (SIZEOF (QUERY (ccda <* cc_design approval |
sw IN ccda.items )) = 1 ))) = 0;
END_RULE;
<4
Описания аргументов
start_work — идентифицирует набор всех экземпляров объектов start_work.
cc_design_approval — идентифиинрует набор всех экземпляров объектов cc_design_approvaI.
Формальное утверждение
WRI —для каждого экземпляра объекта start_work должен существовать только один экзем
пляр объекта cc_design_approval, содержащий данный экземпляр объекта start_work в соответству
ющем наборе объектов items.
5.2.5.15 Правило startswork_requlresjiaie_time
Правило start_work_rcquires date_time определяет, что на каждый экземпляр объекта start_work
должна быть дана ссылка только из одного объекта cc_design_date_and_time_assignment. Это правило
определяет необходимость задания для любого объекта start_work даты начала работы над проектом.
П р и м с ч а н н с —Допустимость использования различных значений ролей при связывании
date_lime_a\signment с разными объектами определяется функцией cc_dcsign_datc_and_time_correlation. Эту
функцию используют локально для объекта cc_dwign_date_and_tirac_assignmcnt.
EXPRESS-спецнфикация
*)
RULE stan_work ,requires_date_time FOR
(start_work, cc_design_date_and_time_assignment);
WHERE
WRI: SIZEOF (QUERY (sw <• start_work |
NOT (SIZEOF (QUERY (ccdta <* cc_design_daie_and_time assignment |
(sw IN ccdta.items)
AND (ccdta.role.name = ’start_date’))) = ! ) ) ) = 0:
END„RULE;
<4
Описания аргументов
start_work — идентифицирует набор всех экземпляров объектов start_work.
cc_design_date_and_time_assignment —идентифицирует набор всех экземпляров объектов
cc_design_date_and_time_assignment.
Формальное утверждение
WRI —для каждого экземпляра start_work должен существовать только один экземпляр объ
екта ccdesigndateandtim eassignm ent, содержащий экземпляр данного объекта start_work с на
именованием роли “stait_date” в соответствующем наборе объектов items.
72