[2092] Generate ecores and genmodels with viatra annotations

Bug: 2092 Change-Id: I07f5b132c88c676831079516a3e9cfc05e7108c4 Signed-off-by: Philippe DUL <philippe.dul@thalesgroup.com>
eclipse-capella · Aug 31, 2018 · 47ad93d · 47ad93d
1 parent 7bde53b
commit 47ad93d
Show file tree

Hide file tree

Showing 17 changed files with 4,797 additions and 3,435 deletions.
diff --git a/common/plugins/org.polarsys.capella.common.data.activity.gen/model/Activity.ecore b/common/plugins/org.polarsys.capella.common.data.activity.gen/model/Activity.ecore
@@ -112,7 +112,10 @@
     <eStructuralFeatures xsi:type="ecore:EReference" name="ownedStructuredNodes" upperBound="-1"
         eType="#//StructuredActivityNode" changeable="false" volatile="true" transient="true"
         derived="true">
-      <eAnnotations source="http://www.polarsys.org/capella/derived"/>
+      <eAnnotations source="http://www.polarsys.org/capella/derived">
+        <details key="viatra.variant" value="alias"/>
+        <details key="viatra.expression" value="ownedGroups"/>
+      </eAnnotations>
       <eAnnotations source="http://www.polarsys.org/kitalpha/ecore/documentation">
         <details key="description" value="Nodes coordinated by the activity&#xD;&#xA;[source: UML superstructure v2.2]"/>
         <details key="constraints" value="none"/>
@@ -434,7 +437,10 @@
     </eStructuralFeatures>
     <eStructuralFeatures xsi:type="ecore:EReference" name="inActivityPartition" eType="#//ActivityPartition"
         changeable="false" volatile="true" transient="true" derived="true">
-      <eAnnotations source="http://www.polarsys.org/capella/derived"/>
+      <eAnnotations source="http://www.polarsys.org/capella/derived">
+        <details key="viatra.variant" value="opposite"/>
+        <details key="viatra.expression" value="ownedEdges"/>
+      </eAnnotations>
       <eAnnotations source="http://www.polarsys.org/kitalpha/ecore/documentation">
         <details key="description" value="Partitions containing the edge&#xD;&#xA;[source: UML superstructure v2.2]"/>
         <details key="constraints" value="none"/>
@@ -449,7 +455,10 @@
     <eStructuralFeatures xsi:type="ecore:EReference" name="inInterruptibleRegion"
         eType="#//InterruptibleActivityRegion" changeable="false" volatile="true"
         transient="true" derived="true">
-      <eAnnotations source="http://www.polarsys.org/capella/derived"/>
+      <eAnnotations source="http://www.polarsys.org/capella/derived">
+        <details key="viatra.variant" value="opposite"/>
+        <details key="viatra.expression" value="ownedEdges"/>
+      </eAnnotations>
       <eAnnotations source="http://www.polarsys.org/kitalpha/ecore/documentation">
         <details key="description" value="(automatically computed) Region containing this edge&#xD;&#xA;[source: Capella study]"/>
         <details key="constraints" value="none"/>
@@ -463,7 +472,10 @@
     </eStructuralFeatures>
     <eStructuralFeatures xsi:type="ecore:EReference" name="inStructuredNode" eType="#//StructuredActivityNode"
         changeable="false" volatile="true" transient="true" derived="true">
-      <eAnnotations source="http://www.polarsys.org/capella/derived"/>
+      <eAnnotations source="http://www.polarsys.org/capella/derived">
+        <details key="viatra.variant" value="opposite"/>
+        <details key="viatra.expression" value="ownedEdges"/>
+      </eAnnotations>
       <eAnnotations source="http://www.polarsys.org/kitalpha/ecore/documentation">
         <details key="description" value="Structured activity node containing the edge&#xD;&#xA;[source: UML superstructure v2.2]"/>
         <details key="constraints" value="none"/>
@@ -717,7 +729,10 @@
     </eStructuralFeatures>
     <eStructuralFeatures xsi:type="ecore:EReference" name="superPartition" eType="#//ActivityPartition"
         changeable="false" volatile="true" transient="true" derived="true">
-      <eAnnotations source="http://www.polarsys.org/capella/derived"/>
+      <eAnnotations source="http://www.polarsys.org/capella/derived">
+        <details key="viatra.variant" value="alias"/>
+        <details key="viatra.expression" value="superGroup"/>
+      </eAnnotations>
       <eAnnotations source="http://www.polarsys.org/kitalpha/ecore/documentation">
         <details key="description" value="Partition immediately containing the partition.&#xD;&#xA;[source: UML superstructure v2.2]"/>
         <details key="constraints" value="none"/>
@@ -732,7 +747,10 @@
     <eStructuralFeatures xsi:type="ecore:EReference" name="subPartitions" upperBound="-1"
         eType="#//ActivityPartition" changeable="false" volatile="true" transient="true"
         derived="true">
-      <eAnnotations source="http://www.polarsys.org/capella/derived"/>
+      <eAnnotations source="http://www.polarsys.org/capella/derived">
+        <details key="viatra.variant" value="alias"/>
+        <details key="viatra.expression" value="subGroups"/>
+      </eAnnotations>
       <eAnnotations source="http://www.polarsys.org/kitalpha/ecore/documentation">
         <details key="description" value="Partitions immediately contained in the partition.&#xD;&#xA;[source: UML superstructure v2.2]"/>
         <details key="constraints" value="none"/>
@@ -764,7 +782,10 @@
     <eStructuralFeatures xsi:type="ecore:EReference" name="realizingActivityFlows"
         upperBound="-1" eType="#//ActivityEdge" changeable="false" volatile="true"
         transient="true" derived="true">
-      <eAnnotations source="http://www.polarsys.org/capella/derived"/>
+      <eAnnotations source="http://www.polarsys.org/capella/derived">
+        <details key="viatra.variant" value="alias"/>
+        <details key="viatra.expression" value="realizations"/>
+      </eAnnotations>
       <eAnnotations source="http://www.polarsys.org/kitalpha/ecore/documentation">
         <details key="description" value="Determines which ActivityEdges will realize the specified flow.&#xD;&#xA;[source: UML superstructure v2.2]"/>
         <details key="constraints" value="none"/>
@@ -796,7 +817,10 @@
     </eAnnotations>
     <eStructuralFeatures xsi:type="ecore:EReference" name="inActivityPartition" eType="#//ActivityPartition"
         changeable="false" volatile="true" transient="true" derived="true">
-      <eAnnotations source="http://www.polarsys.org/capella/derived"/>
+      <eAnnotations source="http://www.polarsys.org/capella/derived">
+        <details key="viatra.variant" value="opposite"/>
+        <details key="viatra.expression" value="ownedNodes"/>
+      </eAnnotations>
       <eAnnotations source="http://www.polarsys.org/kitalpha/ecore/documentation">
         <details key="description" value="Partitions containing the node&#xD;&#xA;[source: UML superstructure v2.2]"/>
         <details key="constraints" value="none"/>
@@ -811,7 +835,10 @@
     <eStructuralFeatures xsi:type="ecore:EReference" name="inInterruptibleRegion"
         eType="#//InterruptibleActivityRegion" changeable="false" volatile="true"
         transient="true" derived="true">
-      <eAnnotations source="http://www.polarsys.org/capella/derived"/>
+      <eAnnotations source="http://www.polarsys.org/capella/derived">
+        <details key="viatra.variant" value="opposite"/>
+        <details key="viatra.expression" value="ownedNodes"/>
+      </eAnnotations>
       <eAnnotations source="http://www.polarsys.org/kitalpha/ecore/documentation">
         <details key="description" value="Interruptible regions containing the node&#xD;&#xA;[source: UML superstructure v2.2]"/>
         <details key="constraints" value="none"/>
@@ -825,7 +852,10 @@
     </eStructuralFeatures>
     <eStructuralFeatures xsi:type="ecore:EReference" name="inStructuredNode" eType="#//InterruptibleActivityRegion"
         changeable="false" volatile="true" transient="true" derived="true">
-      <eAnnotations source="http://www.polarsys.org/capella/derived"/>
+      <eAnnotations source="http://www.polarsys.org/capella/derived">
+        <details key="viatra.variant" value="opposite"/>
+        <details key="viatra.expression" value="ownedNodes"/>
+      </eAnnotations>
       <eAnnotations source="http://www.polarsys.org/kitalpha/ecore/documentation">
         <details key="description" value="Structured activity node containing the node&#xD;&#xA;[source: UML superstructure v2.2]"/>
         <details key="constraints" value="node"/>
@@ -850,7 +880,10 @@
         <details key="explanation" value="Derived and transient"/>
         <details key="constraints" value="none"/>
       </eAnnotations>
-      <eAnnotations source="http://www.polarsys.org/capella/derived"/>
+      <eAnnotations source="http://www.polarsys.org/capella/derived">
+        <details key="viatra.variant" value="opposite"/>
+        <details key="viatra.expression" value="source"/>
+      </eAnnotations>
       <eAnnotations source="http://www.polarsys.org/capella/semantic"/>
     </eStructuralFeatures>
     <eStructuralFeatures xsi:type="ecore:EReference" name="incoming" upperBound="-1"
@@ -866,7 +899,10 @@
         <details key="explanation" value="Derived and transient"/>
         <details key="constraints" value="none"/>
       </eAnnotations>
-      <eAnnotations source="http://www.polarsys.org/capella/derived"/>
+      <eAnnotations source="http://www.polarsys.org/capella/derived">
+        <details key="viatra.variant" value="opposite"/>
+        <details key="viatra.expression" value="target"/>
+      </eAnnotations>
       <eAnnotations source="http://www.polarsys.org/capella/semantic"/>
     </eStructuralFeatures>
   </eClassifiers>

diff --git a/common/plugins/org.polarsys.capella.common.data.core.gen/model/ModellingCore.ecore b/common/plugins/org.polarsys.capella.common.data.core.gen/model/ModellingCore.ecore
@@ -108,7 +108,10 @@
         <details key="explanation" value="Opposite reference of uml::Constraint::constrainedElement"/>
         <details key="constraints" value="Order must be computed"/>
       </eAnnotations>
-      <eAnnotations source="http://www.polarsys.org/capella/derived"/>
+      <eAnnotations source="http://www.polarsys.org/capella/derived">
+        <details key="viatra.variant" value="opposite"/>
+        <details key="viatra.expression" value="constrainedElements"/>
+      </eAnnotations>
       <eAnnotations source="http://www.polarsys.org/capella/semantic">
         <details key="excludefrom" value="xmlpivot"/>
       </eAnnotations>
@@ -245,7 +248,10 @@
       <eAnnotations source="http://www.polarsys.org/capella/semantic">
         <details key="excludefrom" value="xmlpivot"/>
       </eAnnotations>
-      <eAnnotations source="http://www.polarsys.org/capella/derived"/>
+      <eAnnotations source="http://www.polarsys.org/capella/derived">
+        <details key="viatra.variant" value="opposite"/>
+        <details key="viatra.expression" value="target"/>
+      </eAnnotations>
     </eStructuralFeatures>
     <eStructuralFeatures xsi:type="ecore:EReference" name="outgoingInformationFlows"
         upperBound="-1" eType="#//AbstractInformationFlow" changeable="false" volatile="true"
@@ -263,12 +269,18 @@
       <eAnnotations source="http://www.polarsys.org/capella/semantic">
         <details key="excludefrom" value="xmlpivot"/>
       </eAnnotations>
-      <eAnnotations source="http://www.polarsys.org/capella/derived"/>
+      <eAnnotations source="http://www.polarsys.org/capella/derived">
+        <details key="viatra.variant" value="opposite"/>
+        <details key="viatra.expression" value="source"/>
+      </eAnnotations>
     </eStructuralFeatures>
     <eStructuralFeatures xsi:type="ecore:EReference" name="informationFlows" upperBound="-1"
         eType="#//AbstractInformationFlow" changeable="false" volatile="true" transient="true"
         derived="true">
-      <eAnnotations source="http://www.polarsys.org/capella/derived"/>
+      <eAnnotations source="http://www.polarsys.org/capella/derived">
+        <details key="viatra.variant" value="patternbody"/>
+        <details key="viatra.expression" value="AbstractInformationFlow.source(target, self);&#xD;&#xA;} or {&#xD;&#xA;&#x9;AbstractInformationFlow.target(target, self);"/>
+      </eAnnotations>
       <eAnnotations source="http://www.polarsys.org/capella/MNoE/CapellaLike/Mapping">
         <details key="UML/SysML semantic equivalences" value="keyword::none"/>
         <details key="explanation" value="Derived and transient"/>
@@ -311,7 +323,10 @@
         <details key="Label" value="incomingTraces"/>
       </eAnnotations>
       <eAnnotations source="http://www.polarsys.org/capella/2007/ImpactAnalysis/Segment"/>
-      <eAnnotations source="http://www.polarsys.org/capella/derived"/>
+      <eAnnotations source="http://www.polarsys.org/capella/derived">
+        <details key="viatra.variant" value="opposite"/>
+        <details key="viatra.expression" value="targetElement"/>
+      </eAnnotations>
       <eAnnotations source="http://www.polarsys.org/kitalpha/ecore/documentation">
         <details key="description" value="the list of trace relationships pointing towards this element&#xD;&#xA;[source: Capella study]"/>
         <details key="constraints" value="none"/>
@@ -334,7 +349,10 @@
         <details key="Label" value="outgoingTraces"/>
       </eAnnotations>
       <eAnnotations source="http://www.polarsys.org/capella/2007/ImpactAnalysis/Segment"/>
-      <eAnnotations source="http://www.polarsys.org/capella/derived"/>
+      <eAnnotations source="http://www.polarsys.org/capella/derived">
+        <details key="viatra.variant" value="opposite"/>
+        <details key="viatra.expression" value="sourceElement"/>
+      </eAnnotations>
       <eAnnotations source="http://www.polarsys.org/kitalpha/ecore/documentation">
         <details key="description" value="the list of trace relationships starting from this element&#xD;&#xA;[source: Capella study]"/>
         <details key="constraints" value="none"/>
@@ -420,7 +438,10 @@
     <eStructuralFeatures xsi:type="ecore:EReference" name="abstractTypedElements"
         upperBound="-1" eType="#//AbstractTypedElement" changeable="false" volatile="true"
         transient="true" derived="true">
-      <eAnnotations source="http://www.polarsys.org/capella/derived"/>
+      <eAnnotations source="http://www.polarsys.org/capella/derived">
+        <details key="viatra.variant" value="opposite"/>
+        <details key="viatra.expression" value="abstractType"/>
+      </eAnnotations>
       <eAnnotations source="http://www.polarsys.org/kitalpha/ecore/documentation">
         <details key="description" value="the list of typed elements that reference this type&#xD;&#xA;[source: Capella study]"/>
         <details key="constraints" value="none"/>
@@ -578,7 +599,10 @@
     </eStructuralFeatures>
     <eStructuralFeatures xsi:type="ecore:EReference" name="context" eType="#//ModelElement"
         changeable="false" volatile="true" transient="true" derived="true">
-      <eAnnotations source="http://www.polarsys.org/capella/derived"/>
+      <eAnnotations source="http://www.polarsys.org/capella/derived">
+        <details key="viatra.variant" value="opposite"/>
+        <details key="viatra.expression" value="ownedConstraints"/>
+      </eAnnotations>
       <eAnnotations source="http://www.polarsys.org/kitalpha/ecore/documentation">
         <details key="description" value="Specifies the element that is the context for evaluating this constraint, which is the Constraint's parent element."/>
       </eAnnotations>