[80315] Restoring 'spec' names for body constraints.

author: khussey 2006-05-13 03:10:58 +0000
committer: khussey 2006-05-13 03:10:58 +0000
commit: b9dfc3493e4d67a23813b7a449fd988662d0b26f (patch)
tree: e2e304cb9a4f4464e78e1a845c631ea58ed62ef7 /plugins
parent: 74d693a22406c2dc84277aed3021b76ce5562cd3 (diff)
download: org.eclipse.uml2.test-b9dfc3493e4d67a23813b7a449fd988662d0b26f.tar.gz
org.eclipse.uml2.test-b9dfc3493e4d67a23813b7a449fd988662d0b26f.tar.xz
org.eclipse.uml2.test-b9dfc3493e4d67a23813b7a449fd988662d0b26f.zip
2 files changed, 224 insertions, 224 deletions
diff --git a/plugins/org.eclipse.uml2.uml/model/Infrastructure.emx b/plugins/org.eclipse.uml2.uml/model/Infrastructure.emx
index 3478367e..ae600d71 100644
--- a/plugins/org.eclipse.uml2.uml/model/Infrastructure.emx
+++ b/plugins/org.eclipse.uml2.uml/model/Infrastructure.emx
@@ -911,7 +911,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rMu7uhTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rMu7vBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E106A8400E6">
+            <ownedRule xmi:id="_rMu7vBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E106A8400E6">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rM4ssBTaEdqZu-3Jy1-uYg" body="result = ownedElement->union(ownedElement->collect(e | e.allOwnedElements()))" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rMu7uxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CADCAEE0250" direction="return">
@@ -925,7 +925,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rNLnoRTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rNLnoxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E106AD00153">
+            <ownedRule xmi:id="_rNLnoxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E106AD00153">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rNLnpBTaEdqZu-3Jy1-uYg" body="result = true" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rNLnohTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -1201,7 +1201,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rRp38RTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rRp38xTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E10644F034E">
+            <ownedRule xmi:id="_rRp38xTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E10644F034E">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rRp39BTaEdqZu-3Jy1-uYg" body="result = if self.namespace->isEmpty()&#xA;then Sequence{}&#xA;else self.namespace.allNamespaces()->prepend(self.namespace)&#xA;endif" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rRp38hTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA0072700FA" isOrdered="true" direction="return">
@@ -1215,7 +1215,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rRp3-hTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rRp3_hTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1064C70329">
+            <ownedRule xmi:id="_rRp3_hTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E1064C70329">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rRp3_xTaEdqZu-3Jy1-uYg" body="result = if self.oclIsKindOf(n.oclType) or n.oclIsKindOf(self.oclType)&#xA;then ns.getNamesOfMember(self)->intersection(ns.getNamesOfMember(n))->isEmpty()&#xA;else true&#xA;endif" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rRp3-xTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -1228,7 +1228,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rRzB4RTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rRzB4xTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E10653C0010">
+            <ownedRule xmi:id="_rRzB4xTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E10653C0010">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rRzB5BTaEdqZu-3Jy1-uYg" body="result = '::'" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rRzB4hTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010B103C3" direction="return"/>
@@ -1242,7 +1242,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rRzB6hTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rRzB7BTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1065EF023E _3ADC7B74022D3CA008400375">
+            <ownedRule xmi:id="_rRzB7BTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E1065EF023E _3ADC7B74022D3CA008400375">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rR8y4BTaEdqZu-3Jy1-uYg" body="result = if self.name->notEmpty() and self.allNamespaces()->select(ns | ns.name->isEmpty())->isEmpty()&#xA;then &#xA;    self.allNamespaces()->iterate( ns : Namespace; result: String = self.name | ns.name->union(self.separator())->union(result))&#xA;else&#xA;    Set{}&#xA;endif" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rRzB6xTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010B103C3" direction="return"/>
@@ -1293,7 +1293,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rSZe3xTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rSZe4hTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1068D4021B">
+            <ownedRule xmi:id="_rSZe4hTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E1068D4021B">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rSZe4xTaEdqZu-3Jy1-uYg" body="result = if member->includes(element) then Set{}->including(element.name) else Set{} endif" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rSZe4BTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010B103C3" direction="return">
@@ -1308,7 +1308,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rSjP0hTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rSjP1BTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E106939005E">
+            <ownedRule xmi:id="_rSjP1BTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E106939005E">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rSjP1RTaEdqZu-3Jy1-uYg" body="result = self.member->forAll( memb |&#xA;self.member->excluding(memb)->forAll(other |&#xA;memb.isDistinguishableFrom(other, self)))" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rSjP0xTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -1510,7 +1510,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rTJFthTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rTJFuBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E118E370051">
+            <ownedRule xmi:id="_rTJFuBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E118E370051">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rTJFuRTaEdqZu-3Jy1-uYg" body="result = member->select(oclIsKindOf(Feature))" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rTJFtxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA00A3900A0" direction="return">
@@ -1761,7 +1761,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rT4skRTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rT4skxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1402B00031">
+            <ownedRule xmi:id="_rT4skxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E1402B00031">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rT4slBTaEdqZu-3Jy1-uYg" body="result = false" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rT4skhTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -1772,7 +1772,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rT4smhTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rT4snBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1402DE0204">
+            <ownedRule xmi:id="_rT4snBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E1402DE0204">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rT4snRTaEdqZu-3Jy1-uYg" body="result = Set{}" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rT4smxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010A4007B" direction="return"/>
@@ -1783,7 +1783,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rT4soxTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rUCdkRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E14030E0325">
+            <ownedRule xmi:id="_rUCdkRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E14030E0325">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rUCdkhTaEdqZu-3Jy1-uYg" body="result = Set{}" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rUCdkBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -1794,7 +1794,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rUCdmBTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rUCdmhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1403380299">
+            <ownedRule xmi:id="_rUCdmhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E1403380299">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rUCdmxTaEdqZu-3Jy1-uYg" body="result = Set{}" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rUCdmRTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010B103C3" direction="return"/>
@@ -1805,7 +1805,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rUCdoRTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rUCdoxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E140370027C">
+            <ownedRule xmi:id="_rUCdoxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E140370027C">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rUCdpBTaEdqZu-3Jy1-uYg" body="result = Set{}" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rUCdohTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6A93C0003" direction="return"/>
@@ -1816,7 +1816,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rUCdqhTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rUCdrBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1403A502BE">
+            <ownedRule xmi:id="_rUCdrBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E1403A502BE">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rUCdrRTaEdqZu-3Jy1-uYg" body="result = false" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rUCdqxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -2111,7 +2111,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rUyEdhTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rUyEehTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E140A3102FA _3ADC7B74022D3DF78F1C034C">
+            <ownedRule xmi:id="_rUyEehTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E140A3102FA _3ADC7B74022D3DF78F1C034C">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rUyEexTaEdqZu-3Jy1-uYg" body="result = lowerBound()" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rUyEdxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010A4007B" direction="return"/>
@@ -2125,7 +2125,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rUyEgRTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rUyEhRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E140A6C013C _3ADC7B74022D3DF78F2B0290">
+            <ownedRule xmi:id="_rUyEhRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E140A6C013C _3ADC7B74022D3DF78F2B0290">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rUyEhhTaEdqZu-3Jy1-uYg" body="result = upperBound()" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rUyEghTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6A93C0003" direction="return"/>
@@ -2136,7 +2136,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rU71cRTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rU71cxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E140B0801A5">
+            <ownedRule xmi:id="_rU71cxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E140B0801A5">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rU71dBTaEdqZu-3Jy1-uYg" body="result = if lowerValue->isEmpty() then 1 else lowerValue.integerValue() endif" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rU71chTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010A4007B" direction="return"/>
@@ -2147,7 +2147,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rU71ehTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rU71fBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E140B58039F">
+            <ownedRule xmi:id="_rU71fBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E140B58039F">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rU71fRTaEdqZu-3Jy1-uYg" body="result = if upperValue->isEmpty() then 1 else upperValue.unlimitedValue() endif" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rU71exTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6A93C0003" direction="return"/>
@@ -2415,7 +2415,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rVhrURTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rVhrVRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E105A8A018F">
+            <ownedRule xmi:id="_rVhrVRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E105A8A018F">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rVhrVhTaEdqZu-3Jy1-uYg" body="result = if n.oclIsKindOf(BehavioralFeature)&#xA;then&#xA;  if ns.getNamesOfMember(self)->intersection(ns.getNamesOfMember(n))->notEmpty()&#xA;  then Set{}->including(self)->including(n)->isUnique( bf | bf.parameter->collect(type))&#xA;  else true&#xA;  endif&#xA;else true&#xA;endif" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rVhrUhTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -3302,7 +3302,7 @@
             <ownedRule xmi:id="_rWkNJxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E106C2C03A3">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rWkNKBTaEdqZu-3Jy1-uYg" body="redefinee.isRedefinitionContextValid(self)" language="OCL"/>
             </ownedRule>
-            <ownedRule xmi:id="_rWkNKRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E106C2C03A3">
+            <ownedRule xmi:id="_rWkNKRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E106C2C03A3">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rWkNKhTaEdqZu-3Jy1-uYg" body="result = false" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rWkNJRTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -3314,7 +3314,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rWkNMBTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rWkNMxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E106C8A007D">
+            <ownedRule xmi:id="_rWkNMxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E106C8A007D">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rWkNNBTaEdqZu-3Jy1-uYg" body="result = redefinitionContext->exists(c | c.allParents()->includes (redefined.redefinitionContext)))" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rWkNMRTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -3635,7 +3635,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rXA5FBTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rXKqExTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E105DC8003E _3ADC7B74022D3DF65B8D0134">
+            <ownedRule xmi:id="_rXKqExTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E105DC8003E _3ADC7B74022D3DF65B8D0134">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rXKqFBTaEdqZu-3Jy1-uYg" body="result = self.parents()" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rXKqEBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA011BE01AD" direction="return">
@@ -3649,7 +3649,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rXKqGhTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rXKqHBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E105E6D030C">
+            <ownedRule xmi:id="_rXKqHBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E105E6D030C">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rXKqHRTaEdqZu-3Jy1-uYg" body="result = generalization.general" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rXKqGxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA011BE01AD" direction="return">
@@ -3663,7 +3663,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rXUbERTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rXUbFBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E10747B0198">
+            <ownedRule xmi:id="_rXUbFBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E10747B0198">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rXUbFRTaEdqZu-3Jy1-uYg" body="result = (self=other) or (self.allParents()->includes(other))" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rXUbEhTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -4940,7 +4940,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_raJspxTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_raJsqhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E107BB80139">
+            <ownedRule xmi:id="_raJsqhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E107BB80139">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_raJsqxTaEdqZu-3Jy1-uYg" body="result = if vis->includes(#public) then #public else #private endif" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_raJsqBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CAD9E0F01D0" direction="return"/>
@@ -5202,7 +5202,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_ravihRTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_raviiRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E10722C00E4 _3ADC7B74022D3DF65A9D02E0">
+            <ownedRule xmi:id="_raviiRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E10722C00E4 _3ADC7B74022D3DF65A9D02E0">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_raviihTaEdqZu-3Jy1-uYg" body="result = self.inherit(self.parents()->collect(p | p.inheritableMembers(self))" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_ravihhTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA0071C02FD" direction="return">
@@ -5216,7 +5216,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_ravikBTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_ravikhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1072FF02E6">
+            <ownedRule xmi:id="_ravikhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E1072FF02E6">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_ravikxTaEdqZu-3Jy1-uYg" body="result = general" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_ravikRTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DF659AC02FF" direction="return">
@@ -5230,7 +5230,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_ravimRTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_ravimxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E10734200DA">
+            <ownedRule xmi:id="_ravimxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E10734200DA">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_ravinBTaEdqZu-3Jy1-uYg" body="result = self.parents()->union(self.parents()->collect(p | p.allParents())" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_ravimhTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DF659AC02FF" direction="return">
@@ -5247,7 +5247,7 @@
             <ownedRule xmi:id="_ra5ThBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E10738400DF">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_ra5ThRTaEdqZu-3Jy1-uYg" body="c.allParents()->includes(self)" language="OCL"/>
             </ownedRule>
-            <ownedRule xmi:id="_ra5ThhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E10738400DF">
+            <ownedRule xmi:id="_ra5ThhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E10738400DF">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_ra5ThxTaEdqZu-3Jy1-uYg" body="result = member->select(m | c.hasVisibilityOf(m))" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_ra5TghTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA0071C02FD" direction="return">
@@ -5265,7 +5265,7 @@
             <ownedRule xmi:id="_ra5TkBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E10740603B7">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_ra5TkRTaEdqZu-3Jy1-uYg" body="self.allParents()->collect(c | c.member)->includes(n)" language="OCL"/>
             </ownedRule>
-            <ownedRule xmi:id="_ra5TkhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E10740603B7">
+            <ownedRule xmi:id="_ra5TkhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E10740603B7">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_ra5TkxTaEdqZu-3Jy1-uYg" body="result = if (self.inheritedMember->includes (n)) then (n.visibility &lt;> #private) else true" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_ra5TjhTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -5277,7 +5277,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_ra5TmRTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_ra5TnBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1074EF0344">
+            <ownedRule xmi:id="_ra5TnBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E1074EF0344">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_ra5TnRTaEdqZu-3Jy1-uYg" body="result = inhs" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_ra5TmhTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA0071C02FD" direction="return">
@@ -5295,7 +5295,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_ra5ToxTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_ra5TphTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E10770902B1">
+            <ownedRule xmi:id="_ra5TphTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E10770902B1">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_ra5TpxTaEdqZu-3Jy1-uYg" body="result = self.oclIsKindOf(c.oclType)" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_ra5TpBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -5551,7 +5551,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rbo6YhTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rbo6ZBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1406E501AC">
+            <ownedRule xmi:id="_rbo6ZBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E1406E501AC">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rbo6ZRTaEdqZu-3Jy1-uYg" body="result = true" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rbo6YxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -5562,7 +5562,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rbo6axTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rbo6bRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1407110029">
+            <ownedRule xmi:id="_rbo6bRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E1407110029">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rbo6bhTaEdqZu-3Jy1-uYg" body="result = value" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rbo6bBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -5593,7 +5593,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rbo6fRTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rbo6fxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1407FF0374">
+            <ownedRule xmi:id="_rbo6fxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E1407FF0374">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rbo6gBTaEdqZu-3Jy1-uYg" body="result = true" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rbo6fhTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -5604,7 +5604,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rbyEUxTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rbyEVRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E140821003E">
+            <ownedRule xmi:id="_rbyEVRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E140821003E">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rbyEVhTaEdqZu-3Jy1-uYg" body="result = value" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rbyEVBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010B103C3" direction="return"/>
@@ -5631,7 +5631,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rb71URTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rb71UxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1407B4000F">
+            <ownedRule xmi:id="_rb71UxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E1407B4000F">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rb71VBTaEdqZu-3Jy1-uYg" body="result = true" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rb71UhTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -5642,7 +5642,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rb71WhTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rb71XBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1407D8029C">
+            <ownedRule xmi:id="_rb71XBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E1407D8029C">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rb71XRTaEdqZu-3Jy1-uYg" body="result = true" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rb71WxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -5669,7 +5669,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rb71aBTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rb71ahTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E14074A00F3">
+            <ownedRule xmi:id="_rb71ahTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E14074A00F3">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rb71axTaEdqZu-3Jy1-uYg" body="result = true" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rb71aRTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -5680,7 +5680,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rb71cRTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rb71cxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E14077700E4">
+            <ownedRule xmi:id="_rb71cxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E14077700E4">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rb71dBTaEdqZu-3Jy1-uYg" body="result = value" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rb71chTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010A4007B" direction="return"/>
@@ -5707,7 +5707,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rcFmWhTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rcFmXBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E140869018C">
+            <ownedRule xmi:id="_rcFmXBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E140869018C">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rcFmXRTaEdqZu-3Jy1-uYg" body="result = true" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rcFmWxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -5718,7 +5718,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rcFmYxTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rcFmZRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E14088F01CD">
+            <ownedRule xmi:id="_rcFmZRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E14088F01CD">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rcFmZhTaEdqZu-3Jy1-uYg" body="result = value" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rcFmZBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6A93C0003" direction="return"/>
@@ -5870,7 +5870,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rcYhQRTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rcYhQxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E105FFF0120">
+            <ownedRule xmi:id="_rcYhQxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E105FFF0120">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rcYhRBTaEdqZu-3Jy1-uYg" body="result = if lower->notEmpty() then lower else 1 endif" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rcYhQhTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010A4007B" direction="return"/>
@@ -5881,7 +5881,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rcYhShTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rcYhTBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E10604500E4">
+            <ownedRule xmi:id="_rcYhTBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E10604500E4">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rcYhTRTaEdqZu-3Jy1-uYg" body="result = if upper->notEmpty() then upper else 1 endif" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rcYhSxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6A93C0003" direction="return"/>
@@ -5895,7 +5895,7 @@
             <ownedRule xmi:id="_rcYhVRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1060A900DE">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rcYhVhTaEdqZu-3Jy1-uYg" body="upperBound()->notEmpty()" language="OCL"/>
             </ownedRule>
-            <ownedRule xmi:id="_rcYhVxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1060A900DE">
+            <ownedRule xmi:id="_rcYhVxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E1060A900DE">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rcYhWBTaEdqZu-3Jy1-uYg" body="result = upperBound() > 1" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rcYhVBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -5909,7 +5909,7 @@
             <ownedRule xmi:id="_rcYhYRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1060D80399">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rcYhYhTaEdqZu-3Jy1-uYg" body="upperBound()->notEmpty() and lowerBound()->notEmpty()&#xA;includesCardinality = (lowerBound() &lt;= C) and (upperBound() >= C)&#xA;" language="OCL"/>
             </ownedRule>
-            <ownedRule xmi:id="_rcYhYxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1060D80399">
+            <ownedRule xmi:id="_rcYhYxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E1060D80399">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rcYhZBTaEdqZu-3Jy1-uYg" body="result = (lowerBound() &lt;= C) and (upperBound() >= C)" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rcYhXxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -5924,7 +5924,7 @@
             <ownedRule xmi:id="_rcYhbRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E10616C00C0">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rcYhbhTaEdqZu-3Jy1-uYg" body="self.upperBound()->notEmpty() and self.lowerBound()->notEmpty() and M.upperBound()->notEmpty() and M.lowerBound()->notEmpty()" language="OCL"/>
             </ownedRule>
-            <ownedRule xmi:id="_rcYhbxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E10616C00C0">
+            <ownedRule xmi:id="_rcYhbxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E10616C00C0">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rciSQBTaEdqZu-3Jy1-uYg" body="result = (self.lowerBound() &lt;= M.lowerBound()) and (self.upperBound() >= M.upperBound())" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rcYhaxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -6109,7 +6109,7 @@
                 <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rdR5KxTaEdqZu-3Jy1-uYg"/>
               </eAnnotations>
             </ownedComment>
-            <ownedRule xmi:id="_rdR5LhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E554FFD0353">
+            <ownedRule xmi:id="_rdR5LhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E554FFD0353">
               <specification xmi:type="uml:OpaqueExpression" xmi:id="_rdR5LxTaEdqZu-3Jy1-uYg" body="result = false" language="OCL"/>
             </ownedRule>
             <returnResult xmi:id="_rdR5LBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -7930,7 +7930,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rfEB1hTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rfEB2BTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D416D580600B0">
+          <ownedRule xmi:id="_rfEB2BTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D416D580600B0">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rfEB2RTaEdqZu-3Jy1-uYg" body="result = if lower->notEmpty() then lower else 1 endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rfEB1xTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010A4007B" direction="return"/>
@@ -7941,7 +7941,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rfEB3xTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rfEB4RTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D416D580600B1">
+          <ownedRule xmi:id="_rfEB4RTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D416D580600B1">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rfEB4hTaEdqZu-3Jy1-uYg" body="result = if upper->notEmpty() then upper else 1 endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rfEB4BTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6A93C0003" direction="return"/>
@@ -7955,7 +7955,7 @@
           <ownedRule xmi:id="_rfEB6hTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D416D580600B2">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rfEB6xTaEdqZu-3Jy1-uYg" body="upperBound()->notEmpty()" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_rfEB7BTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D416D580600B2">
+          <ownedRule xmi:id="_rfEB7BTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D416D580600B2">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rfEB7RTaEdqZu-3Jy1-uYg" body="result = upperBound() > 1" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rfEB6RTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -7969,7 +7969,7 @@
           <ownedRule xmi:id="_rfNy1BTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D416D580600B3">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rfNy1RTaEdqZu-3Jy1-uYg" body="upperBound()->notEmpty() and lowerBound()->notEmpty()" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_rfNy1hTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D416D580600B3">
+          <ownedRule xmi:id="_rfNy1hTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D416D580600B3">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rfNy1xTaEdqZu-3Jy1-uYg" body="result = (lowerBound() &lt;= C) and (upperBound() >= C)" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rfNy0hTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -7984,7 +7984,7 @@
           <ownedRule xmi:id="_rfNy4BTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D416D580600B5">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rfNy4RTaEdqZu-3Jy1-uYg" body="self.upperBound()->notEmpty() and self.lowerBound()->notEmpty() and M.upperBound()->notEmpty() and M.lowerBound()->notEmpty()" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_rfNy4hTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D416D580600B5">
+          <ownedRule xmi:id="_rfNy4hTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D416D580600B5">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rfNy4xTaEdqZu-3Jy1-uYg" body="result = (self.lowerBound() &lt;= M.lowerBound()) and (self.upperBound() >= M.upperBound())" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rfNy3hTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -12740,7 +12740,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rg2xmRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rg2xnBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E555A26019A">
+          <ownedRule xmi:id="_rg2xnBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E555A26019A">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rg2xnRTaEdqZu-3Jy1-uYg" body="result = (self=other) or (self.allParents()->includes(other))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rg2xmhTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -12752,7 +12752,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rg_7gRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rg_7gxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00B1">
+          <ownedRule xmi:id="_rg_7gxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C00B1">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rg_7hBTaEdqZu-3Jy1-uYg" body="result = member->select(oclIsKindOf(Feature))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rg_7ghTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6C7BD0034" direction="return">
@@ -12769,7 +12769,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rg_7ihTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rg_7jhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00D9 _3ADC7B74022D3E0270BE0395">
+          <ownedRule xmi:id="_rg_7jhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C00D9 _3ADC7B74022D3E0270BE0395">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rg_7jxTaEdqZu-3Jy1-uYg" body="result = self.parents()" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rg_7ixTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6C8630317" direction="return">
@@ -12783,7 +12783,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rg_7lRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rg_7lxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00DB">
+          <ownedRule xmi:id="_rg_7lxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C00DB">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rg_7mBTaEdqZu-3Jy1-uYg" body="result = generalization.general" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rg_7lhTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6C8630317" direction="return">
@@ -12800,7 +12800,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rhJsihTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rhJsjhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00F1 _3ADC7B74022D4304A13201D9">
+          <ownedRule xmi:id="_rhJsjhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C00F1 _3ADC7B74022D4304A13201D9">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rhJsjxTaEdqZu-3Jy1-uYg" body="result = self.inherit(self.parents()->collect(p | p.inheritableMembers(self))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rhJsixTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6BC6B01BD" direction="return">
@@ -12814,7 +12814,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rhJslRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rhJslxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00F5">
+          <ownedRule xmi:id="_rhJslxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C00F5">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rhJsmBTaEdqZu-3Jy1-uYg" body="result = self.parents()->union(self.parents()->collect(p | p.allParents())" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rhJslhTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6C8630317" direction="return">
@@ -12831,7 +12831,7 @@
           <ownedRule xmi:id="_rhJsoBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00F7">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rhJsoRTaEdqZu-3Jy1-uYg" body="c.allParents()->includes(self)" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_rhJsohTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00F7">
+          <ownedRule xmi:id="_rhJsohTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C00F7">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rhJsoxTaEdqZu-3Jy1-uYg" body="result = member->select(m | c.hasVisibilityOf(m))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rhJsnxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6BC6B01BD" direction="return">
@@ -12849,7 +12849,7 @@
           <ownedRule xmi:id="_rhTdhBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00FA">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rhTdhRTaEdqZu-3Jy1-uYg" body="self.allParents()->collect(c | c.member)->includes(n)" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_rhTdhhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00FA">
+          <ownedRule xmi:id="_rhTdhhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C00FA">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rhTdhxTaEdqZu-3Jy1-uYg" body="result = if (self.inheritedMember->includes(n)) then (n.visibility &lt;> #private) else true" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rhTdghTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -12861,7 +12861,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rhTdjRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rhTdkBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C0100">
+          <ownedRule xmi:id="_rhTdkBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C0100">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rhTdkRTaEdqZu-3Jy1-uYg" body="result = inhs" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rhTdjhTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6BC6B01BD" direction="return">
@@ -12879,7 +12879,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rhTdlxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rhTdmhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C0108">
+          <ownedRule xmi:id="_rhTdmhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C0108">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rhTdmxTaEdqZu-3Jy1-uYg" body="result = self.oclIsKindOf(c.oclType)" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rhTdmBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -12979,7 +12979,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rhmYcRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rhmYcxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C006A">
+          <ownedRule xmi:id="_rhmYcxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C006A">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rhmYdBTaEdqZu-3Jy1-uYg" body="result = ownedElement->union(ownedElement->collect(e | e.allOwnedElements()))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rhmYchTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6BAB70076" direction="return">
@@ -12993,7 +12993,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rhmYehTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rhmYfBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C0073">
+          <ownedRule xmi:id="_rhmYfBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C0073">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rhmYfRTaEdqZu-3Jy1-uYg" body="result = true" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rhmYexTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -13095,7 +13095,7 @@
           <ownedRule xmi:id="_rlUa0xTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D41C06EDF02B1">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rlUa1BTaEdqZu-3Jy1-uYg" body="upperBound()->notEmpty()" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_rlUa1RTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D41C06EDF02B1">
+          <ownedRule xmi:id="_rlUa1RTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D41C06EDF02B1">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rlUa1hTaEdqZu-3Jy1-uYg" body="result = upperBound() > 1" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rlUa0hTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -13109,7 +13109,7 @@
           <ownedRule xmi:id="_rlUa3xTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D41C06EDF02BB">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rlUa4BTaEdqZu-3Jy1-uYg" body="self.upperBound()->notEmpty() and self.lowerBound()->notEmpty() and M.upperBound()->notEmpty() and M.lowerBound()->notEmpty()" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_rlUa4RTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D41C06EDF02BB">
+          <ownedRule xmi:id="_rlUa4RTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D41C06EDF02BB">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rlUa4hTaEdqZu-3Jy1-uYg" body="result = (self.lowerBound() &lt;= M.lowerBound()) and (self.upperBound() >= M.upperBound())" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rlUa3RTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -13124,7 +13124,7 @@
           <ownedRule xmi:id="_rlUa6xTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D41C06EDF02BD">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rlUa7BTaEdqZu-3Jy1-uYg" body="upperBound()->notEmpty() and lowerBound()->notEmpty()" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_rlUa7RTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D41C06EDF02BD">
+          <ownedRule xmi:id="_rlUa7RTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D41C06EDF02BD">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rlUa7hTaEdqZu-3Jy1-uYg" body="result = (lowerBound() &lt;= C) and (upperBound() >= C)" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rlUa6RTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -13136,7 +13136,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rlUa9BTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rlUa9hTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00C6">
+          <ownedRule xmi:id="_rlUa9hTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C00C6">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rlUa9xTaEdqZu-3Jy1-uYg" body="result = if lower->notEmpty() then lower else 1 endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rlUa9RTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010A4007B" direction="return"/>
@@ -13147,7 +13147,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rleL0RTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rleL0xTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00C8">
+          <ownedRule xmi:id="_rleL0xTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C00C8">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rleL1BTaEdqZu-3Jy1-uYg" body="result = if upper->notEmpty() then upper else 1 endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rleL0hTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6A93C0003" direction="return"/>
@@ -13235,7 +13235,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rln81hTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rln82hTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E142ABF004B _3ADC7B74022D3DEE234B0163">
+          <ownedRule xmi:id="_rln82hTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E142ABF004B _3ADC7B74022D3DEE234B0163">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rln82xTaEdqZu-3Jy1-uYg" body="result = self.importMembers(self.elementImport.importedElement.asSet()->union(self.packageImport.importedPackage->collect(p | p.visibleMembers())))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rln81xTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6C1F002C3" direction="return">
@@ -13249,7 +13249,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rln84RTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rln85BTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E142BF301A2">
+          <ownedRule xmi:id="_rln85BTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E142BF301A2">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rln85RTaEdqZu-3Jy1-uYg" body="result = if self.ownedMember->includes(element)&#xA;then Set{}->include(element.name)&#xA;else let elementImports: ElementImport = self.elementImport->select(ei | ei.importedElement = element) in&#xA;  if elementImports->notEmpty()&#xA;  then elementImports->collect(el | el.getName())&#xA;  else self.packageImport->select(pi | pi.importedPackage.visibleMembers()->includes(element))->collect(pi | pi.importedPackage.getNamesOfMember(element))&#xA;  endif&#xA;endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rln84hTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010B103C3" direction="return">
@@ -13264,7 +13264,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rln86xTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rln87hTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E142CAC03E3">
+          <ownedRule xmi:id="_rln87hTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E142CAC03E3">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rln87xTaEdqZu-3Jy1-uYg" body="result = self.excludeCollisions(imps)->select(imp | self.ownedMember->forAll(mem | mem.imp.isDistinguishableFrom(mem, self)))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rln87BTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6C1F002C3" direction="return">
@@ -13282,7 +13282,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rlxGwRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rlxGxBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E142D230163">
+          <ownedRule xmi:id="_rlxGxBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E142D230163">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rlxGxRTaEdqZu-3Jy1-uYg" body="result = imps->reject(imp1 | imps.exists(imp2 | not imp1.isDistinguishableFrom(imp2, self)))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rlxGwhTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6C1F002C3" direction="return">
@@ -13300,7 +13300,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rlxG1BTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rlxG1hTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00AF">
+          <ownedRule xmi:id="_rlxG1hTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C00AF">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rlxG1xTaEdqZu-3Jy1-uYg" body="result = self.member->forAll( memb |&#xA;&#x9;self.member->excluding(memb)->forAll(other |&#xA;&#x9;&#x9;memb.isDistinguishableFrom(other, self)))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rlxG1RTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -13367,7 +13367,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rl632BTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rl632xTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00D3">
+          <ownedRule xmi:id="_rl632xTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C00D3">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rl633BTaEdqZu-3Jy1-uYg" body="result = false" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rl632RTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -13379,7 +13379,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rl634hTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rl635RTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00D6">
+          <ownedRule xmi:id="_rl635RTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C00D6">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rl635hTaEdqZu-3Jy1-uYg" body="result = self.redefinitionContext->exists(c | redefined.redefinitionContext->exists(r | c.allParents()->includes(r)))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rl634xTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -13447,7 +13447,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rmNysRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rmNysxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00B9">
+          <ownedRule xmi:id="_rmNysxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C00B9">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rmNytBTaEdqZu-3Jy1-uYg" body="result = false" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rmNyshTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -13458,7 +13458,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rmNyuhTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rmNyvBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00BB">
+          <ownedRule xmi:id="_rmNyvBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C00BB">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rmNyvRTaEdqZu-3Jy1-uYg" body="result = Set{}" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rmNyuxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010A4007B" direction="return"/>
@@ -13469,7 +13469,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rmNywxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rmNyxRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00BD">
+          <ownedRule xmi:id="_rmNyxRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C00BD">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rmNyxhTaEdqZu-3Jy1-uYg" body="result = Set{}" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rmNyxBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -13480,7 +13480,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rmNyzBTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rmNyzhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00BF">
+          <ownedRule xmi:id="_rmNyzhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C00BF">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rmNyzxTaEdqZu-3Jy1-uYg" body="result = Set{}" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rmNyzRTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010B103C3" direction="return"/>
@@ -13491,7 +13491,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rmXjsRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rmXjsxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00C2">
+          <ownedRule xmi:id="_rmXjsxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C00C2">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rmXjtBTaEdqZu-3Jy1-uYg" body="result = Set{}" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rmXjshTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6A93C0003" direction="return"/>
@@ -13502,7 +13502,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rmXjuhTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rmXjvBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00C4">
+          <ownedRule xmi:id="_rmXjvBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C00C4">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rmXjvRTaEdqZu-3Jy1-uYg" body="result = false" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rmXjuxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -13620,7 +13620,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rmgtphTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rmgtqRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1420C102C4">
+          <ownedRule xmi:id="_rmgtqRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E1420C102C4">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rmgtqhTaEdqZu-3Jy1-uYg" body="result = inhs->excluding(inh | ownedMember->select(oclIsKindOf(RedefinableElement))->select(redefinedElement->includes(inh)))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rmgtpxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6BC6B01BD" direction="return">
@@ -13815,7 +13815,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rmgtuhTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rmgtvBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E14246901E3 _3ADC7B74022D3DE6E76603BD">
+          <ownedRule xmi:id="_rmgtvBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E14246901E3 _3ADC7B74022D3DE6E76603BD">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rmgtvRTaEdqZu-3Jy1-uYg" body="result = if owningAssociation->isEmpty() and association.memberEnd->size() = 2&#xA;  then&#xA;    let otherEnd = (association.memberEnd - self)->any() in&#xA;      if otherEnd.owningAssociation->isEmpty() then otherEnd else Set{} endif&#xA;    else Set {}&#xA;    endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rmgtuxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6D57500AC" direction="return"/>
@@ -13829,7 +13829,7 @@
           <ownedRule xmi:id="_rm0PthTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1427A80242">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rm0PtxTaEdqZu-3Jy1-uYg" body="redefinee.isRedefinitionContextValid(self)" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_rm0PuBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1427A80242">
+          <ownedRule xmi:id="_rm0PuBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E1427A80242">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rm0PuRTaEdqZu-3Jy1-uYg" body="result = redefinee.oclIsKindOf(Property) and &#xA;  let prop : Property = redefinee.oclAsType(Property) in &#xA;  (prop.type.conformsTo(self.type) and &#xA;  ((prop.lowerBound()->notEmpty() and self.lowerBound()->notEmpty()) implies prop.lowerBound() >= self.lowerBound()) and &#xA;  ((prop.upperBound()->notEmpty() and self.upperBound()->notEmpty()) implies prop.lowerBound() &lt;= self.lowerBound()) and &#xA;  (self.isDerived implies prop.isDerived) and&#xA;  (self.isComposite implies prop.isComposite))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rm0PtBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -13841,7 +13841,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rm0PvxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rm0PwRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1428A50264">
+          <ownedRule xmi:id="_rm0PwRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E1428A50264">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rm0PwhTaEdqZu-3Jy1-uYg" body="result = if association->notEmpty()&#xA;then association.endType-type &#xA;else if classifier->notEmpty then Set{classifier} else Set{} endif&#xA;endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rm0PwBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6C8630317" direction="return">
@@ -13855,7 +13855,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rm0PyBTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rm0PyhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D430B77C7031C">
+          <ownedRule xmi:id="_rm0PyhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D430B77C7031C">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rm0PyxTaEdqZu-3Jy1-uYg" body="result = not classifier->isEmpty() or&#xA;association.owningAssociation.navigableOwnedEnd->includes(self)" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rm0PyRTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -13866,7 +13866,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_BL2vgjc3Edqq1tCaRkgBQQ"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_LLHN8Dc3Edqq1tCaRkgBQQ" constrainedElement="_1PbZwDc2Edqq1tCaRkgBQQ">
+          <ownedRule xmi:id="_LLHN8Dc3Edqq1tCaRkgBQQ" name="spec" constrainedElement="_1PbZwDc2Edqq1tCaRkgBQQ">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_LLHN8Tc3Edqq1tCaRkgBQQ" body="result = Classifier->allInstances->exists(c | c.attribute->includes(p))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_61gRcDc2Edqq1tCaRkgBQQ" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -13904,7 +13904,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rnHKmhTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rnHKnRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1423CF02D2">
+          <ownedRule xmi:id="_rnHKnRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E1423CF02D2">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rnHKnhTaEdqZu-3Jy1-uYg" body="result = inhs->excluding(inh | ownedMember->select(oclIsKindOf(RedefinableElement))->select(redefinedElement->includes(inh)))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rnHKmxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6BC6B01BD" direction="return">
@@ -14199,7 +14199,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rnaFiBTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rnaFihTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E142EC50359 _3ADC7B74022D3E03284C0289">
+          <ownedRule xmi:id="_rnaFihTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E142EC50359 _3ADC7B74022D3E03284C0289">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rnaFixTaEdqZu-3Jy1-uYg" body="result = if returnResult->size() = 1 then returnResult->any().isOrdered else false endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rnaFiRTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -14210,7 +14210,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rnaFkRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rnaFkxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E142F090090 _3ADC7B74022D3E032859015B">
+          <ownedRule xmi:id="_rnaFkxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E142F090090 _3ADC7B74022D3E032859015B">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rnaFlBTaEdqZu-3Jy1-uYg" body="result = if returnResult->size() = 1 then returnResult->any().isUnique else true endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rnaFkhTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -14224,7 +14224,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rnj2ghTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rnj2hhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E142F3E03CB _3ADC7B74022D3E0328B001D9">
+          <ownedRule xmi:id="_rnj2hhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E142F3E03CB _3ADC7B74022D3E0328B001D9">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rnj2hxTaEdqZu-3Jy1-uYg" body="result = if returnResult->size() = 1 then returnResult->any().lower else Set{} endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rnj2gxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010A4007B" direction="return"/>
@@ -14238,7 +14238,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rnj2jRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rnj2kRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E142F7500B3 _3ADC7B74022D3E0328710341">
+          <ownedRule xmi:id="_rnj2kRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E142F7500B3 _3ADC7B74022D3E0328710341">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rnj2khTaEdqZu-3Jy1-uYg" body="result = if returnResult->size() = 1 then returnResult->any().upper else Set{} endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rnj2jhTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6A93C0003" direction="return"/>
@@ -14252,7 +14252,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rnj2mBTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rntAchTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E142FBB01EA _3ADC7B74022D3DEE7BDA017A">
+          <ownedRule xmi:id="_rntAchTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E142FBB01EA _3ADC7B74022D3DEE7BDA017A">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rntAcxTaEdqZu-3Jy1-uYg" body="result = if returnResult->size() = 1 then returnResult->any().type else Set{} endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rnj2mRTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3E555229003B" direction="return"/>
@@ -14266,14 +14266,14 @@
           <ownedRule xmi:id="_rntAhRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E143033011B">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rntAhhTaEdqZu-3Jy1-uYg" body="redefinee.isRedefinitionContextValid(self)" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_rntAhxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E143033011B">
+          <ownedRule xmi:id="_rntAhxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E143033011B">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rntAiBTaEdqZu-3Jy1-uYg" body="result = (redefinee.oclIsKindOf(Operation) and&#xA;    let op: Operation = redefinee.oclAsType(Operation) in&#xA;        self.formalParameter.size() = op.formalParameter.size() and&#xA;        self.returnResult.size() = op.returnResult.size() and&#xA;        forAll(i | op.formalParameter[i].type.conformsTo(self.formalParameter[i].type)) and&#xA;        forAll(i | op.returnResult[i].type.conformsTo(self.returnResult[i].type))&#xA;)" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rntAgxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
           <ownedParameter xmi:id="_3ADC7B74022D3E14304B03AA" name="redefinee" type="_3ADC7B74022D3DE6C81D0244"/>
         </ownedOperation>
         <ownedOperation xmi:id="_ipBfsB8WEdqZ_KzuBfefCA" name="returnResult" type="_3ADC7B74022D3DE6D57D00A3" isQuery="true" bodyCondition="__KtXgB8WEdqZ_KzuBfefCA">
-          <ownedRule xmi:id="__KtXgB8WEdqZ_KzuBfefCA" constrainedElement="_ipBfsB8WEdqZ_KzuBfefCA">
+          <ownedRule xmi:id="__KtXgB8WEdqZ_KzuBfefCA" name="spec" constrainedElement="_ipBfsB8WEdqZ_KzuBfefCA">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="__KtXgR8WEdqZ_KzuBfefCA" body="result = ownedParameter->select (par | par.direction = #return)" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_q_YGoB8WEdqZ_KzuBfefCA" type="_3ADC7B74022D3DE6D57D00A3" direction="return">
@@ -14352,7 +14352,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_roTdaRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_roTdbRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E142E0F01A9">
+          <ownedRule xmi:id="_roTdbRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E142E0F01A9">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_roTdbhTaEdqZu-3Jy1-uYg" body="result = if n.oclIsKindOf(BehavioralFeature)&#xA;then&#xA;  if ns.getNamesOfMember(self)->intersection(ns.getNamesOfMember(n))->notEmpty()&#xA;  then Set{}->include(self)->include(n)->isUnique( bf | bf.parameter->collect(type))&#xA;  else true&#xA;  endif&#xA;else true&#xA;endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_roTdahTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -14427,7 +14427,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rodOcxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rodOdRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1429E403A3">
+          <ownedRule xmi:id="_rodOdRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E1429E403A3">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rodOdhTaEdqZu-3Jy1-uYg" body="result = if self.alias->notEmpty() then &#xA;  self.alias&#xA;else&#xA;  self.importedElement.name&#xA;endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rodOdBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010B103C3" direction="return"/>
@@ -14509,7 +14509,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_romYYBTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_romYYhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E14315003AF">
+          <ownedRule xmi:id="_romYYhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E14315003AF">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_romYYxTaEdqZu-3Jy1-uYg" body="result = false" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_romYYRTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -14520,7 +14520,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_romYaRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_romYaxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E143175007D">
+          <ownedRule xmi:id="_romYaxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E143175007D">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_romYbBTaEdqZu-3Jy1-uYg" body="result = member->select( m | self.makesVisible(m))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_romYahTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6C1F002C3" direction="return">
@@ -14537,7 +14537,7 @@
           <ownedRule xmi:id="_rowJVBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1431A90385">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rowJVRTaEdqZu-3Jy1-uYg" body="self.member->includes(el)" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_rowJVhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D3E1431A90385">
+          <ownedRule xmi:id="_rowJVhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D3E1431A90385">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rowJVxTaEdqZu-3Jy1-uYg" body="result = (ownedMember->includes(el)) or&#xA;   (elementImport->&#xA;      select(ei|ei.visibility = #public)->&#xA;         collect(ei|ei.importedElement)->includes(el)) or&#xA;   (packageImport->&#xA;      select(pi|pi.visibility = #public)->&#xA;        collect(pi|&#xA;           pi.importedPackage.member->includes(el))->notEmpty())" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rowJUhTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -14638,7 +14638,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_ro5TSRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_ro5TTBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C010B">
+          <ownedRule xmi:id="_ro5TTBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C010B">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_ro5TTRTaEdqZu-3Jy1-uYg" body="result = false" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_ro5TShTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -14730,7 +14730,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rpDEShTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rpDETBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C007F">
+          <ownedRule xmi:id="_rpDETBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C007F">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rpDETRTaEdqZu-3Jy1-uYg" body="result = if self.namespace->isEmpty()&#xA;then Sequence{}&#xA;else self.namespace.allNamespaces()->prepend(self.namespace)&#xA;endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rpDESxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3DE6C03E0388" isOrdered="true" direction="return">
@@ -14744,7 +14744,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rpDEUxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rpDEVxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C0081">
+          <ownedRule xmi:id="_rpDEVxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C0081">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rpDEWBTaEdqZu-3Jy1-uYg" body="result = if self.oclIsKindOf(n.oclType) or n.oclIsKindOf(self.oclType)&#xA;then ns.getNamesOfMember(self)->intersection(ns.getNamesOfMember(n))->isEmpty()&#xA;else true&#xA;endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rpDEVBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -14757,7 +14757,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rpDEXhTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rpDEYBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00A4">
+          <ownedRule xmi:id="_rpDEYBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C00A4">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rpDEYRTaEdqZu-3Jy1-uYg" body="result = '::'" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rpDEXxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010B103C3" direction="return"/>
@@ -14771,7 +14771,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rpDEZxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rpDEaRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00A6">
+          <ownedRule xmi:id="_rpDEaRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C00A6">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rpDEahTaEdqZu-3Jy1-uYg" body="result = if self.name->notEmpty() and self.allNamespaces()->select(ns | ns.name->isEmpty())->isEmpty()&#xA;then &#xA;    self.allNamespaces()->iterate( ns : Namespace; result: String = self.name | ns.name->union(self.separator())->union(result))&#xA;else&#xA;    Set{}&#xA;endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rpDEaBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CA010B103C3" direction="return"/>
@@ -14870,7 +14870,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_rpfwQhTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_rpfwRRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D42EE305C00E3">
+          <ownedRule xmi:id="_rpfwRRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D42EE305C00E3">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_rpfwRhTaEdqZu-3Jy1-uYg" body="result = if vis->includes(#public) then #public else #private endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_rpfwQxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D41C2D6020188" direction="return"/>
@@ -16170,7 +16170,7 @@
             <contents xmi:type="Default_0:Default__Documentation" xmi:id="_QggOIjqAEdq16aujGBCOZg"/>
           </eAnnotations>
         </ownedComment>
-        <ownedRule xmi:id="_-tfZcDajEdqq1tCaRkgBQQ" constrainedElement="_17RV4DajEdqq1tCaRkgBQQ">
+        <ownedRule xmi:id="_-tfZcDajEdqq1tCaRkgBQQ" name="spec" constrainedElement="_17RV4DajEdqq1tCaRkgBQQ">
           <specification xmi:type="uml:OpaqueExpression" xmi:id="_-tfZcTajEdqq1tCaRkgBQQ" body="result = memberEnd->reject(ownedEnd)" language="OCL"/>
         </ownedRule>
         <returnResult xmi:id="_7E4UADajEdqq1tCaRkgBQQ" type="_3ADC7B74022D3DE6D57500AC" direction="return"/>
@@ -16184,7 +16184,7 @@
             <contents xmi:type="Default_0:Default__Documentation" xmi:id="_O8Em8jqAEdq16aujGBCOZg"/>
           </eAnnotations>
         </ownedComment>
-        <ownedRule xmi:id="_IyQqADakEdqq1tCaRkgBQQ" constrainedElement="_Ccgo4DakEdqq1tCaRkgBQQ">
+        <ownedRule xmi:id="_IyQqADakEdqq1tCaRkgBQQ" name="spec" constrainedElement="_Ccgo4DakEdqq1tCaRkgBQQ">
           <specification xmi:type="uml:OpaqueExpression" xmi:id="_IyQqATakEdqq1tCaRkgBQQ" body="result = metaclassEnd().type" language="OCL"/>
         </ownedRule>
         <returnResult xmi:id="_HSTTIDakEdqq1tCaRkgBQQ" type="_3ADC7B74022D3CA22B8803DA" direction="return"/>
@@ -16195,7 +16195,7 @@
             <contents xmi:type="Default_0:Default__Documentation" xmi:id="_NjHP8jqAEdq16aujGBCOZg"/>
           </eAnnotations>
         </ownedComment>
-        <ownedRule xmi:id="_SD7CoDakEdqq1tCaRkgBQQ" constrainedElement="_LziCoDakEdqq1tCaRkgBQQ">
+        <ownedRule xmi:id="_SD7CoDakEdqq1tCaRkgBQQ" name="spec" constrainedElement="_LziCoDakEdqq1tCaRkgBQQ">
           <specification xmi:type="uml:OpaqueExpression" xmi:id="_SD7CoTakEdqq1tCaRkgBQQ" body="result = (ownedEnd->lowerBound() = 1)" language="OCL"/>
         </ownedRule>
         <returnResult xmi:id="_Qhu3IDakEdqq1tCaRkgBQQ" type="_3ADC7B74022D3CA010AC0090" direction="return"/>
@@ -16249,7 +16249,7 @@
             <contents xmi:type="Default_0:Default__Documentation" xmi:id="_YkFZcjajEdqq1tCaRkgBQQ"/>
           </eAnnotations>
         </ownedComment>
-        <ownedRule xmi:id="_ZWJvkDajEdqq1tCaRkgBQQ" constrainedElement="_InW3ADajEdqq1tCaRkgBQQ">
+        <ownedRule xmi:id="_ZWJvkDajEdqq1tCaRkgBQQ" name="spec" constrainedElement="_InW3ADajEdqq1tCaRkgBQQ">
           <specification xmi:type="uml:OpaqueExpression" xmi:id="_ZWJvkTajEdqq1tCaRkgBQQ" body="result = lowerBound = if lowerValue->isEmpty() then 0 else lowerValue->IntegerValue() endif" language="OCL"/>
         </ownedRule>
         <returnResult xmi:id="_Ni0EYDajEdqq1tCaRkgBQQ" type="_3ADC7B74022D3CA010A4007B" direction="return"/>
@@ -16307,7 +16307,7 @@
             <contents xmi:type="Default_0:Default__Documentation" xmi:id="_5-hO8jp_Edq16aujGBCOZg"/>
           </eAnnotations>
         </ownedComment>
-        <ownedRule xmi:id="_3LBREDakEdqq1tCaRkgBQQ" constrainedElement="_qifDQDakEdqq1tCaRkgBQQ">
+        <ownedRule xmi:id="_3LBREDakEdqq1tCaRkgBQQ" name="spec" constrainedElement="_qifDQDakEdqq1tCaRkgBQQ">
           <specification xmi:type="uml:OpaqueExpression" xmi:id="_3LBRETakEdqq1tCaRkgBQQ" body="result = self.namespace->select(p | p.oclIsKindOf(Package))->union(p.allOwningPackages())" language="OCL"/>
         </ownedRule>
         <returnResult xmi:id="_yH9m4DakEdqq1tCaRkgBQQ" type="_3ADC7B74022D3CA18745029B" direction="return">
diff --git a/plugins/org.eclipse.uml2.uml/model/Superstructure.emx b/plugins/org.eclipse.uml2.uml/model/Superstructure.emx
index b85ce317..768aaf9a 100644
--- a/plugins/org.eclipse.uml2.uml/model/Superstructure.emx
+++ b/plugins/org.eclipse.uml2.uml/model/Superstructure.emx
@@ -9278,7 +9278,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_svrVIxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_svrVJRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300909101D4">
+          <ownedRule xmi:id="_svrVJRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300909101D4">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_svrVJhTaEdqZu-3Jy1-uYg" body="result = self.endData->asSequence().first().end.association" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_svrVJBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CAB1DD70016" direction="return"/>
@@ -19344,7 +19344,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_r_spuxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_r_spvhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300AD92009C">
+          <ownedRule xmi:id="_r_spvhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300AD92009C">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_r_spvxTaEdqZu-3Jy1-uYg" body="result = true" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_r_spvBTaEdqZu-3Jy1-uYg" direction="return">
@@ -25595,7 +25595,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_slZXwxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_slZXxRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D430B689101A4">
+          <ownedRule xmi:id="_slZXxRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D430B689101A4">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_slZXxhTaEdqZu-3Jy1-uYg" body="result = if subExpression->notEmpty()&#xA;then subExpression->iterate(se; stringValue = | stringValue.concat(se.stringValue()))&#xA;else operand->iterate()(op; stringValue =  | stringValue.concat(op.value))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_slZXxBTaEdqZu-3Jy1-uYg" direction="return">
@@ -25738,7 +25738,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sljIzxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sljI0RTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300AF550242">
+          <ownedRule xmi:id="_sljI0RTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300AF550242">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sljI0hTaEdqZu-3Jy1-uYg" body="result = allOwnedElements->select(oclIsKindOf(ParameterableElement))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sljI0BTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3E3126A90208" direction="return">
@@ -25752,7 +25752,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sljI2BTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sljI2hTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300AF6D031C">
+          <ownedRule xmi:id="_sljI2hTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300AF6D031C">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sljI2xTaEdqZu-3Jy1-uYg" body="result = ownedTemplateSignature->notEmpty()" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sljI2RTaEdqZu-3Jy1-uYg" direction="return">
@@ -25792,7 +25792,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_slsSsRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_slsStBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300AEC9029F">
+          <ownedRule xmi:id="_slsStBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300AEC9029F">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_slsStRTaEdqZu-3Jy1-uYg" body="result = p->oclIsKindOf(self.oclType)" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_slsSshTaEdqZu-3Jy1-uYg" direction="return">
@@ -25807,7 +25807,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_soYaURTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_soYaUxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300AEF60222">
+          <ownedRule xmi:id="_soYaUxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300AEF60222">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_soYaVBTaEdqZu-3Jy1-uYg" body="result = templateParameter->notEmpty()" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_soYaUhTaEdqZu-3Jy1-uYg" direction="return">
@@ -25838,7 +25838,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_aNBzY2daEdqCCpdUvbQY5w"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_aNBzZGdaEdqCCpdUvbQY5w" constrainedElement="_aNBzYGdaEdqCCpdUvbQY5w">
+          <ownedRule xmi:id="_aNBzZGdaEdqCCpdUvbQY5w" name="spec" constrainedElement="_aNBzYGdaEdqCCpdUvbQY5w">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_aNBzZWdaEdqCCpdUvbQY5w" body="result = p->oclIsKindOf(self.oclType) and self.type.conformsTo(p.oclAsType(TypedElement).type)" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_aNBzZmdaEdqCCpdUvbQY5w" direction="return">
@@ -25861,7 +25861,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sorVRhTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sorVSRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D430B6A2C0385">
+          <ownedRule xmi:id="_sorVSRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D430B6A2C0385">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sorVShTaEdqZu-3Jy1-uYg" body="result = p->oclIsKindOf(self.oclType) and self.type.conformsTo(p.oclAsType(TypedElement).type)" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sorVRxTaEdqZu-3Jy1-uYg" direction="return">
@@ -25947,7 +25947,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_so1GSBTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_so1GShTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300B066002E">
+          <ownedRule xmi:id="_so1GShTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300B066002E">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_so1GSxTaEdqZu-3Jy1-uYg" body="result = oclAsType(TemplatableElement).isTemplate() or general->exists(g | g.isTemplate())" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_so1GSRTaEdqZu-3Jy1-uYg" direction="return">
@@ -26063,7 +26063,7 @@
           <ownedRule xmi:id="_so-QPRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300B0AE02CE">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_so-QPhTaEdqZu-3Jy1-uYg" body="redefinee.isRedefinitionContextValid(self)" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_so-QPxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300B0AE02CE">
+          <ownedRule xmi:id="_so-QPxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300B0AE02CE">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_so-QQBTaEdqZu-3Jy1-uYg" body="result = redefinee.oclIsKindOf(RedefineableTemplateSignature)" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_so-QOxTaEdqZu-3Jy1-uYg" direction="return">
@@ -32329,7 +32329,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sJ1dKhTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sJ1dLBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300CF9800EA">
+          <ownedRule xmi:id="_sJ1dLBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300CF9800EA">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sJ1dLRTaEdqZu-3Jy1-uYg" body="result = ownedElement->union(ownedElement->collect(e | e.allOwnedElements()))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sJ1dKxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CAAEC0D0176" direction="return">
@@ -32343,7 +32343,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sJ1dMxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sJ1dNRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300CFAE0128">
+          <ownedRule xmi:id="_sJ1dNRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300CFAE0128">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sJ1dNhTaEdqZu-3Jy1-uYg" body="result = true" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sJ1dNBTaEdqZu-3Jy1-uYg" direction="return">
@@ -32501,7 +32501,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sKIYJxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sKRiARTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D6DE038A">
+          <ownedRule xmi:id="_sKRiARTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D6DE038A">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sKRiAhTaEdqZu-3Jy1-uYg" body="result = if self.namespace->isEmpty()&#xA;then Sequence{}&#xA;else self.namespace.allNamespaces()->prepend(self.namespace)&#xA;endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sKRiABTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CAAECC502DA" isOrdered="true" direction="return">
@@ -32515,7 +32515,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sKbTAhTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sKbTBhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D6F402BF">
+          <ownedRule xmi:id="_sKbTBhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D6F402BF">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sKbTBxTaEdqZu-3Jy1-uYg" body="result = if self.oclIsKindOf(n.oclType) or n.oclIsKindOf(self.oclType)&#xA;then ns.getNamesOfMember(self)->intersection(ns.getNamesOfMember(n))->isEmpty()&#xA;else true&#xA;endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sKbTAxTaEdqZu-3Jy1-uYg" direction="return">
@@ -32531,7 +32531,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sKbTDRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sKbTDxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D70C03A9">
+          <ownedRule xmi:id="_sKbTDxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D70C03A9">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sKbTEBTaEdqZu-3Jy1-uYg" body="result = '::'" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sKbTDhTaEdqZu-3Jy1-uYg" direction="return">
@@ -32607,7 +32607,7 @@
           <ownedRule xmi:id="_sK3--xTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D7E403D8">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sK3-_BTaEdqZu-3Jy1-uYg" body="self.isIntegral()" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_zCLvIDXCEdqtg44TD97UDQ" constrainedElement="_3ADC7B74022D4300D7E403D8">
+          <ownedRule xmi:id="_zCLvIDXCEdqtg44TD97UDQ" name="spec" constrainedElement="_3ADC7B74022D4300D7E403D8">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_zCLvITXCEdqtg44TD97UDQ" body="true" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sK3--hTaEdqZu-3Jy1-uYg" direction="return">
@@ -32621,7 +32621,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sK3_AhTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sK3_BBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D7F3001F">
+          <ownedRule xmi:id="_sK3_BBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D7F3001F">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sK3_BRTaEdqZu-3Jy1-uYg" body="result = false" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sK3_AxTaEdqZu-3Jy1-uYg" direction="return">
@@ -32639,7 +32639,7 @@
           <ownedRule xmi:id="_sK3_DRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D7FA038A">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sK3_DhTaEdqZu-3Jy1-uYg" body="self.isIntegral()" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_tf1g4DXCEdqtg44TD97UDQ" constrainedElement="_3ADC7B74022D4300D7FA038A">
+          <ownedRule xmi:id="_tf1g4DXCEdqtg44TD97UDQ" name="spec" constrainedElement="_3ADC7B74022D4300D7FA038A">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_tf_R4DXCEdqtg44TD97UDQ" body="result = false" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sK3_DBTaEdqZu-3Jy1-uYg" direction="return">
@@ -32656,7 +32656,7 @@
           <ownedRule xmi:id="_sK3_FhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D7FE002E">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sK3_FxTaEdqZu-3Jy1-uYg" body="self.isIntegral()" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_sK3_GBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D7FE002E">
+          <ownedRule xmi:id="_sK3_GBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D7FE002E">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sK3_GRTaEdqZu-3Jy1-uYg" body="result = false" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sK3_FRTaEdqZu-3Jy1-uYg" direction="return">
@@ -32697,7 +32697,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sLBI7xTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sLBI8RTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D09F030D">
+          <ownedRule xmi:id="_sLBI8RTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D09F030D">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sLBI8hTaEdqZu-3Jy1-uYg" body="result = true" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sLBI8BTaEdqZu-3Jy1-uYg" direction="return">
@@ -32711,7 +32711,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sLK54hTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sLK55BTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D0DE02CE">
+          <ownedRule xmi:id="_sLK55BTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D0DE02CE">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sLK55RTaEdqZu-3Jy1-uYg" body="result = value" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sLK54xTaEdqZu-3Jy1-uYg" direction="return">
@@ -32746,7 +32746,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sLUq6xTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sLUq7RTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D0A40261">
+          <ownedRule xmi:id="_sLUq7RTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D0A40261">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sLUq7hTaEdqZu-3Jy1-uYg" body="result = true" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sLUq7BTaEdqZu-3Jy1-uYg" direction="return">
@@ -32760,7 +32760,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sLUq9BTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sLUq9hTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D18E005D">
+          <ownedRule xmi:id="_sLUq9hTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D18E005D">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sLUq9xTaEdqZu-3Jy1-uYg" body="result = value" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sLUq9RTaEdqZu-3Jy1-uYg" direction="return">
@@ -32793,7 +32793,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sLd02xTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sLd03RTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D09402EE">
+          <ownedRule xmi:id="_sLd03RTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D09402EE">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sLd03hTaEdqZu-3Jy1-uYg" body="result = true" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sLd03BTaEdqZu-3Jy1-uYg" direction="return">
@@ -32807,7 +32807,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sLd05BTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sLd05hTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D0BC0167">
+          <ownedRule xmi:id="_sLd05hTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D0BC0167">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sLd05xTaEdqZu-3Jy1-uYg" body="result = value" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sLd05RTaEdqZu-3Jy1-uYg" direction="return">
@@ -32829,7 +32829,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sLnl1hTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sLnl2BTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D0F700AB">
+          <ownedRule xmi:id="_sLnl2BTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D0F700AB">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sLnl2RTaEdqZu-3Jy1-uYg" body="result = true" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sLnl1xTaEdqZu-3Jy1-uYg" direction="return">
@@ -32843,7 +32843,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sLnl3xTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sLnl4RTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D14F00CB">
+          <ownedRule xmi:id="_sLnl4RTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D14F00CB">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sLnl4hTaEdqZu-3Jy1-uYg" body="result = true" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sLnl4BTaEdqZu-3Jy1-uYg" direction="return">
@@ -32979,7 +32979,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sL6gwRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sL6gwxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D00000CB">
+          <ownedRule xmi:id="_sL6gwxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D00000CB">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sL6gxBTaEdqZu-3Jy1-uYg" body="result = if self.alias->notEmpty() then&#xA;  self.alias&#xA;else&#xA;  self.importedElement.name&#xA;endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sL6gwhTaEdqZu-3Jy1-uYg" direction="return">
@@ -33108,7 +33108,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sMOCyxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sMOCzxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D208038A _3ADC7B74022D3DFFB2640028">
+          <ownedRule xmi:id="_sMOCzxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D208038A _3ADC7B74022D3DFFB2640028">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sMOC0BTaEdqZu-3Jy1-uYg" body="result = lowerBound()" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sMOCzBTaEdqZu-3Jy1-uYg" direction="return">
@@ -33125,7 +33125,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sMOC1hTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sMOC2hTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D20E00CB _3ADC7B74022D3DFFB238029B">
+          <ownedRule xmi:id="_sMOC2hTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D20E00CB _3ADC7B74022D3DFFB238029B">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sMOC2xTaEdqZu-3Jy1-uYg" body="result = upperBound()" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sMOC1xTaEdqZu-3Jy1-uYg" direction="return">
@@ -33142,7 +33142,7 @@
           <ownedRule xmi:id="_sMXMsxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D313037A">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sMXMtBTaEdqZu-3Jy1-uYg" body="upperBound()->notEmpty()" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_sMXMtRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D313037A">
+          <ownedRule xmi:id="_sMXMtRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D313037A">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sMXMthTaEdqZu-3Jy1-uYg" body="result = upperBound() > 1" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sMXMshTaEdqZu-3Jy1-uYg" direction="return">
@@ -33159,7 +33159,7 @@
           <ownedRule xmi:id="_sMXMvxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D31B00AB">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sMXMwBTaEdqZu-3Jy1-uYg" body="upperBound()->notEmpty() and lowerBound()->notEmpty()" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_sMXMwRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D31B00AB">
+          <ownedRule xmi:id="_sMXMwRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D31B00AB">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sMXMwhTaEdqZu-3Jy1-uYg" body="result = (lowerBound() &lt;= C) and (upperBound() >= C)" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sMXMvRTaEdqZu-3Jy1-uYg" direction="return">
@@ -33179,7 +33179,7 @@
           <ownedRule xmi:id="_sMXMyxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D31F01F4">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sMXMzBTaEdqZu-3Jy1-uYg" body="self.upperBound()->notEmpty() and self.lowerBound()->notEmpty()&#xA;and M.upperBound()->notEmpty() and M.lowerBound()->notEmpty()&#xA;" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_sMXMzRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D31F01F4">
+          <ownedRule xmi:id="_sMXMzRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D31F01F4">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sMXMzhTaEdqZu-3Jy1-uYg" body="result = (self.lowerBound() &lt;= M.lowerBound()) and (self.upperBound() >= M.upperBound())" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sMXMyRTaEdqZu-3Jy1-uYg" direction="return">
@@ -33194,7 +33194,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sMXM1BTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sMXM1hTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D3220290">
+          <ownedRule xmi:id="_sMXM1hTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D3220290">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sMXM1xTaEdqZu-3Jy1-uYg" body="result = if lowerValue->isEmpty() then 1 else lowerValue.integerValue() endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sMXM1RTaEdqZu-3Jy1-uYg" direction="return">
@@ -33208,7 +33208,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sMXM3RTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sMXM3xTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D328000F">
+          <ownedRule xmi:id="_sMXM3xTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D328000F">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sMXM4BTaEdqZu-3Jy1-uYg" body="result = if upperValue->isEmpty() then 1 else upperValue.unlimitedValue() endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sMXM3hTaEdqZu-3Jy1-uYg" direction="return">
@@ -33343,7 +33343,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sMqHrhTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sMz4oRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300CD890196 _3ADC7B74022D3E026F600201">
+          <ownedRule xmi:id="_sMz4oRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300CD890196 _3ADC7B74022D3E026F600201">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sMz4ohTaEdqZu-3Jy1-uYg" body="result = self.parents()" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sMqHrxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CAAECE80199" direction="return">
@@ -33360,7 +33360,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sMz4uhTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sMz4vhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300CDD6036B _3ADC7B74022D3CAB02DF02A3">
+          <ownedRule xmi:id="_sMz4vhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300CDD6036B _3ADC7B74022D3CAB02DF02A3">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sMz4vxTaEdqZu-3Jy1-uYg" body="result = self.inherit(self.parents()->collect(p | p.inheritableMembers(self))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sMz4uxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CAAECB901B0" direction="return">
@@ -33374,7 +33374,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sMz4xRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sM9poRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300CDF2030D">
+          <ownedRule xmi:id="_sM9poRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300CDF2030D">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sM9pohTaEdqZu-3Jy1-uYg" body="result = member->select(oclIsKindOf(Feature))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sM9poBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CAAFD220337" direction="return">
@@ -33388,7 +33388,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sM9pqBTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sM9pqhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300CDFE0196">
+          <ownedRule xmi:id="_sM9pqhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300CDFE0196">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sM9pqxTaEdqZu-3Jy1-uYg" body="result = generalization.general" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sM9pqRTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CAAECE80199" direction="return">
@@ -33408,7 +33408,7 @@
           <ownedRule xmi:id="_sM9pthTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300CE41034B">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sM9ptxTaEdqZu-3Jy1-uYg" body="c.allParents()->includes(self)" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_sM9puBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300CE41034B">
+          <ownedRule xmi:id="_sM9puBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300CE41034B">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sM9puRTaEdqZu-3Jy1-uYg" body="result = member->select(m | c.hasVisibilityOf(m))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sM9pshTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CAAECB901B0" direction="return">
@@ -33426,7 +33426,7 @@
           <ownedRule xmi:id="_sM9pwhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300CE55007D">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sM9pwxTaEdqZu-3Jy1-uYg" body="self.allParents()->collect(c | c.member)->includes(n)" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_sM9pxBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300CE55007D">
+          <ownedRule xmi:id="_sM9pxBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300CE55007D">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sNGzkBTaEdqZu-3Jy1-uYg" body="result = if (self.inheritedMember->includes(n)) then (n.visibility &lt;> #private) else true" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sM9pwBTaEdqZu-3Jy1-uYg" direction="return">
@@ -33441,7 +33441,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sNGzlhTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sNGzmRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300CE630399">
+          <ownedRule xmi:id="_sNGzmRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300CE630399">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sNGzmhTaEdqZu-3Jy1-uYg" body="result = (self=other) or (self.allParents()->includes(other))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sNGzlxTaEdqZu-3Jy1-uYg" direction="return">
@@ -33456,7 +33456,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sNGzoBTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sNGzoxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300CE74009C">
+          <ownedRule xmi:id="_sNGzoxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300CE74009C">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sNGzpBTaEdqZu-3Jy1-uYg" body="result = inhs" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sNGzoRTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CAAECB901B0" direction="return">
@@ -33474,7 +33474,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sNGzqhTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sNGzrBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300CE7C03A9">
+          <ownedRule xmi:id="_sNGzrBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300CE7C03A9">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sNGzrRTaEdqZu-3Jy1-uYg" body="result = self.oclIsKindOf(c.oclType)" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sNGzqxTaEdqZu-3Jy1-uYg" direction="return">
@@ -33489,7 +33489,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sNGzsxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sNGztRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D43022FFC03D8">
+          <ownedRule xmi:id="_sNGztRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D43022FFC03D8">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sNGzthTaEdqZu-3Jy1-uYg" body="result = self.parents()->union(self.parents()->collect(p | p.allParents())" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sNGztBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CAAECE80199" direction="return">
@@ -33592,7 +33592,7 @@
           <ownedRule xmi:id="_sNZujxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300DD4100CB">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sNZukBTaEdqZu-3Jy1-uYg" body="redefinee.isRedefinitionContextValid(self)&#xA;&#xA;" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_sNZukRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300DD4100CB">
+          <ownedRule xmi:id="_sNZukRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300DD4100CB">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sNZukhTaEdqZu-3Jy1-uYg" body="result = false" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sNZujRTaEdqZu-3Jy1-uYg" direction="return">
@@ -33607,7 +33607,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sNZumBTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sNZumhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300DD5D00DA">
+          <ownedRule xmi:id="_sNZumhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300DD5D00DA">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sNZumxTaEdqZu-3Jy1-uYg" body="result = redefinitionContext->exists(c | c.allParents()->includes(redefined.redefinitionContext)))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sNZumRTaEdqZu-3Jy1-uYg" direction="return">
@@ -33688,7 +33688,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sNjfjBTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sNjfkBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300CD200203">
+          <ownedRule xmi:id="_sNjfkBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300CD200203">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sNjfkRTaEdqZu-3Jy1-uYg" body="result = if n.oclIsKindOf(BehavioralFeature)&#xA;then&#xA;  if ns.getNamesOfMember(self)->intersection(ns.getNamesOfMember(n))->notEmpty()&#xA;  then Set{}->including(self)->including(n)->isUnique(bf | bf.ownedParameter->collect(type))&#xA;  else true&#xA;  endif&#xA;else true&#xA;endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sNjfjRTaEdqZu-3Jy1-uYg" direction="return">
@@ -33928,7 +33928,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sOALfBTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sOALfhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D992001F">
+          <ownedRule xmi:id="_sOALfhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D992001F">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sOALfxTaEdqZu-3Jy1-uYg" body="result = false" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sOALfRTaEdqZu-3Jy1-uYg" direction="return">
@@ -33942,7 +33942,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sOALhRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sOALhxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D9A40290">
+          <ownedRule xmi:id="_sOALhxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D9A40290">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sOALiBTaEdqZu-3Jy1-uYg" body="result = member->select( m | self.makesVisible(m))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sOALhhTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CB1F3A0024D" direction="return">
@@ -33959,7 +33959,7 @@
           <ownedRule xmi:id="_sOJ8dBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D9C303C8">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sOJ8dRTaEdqZu-3Jy1-uYg" body="self.member->includes(el)" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_sOJ8dhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D9C303C8">
+          <ownedRule xmi:id="_sOJ8dhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D9C303C8">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sOJ8dxTaEdqZu-3Jy1-uYg" body="result = (ownedMember->includes(el)) or&#xA;(elementImport->select(ei|ei.importedElement = #public)->collect(ei|ei.importedElement)->includes(el)) or&#xA;(packageImport->select(pi|pi.visibility = #public)->collect(pi|pi.importedPackage.member->includes(el))->notEmpty())" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sOJ8chTaEdqZu-3Jy1-uYg" direction="return">
@@ -34072,7 +34072,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sOTGYxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sOTGZhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300CD4802AF">
+          <ownedRule xmi:id="_sOTGZhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300CD4802AF">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sOTGZxTaEdqZu-3Jy1-uYg" body="result = inhs->excluding(inh | ownedMember->select(oclIsKindOf(RedefinableElement))->select(redefinedElement->includes(inh)))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sOTGZBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CAAECB901B0" direction="return">
@@ -34296,7 +34296,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_GoqL4jc2Edqq1tCaRkgBQQ"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_IQhhkDc2Edqq1tCaRkgBQQ" constrainedElement="_1evdkDc1Edqq1tCaRkgBQQ">
+          <ownedRule xmi:id="_IQhhkDc2Edqq1tCaRkgBQQ" name="spec" constrainedElement="_1evdkDc1Edqq1tCaRkgBQQ">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_IQhhkTc2Edqq1tCaRkgBQQ" body="result = Classifier.allInstances->exists(c | c.attribute->includes(p))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_8DjOYDc1Edqq1tCaRkgBQQ" direction="return">
@@ -34314,7 +34314,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sOTGdxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sOTGeRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300DA23034B _3ADC7B74022D3DFFC0A002E5">
+          <ownedRule xmi:id="_sOTGeRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300DA23034B _3ADC7B74022D3DFFC0A002E5">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sOTGehTaEdqZu-3Jy1-uYg" body="result = if owningAssociation->isEmpty() and association.memberEnd->size() = 2&#xA;  then&#xA;    let otherEnd = (association.memberEnd - self)->any() in&#xA;      if otherEnd.owningAssociation->isEmpty() then otherEnd else Set{} endif&#xA;    else Set {}&#xA;    endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sOTGeBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CAB1D790101" direction="return"/>
@@ -34325,7 +34325,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sOmocxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sOmodRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300DAD90157 _3ADC7B74022D3DFFC66A0368">
+          <ownedRule xmi:id="_sOmodRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300DAD90157 _3ADC7B74022D3DFFC66A0368">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sOmodhTaEdqZu-3Jy1-uYg" body="result = (self.aggregation = #composite)" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sOmodBTaEdqZu-3Jy1-uYg" direction="return">
@@ -34342,7 +34342,7 @@
           <ownedRule xmi:id="_sOmofxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300DC81002E">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sOmogBTaEdqZu-3Jy1-uYg" body="redefinee.isRedefinitionContextValid(self)" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_sOmogRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300DC81002E">
+          <ownedRule xmi:id="_sOmogRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300DC81002E">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sOmoghTaEdqZu-3Jy1-uYg" body="result = redefinee.oclIsKindOf(Property) and &#xA;  let prop : Property = redefinee.oclAsType(Property) in &#xA;  (prop.type.conformsTo(self.type) and &#xA;  ((prop.lowerBound()->notEmpty() and self.lowerBound()->notEmpty()) implies prop.lowerBound() >= self.lowerBound()) and &#xA;  ((prop.upperBound()->notEmpty() and self.upperBound()->notEmpty()) implies prop.lowerBound() &lt;= self.lowerBound()) and &#xA;  (self.isDerived implies prop.isDerived) and&#xA;  (self.isComposite implies prop.isComposite))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sOmofRTaEdqZu-3Jy1-uYg" direction="return">
@@ -34357,7 +34357,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sOvyVRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sOvyVxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300DCB40399">
+          <ownedRule xmi:id="_sOvyVxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300DCB40399">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sOvyWBTaEdqZu-3Jy1-uYg" body="result = if association->notEmpty()&#xA;then association.endType-type&#xA;else if classifier->notEmpty() then Set{classifier} else Set{} endif&#xA;endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sOvyVhTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3E5920C2014E" direction="return">
@@ -34371,7 +34371,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sO5jURTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sO5jUxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300DCD60222">
+          <ownedRule xmi:id="_sO5jUxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300DCD60222">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sO5jVBTaEdqZu-3Jy1-uYg" body="result = not classifier->isEmpty() or association.owningAssociation.navigableOwnedEnd->includes(self)" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sO5jUhTaEdqZu-3Jy1-uYg" direction="return">
@@ -34554,7 +34554,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sPMeQRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sPMeQxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D8490128 _3ADC7B74022D3E04B1B500F0">
+          <ownedRule xmi:id="_sPMeQxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D8490128 _3ADC7B74022D3E04B1B500F0">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sPMeRBTaEdqZu-3Jy1-uYg" body="result = if returnResult()->notEmpty() then returnResult()->any().isOrdered else false endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sPMeQhTaEdqZu-3Jy1-uYg" direction="return">
@@ -34568,7 +34568,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sPMeShTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sPMeTBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D859009C _3ADC7B74022D3E04B1BD0137">
+          <ownedRule xmi:id="_sPMeTBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D859009C _3ADC7B74022D3E04B1BD0137">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sPMeTRTaEdqZu-3Jy1-uYg" body="result = if returnResult()->notEmpty() then returnResult()->any().isUnique else true endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sPMeSxTaEdqZu-3Jy1-uYg" direction="return">
@@ -34585,7 +34585,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sPMeUxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sPMeVxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D86401A5 _3ADC7B74022D3E04B1CF009D">
+          <ownedRule xmi:id="_sPMeVxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D86401A5 _3ADC7B74022D3E04B1CF009D">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sPMeWBTaEdqZu-3Jy1-uYg" body="result = if returnResult()->notEmpty() then returnResult()->any().lower else Set{} endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sPMeVBTaEdqZu-3Jy1-uYg" direction="return">
@@ -34602,7 +34602,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sPMeXhTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sPMeYhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D86A03D8 _3ADC7B74022D3E04B1C20171">
+          <ownedRule xmi:id="_sPMeYhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D86A03D8 _3ADC7B74022D3E04B1C20171">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sPMeYxTaEdqZu-3Jy1-uYg" body="result = if returnResult()->notEmpty() then returnResult()->any().upper else Set{} endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sPMeXxTaEdqZu-3Jy1-uYg" direction="return">
@@ -34616,7 +34616,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sPWPQRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sPWPQxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D86F0138 _3ADC7B74022D3E0282460399">
+          <ownedRule xmi:id="_sPWPQxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D86F0138 _3ADC7B74022D3E0282460399">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sPWPRBTaEdqZu-3Jy1-uYg" body="result = if returnResult()->notEmpty() then returnResult()->any().type else Set{} endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sPWPQhTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3E5920C2014E" direction="return"/>
@@ -34630,7 +34630,7 @@
           <ownedRule xmi:id="_sPWPVhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D9160213">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sPWPVxTaEdqZu-3Jy1-uYg" body="redefinee.isRedefinitionContextValid(self)" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_sPWPWBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D9160213">
+          <ownedRule xmi:id="_sPWPWBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D9160213">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sPWPWRTaEdqZu-3Jy1-uYg" body="result = (redefinee.oclIsKindOf(Operation) and&#xA;let op: Operation = redefinee.oclAsType(Operation) in&#xA;self.ownedParameter.size() = op.ownedParameter.size() and&#xA;forAll(i | op.ownedParameter[i].type.conformsTo(self.ownedParameter[i].type))&#xA;)" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sPWPVBTaEdqZu-3Jy1-uYg" direction="return">
@@ -34645,7 +34645,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sPWPXxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sPWPYRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D941000F">
+          <ownedRule xmi:id="_sPWPYRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D941000F">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sPWPYhTaEdqZu-3Jy1-uYg" body="result = ownedParameter->select (par | par.direction = #return)" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sPWPYBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CAB0B3D0362" direction="return">
@@ -34819,7 +34819,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sPyUOhTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sPyUPBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300CCCA006D _3ADC7B74022D3D51535A0358">
+          <ownedRule xmi:id="_sPyUPBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300CCCA006D _3ADC7B74022D3D51535A0358">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sPyUPRTaEdqZu-3Jy1-uYg" body="result = self.memberEnd->collect(e | e.type)" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sPyUOxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3E5920C2014E" isOrdered="true" direction="return">
@@ -34915,7 +34915,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sQF2KhTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sQF2LhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D74101E4 _3ADC7B74022D3DDD06680179">
+          <ownedRule xmi:id="_sQF2LhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D74101E4 _3ADC7B74022D3DDD06680179">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sQF2LxTaEdqZu-3Jy1-uYg" body="result = self.importMembers(self.elementImport.importedElement.asSet()-&#xA;>union(self.packageImport.importedPackage->collect(p | p.visibleMembers())))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sQF2KxTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CB1F3A0024D" direction="return">
@@ -34929,7 +34929,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sQF2NRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sQF2OBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D755007D">
+          <ownedRule xmi:id="_sQF2OBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D755007D">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sQF2ORTaEdqZu-3Jy1-uYg" body="result = if self.ownedMember ->includes(element)&#xA;then Set{}->include(element.name)&#xA;else let elementImports: ElementImport = self.elementImport->select(ei | ei.importedElement = element) in&#xA;  if elementImports->notEmpty()&#xA;  then elementImports->collect(el | el.getName())&#xA;  else self.packageImport->select(pi | pi.importedPackage.visibleMembers()->includes(element))-> collect(pi | pi.importedPackage.getNamesOfMember(element))&#xA;  endif&#xA;endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sQF2NhTaEdqZu-3Jy1-uYg" direction="return">
@@ -34946,7 +34946,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sQF2PxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sQF2QRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D77C029F">
+          <ownedRule xmi:id="_sQF2QRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D77C029F">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sQF2QhTaEdqZu-3Jy1-uYg" body="result = self.member->forAll( memb |&#xA;self.member->excluding(memb)->forAll(other |&#xA;memb.isDistinguishableFrom(other, self)))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sQF2QBTaEdqZu-3Jy1-uYg" direction="return">
@@ -34960,7 +34960,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sQF2SBTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sQPAEBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D785034B">
+          <ownedRule xmi:id="_sQPAEBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D785034B">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sQPAERTaEdqZu-3Jy1-uYg" body="result = self.excludeCollisions(imps)->select(imp | self.ownedMember->forAll(mem |&#xA;mem.imp.isDistinguishableFrom(mem, self)))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sQF2SRTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CB1F3A0024D" direction="return">
@@ -34975,7 +34975,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sQPAFxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sQPAGhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D7890261">
+          <ownedRule xmi:id="_sQPAGhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D7890261">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sQPAGxTaEdqZu-3Jy1-uYg" body="result = imps->reject(imp1 | imps.exists(imp2 | not imp1.isDistinguishableFrom(imp2, self)))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sQPAGBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CB1F3A0024D" direction="return">
@@ -34999,7 +34999,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sQYxGBTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sQYxGhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300DDB2005D">
+          <ownedRule xmi:id="_sQYxGhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300DDB2005D">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sQYxGxTaEdqZu-3Jy1-uYg" body="result = false" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sQYxGRTaEdqZu-3Jy1-uYg" direction="return">
@@ -35013,7 +35013,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sQYxIRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sQYxIxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300DDCF00EA">
+          <ownedRule xmi:id="_sQYxIxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300DDCF00EA">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sQYxJBTaEdqZu-3Jy1-uYg" body="result = Set{}" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sQYxIhTaEdqZu-3Jy1-uYg" direction="return">
@@ -35027,7 +35027,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sQYxKhTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sQYxLBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300DDE7029F">
+          <ownedRule xmi:id="_sQYxLBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300DDE7029F">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sQYxLRTaEdqZu-3Jy1-uYg" body="result = Set{}" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sQYxKxTaEdqZu-3Jy1-uYg" direction="return">
@@ -35041,7 +35041,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sQiiERTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sQiiExTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300DDFE009C">
+          <ownedRule xmi:id="_sQiiExTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300DDFE009C">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sQiiFBTaEdqZu-3Jy1-uYg" body="result = Set{}" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sQiiEhTaEdqZu-3Jy1-uYg" direction="return">
@@ -35055,7 +35055,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sQiiGhTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sQiiHBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300DE15037A">
+          <ownedRule xmi:id="_sQiiHBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300DE15037A">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sQiiHRTaEdqZu-3Jy1-uYg" body="result = Set{}" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sQiiGxTaEdqZu-3Jy1-uYg" direction="return">
@@ -35069,7 +35069,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sQiiIxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sQiiJRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300DE2C02DE">
+          <ownedRule xmi:id="_sQiiJRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300DE2C02DE">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sQiiJhTaEdqZu-3Jy1-uYg" body="result = false" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sQiiJBTaEdqZu-3Jy1-uYg" direction="return">
@@ -35165,7 +35165,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sQ1dAhTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sQ1dBBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D1BE0222">
+          <ownedRule xmi:id="_sQ1dBBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D1BE0222">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sQ1dBRTaEdqZu-3Jy1-uYg" body="result = true" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sQ1dAxTaEdqZu-3Jy1-uYg" direction="return">
@@ -35179,7 +35179,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sQ1dCxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sQ1dDRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300D1CE0271">
+          <ownedRule xmi:id="_sQ1dDRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300D1CE0271">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sQ1dDhTaEdqZu-3Jy1-uYg" body="result = value" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sQ1dDBTaEdqZu-3Jy1-uYg" direction="return">
@@ -35213,7 +35213,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sQ1dHRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sQ1dIBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300DD8D001F">
+          <ownedRule xmi:id="_sQ1dIBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300DD8D001F">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sQ1dIRTaEdqZu-3Jy1-uYg" body="result = false" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sQ1dHhTaEdqZu-3Jy1-uYg" direction="return">
@@ -35325,7 +35325,7 @@
           <ownedRule xmi:id="_sKuOARTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300DE4E0167">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sKuOAhTaEdqZu-3Jy1-uYg" body="pre: not vis->includes(#protected) and not vis->includes(#package)" language="OCL"/>
           </ownedRule>
-          <ownedRule xmi:id="_sKuOAxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300DE4E0167">
+          <ownedRule xmi:id="_sKuOAxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300DE4E0167">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sKuOBBTaEdqZu-3Jy1-uYg" body="result = if vis->includes(#public) then #public else #private endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sKuN_xTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CAAF25600F8" direction="return"/>
@@ -37720,7 +37720,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_saXzihTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_saXzjBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300B44A004E">
+          <ownedRule xmi:id="_saXzjBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300B44A004E">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_saXzjRTaEdqZu-3Jy1-uYg" body="result = memberEnd->union ( self.parents ()->collect (p | p.allConnections () )" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_saXzixTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CC0DAE103AD" direction="return">
@@ -42899,7 +42899,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_saqufxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_saqugRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300E4980280">
+          <ownedRule xmi:id="_saqugRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300E4980280">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_saqughTaEdqZu-3Jy1-uYg" body="result = (classifier.clientDependency->&#xA;select(dependency|dependency.oclIsKindOf(Realization) and dependency.supplier.oclIsKindOf(Interface)))->&#xA;collect(dependency|dependency.client)" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_saqugBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3342A195014D" direction="return">
@@ -42914,7 +42914,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_saquiBTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_saquihTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300E4AF032C">
+          <ownedRule xmi:id="_saquihTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300E4AF032C">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_saquixTaEdqZu-3Jy1-uYg" body="result = (classifier.supplierDependency->&#xA;select(dependency|dependency.oclIsKindOf(Usage) and dependency.supplier.oclIsKindOf(interface)))->&#xA;collect(dependency|dependency.supplier)" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_saquiRTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3342A195014D" direction="return">
@@ -42927,7 +42927,7 @@
           <eAnnotations xmi:id="_u67fcDZ-Edqq1tCaRkgBQQ" source="appliedStereotypes">
             <contents xmi:type="Ecore_0:Ecore__EOperation" xmi:id="_u67fcTZ-Edqq1tCaRkgBQQ" operationName="getRequireds"/>
           </eAnnotations>
-          <ownedRule xmi:id="_YjOdoDZ-Edqq1tCaRkgBQQ" constrainedElement="_xc4UQDZ9Edqq1tCaRkgBQQ">
+          <ownedRule xmi:id="_YjOdoDZ-Edqq1tCaRkgBQQ" name="spec" constrainedElement="_xc4UQDZ9Edqq1tCaRkgBQQ">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_YjOdoTZ-Edqq1tCaRkgBQQ" body="result = let usedInterfaces = UsedInterfaces(self) and&#xD;&#xA;  let realizingClassifierUsedInterfaces = UsedInterfaces(self.realizingClassifier) and&#xD;&#xA;  let typesOfUsedPorts = self.ownedPort.required in&#xD;&#xA;    ((usedInterfaces->union(realizingClassifierUsedInterfaces))->&#xD;&#xA;      union(typesOfUsedPorts))->asSet()" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_4GmaQDZ9Edqq1tCaRkgBQQ" type="_3ADC7B74022D3342A195014D" direction="return">
@@ -42939,7 +42939,7 @@
           <eAnnotations xmi:id="_MDXOMDZ_Edqq1tCaRkgBQQ" source="appliedStereotypes">
             <contents xmi:type="Ecore_0:Ecore__EOperation" xmi:id="_MDXOMTZ_Edqq1tCaRkgBQQ" operationName="getProvideds"/>
           </eAnnotations>
-          <ownedRule xmi:id="_-L2r0DZ-Edqq1tCaRkgBQQ" constrainedElement="_2cFjwDZ-Edqq1tCaRkgBQQ">
+          <ownedRule xmi:id="_-L2r0DZ-Edqq1tCaRkgBQQ" name="spec" constrainedElement="_2cFjwDZ-Edqq1tCaRkgBQQ">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_-L2r0TZ-Edqq1tCaRkgBQQ" body="result = let implementedInterfaces = self.implementation->collect(impl|impl.contract) and&#xD;&#xA;  let realizedInterfaces = RealizedInterfaces(self) and&#xD;&#xA;  let realizingClassifierInterfaces = RealizedInterfaces(self.realizingClassifier) and&#xD;&#xA;  let typesOfRequiredPorts = self.ownedPort.provided in&#xD;&#xA;    (((implementedInterfaces->union(realizedInterfaces)->union(realizingClassifierInterfaces))->&#xD;&#xA;      union(typesOfRequiredPorts))->asSet()" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_5L7OIDZ-Edqq1tCaRkgBQQ" type="_3ADC7B74022D3342A195014D" direction="return">
@@ -47172,7 +47172,7 @@
           <eAnnotations xmi:id="_B6H_gEb1Edq0rbStTpEubg" source="appliedStereotypes">
             <contents xmi:type="Ecore_0:Ecore__EOperation" xmi:id="_B6H_gUb1Edq0rbStTpEubg" operationName="getDeployedElements"/>
           </eAnnotations>
-          <ownedRule xmi:id="_D-cnsEb1Edq0rbStTpEubg" constrainedElement="_xZVGsEb0Edq0rbStTpEubg">
+          <ownedRule xmi:id="_D-cnsEb1Edq0rbStTpEubg" name="spec" constrainedElement="_xZVGsEb0Edq0rbStTpEubg">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_D-cnsUb1Edq0rbStTpEubg" body="result = ((self.deployment->collect(deployedArtifact))->collect(manifestation))->collect(utilizedElement)" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_7Sx4EEb0Edq0rbStTpEubg" type="_3ADC7B74022D3CB1F3A0024D" direction="return">
@@ -55351,7 +55351,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_seih7BTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="__Y_TwDXCEdqtg44TD97UDQ" constrainedElement="_3ADC7B74022D4300F7C400FA">
+          <ownedRule xmi:id="__Y_TwDXCEdqtg44TD97UDQ" name="spec" constrainedElement="_3ADC7B74022D4300F7C400FA">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="__Y_TwTXCEdqtg44TD97UDQ" body="true" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_seih7RTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CAAECC502DA" direction="return"/>
@@ -55364,7 +55364,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_seih9RTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_seih-RTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300F7D601A5">
+          <ownedRule xmi:id="_seih-RTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300F7D601A5">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_seih-hTaEdqZu-3Jy1-uYg" body="result = if (s2 = s1) then&#xA;true&#xA;else if (s1.container->isEmpty) then&#xA;true&#xA;else if (s2.container->isEmpty) then&#xA;false&#xA;else (ancestor (s1, s2.container))" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_seih9hTaEdqZu-3Jy1-uYg" direction="return">
@@ -55380,7 +55380,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sesS0RTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sesS0xTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300F7ED008C">
+          <ownedRule xmi:id="_sesS0xTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300F7ED008C">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sesS1BTaEdqZu-3Jy1-uYg" body="result = true" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sesS0hTaEdqZu-3Jy1-uYg" direction="return">
@@ -55396,7 +55396,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sesS2hTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_6iv9kDXCEdqtg44TD97UDQ" constrainedElement="_3ADC7B74022D4300F81300AB">
+          <ownedRule xmi:id="_6iv9kDXCEdqtg44TD97UDQ" name="spec" constrainedElement="_3ADC7B74022D4300F81300AB">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_6iv9kTXCEdqtg44TD97UDQ" body="result = true" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sesS2xTaEdqZu-3Jy1-uYg" direction="return">
@@ -55619,7 +55619,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_se2D7BTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_se2D7hTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300F49E035B _3ADC7B74022D3C613764000E">
+          <ownedRule xmi:id="_se2D7hTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300F49E035B _3ADC7B74022D3C613764000E">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_se2D7xTaEdqZu-3Jy1-uYg" body="result = region.isEmpty()" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_se2D7RTaEdqZu-3Jy1-uYg" direction="return">
@@ -55633,7 +55633,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_se2D9RTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_se2D9xTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300F4B2003E _3ADC7B74022D3C612C28022F">
+          <ownedRule xmi:id="_se2D9xTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300F4B2003E _3ADC7B74022D3C612C28022F">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_se2D-BTaEdqZu-3Jy1-uYg" body="result = region.notEmpty()" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_se2D9hTaEdqZu-3Jy1-uYg" direction="return">
@@ -55647,7 +55647,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_se_NwRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_se_NwxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300F4D102BF _3ADC7B74022D3C6136B401B9">
+          <ownedRule xmi:id="_se_NwxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300F4D102BF _3ADC7B74022D3C6136B401B9">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_se_NxBTaEdqZu-3Jy1-uYg" body="result = (region->size () > 1)" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_se_NwhTaEdqZu-3Jy1-uYg" direction="return">
@@ -55661,7 +55661,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_se_NyhTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_se_NzBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300F4EE033C _3ADC7B74022D3C678F5300CA">
+          <ownedRule xmi:id="_se_NzBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300F4EE033C _3ADC7B74022D3C678F5300CA">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_se_NzRTaEdqZu-3Jy1-uYg" body="result = submachine.notEmpty()" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_se_NyxTaEdqZu-3Jy1-uYg" direction="return">
@@ -55675,7 +55675,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_se_N0xTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_se_N1RTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300F510029F _3ADC7B74022D3D73412C0329">
+          <ownedRule xmi:id="_se_N1RTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300F510029F _3ADC7B74022D3D73412C0329">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_se_N1hTaEdqZu-3Jy1-uYg" body="result = let sm = containingStateMachine() in&#xA;if sm.context->isEmpty() or sm.general->notEmpty() then&#xA;sm&#xA;else&#xA;sm.context&#xA;endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_se_N1BTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CAAECE80199" direction="return"/>
@@ -55686,7 +55686,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sfI-wRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sfI-wxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300F70A0148">
+          <ownedRule xmi:id="_sfI-wxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300F70A0148">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sfI-xBTaEdqZu-3Jy1-uYg" body="result = true" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sfI-whTaEdqZu-3Jy1-uYg" direction="return">
@@ -55701,7 +55701,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sfI-yhTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sfI-zRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300F719035B">
+          <ownedRule xmi:id="_sfI-zRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300F719035B">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sfI-zhTaEdqZu-3Jy1-uYg" body="result = true" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sfI-yxTaEdqZu-3Jy1-uYg" direction="return">
@@ -55716,7 +55716,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sfI-1BTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sfI-1hTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300F7320399">
+          <ownedRule xmi:id="_sfI-1hTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300F7320399">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sfI-1xTaEdqZu-3Jy1-uYg" body="result = container.containingStateMachine()" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sfI-1RTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D327D9E410186" direction="return"/>
@@ -55875,7 +55875,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sflqzBTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sflqzhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300F8FC003E _3ADC7B74022D3D73416A0300">
+          <ownedRule xmi:id="_sflqzhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300F8FC003E _3ADC7B74022D3D73416A0300">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sflqzxTaEdqZu-3Jy1-uYg" body="result = let sm = containingStateMachine() in&#xA;if sm.context->isEmpty() or sm.general->notEmpty() then&#xA;sm&#xA;else&#xA;sm.context&#xA;endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sflqzRTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CAAECE80199" direction="return"/>
@@ -55886,7 +55886,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sflq1RTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sflq2BTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300F9C70261">
+          <ownedRule xmi:id="_sflq2BTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300F9C70261">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sflq2RTaEdqZu-3Jy1-uYg" body="result = (redefinee.oclIsKindOf(Transition) and&#xD;&#xA;  let trans: Transition = redefinee.oclAsType(Transition) in&#xD;&#xA;    (source() = trans.source() and trigger() = tran.trigger())" language="OCL"/>
           </ownedRule>
           <ownedRule xmi:id="_tZ6x8DZ5Edqq1tCaRkgBQQ" constrainedElement="_3ADC7B74022D4300F9C70261">
@@ -55904,7 +55904,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sfu0oRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sfu0oxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300F9D9006D">
+          <ownedRule xmi:id="_sfu0oxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300F9D9006D">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sfu0pBTaEdqZu-3Jy1-uYg" body="result = container.containingStateMachine()" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sfu0ohTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D327D9E410186" direction="return"/>
@@ -55950,7 +55950,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sfu0sBTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sfu0shTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300FA66007D">
+          <ownedRule xmi:id="_sfu0shTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300FA66007D">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sfu0sxTaEdqZu-3Jy1-uYg" body="result = if not container->isEmpty()&#xA;then&#xA;-- the container is a region&#xA;container.containingStateMachine()&#xA;else if (oclIsKindOf(Pseudostate)) then&#xA;-- entry or exit point?&#xA;if (kind = #entryPoint) or (kind = #exitPoint) then&#xA;stateMachine&#xA;else if (oclIsKindOf(ConnectionPointReference)) then&#xA;state.containingStateMachine() -- no other valid cases possible&#xA;endif&#xA;" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sfu0sRTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D327D9E410186" direction="return"/>
@@ -56272,7 +56272,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sgx9nBTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sgx9nhTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300F35D02DE _3ADC7B74022D3D733F2200E4">
+          <ownedRule xmi:id="_sgx9nhTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300F35D02DE _3ADC7B74022D3D733F2200E4">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sgx9nxTaEdqZu-3Jy1-uYg" body="result = let sm = containingStateMachine() in&#xA;if sm.context->isEmpty() or sm.general->notEmpty() then&#xA;sm&#xA;else&#xA;sm.context&#xA;endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sgx9nRTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3CAAECE80199" direction="return"/>
@@ -56283,7 +56283,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sgx9pRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sgx9pxTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300F3AA01D4">
+          <ownedRule xmi:id="_sgx9pxTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300F3AA01D4">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sgx9qBTaEdqZu-3Jy1-uYg" body="result = true" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sgx9phTaEdqZu-3Jy1-uYg" direction="return">
@@ -56298,7 +56298,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sg7HcRTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sg7HdBTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300F3BD001F">
+          <ownedRule xmi:id="_sg7HdBTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300F3BD001F">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sg7HdRTaEdqZu-3Jy1-uYg" body="result = true" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sg7HchTaEdqZu-3Jy1-uYg" direction="return">
@@ -56313,7 +56313,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sg7HexTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sg7HfRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300F3CF001F">
+          <ownedRule xmi:id="_sg7HfRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300F3CF001F">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sg7HfhTaEdqZu-3Jy1-uYg" body="result = if stateMachine->isEmpty() &#xA;then&#xA;state.containingStateMachine()&#xA;else&#xA;stateMachine&#xA;endif" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sg7HfBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D327D9E410186" direction="return"/>
@@ -57501,7 +57501,7 @@
               <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sjKjQxTaEdqZu-3Jy1-uYg"/>
             </eAnnotations>
           </ownedComment>
-          <ownedRule xmi:id="_sjKjRRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4300FBA7000F">
+          <ownedRule xmi:id="_sjKjRRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4300FBA7000F">
             <specification xmi:type="uml:OpaqueExpression" xmi:id="_sjKjRhTaEdqZu-3Jy1-uYg" body="result = if not stateMachine->isEmpty() then&#xA;oclIsTypeOf(ProtocolStateMachine)&#xA;else if not state->isEmpty() then&#xA;state.container.belongsToPSM ()&#xA;else false" language="OCL"/>
           </ownedRule>
           <returnResult xmi:id="_sjKjRBTaEdqZu-3Jy1-uYg" direction="return">
@@ -58525,7 +58525,7 @@
             <contents xmi:type="Default_0:Default__Documentation" xmi:id="_sdgACxTaEdqZu-3Jy1-uYg"/>
           </eAnnotations>
         </ownedComment>
-        <ownedRule xmi:id="_sdgADRTaEdqZu-3Jy1-uYg" constrainedElement="_3ADC7B74022D4301E2AD038A">
+        <ownedRule xmi:id="_sdgADRTaEdqZu-3Jy1-uYg" name="spec" constrainedElement="_3ADC7B74022D4301E2AD038A">
           <specification xmi:type="uml:OpaqueExpression" xmi:id="_sdgADhTaEdqZu-3Jy1-uYg" body="result = self.include->union(self.include->collect(in | in.allIncludedUseCases()))" language="OCL"/>
         </ownedRule>
         <returnResult xmi:id="_sdgADBTaEdqZu-3Jy1-uYg" type="_3ADC7B74022D3C1F02440042" direction="return">
author	khussey	2006-05-13 03:10:58 +0000
committer	khussey	2006-05-13 03:10:58 +0000
commit	b9dfc3493e4d67a23813b7a449fd988662d0b26f (patch)
tree	e2e304cb9a4f4464e78e1a845c631ea58ed62ef7 /plugins
parent	74d693a22406c2dc84277aed3021b76ce5562cd3 (diff)
download	org.eclipse.uml2.test-b9dfc3493e4d67a23813b7a449fd988662d0b26f.tar.gz org.eclipse.uml2.test-b9dfc3493e4d67a23813b7a449fd988662d0b26f.tar.xz org.eclipse.uml2.test-b9dfc3493e4d67a23813b7a449fd988662d0b26f.zip