OCL 2.3 RTF Avatar
  1. OMG Issue

OCL23 — OCL 2.1 Inconsistent implementation of Issue 6532 and contradictory resolution of Issues 7341 and 10437

Open Closed All
  • Key: OCL23-8
  • Legacy Issue Number: 14222
  • Status: closed  
  • Source: Model Driven Solutions ( Dr. Edward Willink)
  • Summary:

    Issue 7341 resolved that a bad oclAsType in 7.4.6 should return invalid.

    Issue 10437 resolved that the revised text for bad oclAsType in 11.2.5 should return null.

    Issue 6532 resolved that oclAsType in 7.5.9. return a Classifier. The changed specification has OclType.
  • Reported: OCL 2.1 — Wed, 26 Aug 2009 04:00 GMT
  • Disposition: Resolved — OCL 2.3
  • Disposition Summary:

    Issue 7341 is correct.; invalid should be returned by oclAsType when the type
    does not conform. Issue 10437 is wrong. The 10437 revised text also incorrectly
    uses t rather than T.
    Issue 6532 specified an 'instance of Classifier' return for oclAsType. The
    convenience document has not been updated.
  • Updated: Fri, 6 Mar 2015 20:58 GMT