ГОСТ Р 55346—2012
4.3.101 Прикладной компонент fsm_transient_state
Прикладной компонент fsm_transient_state принадлежит к тому же типу, что и прикладной компо
нент fsm_generic_state при отсутствии дискриминатора состояния, при любых условиях и статическом
состоянии автомата с конечным числом состояний.
Примечание — В терминах карты состояний прикладной компонент (sm_transient_state является псев-
досостоянием. Ни при каких условиях прикладной компонент fsm_transienl_state в системе не должен находить ся
в статическом состоянии. Если существуют переходы вне прикладного компонента fsm_transient_state. то они
должны быть либо незащищенными, либо должныбыть совокупностью условий защиты, т.е. по крайней мере одна
степень защиты всегда должна расцениваться как находящаяся в состоянии TRUE.
EXPRESS-описамие:
*)
ENTITY fsm_transient_state
SUBTYPE OF (fsm_generic_state):
state type :label;
END_ENTITY;
C
Определение атрибута:
Атрибут state_type: Этот атрибут определяет тип прикладного компонента fsm_transient_state.
Там. где это применимо, должны использоваться следующие состояния (значения) этого атрибута;
- состояние history;
- состояние deep-history;
- состояние condition;
- состояние select.
4.3.102 Прикладной компонент fsm_transient_state_composition_relationship
Прикладной компонент fsm_transiont_state_composition_relationship определяет взаимосвязь меж
ду прикладными компонентами fsm_state и fsm_transient_state. указывающую на то. что прикладной
компонент fsm_transient_state является субсостоянием прикладного компонента fsm_state.
Примечание — Прикладной компонент fsm_transient_state_composition_relationship может быть реа
лизован только при наличии по крайней мере одного прикладного компонента fsm_state_composition_relationship.
существующегодля прикладного компонента fsm_state. Прикладной компонент fsm_state не может состоять только
из прикладных компонентов fsm_transient_state.
EXPRESS-описание:
*)
ENTITY fsm_transient_state_composition_relationship;
child_state ; fsm_transient_state;
parent state; fsm_state;
END_ENTITY;
C
Определения атрибутов.
Атрибут child_state: Этот атрибут определяет прикладной компонент fsm_transient_state в при
кладном компоненте fsm_transient_state_composition_relationship.
Атрибут parent_state: Этот атрибут определяет прикладной компонент fsm_state в прикладном
компоненте fsm_transient_state_composition_relationship.
4.3.103 Прикладной компонент functionjnstance
Прикладной компонент functionjnstance принадлежит к тому же типу, что и прикладной компонент
general_functionality_instance и представляет собой объект, который выполняет операцию в системе.
Примечание — Функциональная область описывает характер действий системы.
EXPRESS-описание:
*)
ENTITY functionjnstance
SUBTYPE OF (generaljunctionalityjnstance);
definition : general_function_definition;
id: elementjdentifier;
name: label;
70