Диаграмма состояний описывает жизненный цикл объекта: состояния, переходы по событиям, guards, действия entry/exit/do. Идеальна для сущностей со статусами (заказ, тикет, сессия).
Разбор
- Состояния взаимоисключающие на одном уровне.
- Событие + условие guard инициирует переход.
- Вложенные состояния и история — для сложной логики.
- Не заменяют process map целиком.
Итог
State machine отвечает «в каких статусах бывает объект и отчего меняется».