ГОС! Р ИСО 10303-203-2003
экземпляр объекта cc_design_person_and_organization_assignment. содержащий данный экземпляр
объекта security_cIassification в соответствующем наборе объектов items.
5.2.5.40 Правим securityclassification_requires_date_time
Правило security_classincation_requires_date_time определяет, что на каждый экземпляр объекта
security_classification должна быть дана ссылка только из одного объекта cc_design_date_and_time_as-
signment. имеющего значение роли “classification_dateM. Это правило устанавливает необходимость
наличия даты присвоения конкретного уровня конфиденциальности (секретности), соответствую
щего данному объекту security_classification.
Приме ча ние —Допустимость использования различных значений ролей при связывании
date_timc_assignment с разными объектами определяется функцией cc_design_date_and_time_corrclation. Эту
функцию используют локально для объекта cc_dcMgn_date_and_time_assignment. Определение функции приве
дено в S.2.6.3.
EXPRESS-спеиификацня
•)
RULE security_classification_requires_date_time FOR
1
(security_classification. cc_design_date_and .time assignment);
WHERE
WRI: SIZEOF (QUERY (sc <* security_classification |
NOT (SIZEOF (QUERY (ccdta <* cc_design_date_and_tinte_assignment |
(sc IN ccdta.items) AND
(’classification-date’ = ccdta.role,name))) = ! ) ) ) = 0;
END_RULE:
(*
Описания ар Л’.ментов
security_classincation — идентифицирует набор всех экземпляров объектов security_classifica-
tion.
cc_design_date_and_time_assigDment —идентифицирует набор всех экземпляров объектов
cc_design_date_and_time_assignment.
Формальное утверждение
WR1 —для каждого экземпляра объекта security_elassifieation должен существоватьтолько один
экземпляр объекта cc_design_date_and_time_assignment. содержащий данный экземпляр объекта
security_classification в соответствующем наборе объектов items, и атрибут role, ссылающийся на
экземпляр объекта date_and_time_role, имеющий значение атрибута name “classification date".
5.2.5.41 Правило security jclassification „optional_datejime
Правило security_classification_optional_date_time определяет, что на каждый экземпляр объекта
security_classification может ссылаться одинили ни одного экземпляра объекта cc_de-
sign_datc_and_time_assignment. имеющего роль "declassification_date’\ Это правило устанавливает
возможность наличия для любого объекта security_classincation латы окончания действия присвоен
ного ему уровня конфиденциальности (секретности).
П р и мс ч а н ие —Допустимость использования различных значений ролей объекта при связывании
объекта datetimeassignment сразными объектами определяется функцией cc_dcsign_datc_aiid_time_corrdation
Эту функцию используют локально для объекта cc_design_datc_andtimcassignment. Определение функции
приведено в 5.2.6.3
EXPRESS-спецификация
•)
RULE securityj:lassification_optional_date_time FOR
(security_classification, cc_design_date_andjime. assignment);
WHERE
WRI: SIZEOF (QUERY (sc <♦ security_classification |
NOT (SIZEOF (QUERY (ccdta <• cc_design_date_and_time_assignment |
(sc IN ccdta.items) AND
fdeclassification_date’ = ccdta.role.name))) <= 1 ))) = 0:
END_RULE;
<*
84