From 991dacefdb8f78fccc359d3d2ec836dc2e7fc80a Mon Sep 17 00:00:00 2001
From: 20001LastOrder <boqi.chen@mail.mcgill.ca>
Date: Wed, 10 Jul 2019 10:56:00 -0400
Subject: measurements for the different violation types, comparison for
 differenct generation config

---
 .../data/Yakinduum/mpc_rep/R_2016324.xmi           | 128 +++++++++++++++++++++
 1 file changed, 128 insertions(+)
 create mode 100644 Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakinduum/mpc_rep/R_2016324.xmi

(limited to 'Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakinduum/mpc_rep/R_2016324.xmi')

diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakinduum/mpc_rep/R_2016324.xmi b/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakinduum/mpc_rep/R_2016324.xmi
new file mode 100644
index 00000000..493a1731
--- /dev/null
+++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakinduum/mpc_rep/R_2016324.xmi
@@ -0,0 +1,128 @@
+<?xml version="1.0" encoding="ASCII"?>
+<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">
+  <regions>
+    <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@outgoingTransitions.0 //@regions.0/@vertices.1/@outgoingTransitions.0">
+      <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.0"/>
+      <regions>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.2">
+          <regions>
+            <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry">
+              <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.1"/>
+            </vertices>
+            <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.0/@outgoingTransitions.0">
+              <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.3"/>
+              <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.2"/>
+            </vertices>
+            <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.3/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.1">
+              <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.3"/>
+              <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/>
+            </vertices>
+            <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.2/@outgoingTransitions.0">
+              <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.2"/>
+              <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/>
+            </vertices>
+          </regions>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.11/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.11/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.12/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.12/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.2/@outgoingTransitions.2">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.12"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.11"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.4/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.7/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.13/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.7/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.13/@outgoingTransitions.1">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.13"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.7"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.10/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.10/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.6/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.5/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.6/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.2/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.3/@outgoingTransitions.1">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.4"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.10"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.6"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.8/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.9/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.8/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.3/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.9/@outgoingTransitions.1">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.8"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.2"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.9"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.3/@outgoingTransitions.2">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.2/@outgoingTransitions.1">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.2"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.2"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.4/@outgoingTransitions.0">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.4"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.4"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.4/@outgoingTransitions.2">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.4"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.4"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.3/@outgoingTransitions.1">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.1">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.0">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.2/@outgoingTransitions.0">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.2"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.2"/>
+        </vertices>
+      </regions>
+    </vertices>
+    <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry">
+      <outgoingTransitions target="//@regions.0/@vertices.0"/>
+    </vertices>
+    <vertices xsi:type="hu.bme.mit.inf.yakindumm:State">
+      <outgoingTransitions target="//@regions.0/@vertices.0"/>
+      <regions>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry" incomingTransitions="//@regions.0/@vertices.0/@outgoingTransitions.0">
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.1"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.0/@outgoingTransitions.0">
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.2"/>
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.3"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.4/@outgoingTransitions.0 //@regions.0/@vertices.2/@regions.0/@vertices.9/@outgoingTransitions.0 //@regions.0/@vertices.2/@regions.0/@vertices.1/@outgoingTransitions.0 //@regions.0/@vertices.2/@regions.0/@vertices.9/@outgoingTransitions.1">
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.8"/>
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.10"/>
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.4"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.8/@outgoingTransitions.0 //@regions.0/@vertices.2/@regions.0/@vertices.1/@outgoingTransitions.1 //@regions.0/@vertices.2/@regions.0/@vertices.7/@outgoingTransitions.0 //@regions.0/@vertices.2/@regions.0/@vertices.8/@outgoingTransitions.1">
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.7"/>
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.9"/>
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.10"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.2/@outgoingTransitions.2">
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.2"/>
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.5"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.4/@outgoingTransitions.1"/>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.7/@outgoingTransitions.1"/>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.3/@outgoingTransitions.0">
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.3"/>
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.6"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.2/@outgoingTransitions.0">
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.3"/>
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.3"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.3/@outgoingTransitions.1">
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.2"/>
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.2"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.3/@outgoingTransitions.2 //@regions.0/@vertices.2/@regions.0/@vertices.2/@outgoingTransitions.1"/>
+      </regions>
+    </vertices>
+  </regions>
+</hu.bme.mit.inf.yakindumm:Statechart>
-- 
cgit v1.2.3-54-g00ecf