diff options
Diffstat (limited to 'Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/realisticModel.xmi')
-rw-r--r-- | Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/realisticModel.xmi | 48 |
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 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <hu.bme.mit.inf.yakindumm:Statechart | ||
3 | xmi:version="2.0" | ||
4 | xmlns:xmi="http://www.omg.org/XMI" | ||
5 | xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | ||
6 | xmlns:hu.bme.mit.inf.yakindumm="hu.bme.mit.inf.yakindumm" | ||
7 | xsi:schemaLocation="hu.bme.mit.inf.yakindumm ../../hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.ecore"> | ||
8 | <regions> | ||
9 | <vertices | ||
10 | xsi:type="hu.bme.mit.inf.yakindumm:Entry"> | ||
11 | <outgoingTransitions | ||
12 | target="//@regions.0/@vertices.1"/> | ||
13 | </vertices> | ||
14 | <vertices | ||
15 | xsi:type="hu.bme.mit.inf.yakindumm:State" | ||
16 | incomingTransitions="//@regions.0/@vertices.0/@outgoingTransitions.0 //@regions.0/@vertices.2/@outgoingTransitions.0 //@regions.0/@vertices.4/@outgoingTransitions.0"> | ||
17 | <outgoingTransitions | ||
18 | target="//@regions.0/@vertices.2"/> | ||
19 | </vertices> | ||
20 | <vertices | ||
21 | xsi:type="hu.bme.mit.inf.yakindumm:State" | ||
22 | incomingTransitions="//@regions.0/@vertices.1/@outgoingTransitions.0 //@regions.0/@vertices.3/@outgoingTransitions.0"> | ||
23 | <outgoingTransitions | ||
24 | target="//@regions.0/@vertices.1"/> | ||
25 | <outgoingTransitions | ||
26 | target="//@regions.0/@vertices.3"/> | ||
27 | <outgoingTransitions | ||
28 | target="//@regions.0/@vertices.4"/> | ||
29 | <outgoingTransitions | ||
30 | target="//@regions.0/@vertices.5"/> | ||
31 | </vertices> | ||
32 | <vertices | ||
33 | xsi:type="hu.bme.mit.inf.yakindumm:State" | ||
34 | incomingTransitions="//@regions.0/@vertices.2/@outgoingTransitions.1"> | ||
35 | <outgoingTransitions | ||
36 | target="//@regions.0/@vertices.2"/> | ||
37 | </vertices> | ||
38 | <vertices | ||
39 | xsi:type="hu.bme.mit.inf.yakindumm:State" | ||
40 | incomingTransitions="//@regions.0/@vertices.2/@outgoingTransitions.2"> | ||
41 | <outgoingTransitions | ||
42 | target="//@regions.0/@vertices.1"/> | ||
43 | </vertices> | ||
44 | <vertices | ||
45 | xsi:type="hu.bme.mit.inf.yakindumm:State" | ||
46 | incomingTransitions="//@regions.0/@vertices.2/@outgoingTransitions.3"/> | ||
47 | </regions> | ||
48 | </hu.bme.mit.inf.yakindumm:Statechart> | ||