ГОСТ Р 55346—2012
EXPRESS-описание:
*>
ENTITY fsm_model
SUBTYPE OF (general_functionality_instance);
behaviour_model: state_machine_functional_behaviour_model;
definition :functional_state_context;
id: etement_identifier:
name: label;
presentation.^ : OPTIONAL label;
r
END_ENTITY;
Определения атрибутов.
Атрибут behaviour_model: Этот атрибут определяет прикладной компонент state_machine_func-
tional_behaviour_model. для которого прикладной компонент fsm_model предоставляет спецификацию
поведения.
Атрибут definition: Этот атрибут определяет прикладной компонент functional_state_context. содер
жащий модель автомата с конечным числом состояний.
Атрибут id: Этот атрибут определяет идентификатор прикладного компонента fsm_model.
Атрибут пате: Э
тот
атрибут определяет слово (или слова), которые используются для ссылки на
прикладной компонент fsm_model.
Атрибут presentation^: Этот атрибут определяет информацию, подтверждающую идентичность
прикладного компонента fsm_model и представляемую пользователю.
4.3.97 Прикладной компонент fsm_or_state
Прикладной компонент fsm_or_state принадлежит к тому же типу, что и прикладной компонент
fsm_state для автомата с конечным числом состояний, который в случае разделения будет ограничи
вать семантику дочерних прикладных компонентов fsm_state. так что только одно из дочерних состоя
ний может быть активировано (если активно родительское состояние).
Примечание 1 — Определение подкласса, возможно, является оптимальным способом документиро
вания данного свойства.
Примечание 2 — Прикладной компонент fsm_or_state соответствует или является картой состояний и
нормального состояния автомата с конечным числом состояний.
EXPRESS-описание:
*)
ENTITY fsm_or_state
SUBTYPE OF (fsm_state):
END_ENTITY;
C
4.3.98 Прикладной компонент fsm_state
Прикладной компонент fsm_state принадлежит к тому же типу, что и прикладной компонент fsm_
generic_state и характеризует статическое состояние автомата с конечным числом состояний.
Примечание — В рамках протокола АР 233 прикладной компонент fsm state всегда будет являться
элементом автомата с конечным числом состояний. Понятие «состояние» в ЕАСМ содержится в протоколе АР-233
(по терминологии прикладного компонента partial_system_view).
EXPRESS-описание:
*)
ENTITY fsm_state
ABSTRACT SUPERTYPE OF ( ONEOF(fsm_and_state. fsm_or_state))
SUBTYPE OF (fsm_generic_state);
description : OPTIONAL text_select;
name: label;
prosentationjd : OPTIONAL label;
INVERSE
68