A set of constraints (also known as an Interface Model class) applied to a Domain Model class to satisfy precisely the information requirements of one or more particular areas of interest.
Specializes
AnyDomainModelClass
Constraints
| Type | Name | Specification |
|---|---|---|
| Every instance is a specialisation only of one DomainModelClass instance. | LRA Invariant | inv: self.generalization->size() = 1 and self.generalization->exists(c: Class | c.oclIsTypeOf(DomainModelClass)) |