1 files changed, 48 insertions, 0 deletions

diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/realisticModel.xmi b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/realisticModel.xmi
new file mode 100644
index 00000000..534191a3
--- /dev/null
+++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/realisticModel.xmi
@@ -0,0 +1,48 @@
+<?xml version="1.0" encoding="UTF-8"?>

+<hu.bme.mit.inf.yakindumm:Statechart

+    xmi:version="2.0"

+    xmlns:xmi="http://www.omg.org/XMI"

+    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"

+    xmlns:hu.bme.mit.inf.yakindumm="hu.bme.mit.inf.yakindumm"

+    xsi:schemaLocation="hu.bme.mit.inf.yakindumm ../../hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.ecore">

+  <regions>

+    <vertices

+        xsi:type="hu.bme.mit.inf.yakindumm:Entry">

+      <outgoingTransitions

+          target="//@regions.0/@vertices.1"/>

+    </vertices>

+    <vertices

+        xsi:type="hu.bme.mit.inf.yakindumm:State"

+        incomingTransitions="//@regions.0/@vertices.0/@outgoingTransitions.0 //@regions.0/@vertices.2/@outgoingTransitions.0 //@regions.0/@vertices.4/@outgoingTransitions.0">

+      <outgoingTransitions

+          target="//@regions.0/@vertices.2"/>

+    </vertices>

+    <vertices

+        xsi:type="hu.bme.mit.inf.yakindumm:State"

+        incomingTransitions="//@regions.0/@vertices.1/@outgoingTransitions.0 //@regions.0/@vertices.3/@outgoingTransitions.0">

+      <outgoingTransitions

+          target="//@regions.0/@vertices.1"/>

+      <outgoingTransitions

+          target="//@regions.0/@vertices.3"/>

+      <outgoingTransitions

+          target="//@regions.0/@vertices.4"/>

+      <outgoingTransitions

+          target="//@regions.0/@vertices.5"/>

+    </vertices>

+    <vertices

+        xsi:type="hu.bme.mit.inf.yakindumm:State"

+        incomingTransitions="//@regions.0/@vertices.2/@outgoingTransitions.1">

+      <outgoingTransitions

+          target="//@regions.0/@vertices.2"/>

+    </vertices>

+    <vertices

+        xsi:type="hu.bme.mit.inf.yakindumm:State"

+        incomingTransitions="//@regions.0/@vertices.2/@outgoingTransitions.2">

+      <outgoingTransitions

+          target="//@regions.0/@vertices.1"/>

+    </vertices>

+    <vertices

+        xsi:type="hu.bme.mit.inf.yakindumm:State"

+        incomingTransitions="//@regions.0/@vertices.2/@outgoingTransitions.3"/>

+  </regions>

+</hu.bme.mit.inf.yakindumm:Statechart>