ГОСТ Р 55346—2012
EXPRESS-описание:
*>
ENTITY fsm_commandjnteraction_relationship;
defined_in :fsm_interaction_select;
interaction_port: state_functionJnteraction_porl;
interaction_type : label;
END_ENTITY;
r
Определения атрибутов.
Атрибут definedjn; Этот атрибут определяет прикладной компонент textual_specification, который
будет выдавать команду.
Атрибут interaction_port: Этот атрибут определяет прикладной компонент state_functionJnterac-
tion_port. посредством которого выдается команда, изменяемая с помощью прикладного компонента
fsm_command_interaction_relationship.
Атрибут interactionjype: Этот атрибут определяет семантику прикладного компонента fsm_com-
mandJnteraction_relationship. Там. где это применимо, должны использоваться следующие состояния
(значения) этого атрибута:
- состояние start: Указанная функция инициализируется с помощью данной команды;
- состояние stop; Указанная функция деактивируется с помощью данной команды;
- состояние resume: Указанная функция повторно инициализируется с помощью данной команды
из состояния приостановки;
- состояние suspend: Указанная функция временно приостанавливается с помощью данной ко
манды.
Примечание 2 — Все предварительно заданные команды являются идемпотентными. т. в. выдача
команды start для уже активированной функции не будет давать никакого эффекта.
4.3.92 Прикладной компонент fsm_data_interaction_binding
Прикладной компонент fsm_data_interaction_binding определяет параметр согласования взаимосвя
зи между элементом actualJnterface в реальном интерфейсе к прикладному компоненту actual_io_port
и элементу formaljnterface прикладного компонента formal_data_interaction_port.
EXPRESS-описание:
*)
ENTITY fsm_dataJnteraction_binding;
actual_port: actual_io_port;
formal_port: formal_data_interaction_port;
END ENTITY;
(*
Определения атрибутов:
Атрибут actual_port: Этот атрибут определяет прикладной компонент actual_io_port в указанной
взаимосвязи.
Атрибут formal_port: Этот атрибут определяет прикладной компонент formal_data_interaction_port
в указанной взаимосвязи.
4.3.93 Прикладной компонент fsm_data_interaction_relationship
Прикладной компонент fsm_data_interaction_relationship определяет способ указания привязки
прикладного компонента datajnstance к прикладному компоненту textual_specification. Характер этой
привязки определяется атрибутом interaction_type.
Примечание — Прикладной компонент fsm_data_interation_relationship. который связан с элементом
данных прикладного компонента io_port fsm_interaction_port, обновляется или считывается в процессе выполнения
части операции в данном состоянии или при переходе.
EXPRESS-описание:
*>
ENTITY fsm_data_interaction_relationship;
definedjn :fsmJnteraction_select;
interaction_port: formal_datajnteraction_port;
66