Что такое "Триггер" (Trigger) и "Эффект" (Effect) в UML State Machine?

Переход (Transition) между состояниями на диаграмме описывается по формуле: Триггер[Условие] / Эффект.

• Триггер (Trigger): Событие, которое инициирует переход. Пример: Получен API-запрос pay(), или истек таймер after(5 min).


• Условие (Guard): Логическая проверка. Переход случится, только если условие истинно. Пример: [balance > 0].


• Эффект (Effect): Действие, которое система выполняет во время самого перехода (до того, как войдет в новое состояние). Пример: / sendEmail().