ГОС! Р ИСО 10303-203-2003
Описания аргумент»»
change — идентифицирует набор всех экземпляров объектов change.
cc_design_approval — идентифицирует набор всех экземпляров объектов cc_deslgn_approvaI.
Формальное утверждение
WR1 —для каждого экземпляра объекта change должен существовать только один экземпляр
объекта cc_design_approval. содержащий экземпляр объекта change в соответствующем наборе
объектов Items.
5.2.5.10 Правшю change_requlresjdatejime
Правило change_requires_date_time определяет, что на каждый экземпляр объекта change
должна быть дана ссылка только из одного объекта cc_design_date_and_time_assignment. Это правило
определяет необходимость наличия для любого объекта change даты внесения конкретного измене ния
в проект.
П р и м е ч а н и е —Допустимость использования различных значений ролей при связывании
date_time_a.ssiignraent с разными объектами определяется функцией cc_dcsign_date_and_timccorrclation. Эту
функцию используют локально для объекта cc_design_dalc_and_tirae_assignmcnt.
EXPRESS-спецнфнкация
*)
RULE change_requires_date_tinie FOR
(change. cc_design_date_and_time_assignment);
WHERE
WR1: SIZEOF (QUERY (chg <• change |
NOT (SIZEOF (QUERY (ccdta <• cc_design_date_and_time_assignment |
(chg IN ccdta.items)
AND (ccdta.role.name = ’start_date’») = 1 ))) = 0;
END_RULE;
<*
Описания аргументоц
change — идентифицирует набор всех экземпляров объектов change.
сс design_date_and_time_assignnient — идентифииирует набор всех экземпляров объектов cc_de-
sign_date_and_time_assignment.
Формалыизе утверждение
WR1 —для каждого экземпляра объекта change должен существовать только один экземпляр
объекта cc_design_date_and_tlme_assignment, содержащий экзе.мачяр объекта change с наименовани
ем роли “start_date” в соответствующем наборе объектов items.
5.2.5.11 Правило start_request_requires_approval
Правило start_rcquest_requires_approvaI определяет, что на каждый экземпляр объекта start_re-
quest должна быть дана ссылка только из одного экземпляра объекта cc_design_approval. Это правило
определяет необходимость наличия для любого объекта start_request соответствующего утверждения,
санкционирующего начало проектирования.
EXPRESS-епснифнкация
Ч
RULE stan_request_requires_approval FOR
(stan_request, cc_design. approval):
WHERE
WR1: SIZEOF (QUERY (sr <• start_request |
NOT (SIZEOF (QUERY (ccda <4 cc_design. approval |
sr IN ccda.items )) = 1 ))) = 0;
END_RULE:
<*
Описания аргументов
start_request — идентифииирует набор всех экземпляров объектов start_request.
cc_design_approval — идентифицирует набор всех экземпляров объектов cc_design_approval.
70