Bowen Tian | 48ea8ed | 2017-12-10 18:26:40 -0500 | [diff] [blame^] | 1 | <?xml version="1.0" encoding="ISO-8859-1"?> |
| 2 | <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="Jimmy" created="November 26, 2017 12:37:20 PM EST" modified="December 10, 2017 6:26:23 PM EST" specVersion="19" urnVersion="1.27" nextGlobalID="4463"> |
| 3 | <ucmspec> |
| 4 | <scenarioGroups name="ScenarioGroup5" id="5"> |
| 5 | <scenarios name="ScenarioDef6" id="6"/> |
| 6 | </scenarioGroups> |
| 7 | </ucmspec> |
| 8 | <grlspec> |
| 9 | <groups name="StrategiesGroup3" id="3" strategies="4"/> |
| 10 | <strategies name="EvaluationStrategy4" id="4" author="Jimmy" group="3"/> |
| 11 | <impactModel/> |
| 12 | <indicatorGroup name="Time" id="7" isRedesignCategory="true"/> |
| 13 | <indicatorGroup name="Cost" id="8" isRedesignCategory="true"/> |
| 14 | <indicatorGroup name="Quality" id="9" isRedesignCategory="true"/> |
| 15 | <indicatorGroup name="Flexibility" id="10" isRedesignCategory="true"/> |
| 16 | <featureModel/> |
| 17 | </grlspec> |
| 18 | <urndef> |
| 19 | <responsibilities name="saveGame(Game, Slot)<<out>>" id="224"/> |
| 20 | <responsibilities name="informValidateRoom<<in>>" id="231"/> |
| 21 | <responsibilities name="share<<out>>" id="935"/> |
| 22 | <responsibilities name="informWin<<in>>" id="950"/> |
| 23 | <responsibilities name="promptLosingScreen<<out>>" id="1232"/> |
| 24 | <responsibilities name="informGameLost<<in>>" id="1233"/> |
| 25 | <responsibilities name="cardToDiscardPile<<out>>" id="1237"/> |
| 26 | <responsibilities name="informNewCubeNumber<<in>>" id="1230"/> |
| 27 | <responsibilities name="Responsibility1308" id="1308"/> |
| 28 | <responsibilities name="informNewResearchStationNumber<<in>>" id="1453"/> |
| 29 | <responsibilities name="informNewResearchStation<<in>>" id="1455"/> |
| 30 | <responsibilities name="informNewCityCube<<in>>" id="1459"/> |
| 31 | <responsibilities name="Responsibility1522" id="1522"/> |
| 32 | <responsibilities name="build<<out>>" id="2626" description="" expression=""/> |
| 33 | <responsibilities name="informNewPlayerHand<<in>>" id="2647" description="" expression=""/> |
| 34 | <responsibilities name="Responsibility3392" id="3392"/> |
| 35 | <responsibilities name="<<in>> Recharge" id="4042" respRefs="4043"/> |
| 36 | <responsibilities name="<<out>> rechargeOptions" id="4046" respRefs="4047"/> |
| 37 | <responsibilities name="<<in>> choice" id="4048" respRefs="4049"/> |
| 38 | <responsibilities name="<<out>> displayPrice" id="4050" respRefs="4051"/> |
| 39 | <responsibilities name="<<out>>informPriceToPaymentSys" id="4081" respRefs="4082"/> |
| 40 | <responsibilities name="<<out>>uploadTickets" id="4089" respRefs="4090"/> |
| 41 | <responsibilities name="<<out>>printReceipt" id="4095" respRefs="4096"/> |
| 42 | <responsibilities name="<<out>>askForCollections" id="4107" respRefs="4108"/> |
| 43 | <responsibilities name="<<in>> collected" id="4115" respRefs="4116"/> |
| 44 | <responsibilities name="<<in>>Cancel" id="4138" respRefs="4139"/> |
| 45 | <responsibilities name="<<out>>beep" id="4252" respRefs="4280"/> |
| 46 | <responsibilities name="<<in>> unsuccessful" id="4333" respRefs="4334"/> |
| 47 | <responsibilities name="<<out>>transactionFailed" id="4343" respRefs="4344"/> |
| 48 | <responsibilities name="<<out>> Beep" id="4454" respRefs="4455"/> |
| 49 | <specDiagrams xsi:type="ucm.map:UCMmap" name="UCMmap2" id="2"> |
| 50 | <nodes xsi:type="ucm.map:StartPoint" name="StartRecharge" id="4035" x="127" y="165" succ="//@urndef/@specDiagrams.0/@connections.0"> |
| 51 | <label/> |
| 52 | <precondition deltaX="40" deltaY="-17" label="" expression="true"/> |
| 53 | </nodes> |
| 54 | <nodes xsi:type="ucm.map:EndPoint" name="EndOfRecharge" id="4037" x="1414" y="138" pred="//@urndef/@specDiagrams.0/@connections.37"> |
| 55 | <label/> |
| 56 | <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/> |
| 57 | </nodes> |
| 58 | <nodes xsi:type="ucm.map:RespRef" name="RespRef4043" id="4043" x="227" y="165" succ="//@urndef/@specDiagrams.0/@connections.1" pred="//@urndef/@specDiagrams.0/@connections.0" respDef="4042"> |
| 59 | <label/> |
| 60 | </nodes> |
| 61 | <nodes xsi:type="ucm.map:RespRef" name="RespRef4047" id="4047" x="294" y="166" succ="//@urndef/@specDiagrams.0/@connections.2" pred="//@urndef/@specDiagrams.0/@connections.1" respDef="4046"> |
| 62 | <label deltaX="12" deltaY="-58"/> |
| 63 | </nodes> |
| 64 | <nodes xsi:type="ucm.map:RespRef" name="RespRef4049" id="4049" x="424" y="158" succ="//@urndef/@specDiagrams.0/@connections.3" pred="//@urndef/@specDiagrams.0/@connections.32" respDef="4048"> |
| 65 | <label/> |
| 66 | </nodes> |
| 67 | <nodes xsi:type="ucm.map:RespRef" name="RespRef4051" id="4051" x="622" y="134" succ="//@urndef/@specDiagrams.0/@connections.4" pred="//@urndef/@specDiagrams.0/@connections.5" respDef="4050"> |
| 68 | <label deltaX="-18" deltaY="14"/> |
| 69 | </nodes> |
| 70 | <nodes xsi:type="ucm.map:AndFork" name="AndFork4057" id="4057" x="528" y="144" succ="//@urndef/@specDiagrams.0/@connections.5 //@urndef/@specDiagrams.0/@connections.6" pred="//@urndef/@specDiagrams.0/@connections.20"/> |
| 71 | <nodes xsi:type="ucm.map:AndJoin" name="AndJoin4075" id="4075" x="754" y="156" succ="//@urndef/@specDiagrams.0/@connections.7" pred="//@urndef/@specDiagrams.0/@connections.4 //@urndef/@specDiagrams.0/@connections.8"/> |
| 72 | <nodes xsi:type="ucm.map:RespRef" name="RespRef4082" id="4082" x="625" y="173" succ="//@urndef/@specDiagrams.0/@connections.8" pred="//@urndef/@specDiagrams.0/@connections.6" respDef="4081"> |
| 73 | <label deltaX="3" deltaY="-51"/> |
| 74 | </nodes> |
| 75 | <nodes xsi:type="ucm.map:RespRef" name="RespRef4090" id="4090" x="900" y="159" succ="//@urndef/@specDiagrams.0/@connections.9" pred="//@urndef/@specDiagrams.0/@connections.28" respDef="4089"> |
| 76 | <label/> |
| 77 | </nodes> |
| 78 | <nodes xsi:type="ucm.map:RespRef" name="RespRef4096" id="4096" x="993" y="158" succ="//@urndef/@specDiagrams.0/@connections.10" pred="//@urndef/@specDiagrams.0/@connections.9" respDef="4095"> |
| 79 | <label/> |
| 80 | </nodes> |
| 81 | <nodes xsi:type="ucm.map:RespRef" name="RespRef4108" id="4108" x="1089" y="159" succ="//@urndef/@specDiagrams.0/@connections.11" pred="//@urndef/@specDiagrams.0/@connections.10" respDef="4107"> |
| 82 | <label deltaX="2" deltaY="-54"/> |
| 83 | </nodes> |
| 84 | <nodes xsi:type="ucm.map:RespRef" name="RespRef4116" id="4116" x="1244" y="174" succ="//@urndef/@specDiagrams.0/@connections.12" pred="//@urndef/@specDiagrams.0/@connections.34" respDef="4115"> |
| 85 | <label/> |
| 86 | </nodes> |
| 87 | <nodes xsi:type="ucm.map:AndFork" name="AndFork4134" id="4134" x="348" y="167" succ="//@urndef/@specDiagrams.0/@connections.13 //@urndef/@specDiagrams.0/@connections.14 //@urndef/@specDiagrams.0/@connections.18" pred="//@urndef/@specDiagrams.0/@connections.2"/> |
| 88 | <nodes xsi:type="ucm.map:EndPoint" name="EndInSuccess" id="4136" x="430" y="51" pred="//@urndef/@specDiagrams.0/@connections.16"> |
| 89 | <label/> |
| 90 | <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/> |
| 91 | </nodes> |
| 92 | <nodes xsi:type="ucm.map:RespRef" name="RespRef4139" id="4139" x="304" y="73" succ="//@urndef/@specDiagrams.0/@connections.15" pred="//@urndef/@specDiagrams.0/@connections.14" respDef="4138"> |
| 93 | <label/> |
| 94 | </nodes> |
| 95 | <nodes xsi:type="ucm.map:FailurePoint" name="abort" id="4147" x="370" y="59" succ="//@urndef/@specDiagrams.0/@connections.16" pred="//@urndef/@specDiagrams.0/@connections.15"> |
| 96 | <label/> |
| 97 | </nodes> |
| 98 | <nodes xsi:type="ucm.map:EndPoint" name="EndinSuccess" id="4150" x="1253" y="550" pred="//@urndef/@specDiagrams.0/@connections.17"> |
| 99 | <label/> |
| 100 | <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/> |
| 101 | </nodes> |
| 102 | <nodes xsi:type="ucm.map:StartPoint" name="abort" id="4149" x="1053" y="550" succ="//@urndef/@specDiagrams.0/@connections.17" failureKind="Abort"> |
| 103 | <label/> |
| 104 | <precondition deltaX="40" deltaY="-17" label="" expression="true"/> |
| 105 | </nodes> |
| 106 | <nodes xsi:type="ucm.map:Timer" name="Timer" id="4161" x="581" y="310" succ="//@urndef/@specDiagrams.0/@connections.19" pred="//@urndef/@specDiagrams.0/@connections.27 //@urndef/@specDiagrams.0/@connections.23"> |
| 107 | <label deltaX="-32" deltaY="-21"/> |
| 108 | </nodes> |
| 109 | <nodes xsi:type="ucm.map:AndFork" name="AndFork4170" id="4170" x="477" y="157" succ="//@urndef/@specDiagrams.0/@connections.20 //@urndef/@specDiagrams.0/@connections.21" pred="//@urndef/@specDiagrams.0/@connections.3"/> |
| 110 | <nodes xsi:type="ucm.map:EndPoint" name="" id="4172" x="581" y="310" succ="//@urndef/@specDiagrams.0/@connections.22" pred="//@urndef/@specDiagrams.0/@connections.24"> |
| 111 | <label/> |
| 112 | <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/> |
| 113 | </nodes> |
| 114 | <nodes xsi:type="ucm.map:Connect" name="Connect4180" id="4180" x="581" y="310" succ="//@urndef/@specDiagrams.0/@connections.23" pred="//@urndef/@specDiagrams.0/@connections.22"/> |
| 115 | <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow4181" id="4181" x="543" y="191" succ="//@urndef/@specDiagrams.0/@connections.24" pred="//@urndef/@specDiagrams.0/@connections.21"/> |
| 116 | <nodes xsi:type="ucm.map:RespRef" name="RespRef4280" id="4280" x="473" y="382" succ="//@urndef/@specDiagrams.0/@connections.25" pred="//@urndef/@specDiagrams.0/@connections.19" respDef="4252"> |
| 117 | <label deltaX="5" deltaY="-41"/> |
| 118 | </nodes> |
| 119 | <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow4258" id="4258" x="429" y="312" succ="//@urndef/@specDiagrams.0/@connections.26" pred="//@urndef/@specDiagrams.0/@connections.25"/> |
| 120 | <nodes xsi:type="ucm.map:OrJoin" name="OrJoin4243" id="4243" x="510" y="267" succ="//@urndef/@specDiagrams.0/@connections.27" pred="//@urndef/@specDiagrams.0/@connections.18 //@urndef/@specDiagrams.0/@connections.26"/> |
| 121 | <nodes xsi:type="ucm.map:OrFork" name="OrFork4311" id="4311" x="814" y="153" succ="//@urndef/@specDiagrams.0/@connections.28 //@urndef/@specDiagrams.0/@connections.29" pred="//@urndef/@specDiagrams.0/@connections.7"/> |
| 122 | <nodes xsi:type="ucm.map:RespRef" name="RespRef4334" id="4334" x="766" y="74" succ="//@urndef/@specDiagrams.0/@connections.30" pred="//@urndef/@specDiagrams.0/@connections.29" respDef="4333"> |
| 123 | <label/> |
| 124 | </nodes> |
| 125 | <nodes xsi:type="ucm.map:RespRef" name="RespRef4344" id="4344" x="665" y="45" succ="//@urndef/@specDiagrams.0/@connections.31" pred="//@urndef/@specDiagrams.0/@connections.30" respDef="4343"> |
| 126 | <label/> |
| 127 | </nodes> |
| 128 | <nodes xsi:type="ucm.map:OrJoin" name="OrJoin4387" id="4387" x="384" y="161" succ="//@urndef/@specDiagrams.0/@connections.32" pred="//@urndef/@specDiagrams.0/@connections.13 //@urndef/@specDiagrams.0/@connections.33"/> |
| 129 | <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow4398" id="4398" x="433" y="98" succ="//@urndef/@specDiagrams.0/@connections.33" pred="//@urndef/@specDiagrams.0/@connections.31"/> |
| 130 | <nodes xsi:type="ucm.map:AndFork" name="AndFork4407" id="4407" x="1167" y="165" succ="//@urndef/@specDiagrams.0/@connections.34 //@urndef/@specDiagrams.0/@connections.35" pred="//@urndef/@specDiagrams.0/@connections.11"/> |
| 131 | <nodes xsi:type="ucm.map:Timer" name="Timer" id="4413" x="1220" y="271" succ="//@urndef/@specDiagrams.0/@connections.36" pred="//@urndef/@specDiagrams.0/@connections.42 //@urndef/@specDiagrams.0/@connections.40"> |
| 132 | <label/> |
| 133 | </nodes> |
| 134 | <nodes xsi:type="ucm.map:AndFork" name="AndFork4426" id="4426" x="1301" y="180" succ="//@urndef/@specDiagrams.0/@connections.37 //@urndef/@specDiagrams.0/@connections.38" pred="//@urndef/@specDiagrams.0/@connections.12"/> |
| 135 | <nodes xsi:type="ucm.map:EndPoint" name="" id="4428" x="1220" y="271" succ="//@urndef/@specDiagrams.0/@connections.39" pred="//@urndef/@specDiagrams.0/@connections.41"> |
| 136 | <label/> |
| 137 | <postcondition deltaX="-40" deltaY="-20" label="" expression="true"/> |
| 138 | </nodes> |
| 139 | <nodes xsi:type="ucm.map:Connect" name="Connect4430" id="4430" x="1220" y="271" succ="//@urndef/@specDiagrams.0/@connections.40" pred="//@urndef/@specDiagrams.0/@connections.39"/> |
| 140 | <nodes xsi:type="ucm.map:DirectionArrow" name="DirectionArrow4432" id="4432" x="1345" y="241" succ="//@urndef/@specDiagrams.0/@connections.41" pred="//@urndef/@specDiagrams.0/@connections.38"/> |
| 141 | <nodes xsi:type="ucm.map:OrJoin" name="OrJoin4449" id="4449" x="1191" y="223" succ="//@urndef/@specDiagrams.0/@connections.42" pred="//@urndef/@specDiagrams.0/@connections.35 //@urndef/@specDiagrams.0/@connections.43"/> |
| 142 | <nodes xsi:type="ucm.map:RespRef" name="RespRef4455" id="4455" x="1147" y="323" succ="//@urndef/@specDiagrams.0/@connections.43" pred="//@urndef/@specDiagrams.0/@connections.36" respDef="4454"> |
| 143 | <label/> |
| 144 | </nodes> |
| 145 | <connections xsi:type="ucm.map:NodeConnection" source="4035" target="4043"/> |
| 146 | <connections xsi:type="ucm.map:NodeConnection" source="4043" target="4047"/> |
| 147 | <connections xsi:type="ucm.map:NodeConnection" source="4047" target="4134"/> |
| 148 | <connections xsi:type="ucm.map:NodeConnection" source="4049" target="4170"/> |
| 149 | <connections xsi:type="ucm.map:NodeConnection" source="4051" target="4075"/> |
| 150 | <connections xsi:type="ucm.map:NodeConnection" source="4057" target="4051"/> |
| 151 | <connections xsi:type="ucm.map:NodeConnection" source="4057" target="4082"/> |
| 152 | <connections xsi:type="ucm.map:NodeConnection" source="4075" target="4311"/> |
| 153 | <connections xsi:type="ucm.map:NodeConnection" source="4082" target="4075"/> |
| 154 | <connections xsi:type="ucm.map:NodeConnection" source="4090" target="4096"/> |
| 155 | <connections xsi:type="ucm.map:NodeConnection" source="4096" target="4108"/> |
| 156 | <connections xsi:type="ucm.map:NodeConnection" source="4108" target="4407"/> |
| 157 | <connections xsi:type="ucm.map:NodeConnection" source="4116" target="4426"/> |
| 158 | <connections xsi:type="ucm.map:NodeConnection" source="4134" target="4387"/> |
| 159 | <connections xsi:type="ucm.map:NodeConnection" source="4134" target="4139"/> |
| 160 | <connections xsi:type="ucm.map:NodeConnection" source="4139" target="4147"/> |
| 161 | <connections xsi:type="ucm.map:NodeConnection" source="4147" target="4136"> |
| 162 | <condition label="" expression="true"/> |
| 163 | </connections> |
| 164 | <connections xsi:type="ucm.map:NodeConnection" source="4149" target="4150"/> |
| 165 | <connections xsi:type="ucm.map:NodeConnection" source="4134" target="4243"/> |
| 166 | <connections xsi:type="ucm.map:NodeConnection" source="4161" target="4280"> |
| 167 | <condition label="" expression="true"/> |
| 168 | </connections> |
| 169 | <connections xsi:type="ucm.map:NodeConnection" source="4170" target="4057"/> |
| 170 | <connections xsi:type="ucm.map:NodeConnection" source="4170" target="4181"/> |
| 171 | <connections xsi:type="ucm.map:NodeConnection" source="4172" target="4180"/> |
| 172 | <connections xsi:type="ucm.map:NodeConnection" source="4180" target="4161"/> |
| 173 | <connections xsi:type="ucm.map:NodeConnection" source="4181" target="4172"/> |
| 174 | <connections xsi:type="ucm.map:NodeConnection" source="4280" target="4258"/> |
| 175 | <connections xsi:type="ucm.map:NodeConnection" source="4258" target="4243"/> |
| 176 | <connections xsi:type="ucm.map:NodeConnection" source="4243" target="4161"/> |
| 177 | <connections xsi:type="ucm.map:NodeConnection" source="4311" target="4090"> |
| 178 | <condition label="Successful" expression="true"/> |
| 179 | </connections> |
| 180 | <connections xsi:type="ucm.map:NodeConnection" source="4311" target="4334"> |
| 181 | <condition label="Unsuccessful" expression="true"/> |
| 182 | </connections> |
| 183 | <connections xsi:type="ucm.map:NodeConnection" source="4334" target="4344"/> |
| 184 | <connections xsi:type="ucm.map:NodeConnection" source="4344" target="4398"/> |
| 185 | <connections xsi:type="ucm.map:NodeConnection" source="4387" target="4049"/> |
| 186 | <connections xsi:type="ucm.map:NodeConnection" source="4398" target="4387"/> |
| 187 | <connections xsi:type="ucm.map:NodeConnection" source="4407" target="4116"/> |
| 188 | <connections xsi:type="ucm.map:NodeConnection" source="4407" target="4449"/> |
| 189 | <connections xsi:type="ucm.map:NodeConnection" source="4413" target="4455"> |
| 190 | <condition label="" expression="true"/> |
| 191 | </connections> |
| 192 | <connections xsi:type="ucm.map:NodeConnection" source="4426" target="4037"/> |
| 193 | <connections xsi:type="ucm.map:NodeConnection" source="4426" target="4432"/> |
| 194 | <connections xsi:type="ucm.map:NodeConnection" source="4428" target="4430"/> |
| 195 | <connections xsi:type="ucm.map:NodeConnection" source="4430" target="4413"/> |
| 196 | <connections xsi:type="ucm.map:NodeConnection" source="4432" target="4428"/> |
| 197 | <connections xsi:type="ucm.map:NodeConnection" source="4449" target="4413"/> |
| 198 | <connections xsi:type="ucm.map:NodeConnection" source="4455" target="4449"/> |
| 199 | </specDiagrams> |
| 200 | </urndef> |
| 201 | <metadata name="_Use0to100EvaluationRange" value="false"/> |
| 202 | </urn:URNspec> |