ГОСТ Р ИСО 10303-203-2003
устанавливается дополнительная оплата за выполняемые организацией работы помимо основного
контракта.
5.2.5.38 Правило security_classification_requires_approval
Правило security_classification_requires_approval определяет, что на каждый экземпляр объекта
securityelassification должна быть дана ссылка только из одного экземпляра объекта cc_design_ap-
proval. ГЗто правило устанавливает необходимость утверждения любого уровня конфнденииатьности
(секретности), присвоенного проекту.
EXPRESS-спеиификаиия
*)
RULE security_classification_requires_approval FOR
(secu rity_classi ficat ion, cc.design_a pproval);
WHERE
WR1: SIZEOF (QUERY (sc <• security„classification |
NOT (SIZEOF (QUERY (ccda <• cc_design_ approval |
sc IN ccda.items)) = ! ) ) ) = 0;
END.RULE;
C
Описания аргументов
security.classification — идентифицирует набор всех экземпляров объектов security classifica
tion.
cc design approval — идентифицирует набор всех экземпляров объектов cedesignapproval
Формальное утверждение
WR1 — для каждого экземпляра объекта security_classification должен существовать только один
экземпляр объекта cc_design_approvaI. содержащий данный экземпляр объекта sccurity_classification
в соответствующем наборе объектов items.
5.2.5.39 Правлю security^classification^requires_person_orgQnizption
Правило security_elassifieation_requiresperson_organization определяет, что на каждый объект
security_dassification должна быть дана ссылка только из одного объекта cc_design_person_and_or-
ganizationassignment. Это правило устанавливает, что за каждый объект security_classification должно
отвечать лицо, имеющее соответствующие полномочия. Смысл понятия ответственного лица разъ
яснен в описании атрибута role объекта person_and_organization_assignment.
Пр и ме ч а н и е —Допустимость использования различных значений ролен при связывании рсг-
son_and_organization_a.vsignmt’nt с разными объектами определяется функцией cc_dcsign_person_and_organi/.a-
tion correlatioa Эту функцию используют локально для обьскта cc_dcsign_person_and_organization_assignmcnt.
Определение функции приведено в S.2.6.2.
EXPRESS-спеиификаиия
*>
RULE security_ctossification_requires_person_organization FOR
(security_classification,
cc_design_penson_and organization assign ment);
WHERE
WR1: SIZEOF (QUERY (sc <• security.classification |
NOT (SIZEOF (QUERY (ccdpoa <4
cc_design_person_and _organization_assignment |
sc IN ccdpoa.items)) = 1 ))) = 0;
END.RULE;
Г
Описания аргументов
security.classification — идентифицирует набор всех экземпляров объектов security_classifica-
tion.
cc_design_person_and_organization_assignment — идентифицирует набор всех экземпляров объ
ектов cc_design_person_and_organization_assignment.
Формальное утверждение
WR1 — для каждого экземпляра объекта security_classification должен существовать только один
83