dotnet-state-machine/stateless
Stateless
Stateless is a .NET state machine library used to manage complex object behaviors and lightweight workflows through C# code. It functions as an asynchronous workflow engine that executes state transitions, guards, and entry-exit actions using asynchronous tasks.
The library implements a hierarchical state machine, allowing child states to inherit transitions and properties from parent superstates. It includes a state persistence framework that decouples state tracking from machine logic by reading and writing the current state to external properties or databases. Additionally, it features a graph visualization exporter that generates DOT or Mermaid formats to render workflow configurations as visual diagrams.
The system covers transition mapping with support for reentrant and internal transitions, predicate-based guard clauses, and parametric trigger dispatch. It also provides capabilities for machine configuration introspection, state change notifications, and the execution of synchronous or asynchronous logic during state entries and exits.
Features
- Application State Machines - Implements a .NET state machine library for managing behavioral transitions and lifecycles of application-level objects.
- Architectural State Machines - Provides a .NET state machine library for managing transitions between complex object states within an application architecture.
- Application State Management - Manages complex object behaviors and application logic through defined states and transitions to eliminate nested conditionals.
- External State Stores - Provides an external state store mechanism to decouple state tracking from machine logic via getter and setter delegates.
- State Transition Handlers - Executes synchronous or asynchronous logic during state changes with access to trigger and source state details.
- State Lifecycle Actions - Automatically runs specific setup and cleanup logic when a state is entered or exited.
- Asynchronous State Transition Orchestration - Orchestrates state transitions and guard conditions using asynchronous tasks to ensure application responsiveness.
- Hierarchical State Composition - Supports hierarchical state organization where child states inherit transitions and behaviors from superstates.
- Asynchronous State Transitions - Executes state transitions, entry, and exit handlers asynchronously to prevent thread blocking.
- Transition Guard Predicates - Evaluates boolean predicate functions at runtime to determine the destination state when multiple transitions exist.
- Transition Guards - Evaluates conditional logic via predicate functions to resolve destination states for triggers.
- Hierarchical State Machines - Implements hierarchical state machines that organize workflows into parent and child states with behavioral inheritance.
- State Persistence Frameworks - Provides a framework for reading and writing the current state to external properties or databases to maintain continuity.
- State Transition Mapping - Maps trigger events to source and destination states to define the system's logical flow.
- State Graph Export - Exports internal state machine configurations into visual graph formats like DOT and Mermaid.
- State Machine Visualizations - Generates DOT and Mermaid graph definitions to visualize state machine configurations as diagrams.
- Parametric Transitions - Enables sending data along with a trigger to influence the behavior of state transitions or resulting actions.
- Parametric Trigger Dispatch - Allows passing strongly typed data through triggers to dynamically resolve the next state or influence transition logic.
- Fluent Configuration APIs - Offers a fluent-API configuration for defining state transitions and behaviors using method-chaining.
- Internal Transitions - Processes triggers that execute logic without altering the current state of the machine.
- State Change Observers - Provides mechanisms to trigger callbacks and synchronize application logic when state transitions occur.
- Delegate-Based Action Execution - Implements state entry, exit, and transition actions by invoking registered C# delegates and asynchronous tasks.
- State Transition Validation - Verifies if a trigger can be fired and provides details on unmet guard conditions.
- Workflow Visualizations - Generates visual representations of business logic and state flows using DOT and Mermaid diagram formats.
- Scheduling and Automation - State machine creation library.
- Architecture Patterns - State machine implementation for managing application logic.
- State Machines - Library for creating state machines in code.
