Состояние (state) – ситуация в жизненном цикле объекта, на протяжении которой он удовлетворяет некоторому условию, выполняет некоторую деятельность или ожидает некоторого события.
Имя состояния – законченное предложение с заглавной буквы. В качестве имени состояния используют глагол или причастие.
Переход (transition) – отношение между двумя последовательными состояниями, которое указывает на факт смены состояний.
Синтаксическая метка перехода состоит из трех частей, каждая из которых является необязательной:
<событие> [<условие>] / <действие>
Событие (event) – спецификация существенного факта, который происходит во времени и пространстве. В контексте автомата событие – это взаимодействие, которое вызывает переход между состояниями.
Сторожевое условие (guard condition) - логическое условие в прямых скобках [ ] и представляющее собой булевское выражение.
Выражение действия (action expression) представляет собой вызов операции или передачу сообщения, имеет атомарный характер и выполняется сразу после срабатывания соответствующего перехода до начала действий в целевом состоянии.
В общем случае, выражение действия может содержать целый список отдельных действий, разделенных символом ";".
Пример: [кредит превышен]/сообщение
