Legacy Issue Number: 19127
Source: Model Driven Solutions ( Ed Willink)
A.5.1.5 suggests that an invariant may be specified for many contexts. The Complete OCL syntax does not support this.
Many users like to write grandiose truths:
These do not use the context and so naively increase the complexity from O(N) to O(N*N).
Suggest allowing such constraints to be context-less constraints provided by the Package rather than a spurious Classifier.
Reported: OCL 2.3.1 — Wed, 27 Nov 2013 05:00 GMT
Updated: Thu, 8 Oct 2015 14:11 GMT