OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — OCL 2.3 A.2.6 Collection conforms to OclAny contradiction

Open Closed All
  • Key: OCL25-77
  • Legacy Issue Number: 16487
  • Status: open  
  • Source: Model Driven Solutions ( Dr. Edward Willink)
  • Summary:

    Issue 12948 "Making OclAny denote any object" was resolved to allow Collection to conform to OclAny.

    A.2.6 still states "A simple set inclusion semantics for subtype relationships as described in the next sub section would not be possible due to cyclic domain definitions if OclAny
    were the supertype of Set(OclAny)."

    A premise for Annex A has therefore been violated requiring rework to consider at least a less simple set inclusion semantics.
  • Reported: OCL 2.1 — Sat, 6 Aug 2011 04:00 GMT
  • Updated: Tue, 10 Jan 2023 07:06 GMT