OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — OCL 2.1 13.2 Reflection in OCL meta-models (correction to Issue 1 2951)

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

    13.1 states that "EssentialOCL is the package exposing the minimal OCL
    required to work with EMOF. EssentialOcl depends on the
    EMOF Package."

    13.1 states that "For convenience, because BasicOCL (respectively
    EssentialOCL) is - conceptually a subset of the complete OCL
    language for UML superstructure."

    MOF 06-01-01 defines EMOF and Figure 12.1 clearly shows a merge of
    Reflection. Therefore EssentialOCL has reflection.

    UML superstructure has almost everything, so BasicOCL has reflection.

    Issue 12951 provides the following revised text for 13.2. "The EMOF
    Reflection capability is not merged to the metamodel."
    This contradicts the above. If this is intended, OCL needs to redefine an
    EMOF as perhaps OMOF with the appropriate merges.

    Issue 9171 discusses why reflection is not available at the modelling level,
    but is available at the meta-modelling level.

    Presumably the intent is that MOF Reflection is present in the OCL
    meta-model, but is not necessarily present in the constrained models and so
    is not necessarily useable in OCL expressions. The revised text for Issue
    12951 should be revisited to align with Issue 9171.

  • Reported: OCL 2.1 — Tue, 17 Nov 2009 05:00 GMT
  • Updated: Thu, 8 Oct 2015 14:11 GMT