ГОСТ Р 55346—2012
EXPRESS-описание:
*>
ENTITY formal_physical_port
SUBTYPE OF (physical_port);
port_of: general_physical_definition;
END_ENTITY;
(*
Определение атрибута:
Атрибут port_of: Этот атрибут определяет прикладной компонент general_physical_defintion, для
которого прикладной компонент formal_physical_port является частью интерфейса.
4.3.89 Прикладной компонент formal_port_position
Прикладной компонент formal_port_position является экземпляром прикладного компонента visu-
al_element и графическим представлением положения прикладного компонента formal_port. formal_io_
port или formal_physical_port.
EXPRESS-описание:
*>
ENTITY formal_port_position
SUBTYPE OF (visual_element);
position :graphics_point:
positioned_port: port_position_select.
r
END_ENTITY;
Определения атрибутов.
Атрибут position: Этот атрибут определяет положение порта.
Атрибут posit»oned_port: Этот атрибут определяет формальный порт, который размещается с по
мощью прикладного компонента formal_port_position.
4.3.90 Прикладной компонент fsm_and_state
Прикладной компонент fsm_and_state принадлежит к тому же типу, что и прикладной компо
нент fsm_state и является представлением разделенного состояния в автомате с конечным числом
состояний, в котором все дочерние прикладные компоненты fsm_state одновременно активны. При
кладной компонент and_state состоит по крайней мере из двух дочерних прикладных компонентов
fsm_state.
EXPRESS-описание:
*)
ENTITY fsm_and_state
SUBTYPE OF (fsm_state);
INVERSE
SELRfsm_state. RENAMED child_states : SET[2:?] OF fsm_state_composition_relationship FOR
parent_state:
END_ENTITY;
(*
Определение атрибута:
Атрибут child_states:
4.3.91 Прикладной компонент fsm_command_interaction_relationship
Прикладной компонент fsm_command_interaction_relationship определяет способ указания того,
что команда будет выдаваться для ссылки на функцию (в виде прикладного компонента state_func-
tion_interaction_port) с помощью прикладного компонента textual_specification. Прикладной компонент
fsm_command_interaction_relationship используется только в области применения автомата с конечным
числом состояний. Характер этой команды определен в атрибуте interactionjype.
Примечание 1 — Прикладной компонент fsm_commar>dJnteraclk>n_relationship указывает на то. что
команда (функция: запуск, останов, приостановка, продолжение выполнения операции) выдается с помощью при
кладного компонента fsm_transition или fsm_state. Обозначения дополняют текстовое определение операций всо
стояниях или при переходах.
65