OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — Generalize body/precondition/postcondition as named capabilities

  • Key: OCL25-207
  • Status: open  
  • Source: Model Driven Solutions ( Dr. Edward Willink)
  • Summary:

    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