On 26/07/2012 12:27, Wouter Schaekers wrote:
> I was wondering whether it is possible to reference to an OCL
> constraint in a derivation property/attribute. To give a simple example:
> Invariant Bigger:
> self.num > 5;
> Now I want to use 'Bigger' in a derivation. Eg:
> derivation: if Bigger then ... else ... endif
> Is this possible or do I have to do double work?