11.5.1 Constraint

   Description

   Constructs::Constraint reuses the definition of Constraint from Abstractions::Constraints. It adds a specialization to PackageableElement.

   Generalizations

   • “PackageableElement? on page 145

   Attributes

   No additional attributes

   Associations

• constrainedElement: Element Redefines the corresponding property in Abstractions.

• / context: Namespace [0..1] Redefines the corresponding property in Abstractions. This is a derived union.

• specification: ValueSpecification Redefines the corresponding property in Abstractions. Subsets Element.ownedElement.

   Constraints

   No additional constraints

   Semantics

   No additional semantics

   Notation

   No additional notation