ГОСТ Р 55346—2012
ENTITY fsm_generic_state
ABSTRACT SUPERTYPE OF (ONEOF{fsm_state. fsmjransient_state)):
INVERSE
destination_transitk>n : SET(0:?j OF fsm_state_transition FOR destination_state;
END_ENTITY:
ENTITY fsm_initial_state_transition;
initial_state:fsm_generic_state;
transition_context: default_context_select:
END_ENTITY;
ENTITY fsm_model
SUBTYPE OF (general_functionality_instance);
behaviour_model: state_machine_functional_behaviour_model;
definition :functional_state_context:
id : eiementjdentifier;
name: label;
presentation_id ; OPTIONAL label;
END_ENTITY;
ENTITY fsm_or_state
SUBTYPE OF (fsm_state);
END_ENTITY:
ENTITY fsm_state
ABSTRACT SUPERTYPE OF ( ONEOF(fsm_and_state. fsm_or_state))
SUBTYPE OF (fsm_generic_state);
description ; OPTIONAL text_select;
name; label;
presentationjd ; OPTIONAL label;
INVERSE
child_states : SET[0;?] OF fsm_state_composition_relationship FOR parent_state;
END_ENTITY;
ENTITY fsm_state_composition_relationship;
child_state ; fsm_state:
parent_state; fsm_state:
END_ENTITY;
ENTITY fsm_state_transition;
destination_state: fsm_generic_state;
source_state; fsm_generic_state;
INVERSE
transition_label; SET(0;1] OF state_transition_specification_assignment FOR assigned_to;
END_ENTITY;
ENTITY fsm_transient_state
SUBTYPE OF (fsm_generic_state);
statejype : label;
END_ENTITY;
ENTITY fsm_transient_state_composition_relationship;
child_state ; fsm_transient_state;
parent_state ; fsm_state:
END_ENTITY;
ENTITY functionjnstance
SUBTYPE OF (general_functionality_instance);
definition; general_function_definition;
id : eiementjdentifier;
name; label;
280