Диаграмма перехода состояний (state-transition diagram) позволяет получить точное, полное и ясное представление о механизме с конеч- ным числом состояний. Связанный с этой моделью прием —диаграм- ма состояния — включен в обладающий в некотором смысле более бо- гатым набором условных обозначений унифицированный язык моде- лирования (Unified Modeling Language, UML), который моделирует состояния объекта в течение его жизненного цикла (Booch, Rumbaugh, Jacobson, 1999). Диаграмма перехода состояний содержит три типа элементов:
- возможные состояния системы — показаны в виде прямоугольников
- разрешенные состояния, или транзакции (transitions), — показаны в виде стрелок, соединяющих пары прямоугольников;
- события или условия, вызывающие каждую транзакцию, — показа- ны в виде текстовых пояснений для каждой стрелки перехода. Текст может пояснять и событие, и соответствующую реакцию системы,
