ГОСТ Р 55346—2012
В функциональном модуле Functional_Behaviour_Basics определены следующие прикладные ком
поненты:
- functional_behaviour_model.
- functional_behaviour_model_assignment.
4.1.9 Функциональный модуль Functk>nal_Behaviour_Causal_Chain
Функциональный модуль Functional_Behaviour_Causal_Chain содержит объекты, определяющие
функциональное поведение, основанное на графе причинности. Данный функциональный модуль дает
возможность представлять функциональные характеристики, обнаруживаемые в RDD-диаграммах по
ведения иViTECH-CORE-EFFBD-диаграммах. Элементы данного функционального модуля используют
расширенную систему обозначений сетей Петри.
В функциональном модуле Functional_Behaviour_Causal_Chain определены следующие приклад
ные компоненты:
- causal_block_bound;
- cb_firing_condition;
- cb_funciional_behaviour_model;
- cb_functional_place;
- cb_functiona!_transition;
- cb_initial_marking;
- cb_input_relationship;
- cb_output_relationship;
- cb_place;
- cb_place_function_association;
- cb_place_reference;
- cb_transition;
- cb_transibon_relationship;
- cb_transit»on_unbounded_weight.
4.1.10 Функциональный модуль Functional_Behaviour_Finite_State_Machine
Функциональный модуль Functional_Behaviour_Finite_State_Machine (fsm) содержит объекты,
определяющие функциональное поведение автоматов с конечным числом состояний. Данный функци
ональный модуль включает поддержку спецификации, представленной в кодах конечных автоматов (в
стиле Мура и Мили) и диаграммами состояний.
В функциональном модуле Functional_Behaviour_Finite_State_Machine определены следующие
прикладные компоненты:
- formal_data_interactjon_port;
- fsm_and_state:
- fsm_command_interaction_relationship;
- fsm_data_interaction_binding:
- fsm_data_interaction_relationship;
- fsm_generic_state;
- fsm_initial_state_transition:
- fsm_model;
- fsm_or_state;
- fsm_state;
- fsm_state_composition_relationship;
- fsm_state_transition;
- fsm_transient_state;
- function_reference,
- functional_state_context;
- generic_state_context;
- initial_state_transition_specification_assignment;
- name_binding;
- specification_state_assignment;
- state_context_relationship;
- state_fu notion_interaction_port;
- state_machine_functional_behaviour_model;
- state_transition_specification_assignment.
6