Source: Model Driven Solutions ( Ed Willink)
UML/OCL hardwire three capabilities of an Operation.
"body" is very useful
"precondition", "postcondition" are sometimes useful
anything else is unsupported.
Some users want frame conditions.
Code generation/analysis wants other forms of meta-evaluation.
Rather than expand the hardwired options, allow an Operation to have an extensible set of named capabilities.Some names such as "body", "precondition", "postcondition" can be standardized. Others could be reserved in anticipation.
Reported: OCL 2.4 — Wed, 14 Dec 2016 15:38 GMT
Updated: Wed, 14 Dec 2016 15:38 GMT