ГОСТ Р 55346—2012
initial_state: fsm_generic_state:
(* The transition_context specifies the environment for which the mitial_state_context is valid. *)
transition_context: default_context_select;
END_ENTITY:
(‘ An Fsm_model is a type of GeneralJunctionalityJnstance and represents the entry point to a finite state machine.
<note number=»1»>Fsm_model objects may be referred to within the function breakdown structure and represent the ac
tivation and de-activation logic of functions in the functional breakdown structure.</note><note number=»2»>This entity
is included in the model to allow a FSM to be included in a General_function_definition and provides the link between the
functional view and state view of a system.</note> ’)
ENTITY fsm_model
SUBTYPE OF (general_functionalityJnstance);
(* The behaviour_model specifies the State_machir>e_functional_behaviour_model object for which the Fsm_model
provides the behaviour specification. *)
behaviourmodel: state_machine_functional_behaviour_model;
(* The definition specifies the Functional_state_context that contains the finite state machine model.’)
definition : functional_state_context:
(* The id specifies the identifier of the Fsm_model.’)
id: elementjdentifier;
(* The name specifies the word, or words, that are used to refer to the Fsm_model. *)
name: label;
(* The presentationjd specifies the identity information for a Fsm_mode! that shall be presented to the user. *)
presentationjd ; OPTIONAL label;
END_ENTITY;
(•An Fsm_or_state is a type of Fsm_state of a finite state machine which, if decomposed, constrains the semantics of
the child Fsm_state objects such that only one of the child states may be active when the parent state is active. <note
number=»1»>subclass definition probably the best way to document this proper1y!</note> <note number=»2»>The fsm_
or_state corresponds to the or state of statecharts and the normal state of a finite state machine.</note> ’)
ENTITY fsm_or_state
SUBTYPE OF (fsmstate);
END_ENTITY;
(*Afsm_state is a type of Fsm_generic_state and a representation of a static state in a finite state machine.
<r»ote>
Within the scope ofAP 233 a fsm_state is always an element of a finite state machine. The concept «state» in EACM is
inAP 233 terminology a Partial_system_view.
</note> *)
ENTITY fsm_state
ABSTRACT SUPERTYPE OF (ONEOF(fsm_and_state. fsm_or_state))
SUBTYPE OF (fsm_generic_state);
(* The description specifies additional information on the description.
*)
description; OPTIONAL text_select;
(* The name specifies the word or set of words to which the name is referred to.
*)
name: label;
(* The presentationjd specifies the identity information for a presentationjd that shall be presented to the user.
*)
presentationjd ; OPTIONAL label;
INVERSE
(* The parent_state specifies the parent Fsm_state in the relationship. *)
child_states ; SET [0 : ?] OF fsm_s!ate_composition_relationship FOR parent_state;
END_ENTITY;
(‘ An Fsm_state_composition_relationship is a relationship between two Fsm_state objects defining a parent child rela
tionship between the two objects. <r»ote number=»1»>The parent Fsm_state is identified by the parent_state attribute
and the child Fsm_state is identified by the child_state attribute.</note> <note number=»2»>The State Fsm_state_com-
position_relationship entity is included in the model to support statechart extensions to the traditional finite state machine
formalism.</note> *)
ENTITY fsm_state_composition_relationship;
337