Hello,
Just my 2 cents: you can define Data Values as well, and refer to them in the Owned Specification of the constraint. This way, if you have several constraints that refer to the same value, and this value changes, you will only need to change it in one place.
