ГОСТ Р 55346—2012
Атрибут description: Этот атрибут определяет дополнительную информацию, относящуюся к при
кладному компоненту general_physical_definition.
Атрибут id: Этот атрибут определяет идентификатор прикладного компонента general_physical_
definition.
Атрибут name: Этот атрибут определяет слово (или слова), которые используются для ссылки на
прикладной компонент general_physical_definition.
Атрибут formal_port: Этот атрибут определяет прикладной компонент general_physical_defintion.
для которого прикладной компонент forma!_physical_port является частью интерфейса.
Формальные выражения:
UR1:
4.3.122 Прикладной компонент generic_state_context
Прикладной компонент generic_state_context определяет оболочку автомата с конечным числом
состояний или карту состояний. Каждый прикладной компонент generic_state_context является и при
кладным компонентом functional_state_context.
EXPRESS-описание:
*)
ENTITY generic_state_context
ABSTRACT SUPERTYPE ;
associated_version : configuration_element_version:
description : OPTIONAL text_select,
id:elementjdentifier:
name: OPTIONAL label;
original_representation : label:
state_machine_model: label;
r
END_ENTITY;
Определения атрибутов.
Атрибут associated_version: Этот атрибут определяет прикладной компонент configuration_ele-
ment_version для прикладного компонента generic_state_context.
Атрибут description: Этот атрибут определяет дополнительную информацию, относящуюся к при
кладному компоненту generic_state_context.
Атрибут id: Этот атрибут определяет идентификатор прикладного компонента generic_state_con-
text.
Атрибут name: Этот атрибут определяет слово (или слова), которые используются для ссылки на
прикладной компонент generic_state_context.
Атрибут original_representation: Этот атрибут определяет способ, с помощью которого был пред
ставлен автомат с конечным числом состояний, ограничиваемый с помощью прикладного компонен та
generic_state_context. Там. где это применимо, для представления атрибута original_reprosentation
должно использоваться одно из следующих состояний (значений) этого компонента:
- состояние table: Состояние автомата представляется в исходном средстве в виде таблицы:
- состояние graph: Состояние автомата представляется в исходном средстве в графическом
виде.
Атрибут state_machine_model: Этот атрибут определяет тип конечного автомата, ограничиваемый
с помощью прикладного компонента generic_state_context. Там. где это применимо, должны использо
ваться следующие состояния (значения) этого атрибута:
- состояние moore: Закрытое состояние автомата является единообразным. Никакие состояния
не могут разделяться. Выходной алфавит конечного автомата формируется с помощью прикладных
компонентов fsm_generic_state;
- состояние mealy: Закрытое состояние автомата является единообразным. Никакие состояния
не могут разделяться. Выходной алфавит конечного автомата формируется с помощью прикладных
компонентов fsm_state_transition и fsm_initial_state_transition;
- состояние hierarchical: Состояния в закрытом конечном автомате могут разбиваться на другие
субсостояния. Выходной алфавит может формироваться с помощью прикладных компонентов fsm_ge-
neric_state. fsm_state_transition и fsm_initial_state_transition.
79