{
  "code": null,
  "collection": "architecture",
  "href": "https://banes-lab.com/ontology#architecture-finite-state-machine",
  "id": "finite-state-machine",
  "kind": "model",
  "layer": {
    "href": "https://banes-lab.com/ontology/schema#layer-design-patterns-core",
    "json": "https://banes-lab.com/json/records/layer/design-patterns-core",
    "label": "Design Patterns Core",
    "markdown": "https://banes-lab.com/records/layer/design-patterns-core.md",
    "ref": "layer:design-patterns-core"
  },
  "name": "Finite State Machine",
  "ref": "architecture:finite-state-machine",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-explicit-state-set",
          "json": "https://banes-lab.com/json/records/lexicon/explicit-state-set",
          "label": "Explicit State Set",
          "markdown": "https://banes-lab.com/records/lexicon/explicit-state-set.md",
          "ref": "lexicon:explicit-state-set"
        }
      ],
      "relation": "requires"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-state-pattern",
          "json": "https://banes-lab.com/json/records/architecture/state-pattern",
          "label": "State Pattern",
          "markdown": "https://banes-lab.com/records/architecture/state-pattern.md",
          "ref": "architecture:state-pattern"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-correctness",
          "json": "https://banes-lab.com/json/records/architecture/correctness",
          "label": "Correctness",
          "markdown": "https://banes-lab.com/records/architecture/correctness.md",
          "ref": "architecture:correctness"
        }
      ],
      "relation": "reinforces"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-legal-transition-enforcement",
          "json": "https://banes-lab.com/json/records/lexicon/legal-transition-enforcement",
          "label": "Legal-Transition Enforcement",
          "markdown": "https://banes-lab.com/records/lexicon/legal-transition-enforcement.md",
          "ref": "lexicon:legal-transition-enforcement"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-exhaustive-state-reasoning",
          "json": "https://banes-lab.com/json/records/lexicon/exhaustive-state-reasoning",
          "label": "Exhaustive State Reasoning",
          "markdown": "https://banes-lab.com/records/lexicon/exhaustive-state-reasoning.md",
          "ref": "lexicon:exhaustive-state-reasoning"
        }
      ],
      "relation": "enables"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-boolean-flag-soup",
          "json": "https://banes-lab.com/json/records/lexicon/boolean-flag-soup",
          "label": "Boolean Flag Soup",
          "markdown": "https://banes-lab.com/records/lexicon/boolean-flag-soup.md",
          "ref": "lexicon:boolean-flag-soup"
        }
      ],
      "relation": "conflicts-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-state-explosion",
          "json": "https://banes-lab.com/json/records/lexicon/state-explosion",
          "label": "State Explosion",
          "markdown": "https://banes-lab.com/records/lexicon/state-explosion.md",
          "ref": "lexicon:state-explosion"
        }
      ],
      "relation": "tensions-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#tension-finite-state-machine-state-explosion",
          "json": "https://banes-lab.com/json/records/tension/finite-state-machine-state-explosion",
          "label": "Finite State Machine / State Explosion",
          "markdown": "https://banes-lab.com/records/tension/finite-state-machine-state-explosion.md",
          "ref": "tension:finite-state-machine-state-explosion"
        }
      ],
      "relation": "tensions"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-finite-state-machine",
          "json": "https://banes-lab.com/json/records/algorithms/finite-state-machine",
          "label": "Finite State Machine",
          "markdown": "https://banes-lab.com/records/algorithms/finite-state-machine.md",
          "ref": "algorithms:finite-state-machine"
        }
      ],
      "relation": "contracts"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-boolean-flag-soup",
          "json": "https://banes-lab.com/json/records/lexicon/boolean-flag-soup",
          "label": "Boolean Flag Soup",
          "markdown": "https://banes-lab.com/records/lexicon/boolean-flag-soup.md",
          "ref": "lexicon:boolean-flag-soup"
        }
      ],
      "relation": "violated-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#vocabulary-severity-recommended",
          "json": "https://banes-lab.com/json/records/vocabulary/severity-recommended",
          "label": "recommended",
          "markdown": "https://banes-lab.com/records/vocabulary/severity-recommended.md",
          "ref": "vocabulary:severity-recommended"
        }
      ],
      "relation": "severity"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-category-behavioral-patterns",
          "json": "https://banes-lab.com/json/records/architecture-category/behavioral-patterns",
          "label": "Behavioral Patterns",
          "markdown": "https://banes-lab.com/records/architecture-category/behavioral-patterns.md",
          "ref": "architecture-category:behavioral-patterns"
        }
      ],
      "relation": "category"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-statecharts",
          "json": "https://banes-lab.com/json/records/architecture/statecharts",
          "label": "Statecharts",
          "markdown": "https://banes-lab.com/records/architecture/statecharts.md",
          "ref": "architecture:statecharts"
        }
      ],
      "relation": "required-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-statecharts",
          "json": "https://banes-lab.com/json/records/architecture/statecharts",
          "label": "Statecharts",
          "markdown": "https://banes-lab.com/records/architecture/statecharts.md",
          "ref": "architecture:statecharts"
        }
      ],
      "relation": "reinforced-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/pag/orchestration#declared-structure",
          "json": "https://banes-lab.com/json/pag/orchestration/declared-structure",
          "label": "Orchestration as declared structure",
          "markdown": "https://banes-lab.com/pag/orchestration/declared-structure.md",
          "ref": "chapter:/pag/orchestration#declared-structure"
        },
        {
          "href": "https://banes-lab.com/pag/keywords#keyword-ontology",
          "json": "https://banes-lab.com/json/pag/keywords/keyword-ontology",
          "label": "Keywords",
          "markdown": "https://banes-lab.com/pag/keywords/keyword-ontology.md",
          "ref": "chapter:/pag/keywords#keyword-ontology"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-correctness-determinism-verification",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-correctness-determinism-verification",
          "label": "Correctness / Determinism / Verification",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-correctness-determinism-verification.md",
          "ref": "chapter:/ontology#architecture-category-correctness-determinism-verification"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-behavioral-patterns",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-behavioral-patterns",
          "label": "Behavioral Patterns",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-behavioral-patterns.md",
          "ref": "chapter:/ontology#architecture-category-behavioral-patterns"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-behavioral-patterns",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-behavioral-patterns",
          "label": "Behavioral Patterns",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-behavioral-patterns.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-behavioral-patterns"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-core-vocabulary",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-core-vocabulary",
          "label": "Core Vocabulary",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-core-vocabulary.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-core-vocabulary"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-architecture",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-architecture",
          "label": "Architecture",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-architecture.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-architecture"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#the-vocabulary-severity",
          "json": "https://banes-lab.com/json/ontology/schema/the-vocabulary-severity",
          "label": "Severity levels",
          "markdown": "https://banes-lab.com/ontology/schema/the-vocabulary-severity.md",
          "ref": "chapter:/ontology/schema#the-vocabulary-severity"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#the-resolutions",
          "json": "https://banes-lab.com/json/ontology/schema/the-resolutions",
          "label": "The resolutions",
          "markdown": "https://banes-lab.com/ontology/schema/the-resolutions.md",
          "ref": "chapter:/ontology/schema#the-resolutions"
        }
      ],
      "relation": "linked-from"
    }
  ],
  "summary": "A conceptual representation of behavior as a closed set of states and the events that move between them.",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology#architecture-statecharts",
      "json": "https://banes-lab.com/json/records/architecture/statecharts",
      "label": "Statecharts",
      "markdown": "https://banes-lab.com/records/architecture/statecharts.md",
      "ref": "architecture:statecharts"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology#architecture-null-object-pattern",
      "json": "https://banes-lab.com/json/records/architecture/null-object-pattern",
      "label": "Null Object Pattern",
      "markdown": "https://banes-lab.com/records/architecture/null-object-pattern.md",
      "ref": "architecture:null-object-pattern"
    }
  },
  "up": {
    "href": null,
    "json": "https://banes-lab.com/json/api/records/architecture",
    "label": "Architecture principles",
    "markdown": "https://banes-lab.com/api/records/architecture.md",
    "ref": "api:records/architecture"
  },
  "aliases": [
    "FSM",
    "State Machine"
  ],
  "exemplar": {
    "after": "type FooState = \"closed\" | \"loading\" | \"open\" | \"error\";\nconst transitions: Record<FooState, Partial<Record<FooEvent, FooState>>> = {\n  closed: { open: \"loading\" },\n  loading: { ready: \"open\", fail: \"error\" },\n  open: { close: \"closed\" },\n  error: { retry: \"loading\" },\n};\nfunction next(state: FooState, event: FooEvent): FooState { return transitions[state][event] ?? state; }",
    "before": "let isOpen = false, isLoading = false, isError = false;\nfunction onClick() { isLoading = true; if (isOpen) isOpen = false; }",
    "lang": "ts",
    "medium": "code"
  },
  "formedBy": null,
  "scope": [
    "behavior",
    "state modeling",
    "control flow"
  ],
  "severity": "recommended"
}