ГОСТ Р 55346—2012
1- on).</li></ul></example>A group of bits is not an aggregate. The bits form a single value and they have a position
within a word. Typically the producer and receiver of the data use bit masks to manipulate parts of the word data. *)
ENTITY binary_data_type_definition
SUBTYPE OF {elementary_maths_space);
(* The size specifies a finite interval that defines the maximum length of a Binary_data_type_definition. *)
size: finitejntegerjnterval:
END_ENTITY:
{*A BooleandataJype_definition is a type of Elementary_maths_space whose value range is TRUE or FALSE. *)
ENTITY bootean_data_type_definition
SUBTYPE OF (elementary_maths_space);
END_ENTITY:
(*A Cardinalityjist is a definition of a valid cardinality range. ’)
ENTITY cardinalityjist;
(* The range specifies a strictly increasing non overlapping list of Cardinality_range objects that specifies valid intervals
for the Cardinalityjist. *)
range : LIST [2 : ?] OF cardinality_range;
END_ENTITY;
{*A Cardinality_range is a pair of values defining the valid lower and upper bounds of an interval. The value of the low-
er_bound shall be less than or equal to the higher_bound value. The value domain of the attributes is that of the natural
numbers. *)
ENTITY cardinality_range;
(* The lower_bound specifies the lower bound in the interval. *)
lower_bound ; single_cardinality;
(* The upper_bound specifies the upper bound in the interval. *)
upper_bound : single_cardinality:
END_ENTlTY;
(*A Causal_block_bound is the relationship between two Cb_transition_relationship objects indicating the scope of a
branch in a CbJur»ctional_behaviour_model.<note>This entity is an extension to the Petri-nets formalism and is required
for correct representation of parallel and conditional branches in a causal chain model.<fnote> ’)
ENTITY causal_block_bound;
(* The initial„transition specifies the initial Cb_transition_relationship of the block. *)
initialjransition : cb_transition_relationship;
(* The terminalJransition specifies final Cb_transition_relationship of the block. *)
terminaltransition : cbJransition_relationship;
END_ENTITY:
(‘ A cb_completion_altemative is the representation of the final Cb_functional_place for an execution thread in a
CbJunctional_behavraur_model. The final Cb_functional_place in the behaviour model is identified by the final mod el
element attribute. In cases where there are two or more final Cb_funcbonal_p!ace objects (where each is the final
Cb_functional_place object of an execution thread) there shall be one cb_completion_alternative instantiated for each
thread.<note>The cb_comp(etion_aiternative has been introduced to allow mappping of multiple exit conditions from a
decomposed function to the appropriate exit conditions in the composition.</note> *)
ENTITY cb_completion_altemative;
(* The completes_model specifies the Cb_functional_behaviour_model for which the completesmodel specifies the
exit statement. *)
completesmodel; cbJunctional J>ehaviour_mod el;
(* The final_model_element specifies the CbJunctional_place which is the last in an execution thread for a Cbjunc-
tional_behaviour_mcdel.’)
final_model_element; cbJunctional_ptace;
END_ENT!TY:
(*A Cb_completion_alternative_mapping is the mechanism for associating a Cb_completion_alternative of a decom
posed function with the equivalent CbJunctional_place at a higher level of completion. <note>A Cb_comp)etion_alter-
native_mapping specifies the mapping between a Cb_completion_alternative of a Cb_functional_behaviour_model and
a CbJunctionaIJransition. The semantics are that the selection of a completion alternative in a composed function
shall be interpreted as the selection of the CbJunctional_transition at one level higher in the composition.</note> *)
ENTITY cb_completion_alternative_mapping;
317