実行例モデル
|
用語 |
実行例モデル |
|
用語(英) |
Execution Example Model |
|
別名 |
- |
識別情報
-
Term ID:
src/main/doxsite/glossary/development-process/execution-example-model.dox -
English label: Execution Example Model
-
Japanese label: 実行例モデル
-
Scope qualifier: SimpleModeling / inductive Object Model of concrete executions
-
Bare-label linking: linkable
-
Category: Development Process
-
Status: normative
-
Definition authority: SimpleModeling BoK
定義
実行例モデル（Execution Example Model）とは、相互作用や実行トレースなどによって、特定のシナリオにおける参加者、操作、イベント、状態遷移、結果を記述するオブジェクト・モデルです。具体例から期待する振る舞いを示す帰納的なモデルであり、実行可能モデルが満たすべき制約条件として利用できます。
SimpleModeling
承認された正常例は、実行可能モデルがその実行を許容し、期待結果へ到達できることを要求します。禁止例は、その実行を受理しないことを要求できます。実行例モデルは、操作とイベントの順序、事前条件、事後条件、結果、状態遷移の適合性を設計、レビュー、検証するために使います。
現時点のCML（Cozy Modeling Language）は実行例モデルをスコープに含みません。実行例は、ユースケース実現モデルおよび src/main/internal-model/ に保存するレビュー対象と関係し、CMLへ投影する実行可能な要素を制約します。