A constraint model artefact representing a SNOMED CT expression value space constraint.
Specializes
ModelArtefactPackage
Constraints
| Type | Name | Specification |
|---|---|---|
| Instance contains one ValueConstraint instance that specifies a SNOMED CT expression | LRA Invariant | inv: self.packagedElement->select(Element: e | e.oclAsType(ValueSpaceConstraint).specification.oclIsTypeOf(SctExpressionSpecification))->size() = 1 |