Executable Model

Term

Executable Model

Aliases

-

Identity

  • Term ID: src/main/doxsite/glossary/development-process/executable-model.dox

  • English label: Executable Model

  • Japanese label: 実行可能モデル

  • Scope qualifier: SimpleModeling / executable portion of Object Model

  • Bare-label linking: linkable

  • Category: Development Process

  • Status: normative

  • Definition authority: SimpleModeling BoK

DEFINITION

An Executable Model is an Object Model that defines general structures and rules such as Types, Objects, Relationships, responsibilities, Services, Operations, Events, StateMachines, Behavior, and Constraints and can be connected to program generation and execution. Permitted executions can be derived from its rules.

SimpleModeling

An Executable Model is shared among human developers, programming-language representations, execution foundations, and generative AI. Current CML (Cozy Modeling Language) directly targets only the Executable Model portion of an Object Model. Cozy generates programs, and Textus provides the execution foundation.

Boundary

  • An Executable Model is distinct from an Execution Example Model that describes only concrete executions.

  • Executable does not require the Model document itself to start as a process; it includes realization through generation or interpretation.

Related Terms

  • Object Model

  • Execution Example Model

  • CML

  • Cozy

  • Textus

References

  • docs/journal/2026/08/2026-08-17-simplemodeling-model-components-and-object-model-scope.md

  • docs/spec/glossary-entry-format.md