ГОСТ Р 55346—2012
interactionjype : label;
END_ENTITY;
(*
Определения атрибутов:
Атрибут definedjn: Этот атрибут определяет прикладной компонент textual_specificat»on. который
будет выдавать команду.
Атрибут interaction_port; Этот атрибут определяет прикладной компонент formal_data_interaction_
port в указанной взаимосвязи.
Атрибут interact»on_type; Этот атрибут определяет семантику прикладного компонента fsm_data_
interaction_relationship. Там. где это применимо, должны использоваться следующие состояния (значе
ния) этого атрибута:
- состояние read: Значение прикладного компонента datajnstance в прикладном компоненте for-
mal_data_interaction_port указывается в прикладном компоненте textual_specification. идентифициро
ванном с помощью атрибута definedjn;
- состояние write: Значение прикладного компонента datajnstance в прикладном компоненте for-
mal_dataJnteraction_port записывается в прикладном компоненте textual_specification, идентифициро
ванном с помощью атрибута definedjn.
4.3.94 Прикладной компонент fsm_generic_state
Прикладной компонент fsm_generic_state является абстрактным суперклассом либо прикладного
компонента fsm_state, либо прикладного компонента fsm_generic_state.
EXPRESS-описание:
*)
ENTITY fsm_generic_state
ABSTRACT SUPERTYPE OF ( ONEOF(fsm_state. fsmJransient_state));
INVERSE
destination_transition : SET[0:?] OF fsm_stateJransition FOR destinatk>n_state;
END_ENTITY;
C
Определение атрибута:
Атрибут destinationjransition: Этот атрибут определяет прикладной компонент fsm_state, активи
рованный при условии инициализации прикладного компонента fsm_state_transition.
4.3.95 Прикладной компонент fsm_initial_state Jransition
Прикладной компонент fsmJnitial_stateJransition определяет начальный переход в исходном со
стоянии прикладного компонента fsm_or_state в автомате с конечным числом состояний.
EXPRESS-описание:
*)
ENTITY fsmJnitial_stateJransition;
initial_state :fsm_generic_state;
transition_context: default_context_select:
END_ENTITY;
(*
Определения атрибутов:
Атрибут initial_state: Этот атрибут определяет начальное состояние.
Атрибут transition_context: Этот атрибут определяет среду, для которой прикладной компонент ini-
tial_state_context является действующим.
4.3.96 Прикладной компонент fsm_model
Прикладной компонент fsm_model принадлежит к тому же типу, что и прикладной компонент
generalJunctionalityJnstance и представляет собой точку входа в автомат с конечным числом состояний.
Примечание 1 — Прикладные компоненты fsm_mode! могут относиться к функциональной структуре
разделения и представлять активацию/деактивацию логики работы функций в этой структуре.
Примечание 2 — Данный прикладной компонент включается в модель для ввода FSM в прикладной
компонент general_fur»ction_defmition, что будет обеспечивать связь между функциональным представлением и
представлением о состоянии системы.
67