Issue 14642: OCL 2.1 13.2 Reflection in OCL meta-models (correction to Issue 1 2951) (ocl2-rtf) Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk) Nature: Uncategorized Issue Severity: 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. Resolution: Revised Text: Actions taken: November 17, 2009: received issue Discussion: End of Annotations:===== m: "Willink, Ed" To: "'issues@omg.org'" Subject: OCL 2.1 13.2 Reflection in OCL meta-models (correction to Issue 1 2951) Date: Tue, 17 Nov 2009 10:30:18 -0000 X-Mailer: Internet Mail Service (5.5.2657.72) Hi 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. Regards Ed Willink **************************************************************************** Please consider the environment before printing this email. **************************************************************************** Thales Research and Technology (UK) Limited DISCLAIMER: The information contained in this e-mail is confidential. It may also be legally privileged. It is intended only for the stated addressee(s) and access to it by any other person is unauthorised. If you are not an addressee, you must not disclose, copy, circulate or in any other way use or rely on the information contained herein. Such unauthorised use may be unlawful. We may monitor all e-mail communications through our networks. If you have received this e-mail in error, please inform us immediately on +44 (0)1293 575987 and delete it and all copies from your system. We accept no responsibility for changes to any e-mail which occur after it has been sent. Attachments to this e-mail may contain software viruses which could damage your system. We therefore recommend you virus-check all attachments before opening. The registered office of Thales Research and Technology (UK) Limited is at: 2 Dashwood Lang Road, The Bourne Business Park, Addlestone, Weybridge, Surrey KT15 2NX. Registered in England No. 774298. ****************************************************************************