SaaS subscription lifecycle

Scenario

Subscription logic is where simple status enums drift out of sync with billing providers. This statechart makes the product contract explicit: trial conversion, incomplete setup, dunning recovery, pause, cancellation, and reactivation are separate transitions with guards and actions.

Annotation key

• Active is a composite state because payment recovery happens while the product is still notionally active.
• Guard labels such as [payment_method_valid] document provider-dependent branching.
• Entry and exit actions mark entitlement provisioning and sync points.