Execution Example Model
Term |
Execution Example Model |
Aliases |
- |
Identity
-
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
DEFINITION
An Execution Example Model is an Object Model that describes participants, Operations, Events, State Transitions, and Outcomes in a particular Scenario through an Interaction, execution trace, or related representation. It is an inductive Model: concrete examples indicate expected Behavior and may constrain an Executable Model.
SimpleModeling
An approved positive example requires the Executable Model to admit the execution and reach the expected Outcome. A prohibited example may require the Executable Model to reject that execution. Execution Example Models support design, review, and validation of Operation and Event ordering, Preconditions, Postconditions, Outcomes, and State Transitions.
Current CML (Cozy Modeling Language) does not include Execution Example Models in its scope. Execution examples relate to Use Case Realization Models and review artifacts stored under src/main/internal-model/ , constraining the executable elements projected into CML.
Boundary
-
One execution example does not exhaustively define all executable Behavior.
-
An Execution Example Model is not the natural-language Use Case Scenario itself; it concretizes the Scenario as formal participants and execution.
-
It is not synonymous with the current CML Executable Model.