<?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="jkealey" created="April 23, 2007 2:59:47 PM EDT" modified="August 17, 2016 10:47:21 AM AST" specVersion="138" urnVersion="1.27" nextGlobalID="3979">
  <ucmspec>
    <scenarioGroups name="Simple Manual Process" id="5">
      <scenarios name="2 - Normal order" id="6" parentScenarios="502 505 523 2343">
        <initializations value="true" variable="48"/>
        <initializations value="false" variable="217"/>
        <initializations value="false" variable="506"/>
        <initializations value="false" variable="1321"/>
        <startPoints enabled="true" startPoint="8"/>
        <startPoints enabled="true" startPoint="199"/>
      </scenarios>
      <scenarios name="1 - Can't find product" id="502" includedScenarios="6">
        <initializations value="false" variable="48"/>
      </scenarios>
      <scenarios name="5 - Cancel whole order because of backorder" id="505" includedScenarios="6">
        <initializations value="CANCEL" variable="296"/>
        <initializations value="true" variable="506"/>
      </scenarios>
      <scenarios name="3 - Backordered with patient customer" id="523" parentScenarios="525" includedScenarios="6">
        <postconditions label="" expression="true"/>
        <initializations value="true" variable="506"/>
        <initializations value="WAIT" variable="296"/>
        <initializations value="true" variable="524"/>
        <initializations value="true" variable="1321"/>
        <initializations value="true" variable="1330"/>
        <startPoints enabled="true" startPoint="423"/>
      </scenarios>
      <scenarios name="6 - Infinite loop: wait but never arrives" id="525" includedScenarios="523">
        <initializations value="false" variable="524"/>
        <initializations value="true" variable="1321"/>
      </scenarios>
      <scenarios name="4 - Backordered items are cancelled" id="2343" includedScenarios="6">
        <initializations value="CANCEL" variable="296"/>
        <initializations value="true" variable="506"/>
        <initializations value="true" variable="1321"/>
        <initializations value="false" variable="1330"/>
      </scenarios>
    </scenarioGroups>
    <variables name="IsProductAvailable" id="48"/>
    <variables name="OrderToProcess" id="217"/>
    <variables name="UserDecision" id="296" type="enumeration" enumerationType="295"/>
    <variables name="IsWarehouseOutOfStock" id="506"/>
    <variables name="ReceivedMissingProduct" id="524"/>
    <variables name="IsCustomerPatient" id="1321"/>
    <variables name="IsArrivingSoon" id="1330"/>
    <variables name="ProductShipped" id="2234"/>
    <variables name="OrderedProductCount" id="3750" type="integer"/>
    <enumerationTypes name="MissingProductDecision" id="295" values="CANCEL,CANCELMISSING,WAIT" instances="296"/>
  </ucmspec>
  <grlspec>
    <groups name="StrategiesGroup3" id="3" strategies="4"/>
    <strategies name="Strategy4" id="4" author="jkealey" group="3"/>
  </grlspec>
  <urndef>
    <responsibilities name="add item to cart" id="31" description="" expression="ProductCount=ProductCount-1;&#xD;&#xA;IsDoneShopping=ProductCount==0;"/>
    <responsibilities name="submit final order" id="35" description="" expression="" respRefs="36"/>
    <responsibilities name="process order" id="151" description="" expression="OrderToProcess=true;&#xD;&#xA;ProductShipped=false;" respRefs="152"/>
    <responsibilities name="gather products" id="207" description="" expression="IsProductAvailable=!IsWarehouseOutOfStock;&#xD;&#xA;" respRefs="208"/>
    <responsibilities name="ship order" id="240" description="" expression="ProductShipped=true;" respRefs="241"/>
    <responsibilities name="decide" id="280" description="" expression="if (!IsCustomerPatient)&#xD;&#xA;&#x9;UserDecision=Cancel;&#xD;&#xA;else if (!IsArrivingSoon)&#xD;&#xA;&#x9;UserDecision=CancelMissing;&#xD;&#xA;else &#xD;&#xA;&#x9;UserDecision=Wait;" respRefs="2258"/>
    <responsibilities name="rejoice" id="324" description="" expression="" respRefs="960"/>
    <responsibilities name="count" id="463" description="" expression="" respRefs="464"/>
    <responsibilities name="increment inventory" id="466" description="" expression="IsWarehouseOutOfStock=!ReceivedMissingProduct;&#xD;&#xA;IsProductAvailable=ReceivedMissingProduct;" respRefs="467"/>
    <responsibilities name="cancel missing items or order" id="767" description="" expression="if (UserDecision==CancelMissing)&#xD;&#xA;&#x9;IsProductAvailable=true;&#xD;&#xA;else // if (UserDecision == Cancel)&#xD;&#xA;&#x9;IsProductAvailable = false;&#xD;&#xA;&#x9;" respRefs="2734"/>
    <responsibilities name="reserve available items" id="771" description="" expression="" respRefs="772"/>
    <responsibilities name="release items" id="826" description="" expression="" respRefs="827"/>
    <responsibilities name="order from supplier" id="2485" description="" expression="" respRefs="2576"/>
    <specDiagrams xsi:type="ucm.map:UCMmap" name="Order" id="2">
      <nodes xsi:type="ucm.map:StartPoint" name="Start Shopping" id="8" x="102" y="94" contRef="132" succ="//@urndef/@specDiagrams.0/@connections.0" scenarioStartPoints="//@ucmspec/@scenarioGroups.0/@scenarios.0/@startPoints.0">
        <label deltaX="46" deltaY="-36"/>
        <precondition deltaX="40" deltaY="-17" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef" id="36" x="283" y="105" contRef="132" succ="//@urndef/@specDiagrams.0/@connections.1" pred="//@urndef/@specDiagrams.0/@connections.30" respDef="35">
        <label deltaX="-20" deltaY="2"/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef" id="152" x="461" y="89" contRef="146" succ="//@urndef/@specDiagrams.0/@connections.3" pred="//@urndef/@specDiagrams.0/@connections.20" respDef="151">
        <label deltaX="-12" deltaY="5"/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef" id="241" x="462" y="126" contRef="146" succ="//@urndef/@specDiagrams.0/@connections.4" pred="//@urndef/@specDiagrams.0/@connections.31" respDef="240">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:OrFork" name="OrFork" id="252" x="665" y="162" contRef="146" succ="//@urndef/@specDiagrams.0/@connections.5 //@urndef/@specDiagrams.0/@connections.6" pred="//@urndef/@specDiagrams.0/@connections.16"/>
      <nodes xsi:type="ucm.map:OrJoin" name="OrJoin" id="382" x="535" y="125" contRef="146" succ="//@urndef/@specDiagrams.0/@connections.7" pred="//@urndef/@specDiagrams.0/@connections.8 //@urndef/@specDiagrams.0/@connections.9"/>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow" id="410" x="568" y="134" contRef="146" succ="//@urndef/@specDiagrams.0/@connections.8" pred="//@urndef/@specDiagrams.0/@connections.5"/>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow" id="412" x="544" y="181" contRef="146" succ="//@urndef/@specDiagrams.0/@connections.9" pred="//@urndef/@specDiagrams.0/@connections.25"/>
      <nodes xsi:type="ucm.map:StartPoint" name="Product reception" id="423" x="795" y="167" contRef="170" succ="//@urndef/@specDiagrams.0/@connections.10" scenarioStartPoints="//@ucmspec/@scenarioGroups.0/@scenarios.3/@startPoints.0">
        <precondition deltaX="3" deltaY="-44" label="Received products" expression="true" description=""/>
      </nodes>
      <nodes xsi:type="ucm.map:EndPoint" name="Inventory Incremented" id="425" x="834" y="240" contRef="146" pred="//@urndef/@specDiagrams.0/@connections.19">
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef" id="464" x="735" y="175" contRef="170" succ="//@urndef/@specDiagrams.0/@connections.11" pred="//@urndef/@specDiagrams.0/@connections.10" respDef="463">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef" id="467" x="706" y="232" contRef="146" succ="//@urndef/@specDiagrams.0/@connections.12" pred="//@urndef/@specDiagrams.0/@connections.11" respDef="466">
        <label deltaX="23" deltaY="-38"/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef" id="772" x="622" y="206" contRef="146" succ="//@urndef/@specDiagrams.0/@connections.13" pred="//@urndef/@specDiagrams.0/@connections.34" respDef="771">
        <label deltaX="-22" deltaY="-37"/>
      </nodes>
      <nodes xsi:type="ucm.map:StartPoint" name="Order to process" id="199" x="806" y="104" contRef="170" succ="//@urndef/@specDiagrams.0/@connections.14" scenarioStartPoints="//@ucmspec/@scenarioGroups.0/@scenarios.0/@startPoints.1">
        <precondition deltaX="1" deltaY="1" label="Order To Process" expression="OrderToProcess" description=""/>
      </nodes>
      <nodes xsi:type="ucm.map:EndPoint" name="Products Gathered" id="201" x="653" y="69" contRef="146" pred="//@urndef/@specDiagrams.0/@connections.15">
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef" id="208" x="742" y="104" contRef="170" succ="//@urndef/@specDiagrams.0/@connections.15" pred="//@urndef/@specDiagrams.0/@connections.14" respDef="207">
        <label deltaX="-10" deltaY="-36"/>
      </nodes>
      <nodes xsi:type="ucm.map:WaitingPlace" name="find products" id="773" x="653" y="119" contRef="146" succ="//@urndef/@specDiagrams.0/@connections.16" pred="//@urndef/@specDiagrams.0/@connections.3">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:EndPoint" name="Cancelled" id="782" x="599" y="247" contRef="146" pred="//@urndef/@specDiagrams.0/@connections.18">
        <label deltaX="-1" deltaY="-43"/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef" id="827" x="545" y="259" contRef="146" succ="//@urndef/@specDiagrams.0/@connections.18" pred="//@urndef/@specDiagrams.0/@connections.33" respDef="826">
        <label deltaX="-3" deltaY="1"/>
      </nodes>
      <nodes xsi:type="ucm.map:Stub" name="inform" id="842" x="776" y="248" contRef="146" succ="//@urndef/@specDiagrams.0/@connections.19" pred="//@urndef/@specDiagrams.0/@connections.12" dynamic="true">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:AndFork" name="AndFork" id="877" x="329" y="121" contRef="132" succ="//@urndef/@specDiagrams.0/@connections.20 //@urndef/@specDiagrams.0/@connections.21" pred="//@urndef/@specDiagrams.0/@connections.1"/>
      <nodes xsi:type="ucm.map:EndPoint" name="Received" id="879" x="245" y="260" contRef="132" pred="//@urndef/@specDiagrams.0/@connections.22">
        <label/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef" id="960" x="305" y="250" contRef="132" succ="//@urndef/@specDiagrams.0/@connections.22" pred="//@urndef/@specDiagrams.0/@connections.23" respDef="324">
        <label deltaX="-22" deltaY="-34"/>
      </nodes>
      <nodes xsi:type="ucm.map:Stub" name="Wait for Order" id="1389" x="293" y="195" contRef="132" succ="//@urndef/@specDiagrams.0/@connections.23 //@urndef/@specDiagrams.0/@connections.35" pred="//@urndef/@specDiagrams.0/@connections.27 //@urndef/@specDiagrams.0/@connections.32">
        <label deltaX="2" deltaY="6"/>
        <bindings plugin="994">
          <in startPoint="996" stubEntry="//@urndef/@specDiagrams.0/@connections.32"/>
          <out endPoint="998" stubExit="//@urndef/@specDiagrams.0/@connections.23"/>
          <out endPoint="1340" stubExit="//@urndef/@specDiagrams.0/@connections.35"/>
          <precondition label="" expression="true"/>
        </bindings>
      </nodes>
      <nodes xsi:type="ucm.map:Stub" name="Wait for supplier" id="2785" x="493" y="183" contRef="146" succ="//@urndef/@specDiagrams.0/@connections.25 //@urndef/@specDiagrams.0/@connections.24 //@urndef/@specDiagrams.0/@connections.17" pred="//@urndef/@specDiagrams.0/@connections.26">
        <label deltaX="4" deltaY="5"/>
        <bindings plugin="2399">
          <in startPoint="2400" stubEntry="//@urndef/@specDiagrams.0/@connections.26"/>
          <out endPoint="2402" stubExit="//@urndef/@specDiagrams.0/@connections.25"/>
          <out endPoint="2417" stubExit="//@urndef/@specDiagrams.0/@connections.24"/>
          <out endPoint="2491" stubExit="//@urndef/@specDiagrams.0/@connections.17"/>
          <precondition label="" expression="true"/>
        </bindings>
      </nodes>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow" id="2949" x="491" y="259" contRef="146" succ="//@urndef/@specDiagrams.0/@connections.26" pred="//@urndef/@specDiagrams.0/@connections.13"/>
      <nodes xsi:type="ucm.map:DirectionArrow" name="notify" id="2950" x="355" y="226" contRef="132" succ="//@urndef/@specDiagrams.0/@connections.27" pred="//@urndef/@specDiagrams.0/@connections.29">
        <label deltaX="-6" deltaY="5"/>
      </nodes>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow" id="3222" x="157" y="166" contRef="132" succ="//@urndef/@specDiagrams.0/@connections.28" pred="//@urndef/@specDiagrams.0/@connections.2"/>
      <nodes xsi:type="ucm.map:Stub" name="shop" id="3596" x="168" y="99" contRef="132" succ="//@urndef/@specDiagrams.0/@connections.30 //@urndef/@specDiagrams.0/@connections.2" pred="//@urndef/@specDiagrams.0/@connections.0" dynamic="true">
        <label/>
        <bindings plugin="3631">
          <in startPoint="3632" stubEntry="//@urndef/@specDiagrams.0/@connections.0"/>
          <out endPoint="3641" stubExit="//@urndef/@specDiagrams.0/@connections.30"/>
          <out endPoint="3634" stubExit="//@urndef/@specDiagrams.0/@connections.2"/>
          <precondition label="" expression="true"/>
        </bindings>
      </nodes>
      <nodes xsi:type="ucm.map:EmptyPoint" name="EmptyPoint" id="3744" x="507" y="123" contRef="146" succ="//@urndef/@specDiagrams.0/@connections.31" pred="//@urndef/@specDiagrams.0/@connections.7"/>
      <nodes xsi:type="ucm.map:EmptyPoint" name="EmptyPoint" id="3745" x="348" y="150" contRef="132" succ="//@urndef/@specDiagrams.0/@connections.32" pred="//@urndef/@specDiagrams.0/@connections.21"/>
      <nodes xsi:type="ucm.map:EmptyPoint" name="EmptyPoint" id="3746" x="512" y="242" contRef="146" succ="//@urndef/@specDiagrams.0/@connections.33" pred="//@urndef/@specDiagrams.0/@connections.17"/>
      <nodes xsi:type="ucm.map:EmptyPoint" name="EmptyPoint" id="3747" x="655" y="190" contRef="146" succ="//@urndef/@specDiagrams.0/@connections.34" pred="//@urndef/@specDiagrams.0/@connections.6"/>
      <nodes xsi:type="ucm.map:EndPoint" name="Shop elsewhere" id="3905" x="109" y="184" contRef="132" pred="//@urndef/@specDiagrams.0/@connections.28">
        <label deltaX="-4" deltaY="-42"/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:EndPoint" name="EndPoint" id="3941" x="422" y="205" contRef="146" pred="//@urndef/@specDiagrams.0/@connections.24">
        <label deltaX="-11" deltaY="6"/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:EndPoint" name="EndPoint" id="3942" x="431" y="139" contRef="146" pred="//@urndef/@specDiagrams.0/@connections.4">
        <label deltaX="38" deltaY="-24"/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:StartPoint" name="StartPoint" id="3940" x="364" y="266" contRef="132" succ="//@urndef/@specDiagrams.0/@connections.29">
        <label deltaX="-8" deltaY="-47"/>
        <precondition deltaX="40" deltaY="-17" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:EndPoint" name="Shop elsewhere" id="3904" x="178" y="225" contRef="132" pred="//@urndef/@specDiagrams.0/@connections.36">
        <label deltaX="9" deltaY="-39"/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow415" id="415" x="217" y="195" contRef="132" succ="//@urndef/@specDiagrams.0/@connections.36" pred="//@urndef/@specDiagrams.0/@connections.35"/>
      <contRefs xsi:type="ucm.map:ComponentRef" name="ComponentRef" id="132" x="66" y="51" width="320" height="237" contDef="131" nodes="8 36 877 879 1389 960 3222 3596 3745 3905 2950 3940 3904 415">
        <label/>
      </contRefs>
      <contRefs xsi:type="ucm.map:ComponentRef" name="ComponentRef" id="146" x="398" y="51" width="472" height="234" contDef="145" nodes="252 410 425 467 772 201 773 782 827 842 2949 152 241 2785 412 382 3744 3746 3747 3941 3942" children="170">
        <label/>
      </contRefs>
      <contRefs xsi:type="ucm.map:ComponentRef" name="ComponentRef" id="170" x="700" y="72" width="155" height="137" contDef="169" nodes="423 208 464 199" parent="146">
        <label/>
      </contRefs>
      <connections xsi:type="ucm.map:NodeConnection" source="8" target="3596" inBindings="//@urndef/@specDiagrams.0/@nodes.28/@bindings.0/@in.0"/>
      <connections xsi:type="ucm.map:NodeConnection" source="36" target="877"/>
      <connections xsi:type="ucm.map:NodeConnection" source="3596" target="3222" outBindings="//@urndef/@specDiagrams.0/@nodes.28/@bindings.0/@out.1"/>
      <connections xsi:type="ucm.map:NodeConnection" source="152" target="773"/>
      <connections xsi:type="ucm.map:NodeConnection" source="241" target="3942"/>
      <connections xsi:type="ucm.map:NodeConnection" source="252" target="410">
        <condition deltaX="33" deltaY="30" label="IsProductAvailable" expression="IsProductAvailable" description=""/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="252" target="3747">
        <condition deltaX="105" deltaY="15" label="item(s) missing" expression="!IsProductAvailable" description=""/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="382" target="3744"/>
      <connections xsi:type="ucm.map:NodeConnection" source="410" target="382"/>
      <connections xsi:type="ucm.map:NodeConnection" source="412" target="382"/>
      <connections xsi:type="ucm.map:NodeConnection" source="423" target="464"/>
      <connections xsi:type="ucm.map:NodeConnection" source="464" target="467"/>
      <connections xsi:type="ucm.map:NodeConnection" source="467" target="842"/>
      <connections xsi:type="ucm.map:NodeConnection" source="772" target="2949"/>
      <connections xsi:type="ucm.map:NodeConnection" source="199" target="208"/>
      <connections xsi:type="ucm.map:NodeConnection" source="208" target="201"/>
      <connections xsi:type="ucm.map:NodeConnection" source="773" target="252">
        <condition label="" expression="false"/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="2785" target="3746" outBindings="//@urndef/@specDiagrams.0/@nodes.24/@bindings.0/@out.2"/>
      <connections xsi:type="ucm.map:NodeConnection" source="827" target="782"/>
      <connections xsi:type="ucm.map:NodeConnection" source="842" target="425"/>
      <connections xsi:type="ucm.map:NodeConnection" source="877" target="152"/>
      <connections xsi:type="ucm.map:NodeConnection" source="877" target="3745"/>
      <connections xsi:type="ucm.map:NodeConnection" source="960" target="879"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1389" target="960" outBindings="//@urndef/@specDiagrams.0/@nodes.23/@bindings.0/@out.0"/>
      <connections xsi:type="ucm.map:NodeConnection" source="2785" target="3941" outBindings="//@urndef/@specDiagrams.0/@nodes.24/@bindings.0/@out.1"/>
      <connections xsi:type="ucm.map:NodeConnection" source="2785" target="412" outBindings="//@urndef/@specDiagrams.0/@nodes.24/@bindings.0/@out.0"/>
      <connections xsi:type="ucm.map:NodeConnection" source="2949" target="2785" inBindings="//@urndef/@specDiagrams.0/@nodes.24/@bindings.0/@in.0"/>
      <connections xsi:type="ucm.map:NodeConnection" source="2950" target="1389"/>
      <connections xsi:type="ucm.map:NodeConnection" source="3222" target="3905"/>
      <connections xsi:type="ucm.map:NodeConnection" source="3940" target="2950"/>
      <connections xsi:type="ucm.map:NodeConnection" source="3596" target="36" outBindings="//@urndef/@specDiagrams.0/@nodes.28/@bindings.0/@out.0"/>
      <connections xsi:type="ucm.map:NodeConnection" source="3744" target="241"/>
      <connections xsi:type="ucm.map:NodeConnection" source="3745" target="1389" inBindings="//@urndef/@specDiagrams.0/@nodes.23/@bindings.0/@in.0"/>
      <connections xsi:type="ucm.map:NodeConnection" source="3746" target="827"/>
      <connections xsi:type="ucm.map:NodeConnection" source="3747" target="772"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1389" target="415" outBindings="//@urndef/@specDiagrams.0/@nodes.23/@bindings.0/@out.1"/>
      <connections xsi:type="ucm.map:NodeConnection" source="415" target="3904"/>
    </specDiagrams>
    <specDiagrams xsi:type="ucm.map:UCMmap" name="WaitForOrder" id="994" parentStub="//@urndef/@specDiagrams.0/@nodes.23/@bindings.0">
      <nodes xsi:type="ucm.map:StartPoint" name="Wait" id="996" x="81" y="148" succ="//@urndef/@specDiagrams.1/@connections.0" inBindings="//@urndef/@specDiagrams.0/@nodes.23/@bindings.0/@in.0">
        <label/>
        <precondition deltaX="40" deltaY="-17" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:EndPoint" name="Received" id="998" x="92" y="252" pred="//@urndef/@specDiagrams.1/@connections.8" outBindings="//@urndef/@specDiagrams.0/@nodes.23/@bindings.0/@out.0">
        <label/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:Timer" name="wait" id="1012" x="175" y="213" succ="//@urndef/@specDiagrams.1/@connections.1 //@urndef/@specDiagrams.1/@connections.2" pred="//@urndef/@specDiagrams.1/@connections.7">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:OrJoin" name="OrJoin" id="1309" x="130" y="151" succ="//@urndef/@specDiagrams.1/@connections.3" pred="//@urndef/@specDiagrams.1/@connections.0 //@urndef/@specDiagrams.1/@connections.6"/>
      <nodes xsi:type="ucm.map:OrFork" name="OrFork" id="1338" x="327" y="160" succ="//@urndef/@specDiagrams.1/@connections.17 //@urndef/@specDiagrams.1/@connections.4 //@urndef/@specDiagrams.1/@connections.13" pred="//@urndef/@specDiagrams.1/@connections.12"/>
      <nodes xsi:type="ucm.map:EndPoint" name="Shop Elsewhere" id="1340" x="568" y="243" pred="//@urndef/@specDiagrams.1/@connections.15" outBindings="//@urndef/@specDiagrams.0/@nodes.23/@bindings.0/@out.1">
        <label deltaX="-2" deltaY="-36"/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow" id="1370" x="391" y="203" succ="//@urndef/@specDiagrams.1/@connections.5" pred="//@urndef/@specDiagrams.1/@connections.4"/>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow" id="1371" x="115" y="115" succ="//@urndef/@specDiagrams.1/@connections.6" pred="//@urndef/@specDiagrams.1/@connections.26"/>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow" id="1372" x="154" y="178" succ="//@urndef/@specDiagrams.1/@connections.7" pred="//@urndef/@specDiagrams.1/@connections.3"/>
      <nodes xsi:type="ucm.map:OrFork" name="OrFork" id="2114" x="221" y="249" succ="//@urndef/@specDiagrams.1/@connections.8 //@urndef/@specDiagrams.1/@connections.9" pred="//@urndef/@specDiagrams.1/@connections.1"/>
      <nodes xsi:type="ucm.map:OrJoin" name="OrJoin" id="2210" x="289" y="213" succ="//@urndef/@specDiagrams.1/@connections.10" pred="//@urndef/@specDiagrams.1/@connections.2 //@urndef/@specDiagrams.1/@connections.11"/>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow" id="2211" x="274" y="239" succ="//@urndef/@specDiagrams.1/@connections.11" pred="//@urndef/@specDiagrams.1/@connections.27"/>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef" id="2258" x="318" y="203" succ="//@urndef/@specDiagrams.1/@connections.12" pred="//@urndef/@specDiagrams.1/@connections.10" respDef="280">
        <label deltaX="-8" deltaY="-38"/>
      </nodes>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow" id="2396" x="373" y="102" succ="//@urndef/@specDiagrams.1/@connections.14" pred="//@urndef/@specDiagrams.1/@connections.18"/>
      <nodes xsi:type="ucm.map:EndPoint" name="Cancel order at store" id="2106" x="603" y="200" pred="//@urndef/@specDiagrams.1/@connections.16">
        <label deltaX="19" deltaY="8"/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:AndFork" name="AndFork" id="3073" x="535" y="208" succ="//@urndef/@specDiagrams.1/@connections.15 //@urndef/@specDiagrams.1/@connections.16" pred="//@urndef/@specDiagrams.1/@connections.22"/>
      <nodes xsi:type="ucm.map:EmptyPoint" name="EmptyPoint" id="3455" x="485" y="140" succ="//@urndef/@specDiagrams.1/@connections.18" pred="//@urndef/@specDiagrams.1/@connections.19"/>
      <nodes xsi:type="ucm.map:AndFork" name="AndFork" id="3459" x="432" y="160" succ="//@urndef/@specDiagrams.1/@connections.19 //@urndef/@specDiagrams.1/@connections.20" pred="//@urndef/@specDiagrams.1/@connections.25"/>
      <nodes xsi:type="ucm.map:OrJoin" name="OrJoin" id="3530" x="229" y="101" succ="//@urndef/@specDiagrams.1/@connections.21" pred="//@urndef/@specDiagrams.1/@connections.14 //@urndef/@specDiagrams.1/@connections.24"/>
      <nodes xsi:type="ucm.map:OrJoin" name="OrJoin" id="3571" x="497" y="204" succ="//@urndef/@specDiagrams.1/@connections.22" pred="//@urndef/@specDiagrams.1/@connections.5 //@urndef/@specDiagrams.1/@connections.23"/>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow" id="3587" x="480" y="181" succ="//@urndef/@specDiagrams.1/@connections.23" pred="//@urndef/@specDiagrams.1/@connections.20"/>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow" id="3589" x="302" y="118" succ="//@urndef/@specDiagrams.1/@connections.24" pred="//@urndef/@specDiagrams.1/@connections.17"/>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow" id="3594" x="390" y="160" succ="//@urndef/@specDiagrams.1/@connections.25" pred="//@urndef/@specDiagrams.1/@connections.13"/>
      <nodes xsi:type="ucm.map:EmptyPoint" name="EmptyPoint" id="3748" x="162" y="101" succ="//@urndef/@specDiagrams.1/@connections.26" pred="//@urndef/@specDiagrams.1/@connections.21"/>
      <nodes xsi:type="ucm.map:EmptyPoint" name="EmptyPoint" id="3857" x="248" y="259" succ="//@urndef/@specDiagrams.1/@connections.27" pred="//@urndef/@specDiagrams.1/@connections.9"/>
      <connections xsi:type="ucm.map:NodeConnection" source="996" target="1309"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1012" target="2114">
        <condition label="" expression="false"/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="1012" target="2210">
        <condition label="" expression="false"/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="1309" target="1372"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1338" target="1370">
        <condition deltaX="10" deltaY="-22" label="cancel order" expression="UserDecision==Cancel" description=""/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="1370" target="3571"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1371" target="1309"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1372" target="1012"/>
      <connections xsi:type="ucm.map:NodeConnection" source="2114" target="998">
        <condition deltaX="24" deltaY="-4" label="Received" expression="ProductShipped" description=""/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="2114" target="3857">
        <condition deltaX="6" deltaY="-8" label="else" expression="!ProductShipped" description=""/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="2210" target="2258"/>
      <connections xsi:type="ucm.map:NodeConnection" source="2211" target="2210"/>
      <connections xsi:type="ucm.map:NodeConnection" source="2258" target="1338"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1338" target="3594">
        <condition deltaX="25" deltaY="24" label="cancel missing" expression="UserDecision==CancelMissing" description=""/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="2396" target="3530"/>
      <connections xsi:type="ucm.map:NodeConnection" source="3073" target="1340"/>
      <connections xsi:type="ucm.map:NodeConnection" source="3073" target="2106"/>
      <connections xsi:type="ucm.map:NodeConnection" source="1338" target="3589">
        <condition deltaX="76" deltaY="2" label="wait more" expression="UserDecision==Wait" description=""/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="3455" target="2396"/>
      <connections xsi:type="ucm.map:NodeConnection" source="3459" target="3455"/>
      <connections xsi:type="ucm.map:NodeConnection" source="3459" target="3587"/>
      <connections xsi:type="ucm.map:NodeConnection" source="3530" target="3748"/>
      <connections xsi:type="ucm.map:NodeConnection" source="3571" target="3073"/>
      <connections xsi:type="ucm.map:NodeConnection" source="3587" target="3571"/>
      <connections xsi:type="ucm.map:NodeConnection" source="3589" target="3530"/>
      <connections xsi:type="ucm.map:NodeConnection" source="3594" target="3459"/>
      <connections xsi:type="ucm.map:NodeConnection" source="3748" target="1371"/>
      <connections xsi:type="ucm.map:NodeConnection" source="3857" target="2211"/>
    </specDiagrams>
    <specDiagrams xsi:type="ucm.map:UCMmap" name="Backordered" id="2399" parentStub="//@urndef/@specDiagrams.0/@nodes.24/@bindings.0">
      <nodes xsi:type="ucm.map:StartPoint" name="Back Ordered" id="2400" x="89" y="118" succ="//@urndef/@specDiagrams.2/@connections.0" inBindings="//@urndef/@specDiagrams.0/@nodes.24/@bindings.0/@in.0">
        <label deltaX="20" deltaY="4"/>
        <precondition deltaX="40" deltaY="-17" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:EndPoint" name="Ship Order" id="2402" x="597" y="112" pred="//@urndef/@specDiagrams.2/@connections.12" outBindings="//@urndef/@specDiagrams.0/@nodes.24/@bindings.0/@out.0">
        <label/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:AndFork" name="AndFork" id="2415" x="235" y="118" succ="//@urndef/@specDiagrams.2/@connections.1 //@urndef/@specDiagrams.2/@connections.2" pred="//@urndef/@specDiagrams.2/@connections.6"/>
      <nodes xsi:type="ucm.map:EndPoint" name="notify user of delays" id="2417" x="349" y="97" pred="//@urndef/@specDiagrams.2/@connections.2" outBindings="//@urndef/@specDiagrams.0/@nodes.24/@bindings.0/@out.1">
        <label/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:OrFork" name="OrFork" id="2489" x="309" y="224" succ="//@urndef/@specDiagrams.2/@connections.3 //@urndef/@specDiagrams.2/@connections.4" pred="//@urndef/@specDiagrams.2/@connections.15"/>
      <nodes xsi:type="ucm.map:EndPoint" name="Cancelled" id="2491" x="222" y="282" pred="//@urndef/@specDiagrams.2/@connections.11" outBindings="//@urndef/@specDiagrams.0/@nodes.24/@bindings.0/@out.2">
        <label/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef" id="2576" x="160" y="119" succ="//@urndef/@specDiagrams.2/@connections.5" pred="//@urndef/@specDiagrams.2/@connections.0" respDef="2485">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:OrJoin" name="OrJoin" id="2580" x="190" y="119" succ="//@urndef/@specDiagrams.2/@connections.6" pred="//@urndef/@specDiagrams.2/@connections.5 //@urndef/@specDiagrams.2/@connections.7"/>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow" id="2581" x="173" y="207" succ="//@urndef/@specDiagrams.2/@connections.7" pred="//@urndef/@specDiagrams.2/@connections.3"/>
      <nodes xsi:type="ucm.map:StartPoint" name="Cancel Missing" id="2583" x="104" y="363" succ="//@urndef/@specDiagrams.2/@connections.8">
        <label/>
        <precondition deltaX="40" deltaY="-17" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:EndPoint" name="Cancelled Missing" id="2585" x="401" y="359" pred="//@urndef/@specDiagrams.2/@connections.9">
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:RespRef" name="RespRef" id="2734" x="248" y="361" succ="//@urndef/@specDiagrams.2/@connections.9" pred="//@urndef/@specDiagrams.2/@connections.8" respDef="767">
        <label deltaX="1" deltaY="1"/>
      </nodes>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow" id="2752" x="316" y="125" succ="//@urndef/@specDiagrams.2/@connections.10" pred="//@urndef/@specDiagrams.2/@connections.1"/>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow" id="2755" x="304" y="279" succ="//@urndef/@specDiagrams.2/@connections.11" pred="//@urndef/@specDiagrams.2/@connections.4"/>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow" id="2759" x="481" y="115" succ="//@urndef/@specDiagrams.2/@connections.12" pred="//@urndef/@specDiagrams.2/@connections.13"/>
      <nodes xsi:type="ucm.map:Timer" name="Timer" id="2922" x="400" y="127" succ="//@urndef/@specDiagrams.2/@connections.13 //@urndef/@specDiagrams.2/@connections.14" pred="//@urndef/@specDiagrams.2/@connections.10">
        <label/>
      </nodes>
      <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow3885" id="3885" x="348" y="203" succ="//@urndef/@specDiagrams.2/@connections.15" pred="//@urndef/@specDiagrams.2/@connections.14"/>
      <connections xsi:type="ucm.map:NodeConnection" source="2400" target="2576"/>
      <connections xsi:type="ucm.map:NodeConnection" source="2415" target="2752"/>
      <connections xsi:type="ucm.map:NodeConnection" source="2415" target="2417"/>
      <connections xsi:type="ucm.map:NodeConnection" source="2489" target="2581">
        <condition deltaX="27" deltaY="31" label="additional delays" expression="UserDecision!=Cancel" description=""/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="2489" target="2755">
        <condition label="Cancelled by user" expression="UserDecision==Cancel" description=""/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="2576" target="2580"/>
      <connections xsi:type="ucm.map:NodeConnection" source="2580" target="2415"/>
      <connections xsi:type="ucm.map:NodeConnection" source="2581" target="2580"/>
      <connections xsi:type="ucm.map:NodeConnection" source="2583" target="2734"/>
      <connections xsi:type="ucm.map:NodeConnection" source="2734" target="2585"/>
      <connections xsi:type="ucm.map:NodeConnection" source="2752" target="2922"/>
      <connections xsi:type="ucm.map:NodeConnection" source="2755" target="2491"/>
      <connections xsi:type="ucm.map:NodeConnection" source="2759" target="2402"/>
      <connections xsi:type="ucm.map:NodeConnection" source="2922" target="2759">
        <condition label="" expression="IsProductAvailable" description=""/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="2922" target="3885">
        <condition label="" expression="false" description=""/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="3885" target="2489"/>
    </specDiagrams>
    <specDiagrams xsi:type="ucm.map:UCMmap" name="Shop" id="3631" parentStub="//@urndef/@specDiagrams.0/@nodes.28/@bindings.0">
      <nodes xsi:type="ucm.map:StartPoint" name="Shop" id="3632" x="114" y="211" succ="//@urndef/@specDiagrams.3/@connections.0" inBindings="//@urndef/@specDiagrams.0/@nodes.28/@bindings.0/@in.0">
        <label/>
        <precondition deltaX="40" deltaY="-17" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:EndPoint" name="Product not available" id="3634" x="318" y="238" pred="//@urndef/@specDiagrams.3/@connections.1" outBindings="//@urndef/@specDiagrams.0/@nodes.28/@bindings.0/@out.1">
        <label/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <nodes xsi:type="ucm.map:OrFork" name="OrFork" id="3639" x="214" y="211" succ="//@urndef/@specDiagrams.3/@connections.1 //@urndef/@specDiagrams.3/@connections.2" pred="//@urndef/@specDiagrams.3/@connections.0"/>
      <nodes xsi:type="ucm.map:EndPoint" name="Product Available" id="3641" x="320" y="164" pred="//@urndef/@specDiagrams.3/@connections.2" outBindings="//@urndef/@specDiagrams.0/@nodes.28/@bindings.0/@out.0">
        <label/>
        <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/>
      </nodes>
      <connections xsi:type="ucm.map:NodeConnection" source="3632" target="3639"/>
      <connections xsi:type="ucm.map:NodeConnection" source="3639" target="3634">
        <condition deltaX="62" deltaY="-14" label="product not available" expression="!IsProductAvailable" description=""/>
      </connections>
      <connections xsi:type="ucm.map:NodeConnection" source="3639" target="3641">
        <condition deltaX="83" deltaY="24" label="product available" expression="IsProductAvailable" description=""/>
      </connections>
    </specDiagrams>
    <components name="Web Customer" id="131" contRefs="132" kind="Actor"/>
    <components name="Web Store w/ Warehouse" id="145" contRefs="146"/>
    <components name="Warehouse employee" id="169" contRefs="170" kind="Actor"/>
  </urndef>
</urn:URNspec>
