Issue 12522: Errors and anomalies in QVT 1.0 07-07-08 ZIP qvtbase.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. No: Domain.typedModel lowerbound of 0 is correct; primitive domains have no TypedModel Rule.transformation lowerbound change is Issue 11825. Revised Text: In Fig 7.4 change Rule.transformation multiplicity from 1 to 0..1. • Transformation.modelParameter to not ordered. • Rule.overriden to overridden. In 7.11.1.1 Transformation change transformation: Transformation[1] to transformation: Transformation[0..1] In 7.11.1.4 Rule change transformation: Transformation[1] to transformation: Transformation[0..1] In the non-normative files change • Transformation.modelParameter to not ordered. 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:00:33 -0400 To: issues@omg.org, mof-qvt-ftf@omg.org From: Juergen Boldt Subject: issue 12522 -- QVT xTF issue From: "Ed Willink" To: Subject: Errors and anomalies in QVT 1.0 07-07-08 ZIP qvtbase.ecore Date: Fri, 6 Jun 2008 20:37:05 +0100 X-Mailer: Microsoft Outlook, Build 10.0.6838 Thread-Index: AcjIDLMxPWB6oviTQUKIkzSUm3pHKw== X-Plusnet-Relay: b11a7c9e1a83475aa7ca06b3e7ee13d1 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. 'nsPrefix' for 'QVTBase' should be 'qvtb' rather than 'qvtbase' 'nsURI' for 'QVTBase' should be ' http://schema.omg.org/spec/QVT/1.0/qvtbase.xml' rather than ' http://www.schema.omg.org/spec/QVT/1.0/qvtbase' 'name' for 'QVTBase' should be 'QVTBase' rather than 'qvtbase' 'abstract' for 'Domain' should be 'true' rather than 'false' 'abstract' for 'Rule' should be 'true' rather than 'false' 'lowerBound' for 'Domain.typedModel' should be '1' rather than '0' 'lowerBound' for 'Rule.transformation' should be '0' rather than '1' 'ordered' for 'Pattern.bindsTo' should be 'false' rather than 'true' 'ordered' for 'Pattern.predicate' should be 'false' rather than 'true' 'ordered' for 'Rule.domain' should be 'false' rather than 'true' 'ordered' for 'Transformation.modelParameter' should be 'false' rather than 'true' 'ordered' for 'Transformation.ownedTag' should be 'false' rather than 'true' 'ordered' for 'Transformation.rule' should be 'false' rather than 'true' 'ordered' for 'TypedModel.dependsOn' should be 'false' rather than 'true' 'ordered' for 'TypedModel.usedPackage' should be 'false' rather than 'true' Unnavigable 'opposite' of 'Rule.overrides' should be modelled Unnavigable 'opposite' of 'Transformation.extends' should be modelled Unnavigable 'opposite' of 'TypedModel.dependsOn' should be modelled QVTBase.ecore1 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 Date: Fri, 12 Dec 2008 06:29:43 +0000 From: Ed Willink User-Agent: Thunderbird 2.0.0.18 (Windows/20081105) To: qvt-rtf@omg.org, Quentin Glineur Subject: Re: Issue 12518, 12519, 12522 QVTBase::Transformation.modelParameter ordering ambiguity resolution. X-Plusnet-Relay: 6ceef13d8e0acdb906da18ff1cc1dd01 Hi The diagram/text conflict for QVTBase::Transformation.modelParameter ordering needs to be resolved as ordered rather than not ordered as previously suggested. An ordered behaviour is required to make the argument list of a QVTRelation::RelationCallExp well-defined. Updated files will be made available shortly in the Eclipse QVT Declarative CVS. Login: anonymous@dev.eclipse.org CVS Root: /cvsroot/modeling CVS Path: org.eclipse.m2m/org.eclipse.qvt.declarative/plugins/org.eclipse.qvt/ Files: QVTBase.cat, ecore/QVTBase.ecore, emof/QVTBase.xml Regards