OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — OCL 2.1 12 Essential MOF support

  • Key: OCL25-128
  • Legacy Issue Number: 14596
  • Status: open  
  • Source: Model Driven Solutions ( Ed Willink)
  • Summary:

    12: Why no applicability to Essential MOF models?

    Although EMOF::Operation has no precondition feature, there is no problem in an operationContextDecl imposing a truth upon the operation.

    Similarly, if Initial value and Derived values are defined as Constraints in the same way as PreConditions, then the propertyContextDecl can constrain EMOF by imposing a truth upon the Property.default : String even though String is not an Expression

  • Reported: OCL 2.1 — Sat, 31 Oct 2009 04:00 GMT
  • Updated: Sat, 19 Jan 2019 15:46 GMT