ГОСТ Р ИСО/ТС 10303-1786—2015
идентифицирует тип события (способа выполнения действия), связанного с данным риском.
EXPRESS-спецификаиия:
*)
ENTITY risk_event
SUBTYPE OF (applied_actior._method_assignment) ;
SELF\applied_action_method_assignment.items : SET[1:1] OF
risk_perception;
WHERE
WR1: SELF\action_method_assignment.role.name = ’risk of event’;
END_ENTITY;
(*
Определение атрибута
items - риск, для которого данный объект action_method определяет событие.
Формальное утверждение
WR1 - наименование роли ограничено значением ’risk of event (риск события)’.
*)
END_SCHEMA; — Risk_definition_mim
<* ’
17