ГОСТ Р ИСО 10303-203-2003
Формальное утверждение
WKI — для каждого экземпляра объекта start_request должен существовать только один объект
cc_design_approval. содержащий экземпляр данного объекта start_request о соответствующем наборе
объектов items.
5.2.5.12 Правило start request requires^person_ot%amzation
Правило start_request_requires_person_organization определяет, что на кажый объект start_re-
quest должна быть дана хотя бы одна ссылка из объекта cc_design_person_and_organization_assignment.
Это правило определяет необходимость наличия для любого объекта start_request соответствующего
адресата, принимающего данный объект. Смысл понятия адресата разъяснен в описании атрибута
role объекта personandorganizationassignment.
П р и м е ч а н и е —Допустимость использования различных значений ратей при связывании рег-
sonandorganizationassignment
с ратными объектами определяется функцией
cc_design_jM.Tson_and_orgamz.a-
tion_correlation.
Эту функцию используют локально для объекта
cc_design_pcrson_and_organization_assignment.
EXPRESS-спецнфнкаиия
*)
RULE start_request_requires_per9on_oiganization FOR (stari_request,
cc_design_person_and_organization_assignment);
WHERE
WR1: SIZEOF (QUERY (sr <♦ start .request |
NOT (SIZEOF (QUERY (ccdpoa <♦
cc_design_ person..and_oiganization assignment |
sr IN ccdpoa.itents )) >= I ))) = 0;
END^RULE;
C
Описания аргументов
start_request —идентифицирует набор всех экземпляров объектов start_request.
cc_design_person_and_organization_assignment — идентифицирует набор всех экземпляров объ
ектов cedesignpersonandorganizationassignment.
Формальное утверждение
WR1 — для каждого экземпляра объекта start_rcquest должен существовать хотя бы один
экземпляр объекта cc_design_person_and_organization_assignment, содержащий данный экземпляр
объекта start_request в соответствующем наборе объектов items.
5.2.5.13 Правило start request requires date_time
Правило start_request_requires_date_time определяет, что на каждый экземпляр объекта
start_request должна быть ссылка только из одного объекта cc_design_date_and_time_assignment. Это
правило определяет необходимость наличия для любого объекта start_request даты выпуска данного
объекта.
П р и м с ч а и и с —Допустимость использования различных значений ролей при связывании
dak,_timc_assignmcnt с разными объектами определяется функцией ce_design_date_and_time_correlation. Эту
функцию используютлокально для объекта cc_dcsign_date_and_timc_a.vsignmont.
EXPRESS-спенификаиия
*)
RULE start_request_requires_date_time FOR
(start_request, cc_design_date_and_time_assignment);
WHERE
WR1: SIZEOF (QUERY (sr <♦ start_request |
NOT (SIZEOF (QUERY (ccdta <* cc_design_date_and_time_assignment
i
sr IN ccdta.items )) = I ))) = 0;
END_RULE;
Г
Описания аргументов
start_request —идентифицирует набор всех экземпляров объектов start_request.
71