Definitions
The semantic definitions that make up a Modeller bounded context.
Definitions
A definition is a named, stably identified concept owned by a bounded context. Definitions are immutable values in the canonical model and are changed through typed model operations.
Definition kinds
| Kind | Meaning |
|---|---|
| Fact | Typed information supplied to rules and decisions |
| Entity | A domain concept with identity and, optionally, a lifecycle |
| Lifecycle | The governed stages available to an entity |
| Rule | A typed expression producing a conclusion and findings |
| Decision table | Explicit conditions and conclusions governed by a hit policy |
| Behaviour | An action associated with an entity and its outcomes |
| Outcome | A business result of a behaviour |
| Effect | An observable consequence of an outcome |
| Event | A durable fact that something meaningful occurred |
| Transition | A lifecycle change produced by an outcome and constrained by guards |
Every concept has a semantic ID, name, slug, documentation, and ownership. References use IDs rather than names, so a rename does not silently change meaning.
Authoring and changing definitions
Authors normally use the Readable Modelling Language;
SAF remains available for engineering and conformance inputs.
The parser compiles it into an AuthoredContextRevision and retains provenance
for diagnostics and navigation. Programmatic callers use CanonicalModel.Apply
with typed operations such as AddDefinition, RenameConcept, and
DeleteConcept.
Definitions become executable only after semantic validation. Persistence uses the canonical context-package representation.