ГОСТ Р 55346—2012
child_states: SET[0:?] OF fsm_state_composition_relationship FOR parent_state:
END_ENTITY;
(*
Определения атрибутов.
Атрибут descriptor!: Этот атрибут определяет дополнительную информацию, относящуюся к опи
санию.
Атрибут name: Этот атрибут определяет слово (или слова), которые используются для ссылки на
него.
Атрибут presentationjd: Этот атрибут определяет информацию, подтверждающую его идентич
ность и предоставляемую пользователю.
Атрибут child_states: Этот атрибут определяет родительский прикладной компонент fsm_state в
указанной связи.
4.3.99 Прикладной компонент fsm_state_composition_relatonship
Прикладной компонент fsm_state_compositon_relatonship определяет взаимосвязь между двумя
прикладными компонентами fsm_state, а также связи между родительскими идочерними компонентами.
Примечание 1 — Родительский прикладной компонент fsm_state идентифицируется с помощью атри
бута parent_state, а дочерний прикладной компонент fsm_state — с помощью атрибута child_state.
Примечание 2 — Прикладной компонент fsm_slate_composition_relationship включается в модель для
поддержки расширений карты состояний на традиционное представление автомата с конечным числом состояний.
EXPRESS-описание:
*)
ENTITY fsm_state_compositon_relationship;
child_state: fsm_state;
parent_state: fsm_state;
END_ENTITY;
C
Определения атрибутов.
Атрибут child_state: Этот атрибут определяет дочерний прикладной компонент fsm_state в указан
ной взаимосвязи.
Атрибут parent_state: Этот атрибут определяет родительский прикладной компонент fsm_state в
указанной взаимосвязи.
4.3.100 Прикладной компонент fsm_state_transition
Прикладной компонент fsm_state_transition является представлением возможной исполняемой
ветви между двумя прикладными компонентами fsm_generic_state.
Примечание — Прикладной компонент fsm_state Jransition применимдля использования только вавто
матах с конечным числом состояний.
EXPRESS-описание:
*)
ENTITY fsm_state_transition;
destination_state :fsm_generic_state;
source_state:fsm_generic_state;
INVERSE
transitionJabel: SET[0:1] OF state_transition_specification_assignment FOR assignedjo;
END_ENTITY;
(*
Определения атрибутов:
Атрибут destination_state: Этот атрибут определяет прикладной компонент fsm_state. активируе
мый только при инициализации прикладного компонента fsm_state_transition.
Атрибут source_state: Этот атрибут определяет прикладной компонент fsm_state. который перво
начально был активным в указанной взаимосвязи.
Атрибут transition Jabel: Этот атрибут определяет прикладной компонент fsm_statetransition, кото
рому присваивается текстовая спецификация.
69