Issue 12525: Errors and anomalies in QVT 1.0 07-07-08 ZIP qvtcore.ecore (qvt-rtf) Source: Model Driven Solutions (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: These changes mostly affect non-normative files which were corrected when QVT 1.1 issued revised files based on Eclipse QVT contributions. However a few changes remain to be resolved in the main text. CorePattern.variable is Issue 10938 Assignment.slotExpression is Issue 11108 Revised Text: In Fig 9.2 • add a CorePattern to Variable composition arc for CorePattern.variable In Figure 9.3 • move the Assignment end of OclExpression.slotExpression to PropertyAssignment. • Change the EnforcementOperation.bottomPattern multiplicity to 1. In 9.17.1 CorePattern add variable: Variable [*] {composes} In 9.17.6 Mapping change domain : Domain [*] {composes} (From QVTBase) to /domain : CoreDomain [*] {composes} (From QVTBase) In 9.17.7 RealizedVariable change bottomPattern : BottomPattern [*] {composes} to bottomPattern : BottomPattern [1] In 9.17.8 Assignment change bottomPattern: BottomPattern to bottomPattern : BottomPattern [1] From 9.17.8 Assignment move slotExpression: OclExpression [1] {composes} An OCL expression identifying the object whose property value is to be assigned. to 9.17.9 PropertyAssignment slotExpression: OclExpression [1] {composes} An OCL expression identifying the object whose property value is to be assigned. In the non-normative files change • EnforcementOperation.bottomPattern multiplicity to 1 Actions taken: June 6, 2008: received issue July 15, 2014: closed 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