qvt/docs/ICGT2019/Execution.graphml

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<graphml xmlns="http://graphml.graphdrawing.org/xmlns" xmlns:java="http://www.yworks.com/xml/yfiles-common/1.0/java" xmlns:sys="http://www.yworks.com/xml/yfiles-common/markup/primitives/2.0" xmlns:x="http://www.yworks.com/xml/yfiles-common/markup/2.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:y="http://www.yworks.com/xml/graphml" xmlns:yed="http://www.yworks.com/xml/yed/3" xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns http://www.yworks.com/xml/schema/graphml/1.1/ygraphml.xsd">
  <!--Created by yEd 3.18.2-->
  <key for="port" id="d0" yfiles.type="portgraphics"/>
  <key for="port" id="d1" yfiles.type="portgeometry"/>
  <key for="port" id="d2" yfiles.type="portuserdata"/>
  <key attr.name="url" attr.type="string" for="node" id="d3"/>
  <key attr.name="description" attr.type="string" for="node" id="d4"/>
  <key for="node" id="d5" yfiles.type="nodegraphics"/>
  <key for="graphml" id="d6" yfiles.type="resources"/>
  <key attr.name="url" attr.type="string" for="edge" id="d7"/>
  <key attr.name="description" attr.type="string" for="edge" id="d8"/>
  <key for="edge" id="d9" yfiles.type="edgegraphics"/>
  <graph edgedefault="directed" id="G">
    <node id="n0">
      <data key="d5">
        <y:ShapeNode>
          <y:Geometry height="17.04" width="55.139999999999986" x="-181.35730158730155" y="-196.0"/>
          <y:Fill color="#FFFFFF" transparent="false"/>
          <y:BorderStyle color="#0000FF" type="line" width="2.0"/>
          <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" horizontalTextPosition="center" iconTextGap="4" modelName="internal" modelPosition="c" textColor="#000000" verticalTextPosition="bottom" visible="true" width="33.35546875" x="10.892265624999993" xml:space="preserve" y="-0.8305859374999898">load  </y:NodeLabel>
          <y:Shape type="rectangle"/>
        </y:ShapeNode>
      </data>
    </node>
    <node id="n1">
      <data key="d5">
        <y:ShapeNode>
          <y:Geometry height="17.04" width="33.39999999999998" x="36.57500000000002" y="-233.25882812500004"/>
          <y:Fill color="#FFFFFF" transparent="false"/>
          <y:BorderStyle color="#00FF00" type="line" width="2.0"/>
          <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" horizontalTextPosition="center" iconTextGap="4" modelName="internal" modelPosition="c" textColor="#000000" verticalTextPosition="bottom" visible="true" width="20.669921875" x="6.365039062499989" xml:space="preserve" y="-0.8305859375000182">M1</y:NodeLabel>
          <y:Shape type="rectangle"/>
        </y:ShapeNode>
      </data>
    </node>
    <node id="n2">
      <data key="d5">
        <y:ShapeNode>
          <y:Geometry height="17.04" width="74.55" x="85.74148727657168" y="-196.0"/>
          <y:Fill color="#FFFFFF" transparent="false"/>
          <y:BorderStyle color="#FFCC00" type="line" width="2.0"/>
          <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" horizontalTextPosition="center" iconTextGap="4" modelName="internal" modelPosition="c" textColor="#000000" verticalTextPosition="bottom" visible="true" width="26.6875" x="23.93125" xml:space="preserve" y="-0.8305859374999898">pool</y:NodeLabel>
          <y:Shape type="ellipse"/>
        </y:ShapeNode>
      </data>
    </node>
    <node id="n3">
      <data key="d5">
        <y:ShapeNode>
          <y:Geometry height="17.04" width="33.39999999999998" x="106.31648727657168" y="-233.25882812500004"/>
          <y:Fill color="#FFFFFF" transparent="false"/>
          <y:BorderStyle color="#00FF00" type="line" width="2.0"/>
          <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" horizontalTextPosition="center" iconTextGap="4" modelName="internal" modelPosition="c" textColor="#000000" verticalTextPosition="bottom" visible="true" width="20.669921875" x="6.365039062499989" xml:space="preserve" y="-0.8305859374999898">M2</y:NodeLabel>
          <y:Shape type="rectangle"/>
        </y:ShapeNode>
      </data>
    </node>
    <node id="n4">
      <data key="d5">
        <y:ShapeNode>
          <y:Geometry height="17.04" width="74.55" x="-74.42300000000002" y="-53.77648437500011"/>
          <y:Fill color="#FFFFFF" transparent="false"/>
          <y:BorderStyle color="#FFCC00" type="line" width="2.0"/>
          <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" horizontalTextPosition="center" iconTextGap="4" modelName="internal" modelPosition="c" textColor="#000000" verticalTextPosition="bottom" visible="true" width="18.677734375" x="27.9361328125" xml:space="preserve" y="-0.8305859375000004">P2</y:NodeLabel>
          <y:Shape type="ellipse"/>
        </y:ShapeNode>
      </data>
    </node>
    <node id="n5">
      <data key="d5">
        <y:ShapeNode>
          <y:Geometry height="17.04" width="33.39999999999998" x="176.05797455314334" y="-233.25882812500004"/>
          <y:Fill color="#FFFFFF" transparent="false"/>
          <y:BorderStyle color="#00FF00" type="line" width="2.0"/>
          <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" horizontalTextPosition="center" iconTextGap="4" modelName="internal" modelPosition="c" textColor="#000000" verticalTextPosition="bottom" visible="true" width="20.669921875" x="6.365039062499989" xml:space="preserve" y="-0.8305859374999898">M3</y:NodeLabel>
          <y:Shape type="rectangle"/>
        </y:ShapeNode>
      </data>
    </node>
    <node id="n6">
      <data key="d5">
        <y:ShapeNode>
          <y:Geometry height="17.04" width="74.55" x="-74.42300000000002" y="-100.8164843750001"/>
          <y:Fill color="#FFFFFF" transparent="false"/>
          <y:BorderStyle color="#FFCC00" type="line" width="2.0"/>
          <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" horizontalTextPosition="center" iconTextGap="4" modelName="internal" modelPosition="c" textColor="#000000" verticalTextPosition="bottom" visible="true" width="18.677734375" x="27.9361328125" xml:space="preserve" y="-0.830585937500004">P1</y:NodeLabel>
          <y:Shape type="ellipse"/>
        </y:ShapeNode>
      </data>
    </node>
    <node id="n7">
      <data key="d5">
        <y:ShapeNode>
          <y:Geometry height="17.04" width="55.139999999999986" x="360.5899047619047" y="-195.99999999999997"/>
          <y:Fill color="#FFFFFF" transparent="false"/>
          <y:BorderStyle color="#0000FF" type="line" width="2.0"/>
          <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" horizontalTextPosition="center" iconTextGap="4" modelName="internal" modelPosition="c" textColor="#000000" verticalTextPosition="bottom" visible="true" width="29.34765625" x="12.896171874999993" xml:space="preserve" y="-0.8305859374999898">save</y:NodeLabel>
          <y:Shape type="rectangle"/>
        </y:ShapeNode>
      </data>
    </node>
    <node id="n8">
      <data key="d5">
        <y:ShapeNode>
          <y:Geometry height="17.04" width="55.139999999999986" x="-181.35730158730155" y="-73.25882812500004"/>
          <y:Fill color="#FFFFFF" transparent="false"/>
          <y:BorderStyle color="#0000FF" type="line" width="2.0"/>
          <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" horizontalTextPosition="center" iconTextGap="4" modelName="internal" modelPosition="c" textColor="#000000" verticalTextPosition="bottom" visible="true" width="33.35546875" x="10.892265624999993" xml:space="preserve" y="-0.8305859374999898">load  </y:NodeLabel>
          <y:Shape type="rectangle"/>
        </y:ShapeNode>
      </data>
    </node>
    <node id="n9">
      <data key="d5">
        <y:ShapeNode>
          <y:Geometry height="17.04" width="33.39999999999998" x="25.468090451174845" y="-100.8164843750001"/>
          <y:Fill color="#FFFFFF" transparent="false"/>
          <y:BorderStyle color="#00FF00" type="line" width="2.0"/>
          <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" horizontalTextPosition="center" iconTextGap="4" modelName="internal" modelPosition="c" textColor="#000000" verticalTextPosition="bottom" visible="true" width="20.669921875" x="6.365039062499989" xml:space="preserve" y="-0.8305859374999898">M1</y:NodeLabel>
          <y:Shape type="rectangle"/>
        </y:ShapeNode>
      </data>
    </node>
    <node id="n10">
      <data key="d5">
        <y:ShapeNode>
          <y:Geometry height="17.04" width="74.55" x="250.21220634920627" y="-53.77648437500014"/>
          <y:Fill color="#FFFFFF" transparent="false"/>
          <y:BorderStyle color="#FFCC00" type="line" width="2.0"/>
          <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" horizontalTextPosition="center" iconTextGap="4" modelName="internal" modelPosition="c" textColor="#000000" verticalTextPosition="bottom" visible="true" width="18.677734375" x="27.93613281249999" xml:space="preserve" y="-0.830585937500004">P4</y:NodeLabel>
          <y:Shape type="ellipse"/>
        </y:ShapeNode>
      </data>
    </node>
    <node id="n11">
      <data key="d5">
        <y:ShapeNode>
          <y:Geometry height="17.04" width="55.139999999999986" x="360.5899047619047" y="-53.77648437500011"/>
          <y:Fill color="#FFFFFF" transparent="false"/>
          <y:BorderStyle color="#0000FF" type="line" width="2.0"/>
          <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" horizontalTextPosition="center" iconTextGap="4" modelName="internal" modelPosition="c" textColor="#000000" verticalTextPosition="bottom" visible="true" width="29.34765625" x="12.896171874999993" xml:space="preserve" y="-0.8305859374999898">save</y:NodeLabel>
          <y:Shape type="rectangle"/>
        </y:ShapeNode>
      </data>
    </node>
    <node id="n12">
      <data key="d5">
        <y:ShapeNode>
          <y:Geometry height="17.04" width="33.39999999999998" x="25.468090451174845" y="-53.77648437500011"/>
          <y:Fill color="#FFFFFF" transparent="false"/>
          <y:BorderStyle color="#00FF00" type="line" width="2.0"/>
          <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" horizontalTextPosition="center" iconTextGap="4" modelName="internal" modelPosition="c" textColor="#000000" verticalTextPosition="bottom" visible="true" width="20.669921875" x="6.365039062499989" xml:space="preserve" y="-0.8305859375000004">M2</y:NodeLabel>
          <y:Shape type="rectangle"/>
        </y:ShapeNode>
      </data>
    </node>
    <node id="n13">
      <data key="d5">
        <y:ShapeNode>
          <y:Geometry height="17.04" width="74.55" x="85.74148727657168" y="-100.8164843750001"/>
          <y:Fill color="#FFFFFF" transparent="false"/>
          <y:BorderStyle color="#FFCC00" type="line" width="2.0"/>
          <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" horizontalTextPosition="center" iconTextGap="4" modelName="internal" modelPosition="c" textColor="#000000" verticalTextPosition="bottom" visible="true" width="18.677734375" x="27.9361328125" xml:space="preserve" y="-0.830585937500004">P3</y:NodeLabel>
          <y:Shape type="ellipse"/>
        </y:ShapeNode>
      </data>
    </node>
    <node id="n14">
      <data key="d5">
        <y:ShapeNode>
          <y:Geometry height="17.04" width="33.39999999999998" x="186.8122063492063" y="-53.77648437500014"/>
          <y:Fill color="#FFFFFF" transparent="false"/>
          <y:BorderStyle color="#00FF00" type="line" width="2.0"/>
          <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.701171875" horizontalTextPosition="center" iconTextGap="4" modelName="internal" modelPosition="c" textColor="#000000" verticalTextPosition="bottom" visible="true" width="20.669921875" x="6.365039062499989" xml:space="preserve" y="-0.830585937500004">M3</y:NodeLabel>
          <y:Shape type="rectangle"/>
        </y:ShapeNode>
      </data>
    </node>
    <edge id="e0" source="n1" target="n2">
      <data key="d9">
        <y:PolyLineEdge>
          <y:Path sx="9.614326546817308" sy="8.504145233706936" tx="-19.364909261207053" ty="-7.24543284664631"/>
          <y:LineStyle color="#FFCC00" type="line" width="2.0"/>
          <y:Arrows source="none" target="delta"/>
          <y:BendStyle smoothed="false"/>
        </y:PolyLineEdge>
      </data>
    </edge>
    <edge id="e1" source="n2" target="n1">
      <data key="d9">
        <y:PolyLineEdge>
          <y:Path sx="-30.833512723428363" sy="-4.775708274583224" tx="-6.802686307899567" ty="8.514009812876168"/>
          <y:LineStyle color="#FFCC00" type="line" width="2.0"/>
          <y:Arrows source="none" target="delta"/>
          <y:BendStyle smoothed="false"/>
        </y:PolyLineEdge>
      </data>
    </edge>
    <edge id="e2" source="n3" target="n2">
      <data key="d9">
        <y:PolyLineEdge>
          <y:Path sx="10.244465428778085" sy="8.537786314788093" tx="10.244465428778085" ty="-8.168000000000006"/>
          <y:LineStyle color="#FFCC00" type="line" width="2.0"/>
          <y:Arrows source="none" target="delta"/>
          <y:BendStyle smoothed="false"/>
        </y:PolyLineEdge>
      </data>
    </edge>
    <edge id="e3" source="n2" target="n3">
      <data key="d9">
        <y:PolyLineEdge>
          <y:Path sx="-5.833512723428342" sy="-8.38718750000001" tx="-5.833512723428342" ty="8.530828125000028"/>
          <y:LineStyle color="#FFCC00" type="line" width="2.0"/>
          <y:Arrows source="none" target="delta"/>
          <y:BendStyle smoothed="false"/>
        </y:PolyLineEdge>
      </data>
    </edge>
    <edge id="e4" source="n5" target="n2">
      <data key="d9">
        <y:PolyLineEdge>
          <y:Path sx="7.8211100735083505" sy="8.510252943753727" tx="27.96288519396206" ty="-5.670967897331593"/>
          <y:LineStyle color="#FFCC00" type="line" width="2.0"/>
          <y:Arrows source="none" target="delta"/>
          <y:BendStyle smoothed="false"/>
        </y:PolyLineEdge>
      </data>
    </edge>
    <edge id="e5" source="n2" target="n5">
      <data key="d9">
        <y:PolyLineEdge>
          <y:Path sx="19.169210226699867" sy="-7.317806823591667" tx="-6.143850660726443" ty="8.528869484797838"/>
          <y:LineStyle color="#FFCC00" type="line" width="2.0"/>
          <y:Arrows source="none" target="delta"/>
          <y:BendStyle smoothed="false"/>
        </y:PolyLineEdge>
      </data>
    </edge>
    <edge id="e6" source="n2" target="n7">
      <data key="d9">
        <y:PolyLineEdge>
          <y:Path sx="0.0" sy="0.0" tx="-27.569999999999993" ty="0.0"/>
          <y:LineStyle color="#FFCC00" type="line" width="2.0"/>
          <y:Arrows source="none" target="delta"/>
          <y:BendStyle smoothed="false"/>
        </y:PolyLineEdge>
      </data>
    </edge>
    <edge id="e7" source="n0" target="n2">
      <data key="d9">
        <y:PolyLineEdge>
          <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/>
          <y:LineStyle color="#FFCC00" type="line" width="2.0"/>
          <y:Arrows source="none" target="delta"/>
          <y:BendStyle smoothed="false"/>
        </y:PolyLineEdge>
      </data>
    </edge>
    <edge id="e8" source="n6" target="n14">
      <data key="d9">
        <y:PolyLineEdge>
          <y:Path sx="5.620000000000026" sy="2.368484375000108" tx="-6.2215777277465065" ty="-0.07434374999992954"/>
          <y:LineStyle color="#FFCC00" type="line" width="2.0"/>
          <y:Arrows source="none" target="delta"/>
          <y:BendStyle smoothed="false"/>
        </y:PolyLineEdge>
      </data>
    </edge>
    <edge id="e9" source="n6" target="n9">
      <data key="d9">
        <y:PolyLineEdge>
          <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/>
          <y:LineStyle color="#FFCC00" type="line" width="2.0"/>
          <y:Arrows source="none" target="delta"/>
          <y:BendStyle smoothed="false"/>
        </y:PolyLineEdge>
      </data>
    </edge>
    <edge id="e10" source="n14" target="n10">
      <data key="d9">
        <y:PolyLineEdge>
          <y:Path sx="0.0" sy="0.0" tx="5.653698412698446" ty="-2.149171874999965"/>
          <y:LineStyle color="#FFCC00" type="line" width="2.0"/>
          <y:Arrows source="none" target="delta"/>
          <y:BendStyle smoothed="false"/>
        </y:PolyLineEdge>
      </data>
    </edge>
    <edge id="e11" source="n10" target="n11">
      <data key="d9">
        <y:PolyLineEdge>
          <y:Path sx="0.0" sy="0.0" tx="-27.569999999999993" ty="0.0"/>
          <y:LineStyle color="#FFCC00" type="line" width="2.0"/>
          <y:Arrows source="none" target="delta"/>
          <y:BendStyle smoothed="false"/>
        </y:PolyLineEdge>
      </data>
    </edge>
    <edge id="e12" source="n8" target="n6">
      <data key="d9">
        <y:PolyLineEdge>
          <y:Path sx="0.0" sy="0.0" tx="-5.131999999999984" ty="1.069656250000076"/>
          <y:LineStyle color="#FFCC00" type="line" width="2.0"/>
          <y:Arrows source="none" target="delta"/>
          <y:BendStyle smoothed="false"/>
        </y:PolyLineEdge>
      </data>
    </edge>
    <edge id="e13" source="n9" target="n13">
      <data key="d9">
        <y:PolyLineEdge>
          <y:Path sx="0.0" sy="0.0" tx="-13.655532502159105" ty="0.0"/>
          <y:LineStyle color="#FFCC00" type="line" width="2.0"/>
          <y:Arrows source="none" target="delta"/>
          <y:BendStyle smoothed="false"/>
        </y:PolyLineEdge>
      </data>
    </edge>
    <edge id="e14" source="n4" target="n12">
      <data key="d9">
        <y:PolyLineEdge>
          <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/>
          <y:LineStyle color="#FFCC00" type="line" width="2.0"/>
          <y:Arrows source="none" target="delta"/>
          <y:BendStyle smoothed="false"/>
        </y:PolyLineEdge>
      </data>
    </edge>
    <edge id="e15" source="n12" target="n13">
      <data key="d9">
        <y:PolyLineEdge>
          <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/>
          <y:LineStyle color="#FFCC00" type="line" width="2.0"/>
          <y:Arrows source="none" target="delta"/>
          <y:BendStyle smoothed="false"/>
        </y:PolyLineEdge>
      </data>
    </edge>
    <edge id="e16" source="n13" target="n14">
      <data key="d9">
        <y:PolyLineEdge>
          <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/>
          <y:LineStyle color="#FFCC00" type="line" width="2.0"/>
          <y:Arrows source="none" target="delta"/>
          <y:BendStyle smoothed="false"/>
        </y:PolyLineEdge>
      </data>
    </edge>
    <edge id="e17" source="n8" target="n4">
      <data key="d9">
        <y:PolyLineEdge>
          <y:Path sx="12.691301587301552" sy="0.9228281250000379" tx="0.0" ty="0.0"/>
          <y:LineStyle color="#FFCC00" type="line" width="2.0"/>
          <y:Arrows source="none" target="delta"/>
          <y:BendStyle smoothed="false"/>
        </y:PolyLineEdge>
      </data>
    </edge>
  </graph>
  <data key="d6">
    <y:Resources/>
  </data>
</graphml>