Lexicon

Exhaustive State Reasoning

Kind: capability

Layer: Design Patterns Core

Record: lexicon:exhaustive-state-reasoning

Canonical: Lexicon

The ability to enumerate and reason about every state a system can occupy and every transition between them.

Listed in Lexicon terms, after Deferred Execution and before Framework Reuse.

Category

  • Behavioral Patterns

Enabled by

  • Finite State Machine

Linked from

  • Behavioral Patterns