ГОСТ Р ИСОЯС 10303-1264—2014
Определения атрибутов
assigned_action — заданное действие, с которым связан данный объект risk_estimation_
outputs:
items — множество элементов типа данных risk_estimation_select для данного объекта
risk_estimation_outputs.
Формальное утверждение
WR1 — значение параметра nameфиксировано.
5.2.2.5 Объект risk_evaluation_criteria
Объектrisk_evaluation_criteria являетсяподтипом объекта appliod_action_assignment, который
представляетэлементы риска, определяющие критерии риска.
EXPRESS-специФикаиия;
*>
ENTITY risk_evaluation_criteria
SUBTYPE OF (applied_action_assignment);
SELFVaction_assignment.assigned_action:risk_evaluation;
SELF\applied_action_assignment.items:SET[1:?] OF
risk_criteria_select;
WHERE
WR1: SELF\action_assignment.role.name = ’risk_evaluation_criteria’;
END_ENTITY;
f
Определения атрибутов
assigned_action — заданноедействие, скоторымсвязанданныйобъектrisk_evaluation_criteria.
items — множество элементов типа данных risk_critoria_select для данного объекта
risk_evaluation_criteria.
Формальное утверждение
WR1 — значение параметра пате фиксировано.
5.2.2.6 Объект risk_evaluationJnputs
Объект risk_evaluationJnputs является подтипом объекта applied_action_assignment. который
представляетэлементы риска, используемыедля сравнительногооценивания риска.
EXPRESS-специФикаиия:
*)
ENTITY risk_evaluationJnputs
SUBTYPE OF (applied_action_asstgnment);
SELF\action_assignment.assigned_action:risk_evaluation;
SELFVapplied_action_assignment.items:SET[1:?JOF risk_perception;
WHERE
WR1:SELF\action_assignment.role.name = ’risk_evaluation_input’;
END_ENTITY;
f
Определения атрибутов
assigned_action — заданное действие, с которым связанданный объектrisk_ovaluationJnputs;
items — множество элементов типа данных risk_perception для данного объекта
risk_evaluation_inputs.
Формальное утверждение
WR1 — значение параметра пате фиксировано.
5 2.2.7 Объект risk_event
Объект risk_event является подтипом объекта appliod_event_occurrence_assignment, который
задает событие, инициирующеедействия для снижения риска.
45