state-machine-diagramming

What problem does it solve?

State-machine diagramming captures and communicates domain lifecycles by defining states, transitions with triggers + guards + effects, and invariants to ensure correct progression of domain entities.

Core Features & Use Cases

• Define domain lifecycle states with invariants that hold while the entity remains in a state.
• Model transitions with explicit triggers, optional guards, and effects that happen during transitions.
• Support hierarchical or parallel structures for complex domain models and generate diagrams for documentation.

Quick Start

Define a domain entity, enumerate its lifecycle states, and specify transitions with triggers, guards, and effects to generate a complete state machine diagram.