Issue 12525: Errors and anomalies in QVT 1.0 07-07-08 ZIP qvtcore.ecore (qvt-rtf) Source: Nomos Software (Dr. Edward Willink, ed(at)willink.me.uk) Nature: Uncategorized Issue Severity: Summary: Use of automated tooling to support comparison of the models developed initially as part of the Eclipse GMT/UMLX project and being transferred to the Eclipse QVT Declarative/QVT Operational Mappings Projects reveals the following errors and anomalies in emof.ecore in the 07-07-08 ZIP. Note that these errors and anomalies are not the same as those separately reported for the QVT_1.0.mdl from which the Ecore was notionally auto-generated. An Ecore file resolving these anomalies is attached Resolution: Revised Text: Actions taken: June 6, 2008: received issue Discussion: End of Annotations:===== iler: QUALCOMM Windows Eudora Version 7.1.0.9 Date: Fri, 06 Jun 2008 17:12:51 -0400 To: issues@omg.org, nmof@omg.org From: Juergen Boldt Subject: issue 12525 -- MOF QVY xTF issue From: "Ed Willink" To: Subject: Errors and anomalies in QVT 1.0 07-07-08 ZIP qvtcore.ecore Date: Fri, 6 Jun 2008 20:37:15 +0100 X-Mailer: Microsoft Outlook, Build 10.0.6838 Thread-Index: AcjIDLmBs3KJSt/iT+m+8V/2C3avsw== X-Plusnet-Relay: f5a90a0ba71ea50265db7cf6c82c78c4 Use of automated tooling to support comparison of the models developed initially as part of the Eclipse GMT/UMLX project and being transferred to the Eclipse QVT Declarative/QVT Operational Mappings Projects reveals the following errors and anomalies in emof.ecore in the 07-07-08 ZIP. Note that these errors and anomalies are not the same as those separately reported for the QVT_1.0.mdl from which the Ecore was notionally auto-generated. An Ecore file resolving these anomalies is attached. 'nsURI' for 'QVTCore' should be ' http://schema.omg.org/spec/QVT/1.0/qvtcore.xml' rather than ' http://www.schema.omg.org/spec/QVT/1.0/qvtcore' 'nsPrefix' for 'QVTCore' should be 'qvtc' rather than 'qvtcore' 'name' for 'QVTCore' should be 'QVTCore' rather than 'qvtcore' 'eSuperTypes' for 'Assignment' should be 'Element' rather than nothing 'eSuperTypes' for 'EnforcementOperation' should be 'Element' rather than nothing 'abstract' for 'Assignment' should be 'true' rather than 'false' 'containment' for 'EnforcementOperation.operationCallExp' should be 'true' rather than 'false' 'containment' for 'Mapping.local' should be 'true' rather than 'false' 'transient' for 'Mapping.context' should be 'true' rather than 'false' 'Assignment.slotExpression' should be undefined 'PropertyAssignment.slotExpression' should be defined 'CorePattern.variable' should be defined 'Mapping.refinement' should be defined 'Mapping.refinement' should be the 'opposite' of 'Mapping.specification' 'ordered' for 'BottomPattern.assignment' should be 'false' rather than 'true' 'ordered' for 'BottomPattern.enforcementOperation' should be 'false' rather than 'true' 'ordered' for 'BottomPattern.realizedVariable' should be 'false' rather than 'true' 'ordered' for 'Mapping.local' should be 'false' rather than 'true' 'ordered' for 'Mapping.specification' should be 'false' rather than 'true' Unnavigable 'opposite' of 'Assignment.value' should be modelled Unnavigable 'opposite' of 'PropertyAssignment.targetProperty' should be modelled Unnavigable 'opposite' of 'VariableAssignment.targetVariable' should be modelled QVTCore.ecore2 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