ГОСТ Р ИСО/ТС 10303-1263—2014
EXPRESS-слецификация.
*)
ENTITY assumption
SUBTYPE OF (state_observed);
END_ENTITY;
(*
5.2.2 2 Объект assumption_assignment
Объектassumption_assignmontявляетсятакимподтипомобъектаcharacterize^
applied_state_observed_assignment. который связывает представленное объектом assumption
предположение с контекстом, в котором это предположение сделано.
EXPRESS-специФикация:
*)
ENTITY assumption_assignment
SUBTYPE OF (characterized_applied_state_observed_assignment);
END_ENTITY;
(*
объекта stato_
двумя объектами
5.2.2.3 Объект assumption_relationship
Объектassumption_relationshipявляетсятакимподтипом
observed_relationship. посредством которого задается отношение между
assumption, представляющими предположения.
EXPRESS-слецификация:
*)
ENTITY assumption_relationship
SUBTYPE OF (state_observed_relatior.ship);
END_ENTITY;
(*
5.2 2.4 Объект characterized_appiied_state_observod_assignment
Объект characterized_appliod_state_observed_assignment является таким под-типом объектов
applied_state_observed_assignmentиcharacterized_object.которыйпозволяетзадавать
наблюдаемое состояние, которое должно быть описано.
EXPRESS-слецификация:
*)
ENTITY characterized_applied_state_observed_assigr.ment
SUBTYPE OF (applied_state_observed_assignment,
characterized_object);
END_ENTITY;
(*
5 2.2.5 Объект item_assumed
Объектitem_assumedявляетсятакимподтипомобъектаcharacterized_
applied_state_observed_assignment, с помощью которого задается связь предста-вленного
объектом assumption предположения с объектом, к которому относится это предположение.
EXPRESS-слецификация:
*)
ENTITY item_assumed
SUBTYPE OF (characterized_applied_state_observed_assignment);
END_ENTITY;
(*
21