モデルの実現
|
用語 |
モデルの実現 |
|
用語(英) |
Model Realization |
|
別名 |
- |
識別情報
-
Term ID:
src/main/doxsite/glossary/development-process/model-realization.dox -
English label: Model Realization
-
Japanese label: モデルの実現
-
Japanese short label: 実現
-
Scope qualifier: Development Process / model-to-executable realization path
-
Bare-label linking: explicit-only
-
Category: Development Process
-
Status: normative
-
Definition authority: SimpleModeling BoK
定義
モデルの実現(Model Realization)とは、Modelが持つ意味、形式的構造、および契約を、追跡可能性を保ちながらプログラムと実行可能成果物へ対応付ける開発プロセスまたは実現経路です。Model変換、プログラム生成、生成AIによる補完、統合、および実行基盤への配置を含み得ます。
UML
モデルの実現は、UML 2.5.1の実現関係(Realization)そのものではありません。モデルの実現経路の一部で、仕様Model Elementと実装Model Elementの対応を表すために実現関係を使用できます。
オブジェクト関数パラダイム
Object-Functional Paradigmでは、Model上のType、Capability、Constraint、Stateなどを、Object側の構造と振る舞い、およびFunctional側の型、関数、結果、Effectへ対応付けます。片方のパラダイムだけへの単純なコード生成には限定しません。
CML
SimpleModelingの標準的な実現経路では、CML(Cozy Modeling Language)が形式的なModel記述を担い、Cozyが変換とプログラム生成を担い、生成AIが必要な実装を補完し、Textusが実行基盤を提供します。これにより、Object Modelingはプラットフォーム機構の手作業ではなくDomain Modelの構造記述に集中できます。
Scala
ScalaはSimpleModelingにおける主要な実装先の一つであり、Object側とFunctional側を接続する型表現を提供します。ただし、モデルの実現はScalaコード生成だけに限定されず、設定、Schema、Test、Adapter、およびRuntime成果物も含み得ます。
simplemodeling-lib
simplemodeling-libは、Modelの意味をScalaとRuntimeへ対応付けるための語彙と実装要素を提供します。ただし、ライブラリ単独がモデルの実現経路全体を所有するわけではなく、CML、Cozy、生成AI、Textusとの連携によって経路が成立します。
公開成果物での用法
日本語の記事と動画では、初出を「モデルの実現(Model Realization)」とします。経路を強調する場合は「実現経路」を使用できます。「実現」とだけ記すのは、Modelから実装と実行へ至る文脈が確立している場合に限ります。
境界
-
モデルの実現はUMLの実現関係(Realization)ではありません。
-
記事や図の公開、動画のRenderだけを指す用語ではありません。
-
一対一のプログラム自動生成だけには限定されません。
-
Application Modelingと同義ではありません。Application Modelingはユースケースから実行可能な意味構造を構成し、Model Realizationは承認済みの構造をプログラムと実行基盤へ接続します。
参照
-
src/main/doxsite/development-process/what-simplemodeling-has-pursued.dox -
src/main/doxsite/development-process/modeling-technology-system.dox -
src/main/doxsite/glossary/development-process/application-modeling.dox -
src/main/doxsite/glossary/object-foundation/realization.dox -
docs/spec/glossary-entry-format.md