17. Конечный автомат как модель взаимодействия процессов.

Широко применяемым расширением классической модели конечного автомата являются диаграммы состоянии (Statecharts), введенные Д. Харелом в [8].

Мы рассмотрим две возможности таких «карт состояний». Первая — это гиперсостояние, объединяющее несколько состояний, имеющих идентичную реакцию на одно и то же событие. Вторая возможность — использование «исторического псевдосостояния». Семантика такого состояния (оно обозначается Н) состоит в том, что управление при возврате в гиперсостояние передается тому состоянию, в котором система находилась последний раз прежде, чем она покинула данное гиперсостояние. Переходы между состояниями в такой модели вызываются либо условиями (наступлением истинности предиката над внутренними переменными автомата, например, условие исчерпания буфера), либо событиями. Событиями в диаграммах состояний являются внешние события автомата. Обычно это прием управляющих или информационных сообщений из окружающей среды. Исчерпание тайм-аута также является возможным событием в этом расширении конечно-гоавтомата.

Н а рис. 3.17 показано, как с помощью этих простых расширений удается наглядно представить сложное поведение.

На рис. 3.17, а специфицируется прерывание системы в результате ошибки из любого состояния, принадлежащего гиперсостоянию Working, в состояние Crashed. После восстановления (Recovery) система продолжает работу из того состояния, в котором ее прервал сигнал Crash.

В настоящее время модель состояний и переходов интенсивно используется для представления поведения параллельных взаимодействующих процессов.

Параллельные процессы характерны тем, что они функционируют независимо, но при этом должны согласовывать свои действия в определенные моменты для достижения некоторой общей цели. Такие процессы называются кооперирующими, взаимодействующими.