Автоматы
Автомат описывает поведение в терминах последовательности состояний через которые проходит объект в течении своей жизни, при этом автомат задает поведение системы, как единой сущности, а так же моделирует ЖЦ единого объекта.
Автоматы изображаются с помощью диаграмм схем состояний и диаграмм деятельности.
Диаграммы схем состояний
Диаграммы схем состояний отображают конечный автомат, выделяя поток управления, следующее от состояния к состоянию.
Конечный автомат - это поведение, определяющее последовательность состояний в ходе существования объекта. Это последовательность рассматривается как ответ на событие и включает реакции на эти события. Таким образом, основными элементами диаграмм схем состояний являются: состояния; переходы; события; действия.
С
остояние
- это период в жизни объекта, на протяжении
которого он удовлетворяет какому-то
условию, выполняет определенную
деятельность или ожидает некоторого
события.
Переход - от состояния к состоянию.
Событие - происшествие вызывающее изменение состояния.
Д ействие - набор операций запускаемых событием.
Пример диаграммы схем состояний
Диаграмма схем состояний системы охранной сигнализации
Действия в состояниях
Для указания действий, выполняемых при входе в состояние и при выходе из состояния, используются метки entry и exit соответственно.
Д
ействие,
которое должно выполняться, когда
система находится в данном состоянии,
указывается после метки
do.
Входные и выходные действия и деятельность в состоянии Активна
Между состояниями возможны различные типы переходов. Обычный переход инициируется событием. Допускаются переходы и без событий. Разрешены так же условные переходы.
Порядок выполнения условного перехода:
происходит событие;
вычисляется условие [УсловиеПерехода];
при [УсловиеПерехода] = true запускается переход и активизируется действие, в противном случае переход не выполняется.
Возможны вложенные состояния. Иногда при возврате вложенное состояние возникает необходимость попасть в то его подсостояние, которое в прошлый раз было последним. Такое состояние называется историческим (см. рисунок).
Диаграммы деятельности
Это особая форма конечного автомата, в которой показывается процесс вычисления и потоки работ. В ней выделяются не обычные состояния объекта, а состояния выполняемых вычислений - состояния действий. Данные состояния схожи с блок-схемами алгоритмов. Основным элементом являются состояние действия. Возможны состояния под деятельности.
Помимо состояний действий и переходов от состояния к состоянию возможны и вспомогательные вершины.
Переходы между вершинами – состояниями действий – изображаются в виде стрелок.
В диаграммах деятельности используются вспомогательные вершины:
решение (ромбик с одной входящей и несколькими исходящими стрелками);
объединение (ромбик с несколькими входящими и одной исходящей стрелкой);
линейка синхронизации – разделение (жирная горизонтальная линия с одной входящей и несколькими исходящими стрелками);
линейка синхронизации – слияние (жирная горизонтальная линия с несколькими входящими и одной исходящей стрелкой);
начальное состояние (черный кружок);
конечное состояние (не закрашенный кружок, в котором размещен черный кружок меньшего размера).
Плавательная дорожка – это определенная область, которая имеет имя и фиксирует область деятельности конкретного лица, обозначая зону его ответственности.