Составные и исторические состояния в диаграмме состояний. Сложные переходы. Синхронизирующие состояния. Примеры

StateChart Diagram (конечные автоматы).

Составное состояние – состояние, состоящее из других состояний, вложенных в это состояние.

2 псевдосостояния (существуют только для композитных состояний, они уменьшают количество переходов):

Внутренний подавтомат может иметь или не иметь начальное и конечные состояния. Допустим только 2 вложения.

Пример: параллельные процессы.

Основная часть моделей конечных автоматов – модели без памяти. Однако, иногда бывает необходимо отобразить историю процессов, т.е. использовать автомат с памятью. Это можно реализовать за счёт специального состояния, называемого историческим.

Различают следующие исторические состояния:

- недавнее (неглубокое) состояние (shallow state) – H (!!!обведи кружочком!!!);

- давнее (глубокое) состояние (deep state) – H* (!!!обведи кружочком!!!).

Применяются эти состояния только в композитных состояниях.

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

Пример: Редактирование текста

При выходе по финальному состоянию в H заносится 0.

При выходе по прерыванию H запоминает то состояние, в котором был автомат. При повторном входе анализируется историческое состояние, автомат переходит в заполненное состояние.

Если поставим H*, то:

Глубокое историческое состояние хранит всю иерархию состояний, из которых был последний выход. Историческое состояние может быть только 1 на весь автомат. H* может быть промоделировано массой неглубоких исторических состояний.

Сложные переходы возможны при параллельной работе автоматов.

Переход в T возможен только синхронно, после завершения работы S11 и S12. Пока к-либо из них не завершено, переход не состоится.

Переход в несколько рабочих состояний.

Виды сложных переходов

	Разветвление	Слияние
Обычный
Синхронный	Fork (развилка)	Join (объед-е)

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