ГОСТ Р 55346—2012
(* The child_state specifies the child Fsm_state in the relationship. *)
child_state: fsm_state;
(* The parent_state specifies the parent Fsm_state in the relationship. *)
parent_state: fsm_state;
END_ENTITY:
(*An Fsm_state_transition is a representation of a possible execution path between two Fsm_generic_state objects.
<note>A fsm_statejransitkxi is applicable for use in finite state machines only.</note> *)
ENTITY fsm_state_transition:
(* The destination_state specifies the Fsm_state activated if the Fsm_state_transition is fired. *)
destination_state: fsm_generic_state;
(* The source_state specifies the Fsm_state originally active in the relationship. *)
source_state : fsm_generic_state;
INVERSE
(* The assigned_to specifies the Fsm_state_transition to which the textual specification is assigned.
*)
transitionjabel : SET [0 : 1] OF state_transitk>n_specification_assignment FOR assigned_to;
END_ENTITY:
(*An Fsm_transient_state is a type of Fsm_generic_state with the discriminator the state is not. under any conditions, a
static state of a finite state machine. <note>ln statechart terminology a fsmjransient_state is a pseudo-state. Under no
circumstances shall the fsm Jransient_state be a static state of a system. If transitions out of a fsm_transient_state exist
then these shall either be non guarded or the union of the guarding conditions shall be one. i.e.. at least one guard will
always evaluate to TRUE.</note> ’)
ENTITY fsm_transient_state
SUBTYPE OF (fsm_generic_state);
(* The statejype specifies the type of a Fsm_transient_state. Where applicable the statejype shall be one of the fol
lowing values: <ul> <li>History<ili> <li>Deep-history</li> <!i>Condition<rti> <li>Select<Jli> *)
statejype : label;
END_ENTITY:
{*An Fsm_transient_state_composition_relationship is a relationship between fsm_slate and a fsmjransient_state
indicating that the Fsm_transient_state is a sub-state of the Fsm_state. <note>An FsmJransient_state_composition_re-
lationship may be instantiated only of there is at least one Fsm_state_composition_relationship instantiated for the Fsm_
state. An Fsm_state may not only be composed of Fsm_transient_state objects.</note> ’)
ENTITY fsmjransient_state_composition_relationship;
(* The child_state represents the Fsmjransient_state in the Fsm_transient_state_compositionjetationship. *)
child_state:fsm_transient_state;
(* The parent_state represents the Fsm_state in the Fsm_transient_state_composition_relationship. *)
parent_state: fsm_state;
END_ENTITY;
(*A Function_instance is a type of GeneralJunctionalityJnstance and a representation of an entity that performs an
activity within a system. <note>The functional domain describes what a system does.</r»ote> *)
ENTITY functionjnstance
SUBTYPE OF (general JunctionalityJnstance):
(* The definition specifies the GeneralJunctionjJefinition that provides the definition for the Functionjnstance.’)
definition : generalJunction_definition;
(* The id specifies the identifier of the FunctionJnstance. *)
id : elementjdentifier.
(* The name specifies the word, or words, which are used to refer to the Functionjnstance.’)
name: label;
(* The presentationjd specifies the identity information for a Functionjnstance that shall be presented to the user. ■)
presentation^ : OPTIONAL label;
INVERSE
(* The port_of specifies the FunctionJnstance object to which the Control_io_port is attached. *)
controljiort: SET [0 : ?] OF controlJoj>ort FOR port_of;
UNIQUE
UR1; definition, id;
END_ENTITY:
338