Traffic Light 3.sct 50 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587
  1. <?xml version="1.0" encoding="UTF-8"?>
  2. <xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:sgraph="http://www.yakindu.org/sct/2.0.0" xmlns:stext="http://www.yakindu.org/sct/statechart/SText">
  3. <sgraph:Statechart xmi:id="_bcRtQMyjEeCFFpVd4jJEDQ" name="Traffic Light" expression="internal:&#xA;&#x9;var red :boolean&#xA;&#x9;var yellow:boolean&#xA;&#x9;var green:boolean&#xA;&#x9;event off&#xA;&#x9;event on&#xA;&#x9;event carWaiting">
  4. <scopes xsi:type="stext:InternalScope" xmi:id="_ulb-kN3-EeC7x6Whaf6FSA">
  5. <declarations xsi:type="stext:VariableDefinition" xmi:id="_ulb-kd3-EeC7x6Whaf6FSA" name="red" type="boolean"/>
  6. <declarations xsi:type="stext:VariableDefinition" xmi:id="_ulb-kt3-EeC7x6Whaf6FSA" name="yellow" type="boolean"/>
  7. <declarations xsi:type="stext:VariableDefinition" xmi:id="_ulb-k93-EeC7x6Whaf6FSA" name="green" type="boolean"/>
  8. <declarations xsi:type="stext:EventDefinition" xmi:id="_ulb-lN3-EeC7x6Whaf6FSA" name="off"/>
  9. <declarations xsi:type="stext:EventDefinition" xmi:id="_ulb-ld3-EeC7x6Whaf6FSA" name="on"/>
  10. <declarations xsi:type="stext:EventDefinition" xmi:id="_ulb-lt3-EeC7x6Whaf6FSA" name="carWaiting"/>
  11. </scopes>
  12. <regions xmi:id="_bcVXoMyjEeCFFpVd4jJEDQ" name="main region">
  13. <vertices xsi:type="sgraph:State" xmi:id="_m2wnAMy4EeCbCa3uH2Z31A" name="Traffic Light On" incomingTransitions="_FZi-cMy6EeCsspMqabJO2w _eXN88My6EeCsspMqabJO2w _H_JgAMzAEeCb-5V-OwKjrw">
  14. <outgoingTransitions xmi:id="_bAc1cMy6EeCsspMqabJO2w" expression="off" target="_UZoScMy6EeCsspMqabJO2w">
  15. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ulfB4N3-EeC7x6Whaf6FSA">
  16. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_ulfB4d3-EeC7x6Whaf6FSA" event="_ulb-lN3-EeC7x6Whaf6FSA"/>
  17. </trigger>
  18. </outgoingTransitions>
  19. <outgoingTransitions xmi:id="_J-6GYMzCEeCLMLkohWrmhA" expression="after 30 s" target="_QrqPEMy-EeCb-5V-OwKjrw">
  20. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_umuYAN3-EeC7x6Whaf6FSA">
  21. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_umuYAd3-EeC7x6Whaf6FSA" value="30"/>
  22. </trigger>
  23. </outgoingTransitions>
  24. <scopes xmi:id="_uldzwN3-EeC7x6Whaf6FSA"/>
  25. <subRegions xmi:id="_gFfSEMy5EeCsspMqabJO2w" name="Region 01">
  26. <vertices xsi:type="sgraph:State" xmi:id="_bdRy0MyjEeCFFpVd4jJEDQ" name="Red" incomingTransitions="_bda8wMyjEeCFFpVd4jJEDQ _2o2E4MymEeCFFpVd4jJEDQ" expression="entry/&#xA;&#x9;red=true;">
  27. <outgoingTransitions xmi:id="_b45F4MylEeCFFpVd4jJEDQ" expression="after 1 s, carWaiting" target="_O_UycMylEeCFFpVd4jJEDQ">
  28. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_uncJsN3-EeC7x6Whaf6FSA">
  29. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_uncJsd3-EeC7x6Whaf6FSA" value="1"/>
  30. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_uncJst3-EeC7x6Whaf6FSA" event="_ulb-lt3-EeC7x6Whaf6FSA"/>
  31. </trigger>
  32. </outgoingTransitions>
  33. <scopes xmi:id="_um2T0N3-EeC7x6Whaf6FSA">
  34. <declarations xsi:type="stext:LocalReaction" xmi:id="_um2T0d3-EeC7x6Whaf6FSA">
  35. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_um2T0t3-EeC7x6Whaf6FSA">
  36. <triggers xsi:type="stext:EntryEvent" xmi:id="_um2T093-EeC7x6Whaf6FSA"/>
  37. </trigger>
  38. <effect xsi:type="stext:ReactionEffect" xmi:id="_um2T1N3-EeC7x6Whaf6FSA">
  39. <actions xsi:type="stext:Assignment" xmi:id="_um2T1d3-EeC7x6Whaf6FSA" varRef="_ulb-kd3-EeC7x6Whaf6FSA">
  40. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_um2T1t3-EeC7x6Whaf6FSA" value="true"/>
  41. </actions>
  42. </effect>
  43. </declarations>
  44. </scopes>
  45. </vertices>
  46. <vertices xsi:type="sgraph:State" xmi:id="_Hc9-0MymEeCFFpVd4jJEDQ" name="Yellow" incomingTransitions="_e9axYMymEeCFFpVd4jJEDQ" expression="entry/&#xA;&#x9;yellow = true;&#xA;exit/&#xA;&#x9;yellow = false;">
  47. <outgoingTransitions xmi:id="_2o2E4MymEeCFFpVd4jJEDQ" expression="after 2 s" target="_bdRy0MyjEeCFFpVd4jJEDQ">
  48. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_uoddYN3-EeC7x6Whaf6FSA">
  49. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_uoddYd3-EeC7x6Whaf6FSA" value="2"/>
  50. </trigger>
  51. </outgoingTransitions>
  52. <scopes xmi:id="_un748N3-EeC7x6Whaf6FSA">
  53. <declarations xsi:type="stext:LocalReaction" xmi:id="_un748d3-EeC7x6Whaf6FSA">
  54. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_un748t3-EeC7x6Whaf6FSA">
  55. <triggers xsi:type="stext:EntryEvent" xmi:id="_un74893-EeC7x6Whaf6FSA"/>
  56. </trigger>
  57. <effect xsi:type="stext:ReactionEffect" xmi:id="_un749N3-EeC7x6Whaf6FSA">
  58. <actions xsi:type="stext:Assignment" xmi:id="_un749d3-EeC7x6Whaf6FSA" varRef="_ulb-kt3-EeC7x6Whaf6FSA">
  59. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_un749t3-EeC7x6Whaf6FSA" value="true"/>
  60. </actions>
  61. </effect>
  62. </declarations>
  63. <declarations xsi:type="stext:LocalReaction" xmi:id="_un74993-EeC7x6Whaf6FSA">
  64. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_un74-N3-EeC7x6Whaf6FSA">
  65. <triggers xsi:type="stext:ExitEvent" xmi:id="_un74-d3-EeC7x6Whaf6FSA"/>
  66. </trigger>
  67. <effect xsi:type="stext:ReactionEffect" xmi:id="_un74-t3-EeC7x6Whaf6FSA">
  68. <actions xsi:type="stext:Assignment" xmi:id="_un74-93-EeC7x6Whaf6FSA" varRef="_ulb-kt3-EeC7x6Whaf6FSA">
  69. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_un74_N3-EeC7x6Whaf6FSA" value="false"/>
  70. </actions>
  71. </effect>
  72. </declarations>
  73. </scopes>
  74. </vertices>
  75. <vertices xsi:type="sgraph:State" xmi:id="_O_UycMylEeCFFpVd4jJEDQ" name="Red Yellow" incomingTransitions="_b45F4MylEeCFFpVd4jJEDQ" expression="entry/&#xA;&#x9;yellow=true;&#xA;exit/&#xA;&#x9;yellow=false;&#xA;&#x9;red=false;">
  76. <outgoingTransitions xmi:id="_w8xvYMylEeCFFpVd4jJEDQ" expression="after 2 s" target="_T624UMylEeCFFpVd4jJEDQ">
  77. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_upNEQN3-EeC7x6Whaf6FSA">
  78. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_upNEQd3-EeC7x6Whaf6FSA" value="2"/>
  79. </trigger>
  80. </outgoingTransitions>
  81. <scopes xmi:id="_uofSkN3-EeC7x6Whaf6FSA">
  82. <declarations xsi:type="stext:LocalReaction" xmi:id="_uofSkd3-EeC7x6Whaf6FSA">
  83. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_uofSkt3-EeC7x6Whaf6FSA">
  84. <triggers xsi:type="stext:EntryEvent" xmi:id="_uofSk93-EeC7x6Whaf6FSA"/>
  85. </trigger>
  86. <effect xsi:type="stext:ReactionEffect" xmi:id="_uofSlN3-EeC7x6Whaf6FSA">
  87. <actions xsi:type="stext:Assignment" xmi:id="_uof5oN3-EeC7x6Whaf6FSA" varRef="_ulb-kt3-EeC7x6Whaf6FSA">
  88. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_uof5od3-EeC7x6Whaf6FSA" value="true"/>
  89. </actions>
  90. </effect>
  91. </declarations>
  92. <declarations xsi:type="stext:LocalReaction" xmi:id="_uof5ot3-EeC7x6Whaf6FSA">
  93. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_uof5o93-EeC7x6Whaf6FSA">
  94. <triggers xsi:type="stext:ExitEvent" xmi:id="_uof5pN3-EeC7x6Whaf6FSA"/>
  95. </trigger>
  96. <effect xsi:type="stext:ReactionEffect" xmi:id="_uof5pd3-EeC7x6Whaf6FSA">
  97. <actions xsi:type="stext:Assignment" xmi:id="_uof5pt3-EeC7x6Whaf6FSA" varRef="_ulb-kt3-EeC7x6Whaf6FSA">
  98. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_uof5p93-EeC7x6Whaf6FSA" value="false"/>
  99. </actions>
  100. <actions xsi:type="stext:Assignment" xmi:id="_uof5qN3-EeC7x6Whaf6FSA" varRef="_ulb-kd3-EeC7x6Whaf6FSA">
  101. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_uof5qd3-EeC7x6Whaf6FSA" value="false"/>
  102. </actions>
  103. </effect>
  104. </declarations>
  105. </scopes>
  106. </vertices>
  107. <vertices xsi:type="sgraph:State" xmi:id="_T624UMylEeCFFpVd4jJEDQ" name="Green" incomingTransitions="_w8xvYMylEeCFFpVd4jJEDQ" expression="entry/&#xA;&#x9;green = true;&#xA;exit/&#xA;&#x9;green = false;">
  108. <outgoingTransitions xmi:id="_e9axYMymEeCFFpVd4jJEDQ" expression="after 5 s" target="_Hc9-0MymEeCFFpVd4jJEDQ">
  109. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_upvPwN3-EeC7x6Whaf6FSA">
  110. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_upvPwd3-EeC7x6Whaf6FSA" value="5"/>
  111. </trigger>
  112. </outgoingTransitions>
  113. <scopes xmi:id="_upO5cN3-EeC7x6Whaf6FSA">
  114. <declarations xsi:type="stext:LocalReaction" xmi:id="_upO5cd3-EeC7x6Whaf6FSA">
  115. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_upO5ct3-EeC7x6Whaf6FSA">
  116. <triggers xsi:type="stext:EntryEvent" xmi:id="_upO5c93-EeC7x6Whaf6FSA"/>
  117. </trigger>
  118. <effect xsi:type="stext:ReactionEffect" xmi:id="_upO5dN3-EeC7x6Whaf6FSA">
  119. <actions xsi:type="stext:Assignment" xmi:id="_upO5dd3-EeC7x6Whaf6FSA" varRef="_ulb-k93-EeC7x6Whaf6FSA">
  120. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_upO5dt3-EeC7x6Whaf6FSA" value="true"/>
  121. </actions>
  122. </effect>
  123. </declarations>
  124. <declarations xsi:type="stext:LocalReaction" xmi:id="_upO5d93-EeC7x6Whaf6FSA">
  125. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_upO5eN3-EeC7x6Whaf6FSA">
  126. <triggers xsi:type="stext:ExitEvent" xmi:id="_upO5ed3-EeC7x6Whaf6FSA"/>
  127. </trigger>
  128. <effect xsi:type="stext:ReactionEffect" xmi:id="_upO5et3-EeC7x6Whaf6FSA">
  129. <actions xsi:type="stext:Assignment" xmi:id="_upO5e93-EeC7x6Whaf6FSA" varRef="_ulb-k93-EeC7x6Whaf6FSA">
  130. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_upO5fN3-EeC7x6Whaf6FSA" value="false"/>
  131. </actions>
  132. </effect>
  133. </declarations>
  134. </scopes>
  135. </vertices>
  136. <vertices xsi:type="sgraph:Entry" xmi:id="_qeUGEN3bEeCG4bnAXOxQFA">
  137. <outgoingTransitions xmi:id="_bda8wMyjEeCFFpVd4jJEDQ" expression="/red=false; green=false; yellow=false;" target="_bdRy0MyjEeCFFpVd4jJEDQ">
  138. <effect xsi:type="stext:ReactionEffect" xmi:id="_upxE8N3-EeC7x6Whaf6FSA">
  139. <actions xsi:type="stext:Assignment" xmi:id="_upxE8d3-EeC7x6Whaf6FSA" varRef="_ulb-kd3-EeC7x6Whaf6FSA">
  140. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_upxE8t3-EeC7x6Whaf6FSA" value="false"/>
  141. </actions>
  142. <actions xsi:type="stext:Assignment" xmi:id="_upxE893-EeC7x6Whaf6FSA" varRef="_ulb-k93-EeC7x6Whaf6FSA">
  143. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_upxE9N3-EeC7x6Whaf6FSA" value="false"/>
  144. </actions>
  145. <actions xsi:type="stext:Assignment" xmi:id="_upxE9d3-EeC7x6Whaf6FSA" varRef="_ulb-kt3-EeC7x6Whaf6FSA">
  146. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_upxE9t3-EeC7x6Whaf6FSA" value="false"/>
  147. </actions>
  148. </effect>
  149. </outgoingTransitions>
  150. </vertices>
  151. </subRegions>
  152. </vertices>
  153. <vertices xsi:type="sgraph:State" xmi:id="_UZoScMy6EeCsspMqabJO2w" name="Traffic Light Off" incomingTransitions="_bAc1cMy6EeCsspMqabJO2w _-Nu3AMzEEeCXa_6cCdE7vA" expression="entry/&#xA;&#x9;red = false;&#xA;&#x9;yellow = false;&#xA;&#x9;green = false;">
  154. <outgoingTransitions xmi:id="_eXN88My6EeCsspMqabJO2w" expression="on" target="_m2wnAMy4EeCbCa3uH2Z31A">
  155. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_urF6oN3-EeC7x6Whaf6FSA">
  156. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_urF6od3-EeC7x6Whaf6FSA" event="_ulb-ld3-EeC7x6Whaf6FSA"/>
  157. </trigger>
  158. </outgoingTransitions>
  159. <scopes xmi:id="_uqRbQN3-EeC7x6Whaf6FSA">
  160. <declarations xsi:type="stext:LocalReaction" xmi:id="_uqRbQd3-EeC7x6Whaf6FSA">
  161. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_uqRbQt3-EeC7x6Whaf6FSA">
  162. <triggers xsi:type="stext:EntryEvent" xmi:id="_uqRbQ93-EeC7x6Whaf6FSA"/>
  163. </trigger>
  164. <effect xsi:type="stext:ReactionEffect" xmi:id="_uqRbRN3-EeC7x6Whaf6FSA">
  165. <actions xsi:type="stext:Assignment" xmi:id="_uqRbRd3-EeC7x6Whaf6FSA" varRef="_ulb-kd3-EeC7x6Whaf6FSA">
  166. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_uqRbRt3-EeC7x6Whaf6FSA" value="false"/>
  167. </actions>
  168. <actions xsi:type="stext:Assignment" xmi:id="_uqRbR93-EeC7x6Whaf6FSA" varRef="_ulb-kt3-EeC7x6Whaf6FSA">
  169. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_uqRbSN3-EeC7x6Whaf6FSA" value="false"/>
  170. </actions>
  171. <actions xsi:type="stext:Assignment" xmi:id="_uqRbSd3-EeC7x6Whaf6FSA" varRef="_ulb-k93-EeC7x6Whaf6FSA">
  172. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_uqRbSt3-EeC7x6Whaf6FSA" value="false"/>
  173. </actions>
  174. </effect>
  175. </declarations>
  176. </scopes>
  177. </vertices>
  178. <vertices xsi:type="sgraph:State" xmi:id="_QrqPEMy-EeCb-5V-OwKjrw" name="Night Mode" incomingTransitions="_J-6GYMzCEeCLMLkohWrmhA" expression="entry/&#xA;&#x9;red = false;&#xA;&#x9;yellow = false;&#xA;&#x9;green = false;">
  179. <outgoingTransitions xmi:id="_H_JgAMzAEeCb-5V-OwKjrw" expression="after 10 s" target="_m2wnAMy4EeCbCa3uH2Z31A">
  180. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_usEyEN3-EeC7x6Whaf6FSA">
  181. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_usEyEd3-EeC7x6Whaf6FSA" value="10"/>
  182. </trigger>
  183. </outgoingTransitions>
  184. <outgoingTransitions xmi:id="_-Nu3AMzEEeCXa_6cCdE7vA" expression="off" target="_UZoScMy6EeCsspMqabJO2w">
  185. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_usMt4N3-EeC7x6Whaf6FSA">
  186. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_usMt4d3-EeC7x6Whaf6FSA" event="_ulb-lN3-EeC7x6Whaf6FSA"/>
  187. </trigger>
  188. </outgoingTransitions>
  189. <scopes xmi:id="_urY1kN3-EeC7x6Whaf6FSA">
  190. <declarations xsi:type="stext:LocalReaction" xmi:id="_urY1kd3-EeC7x6Whaf6FSA">
  191. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_urgKUN3-EeC7x6Whaf6FSA">
  192. <triggers xsi:type="stext:EntryEvent" xmi:id="_urgKUd3-EeC7x6Whaf6FSA"/>
  193. </trigger>
  194. <effect xsi:type="stext:ReactionEffect" xmi:id="_urgKUt3-EeC7x6Whaf6FSA">
  195. <actions xsi:type="stext:Assignment" xmi:id="_urgKU93-EeC7x6Whaf6FSA" varRef="_ulb-kd3-EeC7x6Whaf6FSA">
  196. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_urgKVN3-EeC7x6Whaf6FSA" value="false"/>
  197. </actions>
  198. <actions xsi:type="stext:Assignment" xmi:id="_urgKVd3-EeC7x6Whaf6FSA" varRef="_ulb-kt3-EeC7x6Whaf6FSA">
  199. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_urgKVt3-EeC7x6Whaf6FSA" value="false"/>
  200. </actions>
  201. <actions xsi:type="stext:Assignment" xmi:id="_urgKV93-EeC7x6Whaf6FSA" varRef="_ulb-k93-EeC7x6Whaf6FSA">
  202. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_urgKWN3-EeC7x6Whaf6FSA" value="false"/>
  203. </actions>
  204. </effect>
  205. </declarations>
  206. </scopes>
  207. <subRegions xmi:id="_UG1VcMy-EeCb-5V-OwKjrw" name="Region 01">
  208. <vertices xsi:type="sgraph:State" xmi:id="_W4078My-EeCb-5V-OwKjrw" name="Blink Yellow" incomingTransitions="_a7iuAMy_EeCb-5V-OwKjrw _O4l8sMzDEeCLMLkohWrmhA" expression="entry/&#xA;&#x9;yellow = !yellow;">
  209. <outgoingTransitions xmi:id="_O4l8sMzDEeCLMLkohWrmhA" expression="after 2 ms" target="_W4078My-EeCb-5V-OwKjrw">
  210. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_usnkoN3-EeC7x6Whaf6FSA">
  211. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_usnkod3-EeC7x6Whaf6FSA" value="2" unit="ms"/>
  212. </trigger>
  213. </outgoingTransitions>
  214. <scopes xmi:id="_usXF8N3-EeC7x6Whaf6FSA">
  215. <declarations xsi:type="stext:LocalReaction" xmi:id="_usXF8d3-EeC7x6Whaf6FSA">
  216. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_usXF8t3-EeC7x6Whaf6FSA">
  217. <triggers xsi:type="stext:EntryEvent" xmi:id="_usXF893-EeC7x6Whaf6FSA"/>
  218. </trigger>
  219. <effect xsi:type="stext:ReactionEffect" xmi:id="_usXF9N3-EeC7x6Whaf6FSA">
  220. <actions xsi:type="stext:Assignment" xmi:id="_usXF9d3-EeC7x6Whaf6FSA" varRef="_ulb-kt3-EeC7x6Whaf6FSA">
  221. <expression xsi:type="stext:LogicalNotExpression" xmi:id="_usXF9t3-EeC7x6Whaf6FSA">
  222. <operand xsi:type="stext:ElementReferenceExpression" xmi:id="_usXF993-EeC7x6Whaf6FSA" value="_ulb-kt3-EeC7x6Whaf6FSA"/>
  223. </expression>
  224. </actions>
  225. </effect>
  226. </declarations>
  227. </scopes>
  228. </vertices>
  229. <vertices xsi:type="sgraph:Entry" xmi:id="_wsUgcN3bEeCG4bnAXOxQFA">
  230. <outgoingTransitions xmi:id="_a7iuAMy_EeCb-5V-OwKjrw" target="_W4078My-EeCb-5V-OwKjrw"/>
  231. </vertices>
  232. </subRegions>
  233. </vertices>
  234. <vertices xsi:type="sgraph:Entry" xmi:id="_t_0d8N3bEeCG4bnAXOxQFA">
  235. <outgoingTransitions xmi:id="_FZi-cMy6EeCsspMqabJO2w" target="_m2wnAMy4EeCbCa3uH2Z31A"/>
  236. </vertices>
  237. </regions>
  238. </sgraph:Statechart>
  239. <notation:Diagram xmi:id="_bcUJgMyjEeCFFpVd4jJEDQ" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_bcRtQMyjEeCFFpVd4jJEDQ" measurementUnit="Pixel">
  240. <children xmi:id="_bciL8MyjEeCFFpVd4jJEDQ" type="Region" element="_bcVXoMyjEeCFFpVd4jJEDQ">
  241. <children xsi:type="notation:DecorationNode" xmi:id="_bdGzsMyjEeCFFpVd4jJEDQ" type="RegionName">
  242. <styles xsi:type="notation:ShapeStyle" xmi:id="_bdHawMyjEeCFFpVd4jJEDQ"/>
  243. <layoutConstraint xsi:type="notation:Location" xmi:id="_bdHawcyjEeCFFpVd4jJEDQ"/>
  244. </children>
  245. <children xsi:type="notation:Shape" xmi:id="_bdJ3AMyjEeCFFpVd4jJEDQ" type="RegionCompartment" fontName="Arial" fontHeight="10" lineColor="4210752">
  246. <children xmi:id="_m25w8My4EeCbCa3uH2Z31A" type="State" element="_m2wnAMy4EeCbCa3uH2Z31A">
  247. <children xsi:type="notation:DecorationNode" xmi:id="_m280QMy4EeCbCa3uH2Z31A" type="StateName">
  248. <styles xsi:type="notation:ShapeStyle" xmi:id="_m280Qcy4EeCbCa3uH2Z31A"/>
  249. <layoutConstraint xsi:type="notation:Location" xmi:id="_m280Qsy4EeCbCa3uH2Z31A"/>
  250. </children>
  251. <children xsi:type="notation:Compartment" xmi:id="_m2-CYMy4EeCbCa3uH2Z31A" type="StateTextCompartment">
  252. <children xsi:type="notation:Shape" xmi:id="_m2-CYcy4EeCbCa3uH2Z31A" type="StateTextCompartmentExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
  253. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_m2-CYsy4EeCbCa3uH2Z31A"/>
  254. </children>
  255. </children>
  256. <children xsi:type="notation:Compartment" xmi:id="_m2_QgMy4EeCbCa3uH2Z31A" type="StateFigureCompartment">
  257. <children xmi:id="_gFkxoMy5EeCsspMqabJO2w" type="Region" element="_gFfSEMy5EeCsspMqabJO2w">
  258. <children xsi:type="notation:DecorationNode" xmi:id="_gFn08My5EeCsspMqabJO2w" type="RegionName">
  259. <styles xsi:type="notation:ShapeStyle" xmi:id="_gFn08cy5EeCsspMqabJO2w"/>
  260. <layoutConstraint xsi:type="notation:Location" xmi:id="_gFn08sy5EeCsspMqabJO2w"/>
  261. </children>
  262. <children xsi:type="notation:Shape" xmi:id="_gFocAMy5EeCsspMqabJO2w" type="RegionCompartment" fontName="Arial" fontHeight="10" lineColor="4210752">
  263. <children xmi:id="_bdSZ4MyjEeCFFpVd4jJEDQ" type="State" element="_bdRy0MyjEeCFFpVd4jJEDQ">
  264. <children xsi:type="notation:DecorationNode" xmi:id="_bdTA8MyjEeCFFpVd4jJEDQ" type="StateName">
  265. <styles xsi:type="notation:ShapeStyle" xmi:id="_bdTA8cyjEeCFFpVd4jJEDQ"/>
  266. <layoutConstraint xsi:type="notation:Location" xmi:id="_bdTA8syjEeCFFpVd4jJEDQ"/>
  267. </children>
  268. <children xsi:type="notation:Compartment" xmi:id="_bdWEQMyjEeCFFpVd4jJEDQ" type="StateTextCompartment">
  269. <children xsi:type="notation:Shape" xmi:id="_bdWrUMyjEeCFFpVd4jJEDQ" type="StateTextCompartmentExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
  270. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bdWrUcyjEeCFFpVd4jJEDQ"/>
  271. </children>
  272. </children>
  273. <children xsi:type="notation:Compartment" xmi:id="_bdXSYMyjEeCFFpVd4jJEDQ" type="StateFigureCompartment"/>
  274. <styles xsi:type="notation:ShapeStyle" xmi:id="_bdSZ4cyjEeCFFpVd4jJEDQ" fontName="Arial" fontHeight="10" fillColor="15981773" lineColor="12632256"/>
  275. <styles xsi:type="notation:FontStyle" xmi:id="_bdSZ4syjEeCFFpVd4jJEDQ"/>
  276. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_bdYggMyjEeCFFpVd4jJEDQ"/>
  277. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bdZHkMyjEeCFFpVd4jJEDQ" x="-107" y="12" width="117" height="111"/>
  278. </children>
  279. <children xmi:id="_HdC3UMymEeCFFpVd4jJEDQ" type="State" element="_Hc9-0MymEeCFFpVd4jJEDQ">
  280. <children xsi:type="notation:DecorationNode" xmi:id="_HdDeYMymEeCFFpVd4jJEDQ" type="StateName">
  281. <styles xsi:type="notation:ShapeStyle" xmi:id="_HdDeYcymEeCFFpVd4jJEDQ"/>
  282. <layoutConstraint xsi:type="notation:Location" xmi:id="_HdDeYsymEeCFFpVd4jJEDQ"/>
  283. </children>
  284. <children xsi:type="notation:Compartment" xmi:id="_HdDeY8ymEeCFFpVd4jJEDQ" type="StateTextCompartment">
  285. <children xsi:type="notation:Shape" xmi:id="_HdEFcMymEeCFFpVd4jJEDQ" type="StateTextCompartmentExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
  286. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_HdEFccymEeCFFpVd4jJEDQ"/>
  287. </children>
  288. </children>
  289. <children xsi:type="notation:Compartment" xmi:id="_HdEsgMymEeCFFpVd4jJEDQ" type="StateFigureCompartment"/>
  290. <styles xsi:type="notation:ShapeStyle" xmi:id="_HdC3UcymEeCFFpVd4jJEDQ" fontName="Arial" fontHeight="10" fillColor="15981773" lineColor="12632256"/>
  291. <styles xsi:type="notation:FontStyle" xmi:id="_HdC3UsymEeCFFpVd4jJEDQ"/>
  292. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_HdEsgcymEeCFFpVd4jJEDQ"/>
  293. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_HdC3U8ymEeCFFpVd4jJEDQ" x="-107" y="237"/>
  294. </children>
  295. <children xmi:id="_O_XOsMylEeCFFpVd4jJEDQ" type="State" element="_O_UycMylEeCFFpVd4jJEDQ">
  296. <children xsi:type="notation:DecorationNode" xmi:id="_O_Yc0MylEeCFFpVd4jJEDQ" type="StateName">
  297. <styles xsi:type="notation:ShapeStyle" xmi:id="_O_Yc0cylEeCFFpVd4jJEDQ"/>
  298. <layoutConstraint xsi:type="notation:Location" xmi:id="_O_Yc0sylEeCFFpVd4jJEDQ"/>
  299. </children>
  300. <children xsi:type="notation:Compartment" xmi:id="_O_Yc08ylEeCFFpVd4jJEDQ" type="StateTextCompartment">
  301. <children xsi:type="notation:Shape" xmi:id="_O_ZD4MylEeCFFpVd4jJEDQ" type="StateTextCompartmentExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
  302. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_O_ZD4cylEeCFFpVd4jJEDQ"/>
  303. </children>
  304. </children>
  305. <children xsi:type="notation:Compartment" xmi:id="_O_ZD4sylEeCFFpVd4jJEDQ" type="StateFigureCompartment"/>
  306. <styles xsi:type="notation:ShapeStyle" xmi:id="_O_XOscylEeCFFpVd4jJEDQ" fontName="Arial" fontHeight="10" fillColor="15981773" lineColor="12632256"/>
  307. <styles xsi:type="notation:FontStyle" xmi:id="_O_XOssylEeCFFpVd4jJEDQ"/>
  308. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_O_Zq8MylEeCFFpVd4jJEDQ"/>
  309. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_O_XOs8ylEeCFFpVd4jJEDQ" x="191" y="12"/>
  310. </children>
  311. <children xmi:id="_T65UkMylEeCFFpVd4jJEDQ" type="State" element="_T624UMylEeCFFpVd4jJEDQ">
  312. <children xsi:type="notation:DecorationNode" xmi:id="_T66isMylEeCFFpVd4jJEDQ" type="StateName">
  313. <styles xsi:type="notation:ShapeStyle" xmi:id="_T66iscylEeCFFpVd4jJEDQ"/>
  314. <layoutConstraint xsi:type="notation:Location" xmi:id="_T67JwMylEeCFFpVd4jJEDQ"/>
  315. </children>
  316. <children xsi:type="notation:Compartment" xmi:id="_T68X4MylEeCFFpVd4jJEDQ" type="StateTextCompartment">
  317. <children xsi:type="notation:Shape" xmi:id="_T68-8MylEeCFFpVd4jJEDQ" type="StateTextCompartmentExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
  318. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_T68-8cylEeCFFpVd4jJEDQ"/>
  319. </children>
  320. </children>
  321. <children xsi:type="notation:Compartment" xmi:id="_T6_bMMylEeCFFpVd4jJEDQ" type="StateFigureCompartment"/>
  322. <styles xsi:type="notation:ShapeStyle" xmi:id="_T65UkcylEeCFFpVd4jJEDQ" fontName="Arial" fontHeight="10" fillColor="15981773" lineColor="12632256"/>
  323. <styles xsi:type="notation:FontStyle" xmi:id="_T65UksylEeCFFpVd4jJEDQ"/>
  324. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_T7ACQMylEeCFFpVd4jJEDQ"/>
  325. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_T65Uk8ylEeCFFpVd4jJEDQ" x="189" y="237"/>
  326. </children>
  327. <children xmi:id="_qf1JAN3bEeCG4bnAXOxQFA" type="Entry" element="_qeUGEN3bEeCG4bnAXOxQFA">
  328. <children xmi:id="_qf3lQN3bEeCG4bnAXOxQFA" type="BorderItemLabelContainer">
  329. <children xsi:type="notation:DecorationNode" xmi:id="_qf5acN3bEeCG4bnAXOxQFA" type="BorderItemLabel">
  330. <styles xsi:type="notation:ShapeStyle" xmi:id="_qf5acd3bEeCG4bnAXOxQFA"/>
  331. <layoutConstraint xsi:type="notation:Location" xmi:id="_qf6BgN3bEeCG4bnAXOxQFA"/>
  332. </children>
  333. <styles xsi:type="notation:ShapeStyle" xmi:id="_qf3lQd3bEeCG4bnAXOxQFA" fontName="Arial" fontHeight="10" lineColor="4210752"/>
  334. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_qf3lQt3bEeCG4bnAXOxQFA"/>
  335. </children>
  336. <styles xsi:type="notation:ShapeStyle" xmi:id="_qf1JAd3bEeCG4bnAXOxQFA" fontName="Arial" fontHeight="10" lineColor="4210752"/>
  337. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_qf1JAt3bEeCG4bnAXOxQFA" x="-46" y="-30"/>
  338. </children>
  339. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_gFocAcy5EeCsspMqabJO2w"/>
  340. </children>
  341. <styles xsi:type="notation:ShapeStyle" xmi:id="_gFkxocy5EeCsspMqabJO2w" fontName="Arial" fontHeight="10" fillColor="15790320" lineColor="12632256"/>
  342. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_gFkxosy5EeCsspMqabJO2w"/>
  343. </children>
  344. </children>
  345. <styles xsi:type="notation:ShapeStyle" xmi:id="_m25w8cy4EeCbCa3uH2Z31A" fontName="Arial" fontHeight="10" fillColor="15981773" lineColor="12632256"/>
  346. <styles xsi:type="notation:FontStyle" xmi:id="_m25w8sy4EeCbCa3uH2Z31A"/>
  347. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_m2_3kMy4EeCbCa3uH2Z31A"/>
  348. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_m25w88y4EeCbCa3uH2Z31A" x="34" y="84" width="526" height="531"/>
  349. </children>
  350. <children xmi:id="_UZqusMy6EeCsspMqabJO2w" type="State" element="_UZoScMy6EeCsspMqabJO2w">
  351. <children xsi:type="notation:DecorationNode" xmi:id="_UZr80My6EeCsspMqabJO2w" type="StateName">
  352. <styles xsi:type="notation:ShapeStyle" xmi:id="_UZr80cy6EeCsspMqabJO2w"/>
  353. <layoutConstraint xsi:type="notation:Location" xmi:id="_UZr80sy6EeCsspMqabJO2w"/>
  354. </children>
  355. <children xsi:type="notation:Compartment" xmi:id="_UZtK8My6EeCsspMqabJO2w" type="StateTextCompartment">
  356. <children xsi:type="notation:Shape" xmi:id="_UZtyAMy6EeCsspMqabJO2w" type="StateTextCompartmentExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
  357. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UZtyAcy6EeCsspMqabJO2w"/>
  358. </children>
  359. </children>
  360. <children xsi:type="notation:Compartment" xmi:id="_UZvAIMy6EeCsspMqabJO2w" type="StateFigureCompartment"/>
  361. <styles xsi:type="notation:ShapeStyle" xmi:id="_UZquscy6EeCsspMqabJO2w" fontName="Arial" fontHeight="10" fillColor="15981773" lineColor="12632256"/>
  362. <styles xsi:type="notation:FontStyle" xmi:id="_UZqussy6EeCsspMqabJO2w"/>
  363. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_UZvAIcy6EeCsspMqabJO2w"/>
  364. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UZqus8y6EeCsspMqabJO2w" x="204" y="682"/>
  365. </children>
  366. <children xmi:id="_Qryx8My-EeCb-5V-OwKjrw" type="State" element="_QrqPEMy-EeCb-5V-OwKjrw">
  367. <children xsi:type="notation:DecorationNode" xmi:id="_Qr1OMMy-EeCb-5V-OwKjrw" type="StateName">
  368. <styles xsi:type="notation:ShapeStyle" xmi:id="_Qr1OMcy-EeCb-5V-OwKjrw"/>
  369. <layoutConstraint xsi:type="notation:Location" xmi:id="_Qr11QMy-EeCb-5V-OwKjrw"/>
  370. </children>
  371. <children xsi:type="notation:Compartment" xmi:id="_Qr2cUMy-EeCb-5V-OwKjrw" type="StateTextCompartment">
  372. <children xsi:type="notation:Shape" xmi:id="_Qr3DYMy-EeCb-5V-OwKjrw" type="StateTextCompartmentExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
  373. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Qr3DYcy-EeCb-5V-OwKjrw"/>
  374. </children>
  375. </children>
  376. <children xsi:type="notation:Compartment" xmi:id="_Qr3qcMy-EeCb-5V-OwKjrw" type="StateFigureCompartment">
  377. <children xmi:id="_UG3xsMy-EeCb-5V-OwKjrw" type="Region" element="_UG1VcMy-EeCb-5V-OwKjrw">
  378. <children xsi:type="notation:DecorationNode" xmi:id="_UG4_0My-EeCb-5V-OwKjrw" type="RegionName">
  379. <styles xsi:type="notation:ShapeStyle" xmi:id="_UG4_0cy-EeCb-5V-OwKjrw"/>
  380. <layoutConstraint xsi:type="notation:Location" xmi:id="_UG4_0sy-EeCb-5V-OwKjrw"/>
  381. </children>
  382. <children xsi:type="notation:Shape" xmi:id="_UG5m4My-EeCb-5V-OwKjrw" type="RegionCompartment" fontName="Arial" fontHeight="10" lineColor="4210752">
  383. <children xmi:id="_W42xIMy-EeCb-5V-OwKjrw" type="State" element="_W4078My-EeCb-5V-OwKjrw">
  384. <children xsi:type="notation:DecorationNode" xmi:id="_W43YMMy-EeCb-5V-OwKjrw" type="StateName">
  385. <styles xsi:type="notation:ShapeStyle" xmi:id="_W43YMcy-EeCb-5V-OwKjrw"/>
  386. <layoutConstraint xsi:type="notation:Location" xmi:id="_W43YMsy-EeCb-5V-OwKjrw"/>
  387. </children>
  388. <children xsi:type="notation:Compartment" xmi:id="_W43YM8y-EeCb-5V-OwKjrw" type="StateTextCompartment">
  389. <children xsi:type="notation:Shape" xmi:id="_W43YNMy-EeCb-5V-OwKjrw" type="StateTextCompartmentExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
  390. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_W43YNcy-EeCb-5V-OwKjrw"/>
  391. </children>
  392. </children>
  393. <children xsi:type="notation:Compartment" xmi:id="_W43_QMy-EeCb-5V-OwKjrw" type="StateFigureCompartment"/>
  394. <styles xsi:type="notation:ShapeStyle" xmi:id="_W42xIcy-EeCb-5V-OwKjrw" fontName="Arial" fontHeight="10" fillColor="15981773" lineColor="12632256"/>
  395. <styles xsi:type="notation:FontStyle" xmi:id="_W42xIsy-EeCb-5V-OwKjrw"/>
  396. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_W43_Qcy-EeCb-5V-OwKjrw"/>
  397. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_W42xI8y-EeCb-5V-OwKjrw" x="13" y="89"/>
  398. </children>
  399. <children xmi:id="_wsYx4N3bEeCG4bnAXOxQFA" type="Entry" element="_wsUgcN3bEeCG4bnAXOxQFA">
  400. <children xmi:id="_wsaAAN3bEeCG4bnAXOxQFA" type="BorderItemLabelContainer">
  401. <children xsi:type="notation:DecorationNode" xmi:id="_wsanEN3bEeCG4bnAXOxQFA" type="BorderItemLabel">
  402. <styles xsi:type="notation:ShapeStyle" xmi:id="_wsanEd3bEeCG4bnAXOxQFA"/>
  403. <layoutConstraint xsi:type="notation:Location" xmi:id="_wsanEt3bEeCG4bnAXOxQFA"/>
  404. </children>
  405. <styles xsi:type="notation:ShapeStyle" xmi:id="_wsaAAd3bEeCG4bnAXOxQFA" fontName="Arial" fontHeight="10" lineColor="4210752"/>
  406. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wsaAAt3bEeCG4bnAXOxQFA"/>
  407. </children>
  408. <styles xsi:type="notation:ShapeStyle" xmi:id="_wsZY8N3bEeCG4bnAXOxQFA" fontName="Arial" fontHeight="10" lineColor="4210752"/>
  409. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wsZY8d3bEeCG4bnAXOxQFA" x="81" y="16"/>
  410. </children>
  411. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UG5m4cy-EeCb-5V-OwKjrw"/>
  412. </children>
  413. <styles xsi:type="notation:ShapeStyle" xmi:id="_UG3xscy-EeCb-5V-OwKjrw" fontName="Arial" fontHeight="10" fillColor="15790320" lineColor="12632256"/>
  414. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UG3xssy-EeCb-5V-OwKjrw"/>
  415. </children>
  416. </children>
  417. <styles xsi:type="notation:ShapeStyle" xmi:id="_Qryx8cy-EeCb-5V-OwKjrw" fontName="Arial" fontHeight="10" fillColor="15981773" lineColor="12632256"/>
  418. <styles xsi:type="notation:FontStyle" xmi:id="_Qryx8sy-EeCb-5V-OwKjrw"/>
  419. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Qr4RgMy-EeCb-5V-OwKjrw"/>
  420. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Qryx88y-EeCb-5V-OwKjrw" x="694" y="167" width="336" height="396"/>
  421. </children>
  422. <children xmi:id="_t_26MN3bEeCG4bnAXOxQFA" type="Entry" element="_t_0d8N3bEeCG4bnAXOxQFA">
  423. <children xmi:id="_t_4IUN3bEeCG4bnAXOxQFA" type="BorderItemLabelContainer">
  424. <children xsi:type="notation:DecorationNode" xmi:id="_t_5WcN3bEeCG4bnAXOxQFA" type="BorderItemLabel">
  425. <styles xsi:type="notation:ShapeStyle" xmi:id="_t_5Wcd3bEeCG4bnAXOxQFA"/>
  426. <layoutConstraint xsi:type="notation:Location" xmi:id="_t_5Wct3bEeCG4bnAXOxQFA"/>
  427. </children>
  428. <styles xsi:type="notation:ShapeStyle" xmi:id="_t_4vYN3bEeCG4bnAXOxQFA" fontName="Arial" fontHeight="10" lineColor="4210752"/>
  429. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_t_4vYd3bEeCG4bnAXOxQFA"/>
  430. </children>
  431. <styles xsi:type="notation:ShapeStyle" xmi:id="_t_26Md3bEeCG4bnAXOxQFA" fontName="Arial" fontHeight="10" lineColor="4210752"/>
  432. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_t_26Mt3bEeCG4bnAXOxQFA" x="274" y="9"/>
  433. </children>
  434. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bdJ3AcyjEeCFFpVd4jJEDQ"/>
  435. </children>
  436. <styles xsi:type="notation:ShapeStyle" xmi:id="_bciL8cyjEeCFFpVd4jJEDQ" fontName="Arial" fontHeight="10" fillColor="15790320" lineColor="12632256"/>
  437. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bdLsMMyjEeCFFpVd4jJEDQ" x="315" y="15" width="1166" height="841"/>
  438. </children>
  439. <children xsi:type="notation:Shape" xmi:id="_bdl74MyjEeCFFpVd4jJEDQ" type="StatechartText" fontName="Arial" fontHeight="10" lineColor="4210752">
  440. <children xsi:type="notation:DecorationNode" xmi:id="_bdnKAMyjEeCFFpVd4jJEDQ" type="StatechartName">
  441. <styles xsi:type="notation:ShapeStyle" xmi:id="_bdnKAcyjEeCFFpVd4jJEDQ"/>
  442. <layoutConstraint xsi:type="notation:Location" xmi:id="_bdnKAsyjEeCFFpVd4jJEDQ"/>
  443. </children>
  444. <children xsi:type="notation:Shape" xmi:id="_bdnKA8yjEeCFFpVd4jJEDQ" type="StatechartTextExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
  445. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bdnKBMyjEeCFFpVd4jJEDQ"/>
  446. </children>
  447. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bdnxEMyjEeCFFpVd4jJEDQ" x="10" y="10" width="200" height="400"/>
  448. </children>
  449. <styles xsi:type="notation:DiagramStyle" xmi:id="_bcUJgcyjEeCFFpVd4jJEDQ"/>
  450. <edges xmi:id="_bdkGsMyjEeCFFpVd4jJEDQ" type="Transition" element="_bda8wMyjEeCFFpVd4jJEDQ" source="_qf1JAN3bEeCG4bnAXOxQFA" target="_bdSZ4MyjEeCFFpVd4jJEDQ">
  451. <children xsi:type="notation:DecorationNode" xmi:id="_bdlU0MyjEeCFFpVd4jJEDQ" type="TransitionExpression">
  452. <styles xsi:type="notation:ShapeStyle" xmi:id="_bdlU0cyjEeCFFpVd4jJEDQ"/>
  453. <layoutConstraint xsi:type="notation:Location" xmi:id="_bdlU0syjEeCFFpVd4jJEDQ" x="-2" y="-116"/>
  454. </children>
  455. <styles xsi:type="notation:ConnectorStyle" xmi:id="_bdkGscyjEeCFFpVd4jJEDQ" lineColor="4210752"/>
  456. <styles xsi:type="notation:FontStyle" xmi:id="_bdktwMyjEeCFFpVd4jJEDQ" fontName="Arial" fontHeight="10"/>
  457. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_bdkGssyjEeCFFpVd4jJEDQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  458. </edges>
  459. <edges xmi:id="_b46UAMylEeCFFpVd4jJEDQ" type="Transition" element="_b45F4MylEeCFFpVd4jJEDQ" source="_bdSZ4MyjEeCFFpVd4jJEDQ" target="_O_XOsMylEeCFFpVd4jJEDQ">
  460. <children xsi:type="notation:DecorationNode" xmi:id="_b467EcylEeCFFpVd4jJEDQ" type="TransitionExpression">
  461. <styles xsi:type="notation:ShapeStyle" xmi:id="_b467EsylEeCFFpVd4jJEDQ"/>
  462. <layoutConstraint xsi:type="notation:Location" xmi:id="_b47iIMylEeCFFpVd4jJEDQ" x="-4" y="-8"/>
  463. </children>
  464. <styles xsi:type="notation:ConnectorStyle" xmi:id="_b46UAcylEeCFFpVd4jJEDQ" lineColor="4210752"/>
  465. <styles xsi:type="notation:FontStyle" xmi:id="_b467EMylEeCFFpVd4jJEDQ" fontName="Arial" fontHeight="10"/>
  466. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_b46UAsylEeCFFpVd4jJEDQ" points="[-4, 28, 9, -42]$[-10, 103, 3, 33]"/>
  467. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_b60_kMylEeCFFpVd4jJEDQ" id="(0.8,0.5692307692307692)"/>
  468. </edges>
  469. <edges xmi:id="_w80LoMylEeCFFpVd4jJEDQ" type="Transition" element="_w8xvYMylEeCFFpVd4jJEDQ" source="_O_XOsMylEeCFFpVd4jJEDQ" target="_T65UkMylEeCFFpVd4jJEDQ">
  470. <children xsi:type="notation:DecorationNode" xmi:id="_w80ysMylEeCFFpVd4jJEDQ" type="TransitionExpression">
  471. <styles xsi:type="notation:ShapeStyle" xmi:id="_w80yscylEeCFFpVd4jJEDQ"/>
  472. <layoutConstraint xsi:type="notation:Location" xmi:id="_w80yssylEeCFFpVd4jJEDQ" x="1" y="-44"/>
  473. </children>
  474. <styles xsi:type="notation:ConnectorStyle" xmi:id="_w80LocylEeCFFpVd4jJEDQ" lineColor="4210752"/>
  475. <styles xsi:type="notation:FontStyle" xmi:id="_w80Lo8ylEeCFFpVd4jJEDQ" fontName="Arial" fontHeight="10"/>
  476. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_w80LosylEeCFFpVd4jJEDQ" points="[6, 8, 7, -107]$[6, 83, 7, -32]"/>
  477. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_w-b8QMylEeCFFpVd4jJEDQ" id="(0.5625,0.9076923076923077)"/>
  478. </edges>
  479. <edges xmi:id="_e9b_gMymEeCFFpVd4jJEDQ" type="Transition" element="_e9axYMymEeCFFpVd4jJEDQ" source="_T65UkMylEeCFFpVd4jJEDQ" target="_HdC3UMymEeCFFpVd4jJEDQ">
  480. <children xsi:type="notation:DecorationNode" xmi:id="_e9cmkMymEeCFFpVd4jJEDQ" type="TransitionExpression">
  481. <styles xsi:type="notation:ShapeStyle" xmi:id="_e9cmkcymEeCFFpVd4jJEDQ"/>
  482. <layoutConstraint xsi:type="notation:Location" xmi:id="_e9cmksymEeCFFpVd4jJEDQ" x="-5" y="9"/>
  483. </children>
  484. <styles xsi:type="notation:ConnectorStyle" xmi:id="_e9b_gcymEeCFFpVd4jJEDQ" lineColor="4210752"/>
  485. <styles xsi:type="notation:FontStyle" xmi:id="_e9b_g8ymEeCFFpVd4jJEDQ" fontName="Arial" fontHeight="10"/>
  486. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_e9b_gsymEeCFFpVd4jJEDQ" points="[-23, 5, 100, 0]$[-112, 12, 11, 7]"/>
  487. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_e_AFwMymEeCFFpVd4jJEDQ" id="(0.9130434782608695,0.5575221238938053)"/>
  488. </edges>
  489. <edges xmi:id="_2o4hIMymEeCFFpVd4jJEDQ" type="Transition" element="_2o2E4MymEeCFFpVd4jJEDQ" source="_HdC3UMymEeCFFpVd4jJEDQ" target="_bdSZ4MyjEeCFFpVd4jJEDQ">
  490. <children xsi:type="notation:DecorationNode" xmi:id="_2o5vQMymEeCFFpVd4jJEDQ" type="TransitionExpression">
  491. <styles xsi:type="notation:ShapeStyle" xmi:id="_2o5vQcymEeCFFpVd4jJEDQ"/>
  492. <layoutConstraint xsi:type="notation:Location" xmi:id="_2o5vQsymEeCFFpVd4jJEDQ" x="-5" y="-50"/>
  493. </children>
  494. <styles xsi:type="notation:ConnectorStyle" xmi:id="_2o4hIcymEeCFFpVd4jJEDQ" lineColor="4210752"/>
  495. <styles xsi:type="notation:FontStyle" xmi:id="_2o5IMMymEeCFFpVd4jJEDQ" fontName="Arial" fontHeight="10"/>
  496. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_2o4hIsymEeCFFpVd4jJEDQ" points="[7, -9, 0, 80]$[8, -79, 1, 10]"/>
  497. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_2qeckMymEeCFFpVd4jJEDQ" id="(0.4489795918367347,0.13846153846153847)"/>
  498. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_2qeckcymEeCFFpVd4jJEDQ" id="(0.6,0.8461538461538461)"/>
  499. </edges>
  500. <edges xmi:id="_FZkzoMy6EeCsspMqabJO2w" type="Transition" element="_FZi-cMy6EeCsspMqabJO2w" source="_t_26MN3bEeCG4bnAXOxQFA" target="_m25w8My4EeCbCa3uH2Z31A">
  501. <children xsi:type="notation:DecorationNode" xmi:id="_FZlascy6EeCsspMqabJO2w" type="TransitionExpression">
  502. <styles xsi:type="notation:ShapeStyle" xmi:id="_FZlassy6EeCsspMqabJO2w"/>
  503. <layoutConstraint xsi:type="notation:Location" xmi:id="_FZmBwMy6EeCsspMqabJO2w" y="40"/>
  504. </children>
  505. <styles xsi:type="notation:ConnectorStyle" xmi:id="_FZkzocy6EeCsspMqabJO2w" lineColor="4210752"/>
  506. <styles xsi:type="notation:FontStyle" xmi:id="_FZlasMy6EeCsspMqabJO2w" fontName="Arial" fontHeight="10"/>
  507. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_FZkzosy6EeCsspMqabJO2w" points="[-4, 6, 282, -364]$[-53, 68, 233, -302]"/>
  508. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_FazisMy6EeCsspMqabJO2w" id="(0.48148148148148145,0.036605657237936774)"/>
  509. </edges>
  510. <edges xmi:id="_bAfRsMy6EeCsspMqabJO2w" type="Transition" element="_bAc1cMy6EeCsspMqabJO2w" source="_m25w8My4EeCbCa3uH2Z31A" target="_UZqusMy6EeCsspMqabJO2w">
  511. <children xsi:type="notation:DecorationNode" xmi:id="_bAgf0My6EeCsspMqabJO2w" type="TransitionExpression">
  512. <styles xsi:type="notation:ShapeStyle" xmi:id="_bAgf0cy6EeCsspMqabJO2w"/>
  513. <layoutConstraint xsi:type="notation:Location" xmi:id="_bAgf0sy6EeCsspMqabJO2w" x="1" y="14"/>
  514. </children>
  515. <styles xsi:type="notation:ConnectorStyle" xmi:id="_bAfRscy6EeCsspMqabJO2w" lineColor="4210752"/>
  516. <styles xsi:type="notation:FontStyle" xmi:id="_bAf4wMy6EeCsspMqabJO2w" fontName="Arial" fontHeight="10"/>
  517. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_bAfRssy6EeCsspMqabJO2w" points="[-3, 3, 0, -79]$[-3, 70, 0, -12]"/>
  518. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_bBwdAMy6EeCsspMqabJO2w" id="(0.3593155893536122,0.9962335216572504)"/>
  519. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_bBwdAcy6EeCsspMqabJO2w" id="(0.15217391304347827,0.05309734513274336)"/>
  520. </edges>
  521. <edges xmi:id="_eXPyIMy6EeCsspMqabJO2w" type="Transition" element="_eXN88My6EeCsspMqabJO2w" source="_UZqusMy6EeCsspMqabJO2w" target="_m25w8My4EeCbCa3uH2Z31A">
  522. <children xsi:type="notation:DecorationNode" xmi:id="_eXRAQMy6EeCsspMqabJO2w" type="TransitionExpression">
  523. <styles xsi:type="notation:ShapeStyle" xmi:id="_eXRAQcy6EeCsspMqabJO2w"/>
  524. <layoutConstraint xsi:type="notation:Location" xmi:id="_eXRAQsy6EeCsspMqabJO2w" x="4" y="16"/>
  525. </children>
  526. <styles xsi:type="notation:ConnectorStyle" xmi:id="_eXPyIcy6EeCsspMqabJO2w" lineColor="4210752"/>
  527. <styles xsi:type="notation:FontStyle" xmi:id="_eXQZMMy6EeCsspMqabJO2w" fontName="Arial" fontHeight="10"/>
  528. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_eXPyIsy6EeCsspMqabJO2w" points="[14, -32, -35, 75]$[49, -106, 0, 1]"/>
  529. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_D4CLkMy-EeCb-5V-OwKjrw" id="(0.8478260869565217,0.07964601769911504)"/>
  530. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_eYfIQMy6EeCsspMqabJO2w" id="(0.5456273764258555,0.9962335216572504)"/>
  531. </edges>
  532. <edges xmi:id="_a7lxUMy_EeCb-5V-OwKjrw" type="Transition" element="_a7iuAMy_EeCb-5V-OwKjrw" source="_wsYx4N3bEeCG4bnAXOxQFA" target="_W42xIMy-EeCb-5V-OwKjrw">
  533. <children xsi:type="notation:DecorationNode" xmi:id="_a7m_cMy_EeCb-5V-OwKjrw" type="TransitionExpression">
  534. <styles xsi:type="notation:ShapeStyle" xmi:id="_a7m_ccy_EeCb-5V-OwKjrw"/>
  535. <layoutConstraint xsi:type="notation:Location" xmi:id="_a7m_csy_EeCb-5V-OwKjrw" y="40"/>
  536. </children>
  537. <styles xsi:type="notation:ConnectorStyle" xmi:id="_a7lxUcy_EeCb-5V-OwKjrw" lineColor="4210752"/>
  538. <styles xsi:type="notation:FontStyle" xmi:id="_a7mYYMy_EeCb-5V-OwKjrw" fontName="Arial" fontHeight="10"/>
  539. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_a7lxUsy_EeCb-5V-OwKjrw" points="[0, 7, -12, -121]$[5, 88, -7, -40]"/>
  540. </edges>
  541. <edges xmi:id="_H_LVMMzAEeCb-5V-OwKjrw" type="Transition" element="_H_JgAMzAEeCb-5V-OwKjrw" source="_Qryx8My-EeCb-5V-OwKjrw" target="_m25w8My4EeCbCa3uH2Z31A">
  542. <children xsi:type="notation:DecorationNode" xmi:id="_H_L8QczAEeCb-5V-OwKjrw" type="TransitionExpression">
  543. <styles xsi:type="notation:ShapeStyle" xmi:id="_H_L8QszAEeCb-5V-OwKjrw"/>
  544. <layoutConstraint xsi:type="notation:Location" xmi:id="_H_MjUMzAEeCb-5V-OwKjrw" y="11"/>
  545. </children>
  546. <styles xsi:type="notation:ConnectorStyle" xmi:id="_H_LVMczAEeCb-5V-OwKjrw" lineColor="4210752"/>
  547. <styles xsi:type="notation:FontStyle" xmi:id="_H_L8QMzAEeCb-5V-OwKjrw" fontName="Arial" fontHeight="10"/>
  548. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_H_LVMszAEeCb-5V-OwKjrw" points="[-6, 3, 199, 0]$[-200, 4, 5, 1]"/>
  549. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_IAN3AMzAEeCb-5V-OwKjrw" id="(0.02262443438914027,0.7470238095238095)"/>
  550. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_IAN3AczAEeCb-5V-OwKjrw" id="(0.9885931558935361,0.7137476459510358)"/>
  551. </edges>
  552. <edges xmi:id="_J_ANAMzCEeCLMLkohWrmhA" type="Transition" element="_J-6GYMzCEeCLMLkohWrmhA" source="_m25w8My4EeCbCa3uH2Z31A" target="_Qryx8My-EeCb-5V-OwKjrw">
  553. <children xsi:type="notation:DecorationNode" xmi:id="_J_DQUMzCEeCLMLkohWrmhA" type="TransitionExpression">
  554. <styles xsi:type="notation:ShapeStyle" xmi:id="_J_DQUczCEeCLMLkohWrmhA"/>
  555. <layoutConstraint xsi:type="notation:Location" xmi:id="_J_DQUszCEeCLMLkohWrmhA" y="-12"/>
  556. </children>
  557. <styles xsi:type="notation:ConnectorStyle" xmi:id="_J_ANAczCEeCLMLkohWrmhA" lineColor="4210752"/>
  558. <styles xsi:type="notation:FontStyle" xmi:id="_J_BbIMzCEeCLMLkohWrmhA" fontName="Arial" fontHeight="10"/>
  559. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_J_ANAszCEeCLMLkohWrmhA" points="[3, 6, -207, 0]$[197, -9, -13, -15]"/>
  560. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_KAO8EMzCEeCLMLkohWrmhA" id="(0.9942965779467681,0.2580037664783427)"/>
  561. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_KAO8EczCEeCLMLkohWrmhA" id="(0.011904761904761904,0.14898989898989898)"/>
  562. </edges>
  563. <edges xmi:id="_O4nK0MzDEeCLMLkohWrmhA" type="Transition" element="_O4l8sMzDEeCLMLkohWrmhA" source="_W42xIMy-EeCb-5V-OwKjrw" target="_W42xIMy-EeCb-5V-OwKjrw">
  564. <children xsi:type="notation:DecorationNode" xmi:id="_O4nx4czDEeCLMLkohWrmhA" type="TransitionExpression">
  565. <styles xsi:type="notation:ShapeStyle" xmi:id="_O4nx4szDEeCLMLkohWrmhA"/>
  566. <layoutConstraint xsi:type="notation:Location" xmi:id="_O4nx48zDEeCLMLkohWrmhA" x="-3" y="150"/>
  567. </children>
  568. <styles xsi:type="notation:ConnectorStyle" xmi:id="_O4nK0czDEeCLMLkohWrmhA" lineColor="4210752"/>
  569. <styles xsi:type="notation:FontStyle" xmi:id="_O4nx4MzDEeCLMLkohWrmhA" fontName="Arial" fontHeight="10"/>
  570. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_O4nK0szDEeCLMLkohWrmhA" points="[3, -52, 0, -29]$[9, -24, 6, -1]"/>
  571. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_O5pFkMzDEeCLMLkohWrmhA" id="(0.8902439024390244,0.8)"/>
  572. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_O5pFkczDEeCLMLkohWrmhA" id="(0.7682926829268293,0.9384615384615385)"/>
  573. </edges>
  574. <edges xmi:id="_-N09oMzEEeCXa_6cCdE7vA" type="Transition" element="_-Nu3AMzEEeCXa_6cCdE7vA" source="_Qryx8My-EeCb-5V-OwKjrw" target="_UZqusMy6EeCsspMqabJO2w">
  575. <children xsi:type="notation:DecorationNode" xmi:id="_-N4A8MzEEeCXa_6cCdE7vA" type="TransitionExpression">
  576. <styles xsi:type="notation:ShapeStyle" xmi:id="_-N4A8czEEeCXa_6cCdE7vA"/>
  577. <layoutConstraint xsi:type="notation:Location" xmi:id="_-N4A8szEEeCXa_6cCdE7vA" x="-176" y="27"/>
  578. </children>
  579. <styles xsi:type="notation:ConnectorStyle" xmi:id="_-N09oczEEeCXa_6cCdE7vA" lineColor="4210752"/>
  580. <styles xsi:type="notation:FontStyle" xmi:id="_-N2LwMzEEeCXa_6cCdE7vA" fontName="Arial" fontHeight="10"/>
  581. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_-N09oszEEeCXa_6cCdE7vA" points="[6, 4, 514, -168]$[6, 179, 514, 7]$[-494, 179, 14, 7]"/>
  582. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_-PE60MzEEeCXa_6cCdE7vA" id="(0.4226190476190476,0.98989898989899)"/>
  583. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_-PE60czEEeCXa_6cCdE7vA" id="(0.8985507246376812,0.4336283185840708)"/>
  584. </edges>
  585. </notation:Diagram>
  586. </xmi:XMI>