Issue 6922: Redefinitions of OCL constraints must be aligned with MOF2.0/UML2.0 class R (uml2-rtf) Source: (, ) Nature: Revision Severity: Significant Summary: Redefinitions of OCL constraints must be aligned with MOF2.0/UML2.0 class Redefinition. I could not find any detailed information with respect to redefinition of (especially OCL class OclExpression) constraints in the docs ptc/03-09-15, ptc/03-10-04. A more precise semantic would help for the QVT redefinitions w.r.t patterns and technology mappings interoperability (JMI <> MOF2IDL alignment). Proposed resolution: It would be useful to add more precise abstract semantic for redefinition contexts of constraints (e.g. class 'Constraint' should specify that redefinition context must also be inheritance) Resolution: Revised Text: Actions taken: January 19, 2004: received issue February 18, 2005: moved from infrastructure Discussion: Disposition: Deferred to UML 2.4 RTF End of Annotations:===== m: webmaster@omg.org Date: 19 Jan 2004 11:41:54 -0500 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Michael Soden Company: Fraunhofer FOKUS, Germany mailFrom: soden@fokus.fraunhofer.de Notification: No Specification: UML2.0 Infra/MOF2.0 Core/OCL2.0 Section: 9.5 FormalNumber: ptc/03-09-15 Version: 2.0 RevisionDate: Nov/7/2003 Page: 51-52 Nature: Revision Severity: Significant HTTP User Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.1) Gecko/20020826 Description Redefinitions of OCL constraints must be aligned with MOF2.0/UML2.0 class Redefinition. I could not find any detailed information with respect to redefinition of (especially OCL class OclExpression) constraints in the docs ptc/03-09-15, ptc/03-10-04. A more precise semantic would help for the QVT redefinitions w.r.t patterns and technology mappings interoperability (JMI <> MOF2IDL alignment). Proposed resolution: It would be useful to add more precise abstract semantic for redefinition contexts of constraints (e.g. class 'Constraint' should specify that redefinition context must also be inheritance)