ГОСТ Р 55346—2012
SELF\fsm_state.child_states : SET [2 : ?] OF fsm_state_compositK>n_relationship FOR parent_state;
END_ENTITY;
(*An Fsm_commandJnteraction_relationship is the mechanism for indicating that a command is issued to a the refer
ence to a function (in the form of a statejunctionjnteractionport) by a textual_specification. The fsm_commandJnter-
action_relationship is only used within the scope of a finite state machine. The nature of the command is specified in the
interaction_type attribute. <note number=»1»>The Fsm_comment_interaction_relatk>nship indicates that a command
(function: start, stop, suspend, resume) is issued by a Fsm_transition or Fsm_state. The notation complements the textu
al definition of actions in stales or in transitions.</note> *)
ENTITY fsm_command_interaction_relationship:
(* The definedjn specifies the textual_specification where the command is issued.’)
definedjn: fsmJnteraction_se!ect;
(* The interaction_port specifies the state_function_interaction_port through which the command relayed by the Fsm_
command_interaction_relationship is sent.’)
interaction_port: state_function_interaction_port:
(* The interaction_type specfies the semantics of the Fsm_command_interaction_relationship. Where applicable one
of the following values Shall be used:<ul><ii>start: The referenced function is started by the commar>d;</li> <li>stop: The
referenced function is stopped by the command:</li> <li>resume: The referenced function is resumed from a suspend ed
state by the command;</li> <li>suspend: The referenced function is temporarily suspended by the command.</li></
ulxnote number=»2»>AII commands predefined are idempotent. i.e.. issuing a «start» command to a started function
does not have any effect.</note> *)
interaction_type: label:
END_ENTITY:
(*An Fsm_data_interaction_binding is a parameter matching relationship between an element tn the actual interface of
an Actual_io_port and an element of the formaljnterface of a Formal_data_interaction_port.’)
ENTITY fsm_data_interaction_binding;
(* The actual_port specifies the Actual_io_port in the relationship. *)
actual_port: actual_io_port;
(* The formal_port specifies the Formal_data_interaction_port in the relationship. *)
formal_port: formal_data_interaction_port;
END_ENTITY:
(’ An Fsm_data_interaction_retationship is the mechanism for indicating the a datajnstance is referenced within a
textual_specification. The nature of the reference is defined by the interaction_type attribute. <r>ote>The Fsm_datajnter-
ation_relationship that the associated data item of an lo_port fsm_interaction_port object is updated or read as a part of
a action performed in a state or transitions,l’note> *)
ENTITY fsm_data_interaction_relationship;
(* The definedjn specifies the Textual_specification where the command is issued. *)
definedjn: fsmJnteraction_select;
(* The interaction_port specifies the Formal_datajnteraction_port in the relationship. *)
interaction port: fornial_data_interaction_port;
(* The interactionjype specfies the semantics of the Fsm_dataJnteraction_relationship. Where applicable one of the
following values shall be used:<ul><li>read: The value of the Datajnstance on the Formal_data_interaction_port is refer
enced in the Textual_specification identified by the definedjn attribute;</li><li>write: The value of the Datajnstance on
the Formal_data_interaction_port is written in the Textual_specification identified by the definedjn attribute.
< A i> < h i>
*)
interaction_type: label:
END_ENTITY:
{*A Fsm_generic_state is the abstract super class of either a Fsm_state, or a Fsm_transient_state. *)
ENTITY fsm_generic_state
ABSTRACT SUPERTYPE OF (ONEOF(fsm_state. fsmJransient_state));
INVERSE
(* The destination_state specifies the Fsm_state activated if the Fsm_state_transition is fired. •)
destinationjransition : SET [0 : ?] OF fsm_stateJransition FOR destination_state:
END_ENTITY;
(*An Fsm_initial_state_lransition is the initial transition to the initial state of an Fsm_or_state in a finite state model. *)
ENTITY fsmJnitial_state_transition;
(* The initial_state specifies the initial state. *)
336