Termin36.LiteStateMachine 0.3.1

О проекте

Проект формирует библиотеку для построения машин конечных состояний (State Machine), с помощью которых возможно строить сложную модель поведения с реакцией на воздействия. Ценность библиотеки в простоте и независимости от окружения, благодаря чему ее можно без сомнений интегрировать например в слой домена (DDD)

Текущая версия: v0.3.0 (2025-11-28)

Более подробно можно ознакомиться в Wiki По вопросам и развитию ходить сюда

Возможности ядра

• Хранение состояния во внешнем хранилище
• Задание обработчика генерации собственных ошибок (OnFailHandler)
• Журнал транзакций
• Обработка событий
  • Активация и деактивация состояния (OnActivate и OnDeactivate)
  • Вход и выход из состояния (OnEntry и OnExit)
  • Вход и выход из состояния с фильтром по триггеру (OnEntryFrom и OnExitFrom)
  • Обработка пользовательского события на срабатывание триггера (OnAction, OnActionIf, OnActionIfInverted)
• Переходы между состояниями
  • Без проверки условий
    • Переход с известным конечным состоянием (ChangeState)
    • Переход с определением конечного состояния с помощью функции (ChangeStateDynamic)
    • Игнорирование перехода (NotChangeState)
  • С проверкой условия
    • Переход с известным конечным состоянием с проверкой условия (ChangeStateIf, ChangeStateIfInverted)
    • Переход с определением конечного состояния с помощью функции с проверкой условия (ChangeStateDynamicIf, ChangeStateDynamicIfInverted)
    • Игнорирование перехода с условием (NotChangeStateIf, NotChangeStateIfInverted)
  • Группировка триггеров с общим Guard
    • Группировка нескольких триггеров с общим Guard выражением (When-Then)
    • Цепочка условий с альтернативными ветками (When-ElseIf-Else)
    • Инвертированные Guard в цепочках (WhenInverted, ElseIfInverted) - инвертируют условие (если условие false, Guard считается выполненным)
    • Вложенные When блоки для создания сложной логики
    • Последовательная проверка условий: первое подходящее условие останавливает проверку остальных
  • Глобальные обработчики триггеров (v0.3.0)
    • Обработчики, работающие во всех состояниях независимо от текущего состояния
    • OnGlobalAction, OnGlobalChangeState, OnGlobalChangeStateDynamic, OnGlobalNotChangeState
    • Поддержка Guard условий для глобальных обработчиков (OnGlobalActionIf, OnGlobalChangeStateIf и т.д.)
    • Локальные behaviors имеют приоритет над глобальными
• Иерархия состояний
  • Составные состояния с подсостояниями (AddSubState, SetInitialSubState)
• Параллельные регионы
  • Регионы для параллельного выполнения (SetRegion, AddParallelRegion)
  • Разделение и объединение потоков (Split, Join)
  • Автоматическое разделение и объединение (SetAutoSplit, SetAutoJoin)

Пример использования

Устанавливаем пакет

dotnet add package Termin36.LiteStateMachine --version x.x.x

Используем

StateMachine<State, Trigger> stateMachine = new StateMachine<State, Trigger>(State.StateA);

stateMachine.Configuration(State.StateA)
    .OnAction(_triggerRegister, RegistrationPeople)
    .ChangeState(_triggerMove, State.StateMoving);

stateMachine.Configuration(State.StateMoving)
    .ChangeStateIf(_triggerRegister, State.StateA, IsAllowRegistration, "Регистрировать пользователей сейчас нельзя");

stateMachine.ValidateStateMachine();

await stateMachine.Do(_triggerRegister, new People("Иванов", "Иван"));
await stateMachine.Do(_triggerMove, null);
await stateMachine.Do(_triggerRegister, new People("Петров", "Петр")); // сработает исключение, так как обработать нельзя

Более подробно можно ознакомиться в Wiki