Source: Model Driven Solutions ( Ed Willink)
Behavior::behavioredClassifier like many UML operations has a body defined in OCL.
This is normally "result="-prefixed to become a pseudo-Boolean bodycondition in XMI.
However exceptionally Behavior::behavioredClassifier is serialized as a precondition where its non-Boolean value is an error. (Eclipse OCL has finally added the relevant WFR.)
Reported: UML 2.5.1 — Sat, 19 Jan 2019 13:18 GMT
Updated: Thu, 31 Jan 2019 15:23 GMT
UMLR — Behavior::behavioredClassifier bodycondition is serialized as a precondition
- Key: UMLR-756
- OMG Task Force: UML 2.6 RTF