Constraints in Papyrus
Constraint describe valid intervals for values, e.g. a value of a stereotype attribute or a
value of a slot in an instance specification. Thus, constraints are important elements of a user model.
Constraints can also be defined in the context of a profile, since the use of a specific stereotype
might only be valid, if the element applying the stereotype satisfies certain constraints.