Что такое Guard Condition (Сторожевое условие) в UML State Machine?

Guard Condition — это логическое условие, записанное в квадратных скобках [условие], которое проверяется при попытке перехода (Transition) из одного состояния в другое.

Пример:
Есть переход из состояния Корзина собрана в Оплачен по триггеру Оплатить().
Мы вешаем Guard: [баланс >= сумма заказа].

Как работает:
Если триггер сработал, но Guard возвращает False (денег нет), переход отменяется, и объект остается в старом состоянии Корзина собрана.
✅ Суть: Это защита бизнес-логики от невалидных действий.