archive/org.eclipse.qvt.declarative.emof.essentialocl/EssentialOCLCompliance.html - mmt/org.eclipse.qvtd - Git at Google

 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN">
 <!-- This file was autogenerated on Fri Jun 06 18:23:13 BST 2008 by the org.eclipse.gmt.umlx.eqvt.tests.EssentialOCLConsistencyTest.testEssentialOCLConsistency() JUnit test -->
 <html>
 <head>
 <title>EssentialOCL Model Compliance</title>
 <meta http-equiv=Content-Type content="text/html; charset=ISO-8859-1">
 </head>
 <body lang="EN-US">
 <h1>EssentialOCL Model Compliance</h1>
 <p>
 This document describes clarifications and fixes to
 <ul>
 	<li><a href="http://www.omg.org/docs/formal/06-01-01.pdf">OMG MOF 2.0 specification (06-01-01)</a></li>
 	<li><a href="http://www.omg.org/docs/formal/06-05-01.pdf">OMG OCL 2.0 specification (06-05-01)</a></li>
 	<li><a href="http://www.omg.org/docs/formal/08-04-03.pdf">OMG QVT 1.0 specification (08-04-03)</a></li>
 </ul>
 realised by the Ecore-based and EMOF-based EssentialOCL models.
 <p>
 The EMOF-based <tt>EssentialOCL</tt> model is intended to exactly comply with the spirit of the latest QVT specification;
 the model therefore corrects numerous problems in the official QVT 1.0 models.
 The EMOF-based model should be used for modelling, where accuracy is important.
 <p>
 The Ecore-based <tt>EssentialOCL</tt> model is intended to provide identical behaviour subject to the replacement of
 <ul>
 	<li>the <tt>EMOF</tt> package by Ecore (from Eclipse EMF)</li>
 	<li>the <tt>EssentialOCL</tt> package by the Ecore OCL package (from  Eclipse MDT).</li>
 </ul>
 The Ecore-based model should be used within tools, where the power of Ecore and its associated tooling is important.
 <h2>EMOF-based Model Compliance with respect to the OMG QVT Rose Model</h2>
 The OMG QVT Rose Model is the source of all diagrams in the QVT specification
 and the notional source of all other generated models.
 <p>
 The Eclipse <tt>EssentialOCL</tt> Model resolves the following errors
 and anomalies in the OMG QVT Rose Model.
 <p>
 <br><tt>nsURI</tt> for <tt>EssentialOCL</tt> is <tt>http://schema.omg.org/spec/QVT/1.0/essentialocl.xml</tt> rather than <tt>http:///essentialocl.ecore</tt>
 <br><tt>name</tt> for <tt>EssentialOCL</tt> is <tt>EssentialOCL</tt> rather than <tt>essentialocl</tt>
 <br><tt>name</tt> for <tt>FeatureCallExp</tt> is <tt>FeatureCallExp</tt> rather than <tt>FeaturePropertyCall</tt>
 <br><tt>name</tt> for <tt>ExpressionInOcl.contextVariable</tt> is <tt>contextVariable</tt> rather than <tt>context</tt>
 <br><tt>name</tt> for <tt>Variable.representedParameter</tt> is <tt>representedParameter</tt> rather than <tt>bindParameter</tt>
 <br><tt>NavigationCallExp</tt> is defined
 <br><tt>OpaqueExpression</tt> is undefined
 <br><tt>TypeType</tt> is defined
 <br><tt>CollectionKind::Collection</tt> is defined
 <br><tt>eSuperTypes</tt> for <tt>ExpressionInOcl</tt> is <tt>TypedElement</tt> rather than <tt>OpaqueExpression</tt>
 <br><tt>eSuperTypes</tt> for <tt>PropertyCallExp</tt> is <tt>NavigationCallExp</tt> rather than <tt>FeaturePropertyCall</tt>
 <br><tt>eSuperTypes</tt> for <tt>AnyType</tt> is <tt>Type</tt> rather than <tt>Class</tt>,<tt>Type</tt>
 <br><tt>abstract</tt> for <tt>CollectionType</tt> is <tt>false</tt> rather than <tt>true</tt>
 <br><tt>containment</tt> for <tt>TupleLiteralPart.attribute</tt> is <tt>false</tt> rather than <tt>true</tt>
 <br><tt>lowerBound</tt> for <tt>CollectionType.elementType</tt> is <tt>1</tt> rather than <tt>0</tt>
 <br><tt>upperBound</tt> for <tt>ExpressionInOcl.parameterVariable</tt> is <tt>-1</tt> rather than <tt>1</tt>
 <br><tt>ordered</tt> for <tt>ExpressionInOcl.parameterVariable</tt> is <tt>false</tt> rather than <tt>true</tt>
 <br><tt>ordered</tt> for <tt>OperationCallExp.argument</tt> is <tt>true</tt> rather than <tt>false</tt>
 <h2>EMOF-based Model Compliance with respect to the OMG Ecore Model</h2>
 The OMG Ecore Models are notionally generated from the OMG QVT Rose Model.
 <p>
 The Eclipse <tt>EssentialOCL</tt> Model resolves the following errors and anomalies in the corresponding OMG Ecore Model.
 <p>
 <br><tt>nsURI</tt> for <tt>EssentialOCL</tt> is <tt>http://schema.omg.org/spec/QVT/1.0/essentialocl.xml</tt> rather than <tt>http://www.schema.omg.org/spec/OCL/2.0/essentialocl</tt>
 <br><tt>name</tt> for <tt>EssentialOCL</tt> is <tt>EssentialOCL</tt> rather than <tt>essentialocl</tt>
 <br><tt>name</tt> for <tt>ExpressionInOcl.contextVariable</tt> is <tt>contextVariable</tt> rather than <tt>context</tt>
 <br><tt>name</tt> for <tt>Variable.representedParameter</tt> is <tt>representedParameter</tt> rather than <tt>bindParameter</tt>
 <br><tt>NavigationCallExp</tt> is defined
 <br><tt>OpaqueExpression</tt> is undefined
 <br><tt>TypeType</tt> is defined
 <br><tt>CollectionKind::Collection</tt> is defined
 <br><tt>eSuperTypes</tt> for <tt>ExpressionInOcl</tt> is <tt>TypedElement</tt> rather than <tt>OpaqueExpression</tt>
 <br><tt>eSuperTypes</tt> for <tt>PropertyCallExp</tt> is <tt>NavigationCallExp</tt>
 <br><tt>eSuperTypes</tt> for <tt>AnyType</tt> is <tt>Type</tt> rather than <tt>Class</tt>,<tt>Type</tt>
 <br><tt>lowerBound</tt> for <tt>CollectionType.elementType</tt> is <tt>1</tt> rather than <tt>0</tt>
 <br><tt>upperBound</tt> for <tt>ExpressionInOcl.parameterVariable</tt> is <tt>-1</tt> rather than <tt>1</tt>
 <br><tt>abstract</tt> for <tt>CollectionType</tt> is <tt>false</tt> rather than <tt>true</tt>
 <br><tt>containment</tt> for <tt>TupleLiteralPart.attribute</tt> is <tt>false</tt> rather than <tt>true</tt>
 <br><tt>ordered</tt> for <tt>CollectionLiteralExp.part</tt> is <tt>false</tt> rather than <tt>true</tt>
 <br><tt>ordered</tt> for <tt>ExpressionInOcl.parameterVariable</tt> is <tt>false</tt> rather than <tt>true</tt>
 <br><tt>ordered</tt> for <tt>LoopExp.iterator</tt> is <tt>false</tt> rather than <tt>true</tt>
 <br><tt>ordered</tt> for <tt>TupleLiteralExp.part</tt> is <tt>false</tt> rather than <tt>true</tt>
 <br>Unnavigable <tt>opposite</tt> of <tt>CallExp.source</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>CollectionRange.first</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>CollectionRange.last</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>EnumLiteralExp.referredEnumLiteral</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>ExpressionInOcl.bodyExpression</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>ExpressionInOcl.contextVariable</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>ExpressionInOcl.parameterVariable</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>ExpressionInOcl.resultVariable</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>IfExp.condition</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>IfExp.elseExpression</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>IfExp.thenExpression</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>IterateExp.result</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>LoopExp.body</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>OperationCallExp.argument</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>OperationCallExp.referredOperation</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>PropertyCallExp.referredProperty</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>Variable.initExpression</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>VariableExp.referredVariable</tt> is modelled
 <h2>EMOF-based Model Compliance with respect to the OMG EMOF Model</h2>
 The OMG EMOF Model is notionally generated from the OMG QVT Rose Model.
 <p>
 The Eclipse <tt>EssentialOCL</tt> Model resolves the following errors and anomalies in the corresponding OMG EMOF Model.
 <p>
 <br>The model namespace is <tt>http://schema.omg.org/spec/MOF/2.0/emof.xml</tt> rather than <tt>http://www.schema.omg.org/spec/MOF/2.0/emof.xml</tt>
 <br><tt>xmi:type</tt> of <tt>Boolean</tt> is <tt>emof:PrimitiveType</tt> rather than <tt>emof:Class</tt>
 <br><tt>xmi:type</tt> of <tt>Integer</tt> is <tt>emof:PrimitiveType</tt> rather than <tt>emof:Class</tt>
 <br><tt>xmi:type</tt> of <tt>String</tt> is <tt>emof:PrimitiveType</tt> rather than <tt>emof:Class</tt>
 <br><tt>xmi:type</tt> of <tt>UnlimitedNatural</tt> is <tt>emof:PrimitiveType</tt> rather than <tt>emof:Class</tt>
 <br><tt>package</tt> of <tt>Boolean</tt> is <tt>emof</tt> rather than <tt>primitivetypes</tt>
 <br><tt>package</tt> of <tt>Integer</tt> is <tt>emof</tt> rather than <tt>primitivetypes</tt>
 <br><tt>package</tt> of <tt>String</tt> is <tt>emof</tt> rather than <tt>primitivetypes</tt>
 <br><tt>package</tt> of <tt>UnlimitedNatural</tt> is <tt>emof</tt> rather than <tt>primitivetypes</tt>
 <p>
 <br><tt>uri</tt> for <tt>EssentialOCL</tt> is defined
 <br><tt>name</tt> for <tt>EssentialOCL</tt> is <tt>EssentialOCL</tt> rather than <tt>essentialocl</tt>
 <br><tt>name</tt> for <tt>ExpressionInOcl.contextVariable</tt> is <tt>contextVariable</tt> rather than <tt>context</tt>
 <br><tt>name</tt> for <tt>Variable.representedParameter</tt> is <tt>representedParameter</tt> rather than <tt>bindParameter</tt>
 <br><tt>NavigationCallExp</tt> is defined
 <br><tt>OpaqueExpression</tt> is undefined
 <br><tt>TypeType</tt> is defined
 <br><tt>CollectionKind::Bag</tt> is defined
 <br><tt>CollectionKind::Collection</tt> is defined
 <br><tt>CollectionKind::OrderedSet</tt> is defined
 <br><tt>CollectionKind::Sequence</tt> is defined
 <br><tt>CollectionKind::Set</tt> is defined
 <br><tt>eType</tt> for <tt>IntegerLiteralExp.integerSymbol</tt> is <tt>Integer</tt> rather than <tt>pathmap://models/emof/primitivetypes.emof#o2</tt>
 <br><tt>eType</tt> for <tt>RealLiteralExp.realSymbol</tt> is <tt>Real</tt> rather than <tt>String</tt>
 <br><tt>eType</tt> for <tt>UnlimitedNaturalExp.symbol</tt> is <tt>UnlimitedNatural</tt> rather than <tt>pathmap://models/emof/primitivetypes.emof#o4</tt>
 <br><tt>eSuperTypes</tt> for <tt>ExpressionInOcl</tt> is <tt>TypedElement</tt> rather than <tt>OpaqueExpression</tt>
 <br><tt>eSuperTypes</tt> for <tt>PropertyCallExp</tt> is <tt>NavigationCallExp</tt>
 <br><tt>eSuperTypes</tt> for <tt>AnyType</tt> is <tt>Type</tt> rather than <tt>Class</tt>,<tt>Type</tt>
 <br><tt>upperBound</tt> for <tt>ExpressionInOcl.parameterVariable</tt> is <tt>-1</tt> rather than <tt>1</tt>
 <br><tt>abstract</tt> for <tt>CollectionType</tt> is <tt>false</tt> rather than <tt>true</tt>
 <br><tt>containment</tt> for <tt>TupleLiteralPart.attribute</tt> is <tt>false</tt> rather than <tt>true</tt>
 <br><tt>transient</tt> for <tt>CollectionLiteralPart.collectionLiteralExp</tt> is <tt>true</tt> rather than <tt>false</tt>
 <br><tt>transient</tt> for <tt>TupleLiteralPart.tupleLiteralExp</tt> is <tt>true</tt> rather than <tt>false</tt>
 <br><tt>transient</tt> for <tt>Variable.letExp</tt> is <tt>true</tt> rather than <tt>false</tt>
 <br><tt>lowerBound</tt> for <tt>BooleanLiteralExp.booleanSymbol</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>CallExp.source</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>CollectionLiteralExp.kind</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>CollectionLiteralExp.part</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>EnumLiteralExp.referredEnumLiteral</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>ExpressionInOcl.contextVariable</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>ExpressionInOcl.parameterVariable</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>ExpressionInOcl.resultVariable</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>IntegerLiteralExp.integerSymbol</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>IterateExp.result</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>LoopExp.iterator</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>OperationCallExp.argument</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>OperationCallExp.referredOperation</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>PropertyCallExp.referredProperty</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>RealLiteralExp.realSymbol</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>StringLiteralExp.stringSymbol</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>TupleLiteralExp.part</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>TupleLiteralPart.attribute</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>TupleLiteralPart.tupleLiteralExp</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>TypeExp.referredType</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>UnlimitedNaturalExp.symbol</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>Variable.initExpression</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>Variable.letExp</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>VariableExp.referredVariable</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br><tt>lowerBound</tt> for <tt>Variable.representedParameter</tt> is <tt>0</tt> rather than <tt>1</tt>
 <br>Unnavigable <tt>opposite</tt> of <tt>CallExp.source</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>CollectionRange.first</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>CollectionRange.last</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>EnumLiteralExp.referredEnumLiteral</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>ExpressionInOcl.bodyExpression</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>ExpressionInOcl.contextVariable</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>ExpressionInOcl.parameterVariable</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>ExpressionInOcl.resultVariable</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>IfExp.condition</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>IfExp.elseExpression</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>IfExp.thenExpression</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>IterateExp.result</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>LoopExp.body</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>OperationCallExp.argument</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>OperationCallExp.referredOperation</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>PropertyCallExp.referredProperty</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>Variable.initExpression</tt> is modelled
 <br>Unnavigable <tt>opposite</tt> of <tt>VariableExp.referredVariable</tt> is modelled
 <h2>EMOF-based Model Compliance with respect to the Eclipse QVT Rose Model</h2>
 The Eclipse QVT Rose Model provides the definition for all models; it resolves numerous errors in the OMG QVT Rose Model.
 <p>
 The EMOF-based <tt>EssentialOCL</tt> Model exhibits the following differences with respect to the Eclipse QVT Rose Model.
 <p>
 No differences
 </body>
 </html>
	<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN">
	<!-- This file was autogenerated on Fri Jun 06 18:23:13 BST 2008 by the org.eclipse.gmt.umlx.eqvt.tests.EssentialOCLConsistencyTest.testEssentialOCLConsistency() JUnit test -->
	<html>
	<head>
	<title>EssentialOCL Model Compliance</title>
	<meta http-equiv=Content-Type content="text/html; charset=ISO-8859-1">
	</head>
	<body lang="EN-US">
	<h1>EssentialOCL Model Compliance</h1>
	<p>
	This document describes clarifications and fixes to
	<ul>
	<li><a href="http://www.omg.org/docs/formal/06-01-01.pdf">OMG MOF 2.0 specification (06-01-01)</a></li>
	<li><a href="http://www.omg.org/docs/formal/06-05-01.pdf">OMG OCL 2.0 specification (06-05-01)</a></li>
	<li><a href="http://www.omg.org/docs/formal/08-04-03.pdf">OMG QVT 1.0 specification (08-04-03)</a></li>
	</ul>
	realised by the Ecore-based and EMOF-based EssentialOCL models.
	<p>
	The EMOF-based <tt>EssentialOCL</tt> model is intended to exactly comply with the spirit of the latest QVT specification;
	the model therefore corrects numerous problems in the official QVT 1.0 models.
	The EMOF-based model should be used for modelling, where accuracy is important.
	<p>
	The Ecore-based <tt>EssentialOCL</tt> model is intended to provide identical behaviour subject to the replacement of
	<ul>
	<li>the <tt>EMOF</tt> package by Ecore (from Eclipse EMF)</li>
	<li>the <tt>EssentialOCL</tt> package by the Ecore OCL package (from Eclipse MDT).</li>
	</ul>
	The Ecore-based model should be used within tools, where the power of Ecore and its associated tooling is important.
	<h2>EMOF-based Model Compliance with respect to the OMG QVT Rose Model</h2>
	The OMG QVT Rose Model is the source of all diagrams in the QVT specification
	and the notional source of all other generated models.
	<p>
	The Eclipse <tt>EssentialOCL</tt> Model resolves the following errors
	and anomalies in the OMG QVT Rose Model.
	<p>
	<br><tt>nsURI</tt> for <tt>EssentialOCL</tt> is <tt>http://schema.omg.org/spec/QVT/1.0/essentialocl.xml</tt> rather than <tt>http:///essentialocl.ecore</tt>
	<br><tt>name</tt> for <tt>EssentialOCL</tt> is <tt>EssentialOCL</tt> rather than <tt>essentialocl</tt>
	<br><tt>name</tt> for <tt>FeatureCallExp</tt> is <tt>FeatureCallExp</tt> rather than <tt>FeaturePropertyCall</tt>
	<br><tt>name</tt> for <tt>ExpressionInOcl.contextVariable</tt> is <tt>contextVariable</tt> rather than <tt>context</tt>
	<br><tt>name</tt> for <tt>Variable.representedParameter</tt> is <tt>representedParameter</tt> rather than <tt>bindParameter</tt>
	<br><tt>NavigationCallExp</tt> is defined
	<br><tt>OpaqueExpression</tt> is undefined
	<br><tt>TypeType</tt> is defined
	<br><tt>CollectionKind::Collection</tt> is defined
	<br><tt>eSuperTypes</tt> for <tt>ExpressionInOcl</tt> is <tt>TypedElement</tt> rather than <tt>OpaqueExpression</tt>
	<br><tt>eSuperTypes</tt> for <tt>PropertyCallExp</tt> is <tt>NavigationCallExp</tt> rather than <tt>FeaturePropertyCall</tt>
	<br><tt>eSuperTypes</tt> for <tt>AnyType</tt> is <tt>Type</tt> rather than <tt>Class</tt>,<tt>Type</tt>
	<br><tt>abstract</tt> for <tt>CollectionType</tt> is <tt>false</tt> rather than <tt>true</tt>
	<br><tt>containment</tt> for <tt>TupleLiteralPart.attribute</tt> is <tt>false</tt> rather than <tt>true</tt>
	<br><tt>lowerBound</tt> for <tt>CollectionType.elementType</tt> is <tt>1</tt> rather than <tt>0</tt>
	<br><tt>upperBound</tt> for <tt>ExpressionInOcl.parameterVariable</tt> is <tt>-1</tt> rather than <tt>1</tt>
	<br><tt>ordered</tt> for <tt>ExpressionInOcl.parameterVariable</tt> is <tt>false</tt> rather than <tt>true</tt>
	<br><tt>ordered</tt> for <tt>OperationCallExp.argument</tt> is <tt>true</tt> rather than <tt>false</tt>
	<h2>EMOF-based Model Compliance with respect to the OMG Ecore Model</h2>
	The OMG Ecore Models are notionally generated from the OMG QVT Rose Model.
	<p>
	The Eclipse <tt>EssentialOCL</tt> Model resolves the following errors and anomalies in the corresponding OMG Ecore Model.
	<p>
	<br><tt>nsURI</tt> for <tt>EssentialOCL</tt> is <tt>http://schema.omg.org/spec/QVT/1.0/essentialocl.xml</tt> rather than <tt>http://www.schema.omg.org/spec/OCL/2.0/essentialocl</tt>
	<br><tt>name</tt> for <tt>EssentialOCL</tt> is <tt>EssentialOCL</tt> rather than <tt>essentialocl</tt>
	<br><tt>name</tt> for <tt>ExpressionInOcl.contextVariable</tt> is <tt>contextVariable</tt> rather than <tt>context</tt>
	<br><tt>name</tt> for <tt>Variable.representedParameter</tt> is <tt>representedParameter</tt> rather than <tt>bindParameter</tt>
	<br><tt>NavigationCallExp</tt> is defined
	<br><tt>OpaqueExpression</tt> is undefined
	<br><tt>TypeType</tt> is defined
	<br><tt>CollectionKind::Collection</tt> is defined
	<br><tt>eSuperTypes</tt> for <tt>ExpressionInOcl</tt> is <tt>TypedElement</tt> rather than <tt>OpaqueExpression</tt>
	<br><tt>eSuperTypes</tt> for <tt>PropertyCallExp</tt> is <tt>NavigationCallExp</tt>
	<br><tt>eSuperTypes</tt> for <tt>AnyType</tt> is <tt>Type</tt> rather than <tt>Class</tt>,<tt>Type</tt>
	<br><tt>lowerBound</tt> for <tt>CollectionType.elementType</tt> is <tt>1</tt> rather than <tt>0</tt>
	<br><tt>upperBound</tt> for <tt>ExpressionInOcl.parameterVariable</tt> is <tt>-1</tt> rather than <tt>1</tt>
	<br><tt>abstract</tt> for <tt>CollectionType</tt> is <tt>false</tt> rather than <tt>true</tt>
	<br><tt>containment</tt> for <tt>TupleLiteralPart.attribute</tt> is <tt>false</tt> rather than <tt>true</tt>
	<br><tt>ordered</tt> for <tt>CollectionLiteralExp.part</tt> is <tt>false</tt> rather than <tt>true</tt>
	<br><tt>ordered</tt> for <tt>ExpressionInOcl.parameterVariable</tt> is <tt>false</tt> rather than <tt>true</tt>
	<br><tt>ordered</tt> for <tt>LoopExp.iterator</tt> is <tt>false</tt> rather than <tt>true</tt>
	<br><tt>ordered</tt> for <tt>TupleLiteralExp.part</tt> is <tt>false</tt> rather than <tt>true</tt>
	<br>Unnavigable <tt>opposite</tt> of <tt>CallExp.source</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>CollectionRange.first</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>CollectionRange.last</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>EnumLiteralExp.referredEnumLiteral</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>ExpressionInOcl.bodyExpression</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>ExpressionInOcl.contextVariable</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>ExpressionInOcl.parameterVariable</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>ExpressionInOcl.resultVariable</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>IfExp.condition</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>IfExp.elseExpression</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>IfExp.thenExpression</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>IterateExp.result</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>LoopExp.body</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>OperationCallExp.argument</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>OperationCallExp.referredOperation</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>PropertyCallExp.referredProperty</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>Variable.initExpression</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>VariableExp.referredVariable</tt> is modelled
	<h2>EMOF-based Model Compliance with respect to the OMG EMOF Model</h2>
	The OMG EMOF Model is notionally generated from the OMG QVT Rose Model.
	<p>
	The Eclipse <tt>EssentialOCL</tt> Model resolves the following errors and anomalies in the corresponding OMG EMOF Model.
	<p>
	<br>The model namespace is <tt>http://schema.omg.org/spec/MOF/2.0/emof.xml</tt> rather than <tt>http://www.schema.omg.org/spec/MOF/2.0/emof.xml</tt>
	<br><tt>xmi:type</tt> of <tt>Boolean</tt> is <tt>emof:PrimitiveType</tt> rather than <tt>emof:Class</tt>
	<br><tt>xmi:type</tt> of <tt>Integer</tt> is <tt>emof:PrimitiveType</tt> rather than <tt>emof:Class</tt>
	<br><tt>xmi:type</tt> of <tt>String</tt> is <tt>emof:PrimitiveType</tt> rather than <tt>emof:Class</tt>
	<br><tt>xmi:type</tt> of <tt>UnlimitedNatural</tt> is <tt>emof:PrimitiveType</tt> rather than <tt>emof:Class</tt>
	<br><tt>package</tt> of <tt>Boolean</tt> is <tt>emof</tt> rather than <tt>primitivetypes</tt>
	<br><tt>package</tt> of <tt>Integer</tt> is <tt>emof</tt> rather than <tt>primitivetypes</tt>
	<br><tt>package</tt> of <tt>String</tt> is <tt>emof</tt> rather than <tt>primitivetypes</tt>
	<br><tt>package</tt> of <tt>UnlimitedNatural</tt> is <tt>emof</tt> rather than <tt>primitivetypes</tt>
	<p>
	<br><tt>uri</tt> for <tt>EssentialOCL</tt> is defined
	<br><tt>name</tt> for <tt>EssentialOCL</tt> is <tt>EssentialOCL</tt> rather than <tt>essentialocl</tt>
	<br><tt>name</tt> for <tt>ExpressionInOcl.contextVariable</tt> is <tt>contextVariable</tt> rather than <tt>context</tt>
	<br><tt>name</tt> for <tt>Variable.representedParameter</tt> is <tt>representedParameter</tt> rather than <tt>bindParameter</tt>
	<br><tt>NavigationCallExp</tt> is defined
	<br><tt>OpaqueExpression</tt> is undefined
	<br><tt>TypeType</tt> is defined
	<br><tt>CollectionKind::Bag</tt> is defined
	<br><tt>CollectionKind::Collection</tt> is defined
	<br><tt>CollectionKind::OrderedSet</tt> is defined
	<br><tt>CollectionKind::Sequence</tt> is defined
	<br><tt>CollectionKind::Set</tt> is defined
	<br><tt>eType</tt> for <tt>IntegerLiteralExp.integerSymbol</tt> is <tt>Integer</tt> rather than <tt>pathmap://models/emof/primitivetypes.emof#o2</tt>
	<br><tt>eType</tt> for <tt>RealLiteralExp.realSymbol</tt> is <tt>Real</tt> rather than <tt>String</tt>
	<br><tt>eType</tt> for <tt>UnlimitedNaturalExp.symbol</tt> is <tt>UnlimitedNatural</tt> rather than <tt>pathmap://models/emof/primitivetypes.emof#o4</tt>
	<br><tt>eSuperTypes</tt> for <tt>ExpressionInOcl</tt> is <tt>TypedElement</tt> rather than <tt>OpaqueExpression</tt>
	<br><tt>eSuperTypes</tt> for <tt>PropertyCallExp</tt> is <tt>NavigationCallExp</tt>
	<br><tt>eSuperTypes</tt> for <tt>AnyType</tt> is <tt>Type</tt> rather than <tt>Class</tt>,<tt>Type</tt>
	<br><tt>upperBound</tt> for <tt>ExpressionInOcl.parameterVariable</tt> is <tt>-1</tt> rather than <tt>1</tt>
	<br><tt>abstract</tt> for <tt>CollectionType</tt> is <tt>false</tt> rather than <tt>true</tt>
	<br><tt>containment</tt> for <tt>TupleLiteralPart.attribute</tt> is <tt>false</tt> rather than <tt>true</tt>
	<br><tt>transient</tt> for <tt>CollectionLiteralPart.collectionLiteralExp</tt> is <tt>true</tt> rather than <tt>false</tt>
	<br><tt>transient</tt> for <tt>TupleLiteralPart.tupleLiteralExp</tt> is <tt>true</tt> rather than <tt>false</tt>
	<br><tt>transient</tt> for <tt>Variable.letExp</tt> is <tt>true</tt> rather than <tt>false</tt>
	<br><tt>lowerBound</tt> for <tt>BooleanLiteralExp.booleanSymbol</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>CallExp.source</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>CollectionLiteralExp.kind</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>CollectionLiteralExp.part</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>EnumLiteralExp.referredEnumLiteral</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>ExpressionInOcl.contextVariable</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>ExpressionInOcl.parameterVariable</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>ExpressionInOcl.resultVariable</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>IntegerLiteralExp.integerSymbol</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>IterateExp.result</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>LoopExp.iterator</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>OperationCallExp.argument</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>OperationCallExp.referredOperation</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>PropertyCallExp.referredProperty</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>RealLiteralExp.realSymbol</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>StringLiteralExp.stringSymbol</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>TupleLiteralExp.part</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>TupleLiteralPart.attribute</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>TupleLiteralPart.tupleLiteralExp</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>TypeExp.referredType</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>UnlimitedNaturalExp.symbol</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>Variable.initExpression</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>Variable.letExp</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>VariableExp.referredVariable</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br><tt>lowerBound</tt> for <tt>Variable.representedParameter</tt> is <tt>0</tt> rather than <tt>1</tt>
	<br>Unnavigable <tt>opposite</tt> of <tt>CallExp.source</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>CollectionRange.first</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>CollectionRange.last</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>EnumLiteralExp.referredEnumLiteral</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>ExpressionInOcl.bodyExpression</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>ExpressionInOcl.contextVariable</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>ExpressionInOcl.parameterVariable</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>ExpressionInOcl.resultVariable</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>IfExp.condition</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>IfExp.elseExpression</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>IfExp.thenExpression</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>IterateExp.result</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>LoopExp.body</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>OperationCallExp.argument</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>OperationCallExp.referredOperation</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>PropertyCallExp.referredProperty</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>Variable.initExpression</tt> is modelled
	<br>Unnavigable <tt>opposite</tt> of <tt>VariableExp.referredVariable</tt> is modelled
	<h2>EMOF-based Model Compliance with respect to the Eclipse QVT Rose Model</h2>
	The Eclipse QVT Rose Model provides the definition for all models; it resolves numerous errors in the OMG QVT Rose Model.
	<p>
	The EMOF-based <tt>EssentialOCL</tt> Model exhibits the following differences with respect to the Eclipse QVT Rose Model.
	<p>
	No differences
	</body>
	</html>