ГОСТ Р 55346—2012
(*A Function_reference is the relationship between a Functionjnstance object and a Fsmjnodel object. <note num-
ber=T>The functionje ferenee is the means for referencing elements in the name space of a Composite_function_defi-
nition to the name space of a finite state machine.</note> <note number=*2’>Tocomplete the referencing mechanism
the foBowing entities shall be used: State_function_interaclion_port and Name_binding.</r>ote> *)
ENTITY function_reference;
(* The functionjink specifies the Function_instance that is imported into the finite state machine.’)
funcbonjink: functionjnstance:
(* The port_of specifies the Fsm_model into which the Functionjnstance object is imported. *)
port_of: fsmmodel;
END_ENTITY;
(*A Functional_behaviour_model is the definition of functional behaviour model. A Functional_behaviour_model is an
abstract super type that shall never be instantiated. *)
ENTITY functionalJ>ehaviourjnodel
ABSTRACT SUPERTYPE OF (ONEOF(cb_functional_behaviour_model. statejnachinejunct«onal_behaviourmodel));
(* The description specifies additional textual information on the FunctionalJjehaviourjnodel. *)
description : OPTIONAL text_select;
INVERSE
(* The assigned_behaviour_model specifies the FunctionalJ)ehaviour_model assigned. *)
defines_behaviourJor: SET [0 : 1] OF functional_behaviour_model_assignment FOR assigned_behaviour_model;
END_ENT1TY:
(*A Functional_behaviour_model_assignment is an assignment relationship between a Functional_behaviour_model and
a Compositejunction_definition object whose behaviour is defined by the Functional_behaviour_model. ’)
ENTITY functional_behaviour_model_assignment;
(* The assignedJjehaviourjnodel specifies the Functional_behaviour_model assigned. ")
assigned_behaviour_model . functional_behaviour_model;
(* The constrainedJunction specifies the CompositeJunctionjlefinition object whose behaviour is constrained by the
assigned Functional_behaviour_model. *)
constrainedjunction : CompositeJunctionjiefinition;
END_ENTITY:
(*A Functional_decompositionjelationship is the hierarchical relationship behveen a CompositeJunction_definition and a
Generaljunctionalityjnstance. <note number="T>The Compositejunction_definition is the parent in the relationship and
the Generaljunctionalityjnstance object is the child in the relationship. </r>ote> *)
ENTITY functional jiecompositionjelationship:
(* The chHd specifies the Generaljunctionalityjnstance that is part of the composition of the parent. ")
child: generaljunctionalityjnstance;
(* The description specifies the role that the child plays in the CompositeJunctionjiefinilion specified by the parent at
tribute. <note number="2">As a child object may be part of many Composite_function_definition objects, the description
attribute allows for a description of the role of the child in a particular CompositeJunc!ion_definitk>n.</note> *)
description : OPTIONAL text_select;
(* The parent specifies the Compositejundionjlefinition of which the child is a part of the decomposition. *)
parent: CompositeJunctionjiefinition;
END_ENTITY:
(*A FunctionaIJink is the relationship behveen two lojjort objects such that there is a data interaction path behveen the
two ports. <note number="1">The direction of the data path is from the sourcejx>rt to the destination jx>rt.</note> <note
number=*2’>The data carried by the functionalJink is determined by the data attribute of the sourcejrart and destina-
tionjjort attribute. The same Datajnstance object shall be at the source and destination port.</note> ’)
ENTITY functional Jink:
(* The controljink specifies whether or not the FunctionaIJink carries control information. *)
controlJink : BOOLEAN;
(* The description specifies additional information on the FunctionaIJink. *)
description : OPTIONAL text_select;
(* The destination_port specifies the lojjort that is the data receiver.’)
destination_port: iojjort
(* The name specifies the word, or words, that are used to refer to the FunctionaIJink. *)
name: label;
(* The sourcejjort specifies the lojjort that is the data transmitter. •)
sourcejjort: iojjort;
339