<?xml version="1.0" encoding="ISO-8859-1"?>
<urn:URNspec xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ucm.map="http:///ucm/map.ecore" xmlns:urn="http:///urn.ecore" name="URNspec" author="Taha" created="July 26, 2016 4:51:32 AM AST" modified="February 6, 2017 7:08:51 PM AST" specVersion="217" urnVersion="1.27" nextGlobalID="1410">
  <ucmspec>
    <scenarioGroups name="ScenarioGroup5" id="5">
      <scenarios name="ScenarioDef6" id="6"/>
    </scenarioGroups>
    <variables name="x" id="27" type="integer"/>
    <variables name="y" id="28" type="integer"/>
    <variables name="j" id="56" type="integer"/>
    <variables name="i" id="358" type="integer"/>
    <variables name="z" id="359" type="integer"/>
    <variables name="k" id="360" type="integer"/>
    <variables name="l" id="468" type="integer"/>
    <variables name="m" id="469" type="integer"/>
    <variables name="booleanVar" id="719"/>
    <variables name="booleanVar2" id="720"/>
    <variables name="a" id="728" type="integer"/>
    <variables name="b" id="729" type="integer"/>
    <variables name="bool_var" id="730"/>
    <variables name="bool_var2" id="731"/>
  </ucmspec>
  <grlspec>
    <groups name="StrategiesGroup3" id="3" strategies="4"/>
    <strategies name="EvaluationStrategy4" id="4" author="Taha" group="3"/>
    <impactModel/>
    <indicatorGroup name="Time" id="7" isRedesignCategory="true"/>
    <indicatorGroup name="Cost" id="8" isRedesignCategory="true"/>
    <indicatorGroup name="Quality" id="9" isRedesignCategory="true"/>
    <indicatorGroup name="Flexibility" id="10" isRedesignCategory="true"/>
    <featureModel/>
  </grlspec>
  <urndef>
    <responsibilities name="R1" id="24" description="" expression="x=y;" respRefs="381 1160"/>
    <responsibilities name="R2" id="378" description="" expression="x=10;" respRefs="1158 379"/>
    <responsibilities name="R7" id="397" description="" expression="y=z;" respRefs="417 846 1048"/>
    <responsibilities name="R8" id="412" description="" expression="z=1;" respRefs="415 704 806 413 1138"/>
    <responsibilities name="R4" id="424" description="" expression="x=k;" respRefs="425 1125"/>
    <responsibilities name="R6" id="437" description="" expression="j=10;" respRefs="438 805"/>
    <responsibilities name="R11" id="446" description="" expression="k=k+1;" respRefs="447 763 809"/>
    <responsibilities name="R19" id="455" description="" expression="" respRefs="456 966"/>
    <responsibilities name="R16" id="465" description="" expression="m=10;&#xD;&#xA;if(z&lt;10)&#xD;&#xA;{&#xD;&#xA;m=k;&#xD;&#xA;}&#xD;&#xA;else if(l==k)&#xD;&#xA;k=10;" respRefs="645"/>
    <responsibilities name="R10" id="641" description="" expression="i=10;" respRefs="646 772 1145 1146 1189"/>
    <responsibilities name="R12" id="738" description="" expression="bool_var=false;" respRefs="1050"/>
    <responsibilities name="R18" id="801" description="" expression="y=y+1;&#xD;&#xA;if(x>y)&#xD;&#xA;{&#xD;&#xA;i=j+k;&#xD;&#xA;if(bool_var)&#xD;&#xA;a=b;&#xD;&#xA;}&#xD;&#xA;else&#xD;&#xA;x=z;" respRefs="842 1051"/>
    <responsibilities name="R9" id="821" description="" expression="z=y+k;" respRefs="1188"/>
    <responsibilities name="R20" id="839" description="" expression="" respRefs="840 1147"/>
    <responsibilities name="R15" id="975" description="" expression="x=x+1;&#xD;&#xA;if(y>z &amp;&amp; z&lt;10)&#xD;&#xA;m=10;&#xD;&#xA;&#xD;&#xA;else&#xD;&#xA;{&#xD;&#xA;l=j;&#xD;&#xA;}" respRefs="1159"/>
    <responsibilities name="R14" id="1122" description="" expression="if(a>b)&#xD;&#xA;{&#xD;&#xA;x=0;&#xD;&#xA;m=m-1;&#xD;&#xA;}&#xD;&#xA;else&#xD;&#xA;a=a+1;" respRefs="1123"/>
    <responsibilities name="R13" id="1133" description="" expression="if(bool_var)&#xD;&#xA;bool_var2=false;" respRefs="1134"/>
    <responsibilities name="R17" id="714" description="" expression="j=k;&#xD;&#xA;&#xD;&#xA;if(j>10)&#xD;&#xA;x=10;&#xD;&#xA;else&#xD;&#xA;x=0;&#xD;&#xA;&#xD;&#xA;k=k+1;" respRefs="879"/>
    <responsibilities name="R3" id="1166" description="" expression="x=y+z;" respRefs="1167"/>
    <responsibilities name="R5" id="1185" description="" expression="x=j;" respRefs="1186"/>
    <specDiagrams xsi:type="ucm.map:UCMmap" name="MainMap" id="2">
      <nodes xsi:type="ucm.map:StartPoint" name="StartPoint_1" id="11" x="145" y="133" succ="//@urndef/@specDiagrams.0/@connections.0">
        <label deltaX="10" deltaY="-48"/>
        <precondition deltaX="40" deltaY="-17" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:EndPoint" name="EndPoint_1" id="13" x="624" y="137" pred="//@urndef/@specDiagrams.0/@connections.19">
        <label deltaX="8" deltaY="-49"/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:OrJoin" name="OrJoin" id="29" x="554" y="135" succ="//@urndef/@specDiagrams.0/@connections.1" pred="//@urndef/@specDiagrams.0/@connections.12 //@urndef/@specDiagrams.0/@connections.22">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:Stub" name="SStub" id="199" x="471" y="224" succ="//@urndef/@specDiagrams.0/@connections.2" pred="//@urndef/@specDiagrams.0/@connections.17 //@urndef/@specDiagrams.0/@connections.9">
        <label deltaX="14" deltaY="7"/>
        <bindings plugin="32">
          <in startPoint="33" stubEntry="//@urndef/@specDiagrams.0/@connections.17"/>
          <in startPoint="40" stubEntry="//@urndef/@specDiagrams.0/@connections.9"/>
          <out endPoint="35" stubExit="//@urndef/@specDiagrams.0/@connections.2"/>
          <precondition label="" expression="true"/>
        </bindings>
      </nodes>
      <nodes xsi:type="ucm.map:OrFork" name="OrFork679" id="679" x="303" y="135" succ="//@urndef/@specDiagrams.0/@connections.3 //@urndef/@specDiagrams.0/@connections.4" pred="//@urndef/@specDiagrams.0/@connections.18">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:StartPoint" name="StartPoint_2" id="691" x="257" y="280" succ="//@urndef/@specDiagrams.0/@connections.5">
        <label deltaX="46" deltaY="-7"/>
        <precondition deltaX="40" deltaY="-17" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef704" id="704" x="333" y="282" succ="//@urndef/@specDiagrams.0/@connections.6" pred="//@urndef/@specDiagrams.0/@connections.5" respDef="412">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow705" id="705" x="330" y="205" succ="//@urndef/@specDiagrams.0/@connections.7" pred="//@urndef/@specDiagrams.0/@connections.4"/>
      <nodes xsi:type="ucm.map:EndPoint" name="EndPoin3" id="866" x="593" y="50" pred="//@urndef/@specDiagrams.0/@connections.21">
        <label/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow705" id="959" x="539" y="209" succ="//@urndef/@specDiagrams.0/@connections.8" pred="//@urndef/@specDiagrams.0/@connections.2"/>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow705" id="960" x="434" y="286" succ="//@urndef/@specDiagrams.0/@connections.9" pred="//@urndef/@specDiagrams.0/@connections.6"/>
      <nodes xsi:type="ucm.map:Stub" name="DStub" id="994" x="428" y="128" succ="//@urndef/@specDiagrams.0/@connections.10 //@urndef/@specDiagrams.0/@connections.11" pred="//@urndef/@specDiagrams.0/@connections.16" dynamic="true">
        <label deltaX="25" deltaY="4"/>
        <bindings plugin="755">
          <in startPoint="770" stubEntry="//@urndef/@specDiagrams.0/@connections.16"/>
          <out endPoint="776" stubExit="//@urndef/@specDiagrams.0/@connections.10"/>
          <out endPoint="778" stubExit="//@urndef/@specDiagrams.0/@connections.11"/>
          <precondition label="" expression="true"/>
        </bindings>
        <bindings plugin="915">
          <in startPoint="920" stubEntry="//@urndef/@specDiagrams.0/@connections.16"/>
          <out endPoint="924" stubExit="//@urndef/@specDiagrams.0/@connections.10"/>
          <out endPoint="1029" stubExit="//@urndef/@specDiagrams.0/@connections.11"/>
          <precondition label="" expression="true"/>
        </bindings>
      </nodes>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow1030" id="1030" x="496" y="132" succ="//@urndef/@specDiagrams.0/@connections.12" pred="//@urndef/@specDiagrams.0/@connections.11"/>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow1031" id="1031" x="422" y="78" succ="//@urndef/@specDiagrams.0/@connections.13" pred="//@urndef/@specDiagrams.0/@connections.10"/>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow1032" id="1032" x="338" y="133" succ="//@urndef/@specDiagrams.0/@connections.14" pred="//@urndef/@specDiagrams.0/@connections.3"/>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef1051" id="1051" x="211" y="134" succ="//@urndef/@specDiagrams.0/@connections.15" pred="//@urndef/@specDiagrams.0/@connections.0" respDef="801">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef879" id="879" x="376" y="135" succ="//@urndef/@specDiagrams.0/@connections.16" pred="//@urndef/@specDiagrams.0/@connections.14" respDef="714">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef1147" id="1147" x="368" y="220" succ="//@urndef/@specDiagrams.0/@connections.17" pred="//@urndef/@specDiagrams.0/@connections.7" respDef="839">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef1146" id="1146" x="260" y="135" succ="//@urndef/@specDiagrams.0/@connections.18" pred="//@urndef/@specDiagrams.0/@connections.15" respDef="641">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef1159" id="1159" x="591" y="136" succ="//@urndef/@specDiagrams.0/@connections.19" pred="//@urndef/@specDiagrams.0/@connections.1" respDef="975">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef1160" id="1160" x="474" y="56" succ="//@urndef/@specDiagrams.0/@connections.20" pred="//@urndef/@specDiagrams.0/@connections.13" respDef="24">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef1167" id="1167" x="521" y="53" succ="//@urndef/@specDiagrams.0/@connections.21" pred="//@urndef/@specDiagrams.0/@connections.20" respDef="1166">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef1186" id="1186" x="547" y="181" succ="//@urndef/@specDiagrams.0/@connections.22" pred="//@urndef/@specDiagrams.0/@connections.8" respDef="1185">
        <label deltaX="-18" deltaY="-18"/>
      </nodes>
      <connections xsi:type="ucm.map:NodeConnection" source="11" target="1051"/>
      <connections xsi:type="ucm.map:NodeConnection" source="29" target="1159"/>
      <connections xsi:type="ucm.map:NodeConnection" source="199" target="959" outBindings="//@urndef/@specDiagrams.0/@nodes.3/@bindings.0/@out.0"/>
      <connections xsi:type="ucm.map:NodeConnection" source="679" target="1032">
        <condition deltaX="30" deltaY="30" label="m>=0" expression="m>=0" description=""/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="679" target="705">
        <condition deltaX="46" deltaY="8" label="m&lt;0" expression="m&lt;0" description=""/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="691" target="704"/>
      <connections xsi:type="ucm.map:NodeConnection" source="704" target="960"/>
      <connections xsi:type="ucm.map:NodeConnection" source="705" target="1147"/>
      <connections xsi:type="ucm.map:NodeConnection" source="959" target="1186"/>
      <connections xsi:type="ucm.map:NodeConnection" source="960" target="199" inBindings="//@urndef/@specDiagrams.0/@nodes.3/@bindings.0/@in.1"/>
      <connections xsi:type="ucm.map:NodeConnection" source="994" target="1031" outBindings="//@urndef/@specDiagrams.0/@nodes.11/@bindings.0/@out.0 //@urndef/@specDiagrams.0/@nodes.11/@bindings.1/@out.0"/>
      <connections xsi:type="ucm.map:NodeConnection" source="994" target="1030" outBindings="//@urndef/@specDiagrams.0/@nodes.11/@bindings.0/@out.1 //@urndef/@specDiagrams.0/@nodes.11/@bindings.1/@out.1"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1030" target="29"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1031" target="1160"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1032" target="879"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1051" target="1146"/>
      <connections xsi:type="ucm.map:NodeConnection" source="879" target="994" inBindings="//@urndef/@specDiagrams.0/@nodes.11/@bindings.0/@in.0 //@urndef/@specDiagrams.0/@nodes.11/@bindings.1/@in.0"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1147" target="199" inBindings="//@urndef/@specDiagrams.0/@nodes.3/@bindings.0/@in.0"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1146" target="679"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1159" target="13"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1160" target="1167"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1167" target="866"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1186" target="29"/>
    </specDiagrams>
    <specDiagrams xsi:type="ucm.map:UCMmap" name="DStub1" id="755" parentStub="//@urndef/@specDiagrams.0/@nodes.11/@bindings.0">
      <nodes xsi:type="ucm.map:OrJoin" name="OrJoin279" id="767" x="332" y="168" contRef="1398" succ="//@urndef/@specDiagrams.1/@connections.2" pred="//@urndef/@specDiagrams.1/@connections.16 //@urndef/@specDiagrams.1/@connections.3"/>
      <nodes xsi:type="ucm.map:EndPoint" name="EndPoint_OUT1" id="776" x="705" y="160" contRef="1388" pred="//@urndef/@specDiagrams.1/@connections.8" outBindings="//@urndef/@specDiagrams.0/@nodes.11/@bindings.0/@out.0">
        <label deltaX="-18" deltaY="15"/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow321" id="761" x="270" y="100" succ="//@urndef/@specDiagrams.1/@connections.3" pred="//@urndef/@specDiagrams.1/@connections.5"/>
      <nodes xsi:type="ucm.map:StartPoint" name="StartPoint_IN" id="770" x="218" y="172" succ="//@urndef/@specDiagrams.1/@connections.4" inBindings="//@urndef/@specDiagrams.0/@nodes.11/@bindings.0/@in.0">
        <label deltaX="8" deltaY="13"/>
        <precondition deltaX="40" deltaY="-17" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef5009" id="772" x="593" y="162" succ="//@urndef/@specDiagrams.1/@connections.0" pred="//@urndef/@specDiagrams.1/@connections.13" respDef="641">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef287" id="763" x="317" y="41" succ="//@urndef/@specDiagrams.1/@connections.5" pred="//@urndef/@specDiagrams.1/@connections.18" respDef="446">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:EndPoint" name="EndPoint_OUT2" id="778" x="693" y="268" pred="//@urndef/@specDiagrams.1/@connections.10" outBindings="//@urndef/@specDiagrams.0/@nodes.11/@bindings.0/@out.1">
        <label/>
        <postcondition deltaX="-26" deltaY="-37" label="m>=0" expression="m>=0" description=""/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef805" id="805" x="671" y="161" contRef="1388" succ="//@urndef/@specDiagrams.1/@connections.8" pred="//@urndef/@specDiagrams.1/@connections.9" respDef="437">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef806" id="806" x="625" y="161" succ="//@urndef/@specDiagrams.1/@connections.9" pred="//@urndef/@specDiagrams.1/@connections.0" respDef="412">
        <label deltaX="1" deltaY="2"/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef809" id="809" x="618" y="269" contRef="1392" succ="//@urndef/@specDiagrams.1/@connections.10" pred="//@urndef/@specDiagrams.1/@connections.12" respDef="446">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow811" id="811" x="537" y="67" succ="//@urndef/@specDiagrams.1/@connections.11" pred="//@urndef/@specDiagrams.1/@connections.6"/>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow812" id="812" x="532" y="259" contRef="1392" succ="//@urndef/@specDiagrams.1/@connections.12" pred="//@urndef/@specDiagrams.1/@connections.1"/>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow813" id="813" x="563" y="164" succ="//@urndef/@specDiagrams.1/@connections.13" pred="//@urndef/@specDiagrams.1/@connections.7"/>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef840" id="840" x="256" y="170" succ="//@urndef/@specDiagrams.1/@connections.14" pred="//@urndef/@specDiagrams.1/@connections.4" respDef="839">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef842" id="842" x="378" y="171" succ="//@urndef/@specDiagrams.1/@connections.15" pred="//@urndef/@specDiagrams.1/@connections.2" respDef="801">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef846" id="846" x="289" y="168" succ="//@urndef/@specDiagrams.1/@connections.16" pred="//@urndef/@specDiagrams.1/@connections.14" respDef="397">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef1138" id="1138" x="462" y="175" succ="//@urndef/@specDiagrams.1/@connections.17" pred="//@urndef/@specDiagrams.1/@connections.15" respDef="412">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef1188" id="1188" x="414" y="29" succ="//@urndef/@specDiagrams.1/@connections.18" pred="//@urndef/@specDiagrams.1/@connections.11" respDef="821">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:OrFork" name="OrFork263" id="764" x="527" y="172" succ="//@urndef/@specDiagrams.1/@connections.6 //@urndef/@specDiagrams.1/@connections.7 //@urndef/@specDiagrams.1/@connections.1" pred="//@urndef/@specDiagrams.1/@connections.17"/>
      <contRefs xsi:type="ucm.map:ComponentRef" name="ComponentRef1388" id="1388" x="641" y="109" width="100" height="100" contDef="1387" nodes="776 805">
        <label/>
      </contRefs>
      <contRefs xsi:type="ucm.map:ComponentRef" name="ComponentRef1392" id="1392" x="485" y="210" width="149" height="115" contDef="1391" nodes="809 812">
        <label/>
      </contRefs>
      <contRefs xsi:type="ucm.map:ComponentRef" name="ComponentRef1398" id="1398" x="305" y="141" width="49" height="93" contDef="1397" nodes="767">
        <label/>
      </contRefs>
      <connections xsi:type="ucm.map:NodeConnection" source="772" target="806"/>
      <connections xsi:type="ucm.map:NodeConnection" source="764" target="812">
        <condition deltaX="41" deltaY="6" label="k&lt;10" expression="k&lt;10" description=""/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="767" target="842"/>
      <connections xsi:type="ucm.map:NodeConnection" source="761" target="767"/>
      <connections xsi:type="ucm.map:NodeConnection" source="770" target="840"/>
      <connections xsi:type="ucm.map:NodeConnection" source="763" target="761"/>
      <connections xsi:type="ucm.map:NodeConnection" source="764" target="811">
        <condition deltaX="-1" deltaY="26" label="k==10" expression="k==10" description=""/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="764" target="813">
        <condition deltaX="11" deltaY="-9" label="k>10" expression="k>10" description=""/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="805" target="776"/>
      <connections xsi:type="ucm.map:NodeConnection" source="806" target="805"/>
      <connections xsi:type="ucm.map:NodeConnection" source="809" target="778"/>
      <connections xsi:type="ucm.map:NodeConnection" source="811" target="1188"/>
      <connections xsi:type="ucm.map:NodeConnection" source="812" target="809"/>
      <connections xsi:type="ucm.map:NodeConnection" source="813" target="772"/>
      <connections xsi:type="ucm.map:NodeConnection" source="840" target="846"/>
      <connections xsi:type="ucm.map:NodeConnection" source="842" target="1138"/>
      <connections xsi:type="ucm.map:NodeConnection" source="846" target="767"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1138" target="764"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1188" target="763"/>
    </specDiagrams>
    <specDiagrams xsi:type="ucm.map:UCMmap" name="DStub2" id="915" parentStub="//@urndef/@specDiagrams.0/@nodes.11/@bindings.1">
      <nodes xsi:type="ucm.map:StartPoint" name="StartPointIN" id="920" x="188" y="194" succ="//@urndef/@specDiagrams.2/@connections.0" inBindings="//@urndef/@specDiagrams.0/@nodes.11/@bindings.1/@in.0">
        <label deltaX="7" deltaY="10"/>
        <precondition deltaX="40" deltaY="-17" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:EndPoint" name="EndPoint_OUT1" id="924" x="537" y="194" pred="//@urndef/@specDiagrams.2/@connections.8" outBindings="//@urndef/@specDiagrams.0/@nodes.11/@bindings.1/@out.0">
        <label deltaX="5" deltaY="-42"/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef1050" id="1050" x="278" y="195" succ="//@urndef/@specDiagrams.2/@connections.1" pred="//@urndef/@specDiagrams.2/@connections.9" respDef="738">
        <label deltaX="5" deltaY="-40"/>
      </nodes>
      <nodes xsi:type="ucm.map:EndPoint" name="EndPoint_OUT2" id="1029" x="530" y="101" pred="//@urndef/@specDiagrams.2/@connections.7" outBindings="//@urndef/@specDiagrams.0/@nodes.11/@bindings.1/@out.1">
        <label deltaX="-20" deltaY="-40"/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:OrFork" name="OrFork1027" id="1027" x="330" y="195" succ="//@urndef/@specDiagrams.2/@connections.3 //@urndef/@specDiagrams.2/@connections.2" pred="//@urndef/@specDiagrams.2/@connections.1"/>
      <nodes xsi:type="ucm.map:Timer" name="Timer" id="1097" x="380" y="101" succ="//@urndef/@specDiagrams.2/@connections.4" pred="//@urndef/@specDiagrams.2/@connections.5">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow1112" id="1112" x="345" y="125" succ="//@urndef/@specDiagrams.2/@connections.5" pred="//@urndef/@specDiagrams.2/@connections.2"/>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow1113" id="1113" x="377" y="195" succ="//@urndef/@specDiagrams.2/@connections.6" pred="//@urndef/@specDiagrams.2/@connections.3"/>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef1123" id="1123" x="481" y="101" succ="//@urndef/@specDiagrams.2/@connections.7" pred="//@urndef/@specDiagrams.2/@connections.4" respDef="1122">
        <label deltaX="2" deltaY="-39"/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef1125" id="1125" x="438" y="195" succ="//@urndef/@specDiagrams.2/@connections.8" pred="//@urndef/@specDiagrams.2/@connections.6" respDef="424">
        <label deltaX="1" deltaY="-37"/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef1134" id="1134" x="232" y="195" succ="//@urndef/@specDiagrams.2/@connections.9" pred="//@urndef/@specDiagrams.2/@connections.0" respDef="1133">
        <label deltaX="6" deltaY="-38"/>
      </nodes>
      <connections xsi:type="ucm.map:NodeConnection" source="920" target="1134"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1050" target="1027"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1027" target="1112">
        <condition deltaX="100" deltaY="17" label="bool_var==false" expression="bool_var==false" description=""/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="1027" target="1113">
        <condition deltaX="41" deltaY="-10" label="bool_var==true" expression="bool_var==true" description=""/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="1097" target="1123">
        <condition deltaX="28" deltaY="-9" label="y>=z" expression="y>=z" description=""/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="1112" target="1097"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1113" target="1125"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1123" target="1029"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1125" target="924"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1134" target="1050"/>
    </specDiagrams>
    <specDiagrams xsi:type="ucm.map:UCMmap" name="StubMap_1" id="32" parentStub="//@urndef/@specDiagrams.0/@nodes.3/@bindings.0">
      <nodes xsi:type="ucm.map:StartPoint" name="StartPoint_IN1" id="33" x="252" y="88" succ="//@urndef/@specDiagrams.3/@connections.0" inBindings="//@urndef/@specDiagrams.0/@nodes.3/@bindings.0/@in.0">
        <label deltaX="23" deltaY="-39"/>
        <precondition deltaX="40" deltaY="-17" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:EndPoint" name="EndPoint_OUT1" id="35" x="573" y="91" pred="//@urndef/@specDiagrams.3/@connections.11" outBindings="//@urndef/@specDiagrams.0/@nodes.3/@bindings.0/@out.0">
        <label/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:OrJoin" name="OrJoin38" id="38" x="463" y="90" succ="//@urndef/@specDiagrams.3/@connections.1" pred="//@urndef/@specDiagrams.3/@connections.4 //@urndef/@specDiagrams.3/@connections.9"/>
      <nodes xsi:type="ucm.map:StartPoint" name="StartPoint_IN2" id="40" x="246" y="177" succ="//@urndef/@specDiagrams.3/@connections.2" inBindings="//@urndef/@specDiagrams.0/@nodes.3/@bindings.0/@in.1">
        <label deltaX="1" deltaY="-41"/>
        <precondition deltaX="40" deltaY="-17" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:Stub" name="SStub2" id="100" x="422" y="173" succ="//@urndef/@specDiagrams.3/@connections.3 //@urndef/@specDiagrams.3/@connections.7" pred="//@urndef/@specDiagrams.3/@connections.5">
        <label deltaX="21" deltaY="6"/>
        <bindings plugin="41">
          <in startPoint="348" stubEntry="//@urndef/@specDiagrams.3/@connections.5"/>
          <out endPoint="353" stubExit="//@urndef/@specDiagrams.3/@connections.3"/>
          <precondition label="" expression="true"/>
        </bindings>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef645" id="645" x="418" y="89" succ="//@urndef/@specDiagrams.3/@connections.4" pred="//@urndef/@specDiagrams.3/@connections.6" respDef="465">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef646" id="646" x="351" y="179" succ="//@urndef/@specDiagrams.3/@connections.5" pred="//@urndef/@specDiagrams.3/@connections.2" respDef="641">
        <label deltaX="2" deltaY="-37"/>
      </nodes>
      <nodes xsi:type="ucm.map:WaitingPlace" name="WaitingPlace" id="706" x="334" y="89" succ="//@urndef/@specDiagrams.3/@connections.6" pred="//@urndef/@specDiagrams.3/@connections.12">
        <label deltaX="5" deltaY="8"/>
      </nodes>
      <nodes xsi:type="ucm.map:EndPoint" name="EndPoint2" id="965" x="565" y="238" pred="//@urndef/@specDiagrams.3/@connections.8">
        <label deltaX="20" deltaY="-44"/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef966" id="966" x="454" y="238" succ="//@urndef/@specDiagrams.3/@connections.8" pred="//@urndef/@specDiagrams.3/@connections.10" respDef="455">
        <label deltaX="9" deltaY="-37"/>
      </nodes>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow1142" id="1142" x="448" y="133" succ="//@urndef/@specDiagrams.3/@connections.9" pred="//@urndef/@specDiagrams.3/@connections.3"/>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow1143" id="1143" x="433" y="205" succ="//@urndef/@specDiagrams.3/@connections.10" pred="//@urndef/@specDiagrams.3/@connections.7"/>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef1158" id="1158" x="505" y="90" succ="//@urndef/@specDiagrams.3/@connections.11" pred="//@urndef/@specDiagrams.3/@connections.1" respDef="378">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef1189" id="1189" x="299" y="89" succ="//@urndef/@specDiagrams.3/@connections.12" pred="//@urndef/@specDiagrams.3/@connections.0" respDef="641">
        <label deltaX="3" deltaY="-36"/>
      </nodes>
      <connections xsi:type="ucm.map:NodeConnection" source="33" target="1189"/>
      <connections xsi:type="ucm.map:NodeConnection" source="38" target="1158"/>
      <connections xsi:type="ucm.map:NodeConnection" source="40" target="646"/>
      <connections xsi:type="ucm.map:NodeConnection" source="100" target="1142" outBindings="//@urndef/@specDiagrams.3/@nodes.4/@bindings.0/@out.0"/>
      <connections xsi:type="ucm.map:NodeConnection" source="645" target="38"/>
      <connections xsi:type="ucm.map:NodeConnection" source="646" target="100" inBindings="//@urndef/@specDiagrams.3/@nodes.4/@bindings.0/@in.0"/>
      <connections xsi:type="ucm.map:NodeConnection" source="706" target="645">
        <condition deltaX="44" deltaY="-6" label="i>=10" expression="i>=10" description=""/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="100" target="1143"/>
      <connections xsi:type="ucm.map:NodeConnection" source="966" target="965"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1142" target="38"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1143" target="966"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1158" target="35"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1189" target="706"/>
    </specDiagrams>
    <specDiagrams xsi:type="ucm.map:UCMmap" name="StubMap_2" id="41" parentStub="//@urndef/@specDiagrams.3/@nodes.4/@bindings.0">
      <nodes xsi:type="ucm.map:EndPoint" name="EndPoint2" id="352" x="548" y="278" pred="//@urndef/@specDiagrams.4/@connections.13">
        <label deltaX="-34" deltaY="-22"/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:StartPoint" name="StartPoint_IN1" id="348" x="264" y="221" succ="//@urndef/@specDiagrams.4/@connections.4" inBindings="//@urndef/@specDiagrams.3/@nodes.4/@bindings.0/@in.0">
        <label deltaX="59" deltaY="-21"/>
        <precondition deltaX="40" deltaY="-17" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:AndJoin" name="AndJoin1339" id="342" x="561" y="230" succ="//@urndef/@specDiagrams.4/@connections.2" pred="//@urndef/@specDiagrams.4/@connections.19 //@urndef/@specDiagrams.4/@connections.10 //@urndef/@specDiagrams.4/@connections.11"/>
      <nodes xsi:type="ucm.map:StartPoint" name="StartPoint_3" id="338" x="336" y="71" succ="//@urndef/@specDiagrams.4/@connections.3">
        <label deltaX="51" deltaY="-20"/>
        <precondition deltaX="40" deltaY="-17" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:AndFork" name="AndFork1388" id="345" x="337" y="222" succ="//@urndef/@specDiagrams.4/@connections.5 //@urndef/@specDiagrams.4/@connections.1 //@urndef/@specDiagrams.4/@connections.0" pred="//@urndef/@specDiagrams.4/@connections.14"/>
      <nodes xsi:type="ucm.map:EndPoint" name="EndPoint_OUT" id="353" x="618" y="232" pred="//@urndef/@specDiagrams.4/@connections.17" outBindings="//@urndef/@specDiagrams.3/@nodes.4/@bindings.0/@out.0">
        <label deltaX="-49" deltaY="-16"/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:OrJoin" name="OrJoin" id="361" x="487" y="138" succ="//@urndef/@specDiagrams.4/@connections.6" pred="//@urndef/@specDiagrams.4/@connections.16 //@urndef/@specDiagrams.4/@connections.15">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:StartPoint" name="StartPoint_2" id="363" x="340" y="142" succ="//@urndef/@specDiagrams.4/@connections.7">
        <label deltaX="54" deltaY="-13"/>
        <precondition deltaX="40" deltaY="-17" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef381" id="381" x="404" y="206" succ="//@urndef/@specDiagrams.4/@connections.8" pred="//@urndef/@specDiagrams.4/@connections.5" respDef="24">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef415" id="415" x="371" y="77" succ="//@urndef/@specDiagrams.4/@connections.9" pred="//@urndef/@specDiagrams.4/@connections.3" respDef="412">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef417" id="417" x="487" y="212" succ="//@urndef/@specDiagrams.4/@connections.10" pred="//@urndef/@specDiagrams.4/@connections.8" respDef="397">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef425" id="425" x="470" y="230" succ="//@urndef/@specDiagrams.4/@connections.11" pred="//@urndef/@specDiagrams.4/@connections.12" respDef="424">
        <label deltaX="1" deltaY="-40"/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef438" id="438" x="429" y="230" succ="//@urndef/@specDiagrams.4/@connections.12" pred="//@urndef/@specDiagrams.4/@connections.1" respDef="437">
        <label deltaX="3" deltaY="-39"/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef447" id="447" x="389" y="262" succ="//@urndef/@specDiagrams.4/@connections.13" pred="//@urndef/@specDiagrams.4/@connections.0" respDef="446">
        <label deltaX="17" deltaY="-33"/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef456" id="456" x="307" y="220" succ="//@urndef/@specDiagrams.4/@connections.14" pred="//@urndef/@specDiagrams.4/@connections.4" respDef="455">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef413" id="413" x="403" y="146" succ="//@urndef/@specDiagrams.4/@connections.15" pred="//@urndef/@specDiagrams.4/@connections.7" respDef="412">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef1048" id="1048" x="409" y="92" succ="//@urndef/@specDiagrams.4/@connections.16" pred="//@urndef/@specDiagrams.4/@connections.9" respDef="397">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef1145" id="1145" x="589" y="231" succ="//@urndef/@specDiagrams.4/@connections.17" pred="//@urndef/@specDiagrams.4/@connections.2" respDef="641">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef379" id="379" x="551" y="137" succ="//@urndef/@specDiagrams.4/@connections.18" pred="//@urndef/@specDiagrams.4/@connections.6" respDef="378">
        <label deltaX="3" deltaY="3"/>
      </nodes>
      <nodes xsi:type="ucm.map:EmptyPoint" name="EmptyPoint1311" id="1311" x="574" y="165" succ="//@urndef/@specDiagrams.4/@connections.19" pred="//@urndef/@specDiagrams.4/@connections.18"/>
      <connections xsi:type="ucm.map:NodeConnection" source="345" target="447"/>
      <connections xsi:type="ucm.map:NodeConnection" source="345" target="438"/>
      <connections xsi:type="ucm.map:NodeConnection" source="342" target="1145"/>
      <connections xsi:type="ucm.map:NodeConnection" source="338" target="415"/>
      <connections xsi:type="ucm.map:NodeConnection" source="348" target="456"/>
      <connections xsi:type="ucm.map:NodeConnection" source="345" target="381"/>
      <connections xsi:type="ucm.map:NodeConnection" source="361" target="379"/>
      <connections xsi:type="ucm.map:NodeConnection" source="363" target="413"/>
      <connections xsi:type="ucm.map:NodeConnection" source="381" target="417"/>
      <connections xsi:type="ucm.map:NodeConnection" source="415" target="1048"/>
      <connections xsi:type="ucm.map:NodeConnection" source="417" target="342"/>
      <connections xsi:type="ucm.map:NodeConnection" source="425" target="342"/>
      <connections xsi:type="ucm.map:NodeConnection" source="438" target="425"/>
      <connections xsi:type="ucm.map:NodeConnection" source="447" target="352"/>
      <connections xsi:type="ucm.map:NodeConnection" source="456" target="345"/>
      <connections xsi:type="ucm.map:NodeConnection" source="413" target="361"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1048" target="361"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1145" target="353"/>
      <connections xsi:type="ucm.map:NodeConnection" source="379" target="1311"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1311" target="342"/>
    </specDiagrams>
    <components name="Component1387" id="1387" contRefs="1388"/>
    <components name="Component1391" id="1391" contRefs="1392"/>
    <components name="Component1397" id="1397" contRefs="1398"/>
  </urndef>
  <metadata name="_Use0to100EvaluationRange" value="false"/>
</urn:URNspec>
