ГОСТ Р 55346—2012
id :elementjdentifier.
(* The name specifies the word, or words, that are used to refer to the General_physical_definition. *)
name : OPTIONAL label:
INVERSE
(* The port_of specifies the General_physical_defintion object for which the Formal_physical_port provides part of the
interface. *)
formal_port: SET [0 : ?] OF formal_physical_port FOR port_of:
UNIQUE
UR1:id;
END_ENTITY;
(’ A Generic_state_oontext is the enclosure of a finite state machine or statechart. Each Generic_state_context is a
Fundional_state_context. ’)
ENTITY generic_state_context ABSTRACT SUPERTYPE:
(* The associated_version specifies the the Configuration_element_versran for the Genehc_state_context. *)
associated_version : configuration_element_version:
(* The description specifies additional information on the Generic_state_context. *)
description : OPTIONAL text_seled:
(* The id specifies the identifier of the Generic_state_context. *)
id :element_identifier.
(* The name specifies the word, or words, that are used to refer to the Genenc_state_context. *)
name : OPTIONAL label.
(* The original_representation specifies how the state machine enclosed by the Generic_state_context was presented.
Where applicable, one of the following shall be used to represent the original_representation:<ul><li>table: The state
machine was presented in a table structure in the originating too!;</li><li>graph: The state machine was presented using
a graphical notation in the originating tool.</li></ul> ’)
original_representation : label:
(* The state_machine_model specifies the type of state machine enclosed by the Generic_state_context. Where appli
cable. one of the following values shall be used:<ulxii>moore: The enclosed state machine is flat. No states are decom-
positioned. The output alphabet from the state machine is generated by Fsm_generic_state objects;</li> <li>mealy: The
enclosed state machine is flat. No states are decompositioned. The output alphabet from the state machine is generated
by Fsm_state_transition and Fsm_initial_state_transition objects;</li> <li>hierarchical: The states in the enclosed state
machine may be composed of other states. The output alphabet may be generated by both Fsm_generic_state. Fsm_
state_transition and Fsm_initial_state_transition objects.</li></ul> *)
state_machine_model: label;
END_ENTITY;
(*A Graphicsjink is a type of Visual_element and a representation of a open graphical figure spanning a list of Graph-
ics_point objects. <note> The graphical information is not directly associated with the objects that are represented by the
Graphicsjink object as the objects may have totally different representations if they appear in more than one contexts/
note> *)
ENTITY graphicsjink
SUBTYPE OF (visual_element);
(* The associated_with specifies the Configuration_element for which the Graphicsjink provides the visual layout. *)
associated_with: Bnk_select:
(* The point specifies the list of co-ordinates of the Graphicsjink. *)
point: LIST [2 : ?] OF graphics_point:
END_ENTITY;
(’ A graphics_node is a type of Visual_etement and a representation of a closed rectangle used for presenting the posi
tion of an object. *)
ENTITY graphics_node
SUBTYPE OF (visual_element);
(* The associated_with specifies the object for which the associated_with provides visual placement information.
*)
associated_with: node_select:
(* The bottom_right specifies the Graphics_point object that provides positioning information for the bottom right corner
of the node.
*)
bottom_right: graphics_point;
(’ The topjeft specifies the Graphics_point object that providespositioning informaton forthe upper left comer of the node.
*)
343