Issue 15092: OCL 2.1 conformsTo definition suggestion (ocl2-rtf) Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk) Nature: Uncategorized Issue Severity: Summary: OCL allows a user to define a run-time OCL meta-model through Property and Operation definitions that is based upon a specification-time UML meta-model. It would be useful to allow a user to also introduce inheritance/conformance polymorphisms. Thus: context CommonPackage::CommonObject context CommonPackage::CommonObject::isSerializable() : Boolean = false context OCL::String conformsTo CommonPackage::CommonObject context MyPackage::MyObject conformsTo CommonPackage::CommonObject context YourPackage::YourObject conformsTo CommonPackage::CommonObject could mix-in the capabilities of CommonObject to each of MyObject and YourObject and String. This would allow common functionality to be mixed in once and used polymorphically rather than being added in amorphously and requiring an if-tree of per-context invocations of that functionality. Resolution: Revised Text: Actions taken: February 26, 2010: received issue Discussion: End of Annotations:===== iler: QUALCOMM Windows Eudora Version 7.1.0.9 Date: Fri, 26 Feb 2010 16:10:54 -0500 To: issues@omg.org, ocl2-rtf@omg.org From: Juergen Boldt Subject: issue 15092 -- OCL 2 RTF issue X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvsEAE2wh0vUnw4S/2dsb2JhbACbHnO8JIR5BA Date: Fri, 26 Feb 2010 19:29:19 +0000 From: Ed Willink User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-GB; rv:1.9.1.5) Gecko/20091204 Thunderbird/3.0 To: issues@omg.org Subject: OCL 2.1 conformsTo definition suggestion X-Plusnet-Relay: 9bf893836b6064466860329e327b656f Hi OCL allows a user to define a run-time OCL meta-model through Property and Operation definitions that is based upon a specification-time UML meta-model. It would be useful to allow a user to also introduce inheritance/conformance polymorphisms. Thus: context CommonPackage::CommonObject context CommonPackage::CommonObject::isSerializable() : Boolean = false context OCL::String conformsTo CommonPackage::CommonObject context MyPackage::MyObject conformsTo CommonPackage::CommonObject context YourPackage::YourObject conformsTo CommonPackage::CommonObject could mix-in the capabilities of CommonObject to each of MyObject and YourObject and String. This would allow common functionality to be mixed in once and used polymorphically rather than being added in amorphously and requiring an if-tree of per-context invocations of that functionality. Regards Ed Willink Juergen Boldt Director, Member Services Object Management Group 140 Kendrick St Building A Suite 300 Needham, MA 02494 USA tel: +1 781 444 0404 x 132 fax: +1 781 444 0320 email: juergen@omg.org www.omg.org