ModelComparator/Output0.model at master · jdirocco/ModelComparator · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
<?xml version="1.0" encoding="UTF-8"?>
<umlclassdiagram:ClassDiagram xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:miniOCL="http://www.ac.uk/york/cs/miniocl/MiniOCLCS" xmlns:umlclassdiagram="http://umlclassdiagram/1.0" xsi:schemaLocation="http://www.ac.uk/york/cs/miniocl/MiniOCLCS ../../model/UMLClassDiagram.ecore#//miniOCL http://umlclassdiagram/1.0 ../../model/UMLClassDiagram.ecore" xmi:id="_X5wWUNBSEeeA66FQ4hHrOQ">
  <classes xsi:type="umlclassdiagram:Class" xmi:id="_Y_U3QNBSEeeA66FQ4hHrOQ" name="A">
    <features xsi:type="umlclassdiagram:Attribute" xmi:id="_b6irMNBSEeeA66FQ4hHrOQ" name="value" type="_fTwCsNBSEeeA66FQ4hHrOQ" max="1" derived="true"/>
    <features xsi:type="umlclassdiagram:Operation" xmi:id="_jH-iQNBSEeeA66FQ4hHrOQ" name="op" type="_nas7sNBSEeeA66FQ4hHrOQ">
      <params xmi:id="_mF3PsNBSEeeA66FQ4hHrOQ" name="param" type="_ntZOMNBSEeeA66FQ4hHrOQ"/>
    </features>
  </classes>
  <classes xsi:type="umlclassdiagram:Class" xmi:id="_nas7sNBSEeeA66FQ4hHrOQ" name="B" super="_Y_U3QNBSEeeA66FQ4hHrOQ"/>
  <classes xsi:type="umlclassdiagram:Class" xmi:id="_ntZOMNBSEeeA66FQ4hHrOQ" name="C" super="_Y_U3QNBSEeeA66FQ4hHrOQ">
    <features xsi:type="umlclassdiagram:Attribute" xmi:id="_FJa7cNBgEeeOYrPVAve4mA" name="value" type="_QptasNBTEeeA66FQ4hHrOQ"/>
  </classes>
  <classes xsi:type="umlclassdiagram:Class" xmi:id="_0Y7ssNBSEeeA66FQ4hHrOQ" name="D" super="_nas7sNBSEeeA66FQ4hHrOQ"/>
  <classes xsi:type="umlclassdiagram:AssociationClass" xmi:id="_3YCiINBSEeeA66FQ4hHrOQ" name="associationBC" association="_-qQLgNBSEeeA66FQ4hHrOQ"/>
  <relations xsi:type="umlclassdiagram:Association" xmi:id="_-qQLgNBSEeeA66FQ4hHrOQ" name="CB" src="_ntZOMNBSEeeA66FQ4hHrOQ" tar="_nas7sNBSEeeA66FQ4hHrOQ"/>
  <relations xsi:type="umlclassdiagram:Aggregation" xmi:id="_Ato_kNBTEeeA66FQ4hHrOQ" name="AB" src="_Y_U3QNBSEeeA66FQ4hHrOQ" tar="_nas7sNBSEeeA66FQ4hHrOQ"/>
  <relations xsi:type="umlclassdiagram:Aggregation" xmi:id="_DwDnsNBTEeeA66FQ4hHrOQ" name="BA" src="_nas7sNBSEeeA66FQ4hHrOQ" tar="_Y_U3QNBSEeeA66FQ4hHrOQ"/>
  <relations xsi:type="umlclassdiagram:Composition" xmi:id="_FxXYINBTEeeA66FQ4hHrOQ" name="BC" src="_nas7sNBSEeeA66FQ4hHrOQ" tar="_ntZOMNBSEeeA66FQ4hHrOQ"/>
  <relations xsi:type="umlclassdiagram:Composition" xmi:id="_JP6ioNBTEeeA66FQ4hHrOQ" name="CB" nsrc="" src="_ntZOMNBSEeeA66FQ4hHrOQ" tar="_nas7sNBSEeeA66FQ4hHrOQ"/>
  <relations xsi:type="umlclassdiagram:Dependency" xmi:id="_LhfjsNBTEeeA66FQ4hHrOQ" name="AB" src="_Y_U3QNBSEeeA66FQ4hHrOQ" tar="_nas7sNBSEeeA66FQ4hHrOQ"/>
  <relations xsi:type="umlclassdiagram:Dependency" xmi:id="_Ne65sNBTEeeA66FQ4hHrOQ" name="BA" src="_nas7sNBSEeeA66FQ4hHrOQ" tar="_Y_U3QNBSEeeA66FQ4hHrOQ"/>
  <types xmi:id="_QptasNBTEeeA66FQ4hHrOQ" name="boolean"/>
  <types xmi:id="_SQPToNBTEeeA66FQ4hHrOQ" name="date" type="Date"/>
  <types xmi:id="_TiiB8NBTEeeA66FQ4hHrOQ" name="double" type="Double"/>
  <types xmi:id="_fTwCsNBSEeeA66FQ4hHrOQ" name="int" type="Integer"/>
  <types xmi:id="_V6c7kNBTEeeA66FQ4hHrOQ" name="string" type="String"/>
  <constraints xmi:id="_YV5DQNBTEeeA66FQ4hHrOQ" id="inv" type="_Y_U3QNBSEeeA66FQ4hHrOQ">
    <expressions xmi:id="_Z9J8ANBTEeeA66FQ4hHrOQ">
      <packages xmi:id="_bFDYMNBTEeeA66FQ4hHrOQ" name="p1">
        <classes xmi:id="_c1TN0NBTEeeA66FQ4hHrOQ" name="c1">
          <operations xmi:id="_eb5_QNBTEeeA66FQ4hHrOQ" name="op1">
            <body xsi:type="miniOCL:IntLiteralExpCS" xmi:id="_ilUrsNBTEeeA66FQ4hHrOQ" op="add" intSymbol="1">
              <right xsi:type="miniOCL:IntLiteralExpCS" xmi:id="_ntjJwNBTEeeA66FQ4hHrOQ" op="subtract" intSymbol="2">
                <right xsi:type="miniOCL:IntLiteralExpCS" xmi:id="_aGbBMNBdEeeOYrPVAve4mA" op="negative" intSymbol="1"/>
              </right>
            </body>
          </operations>
          <operations xmi:id="_fegEsNBTEeeA66FQ4hHrOQ" name="op2">
            <body xsi:type="miniOCL:LogicExpCS" xmi:id="_qpFGwNBTEeeA66FQ4hHrOQ" op="not"/>
          </operations>
          <operations xmi:id="_gYp_0NBTEeeA66FQ4hHrOQ" name="op3">
            <body xsi:type="miniOCL:BooleanExpCS" xmi:id="_tW9CQNBTEeeA66FQ4hHrOQ" op="and">
              <right xsi:type="miniOCL:BooleanExpCS" xmi:id="_wX2AYNBTEeeA66FQ4hHrOQ" op="or">
                <right xsi:type="miniOCL:BooleanExpCS" xmi:id="_znOGcNBTEeeA66FQ4hHrOQ" op="lt">
                  <right xsi:type="miniOCL:BooleanExpCS" xmi:id="_1yC_QNBTEeeA66FQ4hHrOQ" op="lte">
                    <right xsi:type="miniOCL:BooleanExpCS" xmi:id="_3l0C8NBTEeeA66FQ4hHrOQ" op="gt">
                      <right xsi:type="miniOCL:BooleanExpCS" xmi:id="_5dCDQNBTEeeA66FQ4hHrOQ" op="gte"/>
                    </right>
                  </right>
                </right>
              </right>
            </body>
          </operations>
        </classes>
      </packages>
      <constraints xmi:id="_8sQ_YNBTEeeA66FQ4hHrOQ">
        <typeRef xmi:id="__XQmANBTEeeA66FQ4hHrOQ">
          <path xsi:type="miniOCL:PathElementCS" xmi:id="_AhXosNBUEeeA66FQ4hHrOQ" pathName="_b6irMNBSEeeA66FQ4hHrOQ"/>
        </typeRef>
        <invariants xmi:id="_CyuAQNBUEeeA66FQ4hHrOQ">
          <exp xsi:type="miniOCL:BooleanExpCS" xmi:id="_EPfgQNBUEeeA66FQ4hHrOQ" op="and">
            <right xsi:type="miniOCL:BooleanExpCS" xmi:id="_Fpn78NBUEeeA66FQ4hHrOQ" op="or"/>
          </exp>
        </invariants>
      </constraints>
    </expressions>
  </constraints>
</umlclassdiagram:ClassDiagram>