Issue 12521: Errors and anomalies in QVT 1.0 07-07-08 ZIP essentialocl.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: Revised Text: Actions taken: June 6, 2008: received issue July 15, 2014: closed issue Discussion: These changes affect non-normative EssentialOCL files which were corrected when QVT 1.1 issued revised files based on Eclipse QVT contributions. Disposition: Closed, No Change End of Annotations:===== iler: QUALCOMM Windows Eudora Version 7.1.0.9 Date: Fri, 06 Jun 2008 16:57:32 -0400 To: issues@omg.org, mof-qvt-ftf@omg.org From: Juergen Boldt Subject: issue 12521 -- MOF QVT xTF issue From: "Ed Willink" To: Subject: Errors and anomalies in QVT 1.0 07-07-08 ZIP essentialocl.ecore Date: Fri, 6 Jun 2008 20:37:00 +0100 X-Mailer: Microsoft Outlook, Build 10.0.6838 Thread-Index: AcjIDLCcriOG2bi1QECQp1i/2ndr5A== X-Plusnet-Relay: 70ccce7bb0328ab4a20281257f9fdda7 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 'EssentialOCL' should be ' http://schema.omg.org/spec/QVT/1.0/essentialocl.xml' rather than ' http://www.schema.omg.org/spec/OCL/2.0/essentialocl' 'name' for 'EssentialOCL' should be 'EssentialOCL' rather than 'essentialocl' 'name' for 'ExpressionInOcl.contextVariable' should be 'contextVariable' rather than 'context' 'name' for 'Variable.representedParameter' should be 'representedParameter' rather than 'bindParameter' 'NavigationCallExp' should be defined 'OpaqueExpression' should be undefined 'TypeType' should be defined 'CollectionKind::Collection' should be defined 'eSuperTypes' for 'ExpressionInOcl' should be 'TypedElement' rather than 'OpaqueExpression' 'eSuperTypes' for 'PropertyCallExp' should be 'NavigationCallExp' 'eSuperTypes' for 'AnyType' should be 'Type' rather than 'Class','Type' 'lowerBound' for 'CollectionType.elementType' should be '1' rather than '0' 'upperBound' for 'ExpressionInOcl.parameterVariable' should be '-1' rather than '1' 'abstract' for 'CollectionType' should be 'false' rather than 'true' 'containment' for 'TupleLiteralPart.attribute' should be 'false' rather than 'true' 'ordered' for 'CollectionLiteralExp.part' should be 'false' rather than 'true' 'ordered' for 'ExpressionInOcl.parameterVariable' should be 'false' rather than 'true' 'ordered' for 'LoopExp.iterator' should be 'false' rather than 'true' 'ordered' for 'TupleLiteralExp.part' should be 'false' rather than 'true' Unnavigable 'opposite' of 'CallExp.source' should be modelled Unnavigable 'opposite' of 'CollectionRange.first' should be modelled Unnavigable 'opposite' of 'CollectionRange.last' should be modelled Unnavigable 'opposite' of 'EnumLiteralExp.referredEnumLiteral' should be modelled Unnavigable 'opposite' of 'ExpressionInOcl.bodyExpression' should be modelled Unnavigable 'opposite' of 'ExpressionInOcl.contextVariable' should be modelled Unnavigable 'opposite' of 'ExpressionInOcl.parameterVariable' should be modelled Unnavigable 'opposite' of 'ExpressionInOcl.resultVariable' should be modelled Unnavigable 'opposite' of 'IfExp.condition' should be modelled Unnavigable 'opposite' of 'IfExp.elseExpression' should be modelled Unnavigable 'opposite' of 'IfExp.thenExpression' should be modelled Unnavigable 'opposite' of 'IterateExp.result' should be modelled Unnavigable 'opposite' of 'LoopExp.body' should be modelled Unnavigable 'opposite' of 'OperationCallExp.argument' should be modelled Unnavigable 'opposite' of 'OperationCallExp.referredOperation' should be modelled Unnavigable 'opposite' of 'PropertyCallExp.referredProperty' should be modelled Unnavigable 'opposite' of 'Variable.initExpression' should be modelled Unnavigable 'opposite' of 'VariableExp.referredVariable' should be modelled 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