実行可能モデル

用語

実行可能モデル

用語(英)

Executable Model

別名

-

識別情報

  • 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

定義

実行可能モデル(Executable Model)とは、型、オブジェクト、関係、責務、サービス、操作、イベント、状態機械、振る舞い、制約などの一般的な構造と規則を定義し、プログラム生成と実行へ接続できるオブジェクト・モデルです。定義した規則から、許容される実行を導けます。

SimpleModeling

実行可能モデルは、人間の開発者、プログラミング言語上の表現、実行基盤、生成AIの間で共有されます。現行CML(Cozy Modeling Language)が直接対象にするのは、オブジェクト・モデルのうち実行可能モデルだけです。Cozyがプログラムを生成し、Textusが実行基盤を提供します。

境界

  • 実行可能モデルは、具体的な実行例だけを記述する実行例モデルとは異なります。

  • 実行可能であることは、モデル文書自体が単独でプロセスとして起動することを意味しません。生成または解釈による実現経路を含みます。

関連語

  • オブジェクト・モデル

  • 実行例モデル

  • Cozy Modeling Language

  • Cozy

  • Textus

参照

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

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