Business Flows
Hover over a card to visualize the path through the
SimpleEnum
state machine.
1. Happy Path (Success)
The standard flow for a successful order: Submitted -> Paid -> Fulfilled.
2. Immediate Cancellation
Order is canceled before any payment is made.
3. Cancel Post-Payment
Order is canceled after payment.
4. Complex Branching
Testing choice branching: Paid -> Happen -> Paid3 -> Canceled.
5. Internal Loop
A transition from Submitted back to itself (ABCD).
FULFILLED
CANCELED
PAID2
PAID3
PAID1
HAPPEN
PAY
FULFILL
CANCEL [λ]
CANCEL
ABCD
[λ] (order=0)
(order=1)
[λ] (order=0)
[guard1] (order=1)
[λ] (order=2)
(order=3)
ABCD / λ, action2