Конечный автомат (State machine) описывает поведение в терминах последовательности состояний, через которые проходит объект в течение своей жизни. Эта последовательность рассматривается как ответ на события и включает реакции на эти события.. Автомат задает поведение системы как цельной, единой сущности, он моделирует жизненный цикл единоrо объекта. В силу этого автоматный подход удобно применять для формализации динамики отдельного трудноrо для понимания ния блока системы.
Диаграмма конечного автомата - является графом, который представляет некоторый конечный автомат
Конечный автомат (state machine) представляет собой некоторый формализм для моделирования поведения отдельных элементов модели или системы в целом
Поведение (behavior) является спецификацией того, как экземпляр классификатора изменяет значения отдельных характеристик в течение своего времени жизни.
Состояние (state) – элемент модели поведения, предназначенный для представления ситуации, в ходе которой поддерживается некоторое условие инварианта
Переход (transition) является направленным отношением между двумя состояниями, одно из которых является вершиной источником (source vertex), а другое – целевой вершиной (target vertex
