ГОСТ Р ИСО 10303-203-2003
WRI: S1ZEOF (QUERY (сг <• change_request |
NOT (SIZEOF (QUERY (ссроа <•
cc_design_person_and_ organization assignment |
cr IN ccpoa.items )) >= I ))) = 0;
END_RULE;
C
Описания аргументов
change_request —идентифицирует набор всех экземпляров объектов change_request.
cc_design_person_and_organisation_assignment — идентифицирует набор всех экземпляров объ
ектов cc_design_person_and_organisation_assignment.
Формальное утверждение
WRI — для каждого экземпляра объекта change_request должен существовать хотя бы один
экземпляр объекта cc_design_person_and_organization_assignment, содержащий экземпляр объекта
change_request в соответствующем наборе объектов items.
5.2.5.8 Пришло change_requestjvqutres_datellme
Правило change_request_requires_date_time определяет, что на каждый экземпляр объекта
change_request должна быть дана ссылка только из одного объекта cc_design_date_and_time_assign-
ment. Это правило определяет необходимость наличия для любого объекта change_rcquest соответ
ствующей даты выпуска.
Г1р и мс ч а н и с —Допустимость использования различных значений ролей при связывании
(latc_time_assignmcnt с разными объектами определяется функцией cc_dcsign_datc_and_timc_correlation. Эту
функцию используютлокально для объекта cc_dcsign_date_and_timc_a.ssigiinu.*nl.
EXPRESS-сиеиификания
ф>
RULE change_request_requires_daie_time FOR
(change_request, cc_design_date_and_time_assignment);
WHERE
WRI: SIZEOF (QUERY (cr <• change_request |
NOT (SlZEOF(QUERY(ccdta <* cc design_date_and time_assignment |
(cr IN ccdta.items )) = ! ) ) ) = 0;
END.RULE;
C
Описания аргументов
change_request —идентифицирует набор всех экземпляров объектов change_request.
cc_design_date_and_time_assignment —идентифицирует набор всех экземпляров объектов
cc_design_date_and_time_assignment.
Формальное утверждение
WR1 — для каждого экземпляра объекта change_request должен существовать только один
экземпляр объект;! cc_design_date_and_time_assignment. содержащий экземпляр объекта change_re-
quest в соответствующем наборе объектов items.
5.2.5.9 Правило change requires_approval
Правило change_requires_approvaI определяет, что на каждый экземпляр объекта change должна
быть дана ссылка только из одного экземпляра объекта cc_design_approval. Это правило определяет
необходимость утверждения любого изменения (change).
EXPRESS-спенификания
*)
RULE change_requires_approvaI FOR
(change, cc. design.approval);
WHERE
WRI: SIZEOF (QUERY (chg <* change |
NOT (SIZEOF (QUERY (ccda <• cc_design..approval |
chg IN ccda.items )) = 1 ))) = 0;
END.RULE;
(•
69