ValidEmptyTransitionFromSync.sct 43 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498
  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/sgraph/2.0.0">
  3. <sgraph:Statechart xmi:id="_x2hFAG_pEeS1xYwspMh3zQ" specification="interface:&#xA;&#xA;&#x9;in event e" name="ValidEmptyTransitionFromSync">
  4. <regions xmi:id="_x2iTIm_pEeS1xYwspMh3zQ" name="valid">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_x2nysW_pEeS1xYwspMh3zQ">
  6. <outgoingTransitions xmi:id="_x2pn4W_pEeS1xYwspMh3zQ" target="_x2oZxm_pEeS1xYwspMh3zQ"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_x2oZxm_pEeS1xYwspMh3zQ" name="A" incomingTransitions="_x2pn4W_pEeS1xYwspMh3zQ _jIEosG_rEeS1xYwspMh3zQ">
  9. <regions xmi:id="_3-ODEG_pEeS1xYwspMh3zQ" name="r1">
  10. <vertices xsi:type="sgraph:Entry" xmi:id="_8O-GkG_pEeS1xYwspMh3zQ">
  11. <outgoingTransitions xmi:id="_BqzdIG_qEeS1xYwspMh3zQ" specification="" target="__CaekG_pEeS1xYwspMh3zQ"/>
  12. </vertices>
  13. <vertices xsi:type="sgraph:State" xmi:id="__CaekG_pEeS1xYwspMh3zQ" name="AA" incomingTransitions="_BqzdIG_qEeS1xYwspMh3zQ">
  14. <outgoingTransitions xmi:id="_UHsPMG_qEeS1xYwspMh3zQ" specification="e" target="_E0H-gG_qEeS1xYwspMh3zQ"/>
  15. </vertices>
  16. </regions>
  17. <regions xmi:id="_4vB08G_pEeS1xYwspMh3zQ" name="r2">
  18. <vertices xsi:type="sgraph:Entry" xmi:id="_9J3BgG_pEeS1xYwspMh3zQ">
  19. <outgoingTransitions xmi:id="_CPRcIG_qEeS1xYwspMh3zQ" specification="" target="_9n_vAG_pEeS1xYwspMh3zQ"/>
  20. </vertices>
  21. <vertices xsi:type="sgraph:State" xmi:id="_9n_vAG_pEeS1xYwspMh3zQ" name="AB" incomingTransitions="_CPRcIG_qEeS1xYwspMh3zQ">
  22. <outgoingTransitions xmi:id="_UnqIsG_qEeS1xYwspMh3zQ" specification="" target="_E0H-gG_qEeS1xYwspMh3zQ"/>
  23. </vertices>
  24. </regions>
  25. </vertices>
  26. <vertices xsi:type="sgraph:State" xmi:id="_z_I-YG_pEeS1xYwspMh3zQ" name="B">
  27. <outgoingTransitions xmi:id="_jIEosG_rEeS1xYwspMh3zQ" specification="e" target="_x2oZxm_pEeS1xYwspMh3zQ"/>
  28. <regions xmi:id="_dDXJsG_qEeS1xYwspMh3zQ" name="r1">
  29. <vertices xsi:type="sgraph:State" xmi:id="_cN2okG_rEeS1xYwspMh3zQ" name="BA" incomingTransitions="_fpaJcG_rEeS1xYwspMh3zQ"/>
  30. </regions>
  31. <regions xmi:id="_ePaGEG_qEeS1xYwspMh3zQ" name="r2">
  32. <vertices xsi:type="sgraph:State" xmi:id="_dNqfwG_rEeS1xYwspMh3zQ" name="BB" incomingTransitions="_gUMy4G_rEeS1xYwspMh3zQ"/>
  33. </regions>
  34. </vertices>
  35. <vertices xsi:type="sgraph:Synchronization" xmi:id="_E0H-gG_qEeS1xYwspMh3zQ" incomingTransitions="_UHsPMG_qEeS1xYwspMh3zQ _UnqIsG_qEeS1xYwspMh3zQ">
  36. <outgoingTransitions xmi:id="_fpaJcG_rEeS1xYwspMh3zQ" specification="" target="_cN2okG_rEeS1xYwspMh3zQ"/>
  37. <outgoingTransitions xmi:id="_gUMy4G_rEeS1xYwspMh3zQ" specification="" target="_dNqfwG_rEeS1xYwspMh3zQ"/>
  38. </vertices>
  39. </regions>
  40. <regions xmi:id="_QeSjYPsbEeWVQPyEgylH1g" name="warning">
  41. <vertices xsi:type="sgraph:State" xmi:id="_YWyJoPsbEeWVQPyEgylH1g" name="B">
  42. <regions xmi:id="_YWywtfsbEeWVQPyEgylH1g" name="r1">
  43. <vertices xsi:type="sgraph:State" xmi:id="_YWywtvsbEeWVQPyEgylH1g" name="BA" incomingTransitions="_YW1M8fsbEeWVQPyEgylH1g"/>
  44. </regions>
  45. <regions xmi:id="_YWywuPsbEeWVQPyEgylH1g" name="r2">
  46. <vertices xsi:type="sgraph:State" xmi:id="_YWywufsbEeWVQPyEgylH1g" name="BB" incomingTransitions="_YW1M8vsbEeWVQPyEgylH1g"/>
  47. </regions>
  48. </vertices>
  49. <vertices xsi:type="sgraph:Synchronization" xmi:id="_YW1M8PsbEeWVQPyEgylH1g" incomingTransitions="_cYZk8PsbEeWVQPyEgylH1g">
  50. <outgoingTransitions xmi:id="_YW1M8fsbEeWVQPyEgylH1g" specification="" target="_YWywtvsbEeWVQPyEgylH1g"/>
  51. <outgoingTransitions xmi:id="_YW1M8vsbEeWVQPyEgylH1g" specification="" target="_YWywufsbEeWVQPyEgylH1g"/>
  52. </vertices>
  53. <vertices xsi:type="sgraph:State" xmi:id="_aVNlMPsbEeWVQPyEgylH1g" name="A" incomingTransitions="_bocusPsbEeWVQPyEgylH1g">
  54. <outgoingTransitions xmi:id="_cYZk8PsbEeWVQPyEgylH1g" specification="" target="_YW1M8PsbEeWVQPyEgylH1g"/>
  55. </vertices>
  56. <vertices xsi:type="sgraph:Entry" xmi:id="_bF6pYPsbEeWVQPyEgylH1g">
  57. <outgoingTransitions xmi:id="_bocusPsbEeWVQPyEgylH1g" specification="" target="_aVNlMPsbEeWVQPyEgylH1g"/>
  58. </vertices>
  59. </regions>
  60. </sgraph:Statechart>
  61. <notation:Diagram xmi:id="_x2iTIG_pEeS1xYwspMh3zQ" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_x2hFAG_pEeS1xYwspMh3zQ" measurementUnit="Pixel">
  62. <children xmi:id="_x2lWcG_pEeS1xYwspMh3zQ" type="Region" element="_x2iTIm_pEeS1xYwspMh3zQ">
  63. <children xsi:type="notation:DecorationNode" xmi:id="_x2nLoG_pEeS1xYwspMh3zQ" type="RegionName">
  64. <styles xsi:type="notation:ShapeStyle" xmi:id="_x2nLoW_pEeS1xYwspMh3zQ"/>
  65. <layoutConstraint xsi:type="notation:Location" xmi:id="_x2nLom_pEeS1xYwspMh3zQ"/>
  66. </children>
  67. <children xsi:type="notation:Shape" xmi:id="_x2nLo2_pEeS1xYwspMh3zQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  68. <children xmi:id="_x2nysm_pEeS1xYwspMh3zQ" type="Entry" element="_x2nysW_pEeS1xYwspMh3zQ">
  69. <children xmi:id="_x2nytW_pEeS1xYwspMh3zQ" type="BorderItemLabelContainer">
  70. <children xsi:type="notation:DecorationNode" xmi:id="_x2oZwm_pEeS1xYwspMh3zQ" type="BorderItemLabel">
  71. <styles xsi:type="notation:ShapeStyle" xmi:id="_x2oZw2_pEeS1xYwspMh3zQ"/>
  72. <layoutConstraint xsi:type="notation:Location" xmi:id="_x2oZxG_pEeS1xYwspMh3zQ"/>
  73. </children>
  74. <styles xsi:type="notation:ShapeStyle" xmi:id="_x2oZwG_pEeS1xYwspMh3zQ" fontName="Verdana" lineColor="4210752"/>
  75. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_x2oZwW_pEeS1xYwspMh3zQ"/>
  76. </children>
  77. <styles xsi:type="notation:ShapeStyle" xmi:id="_x2nys2_pEeS1xYwspMh3zQ" fontName="Verdana" lineColor="4210752"/>
  78. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_x2oZxW_pEeS1xYwspMh3zQ" x="70" y="20" width="15" height="15"/>
  79. </children>
  80. <children xmi:id="_x2oZyW_pEeS1xYwspMh3zQ" type="State" element="_x2oZxm_pEeS1xYwspMh3zQ">
  81. <children xsi:type="notation:DecorationNode" xmi:id="_x2pA0G_pEeS1xYwspMh3zQ" type="StateName">
  82. <styles xsi:type="notation:ShapeStyle" xmi:id="_x2pA0W_pEeS1xYwspMh3zQ"/>
  83. <layoutConstraint xsi:type="notation:Location" xmi:id="_x2pA0m_pEeS1xYwspMh3zQ"/>
  84. </children>
  85. <children xsi:type="notation:Compartment" xmi:id="_x2pA02_pEeS1xYwspMh3zQ" type="StateTextCompartment">
  86. <children xsi:type="notation:Shape" xmi:id="_x2pA1G_pEeS1xYwspMh3zQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  87. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_x2pA1W_pEeS1xYwspMh3zQ"/>
  88. </children>
  89. </children>
  90. <children xsi:type="notation:Compartment" xmi:id="_x2pA1m_pEeS1xYwspMh3zQ" type="StateFigureCompartment">
  91. <children xmi:id="_5pD0QG_pEeS1xYwspMh3zQ" type="Region" element="_3-ODEG_pEeS1xYwspMh3zQ">
  92. <children xsi:type="notation:DecorationNode" xmi:id="_5pD0QW_pEeS1xYwspMh3zQ" type="RegionName">
  93. <styles xsi:type="notation:ShapeStyle" xmi:id="_5pD0Qm_pEeS1xYwspMh3zQ"/>
  94. <layoutConstraint xsi:type="notation:Location" xmi:id="_5pD0Q2_pEeS1xYwspMh3zQ"/>
  95. </children>
  96. <children xsi:type="notation:Shape" xmi:id="_5pD0RG_pEeS1xYwspMh3zQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  97. <children xmi:id="_8O_UsG_pEeS1xYwspMh3zQ" type="Entry" element="_8O-GkG_pEeS1xYwspMh3zQ">
  98. <children xmi:id="_8O_Us2_pEeS1xYwspMh3zQ" type="BorderItemLabelContainer">
  99. <children xsi:type="notation:DecorationNode" xmi:id="_8O_Utm_pEeS1xYwspMh3zQ" type="BorderItemLabel">
  100. <styles xsi:type="notation:ShapeStyle" xmi:id="_8O_Ut2_pEeS1xYwspMh3zQ"/>
  101. <layoutConstraint xsi:type="notation:Location" xmi:id="_8O_7wG_pEeS1xYwspMh3zQ"/>
  102. </children>
  103. <styles xsi:type="notation:ShapeStyle" xmi:id="_8O_UtG_pEeS1xYwspMh3zQ" fontName="Verdana" lineColor="4210752"/>
  104. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_8O_UtW_pEeS1xYwspMh3zQ"/>
  105. </children>
  106. <styles xsi:type="notation:ShapeStyle" xmi:id="_8O_UsW_pEeS1xYwspMh3zQ" fontName="Verdana" lineColor="4210752"/>
  107. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_8O_Usm_pEeS1xYwspMh3zQ" x="19" y="19"/>
  108. </children>
  109. <children xmi:id="__CbFoG_pEeS1xYwspMh3zQ" type="State" element="__CaekG_pEeS1xYwspMh3zQ">
  110. <children xsi:type="notation:DecorationNode" xmi:id="__CbFpG_pEeS1xYwspMh3zQ" type="StateName">
  111. <styles xsi:type="notation:ShapeStyle" xmi:id="__CbFpW_pEeS1xYwspMh3zQ"/>
  112. <layoutConstraint xsi:type="notation:Location" xmi:id="__CbFpm_pEeS1xYwspMh3zQ"/>
  113. </children>
  114. <children xsi:type="notation:Compartment" xmi:id="__CbFp2_pEeS1xYwspMh3zQ" type="StateTextCompartment">
  115. <children xsi:type="notation:Shape" xmi:id="__CbssG_pEeS1xYwspMh3zQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  116. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__CbssW_pEeS1xYwspMh3zQ"/>
  117. </children>
  118. </children>
  119. <children xsi:type="notation:Compartment" xmi:id="__Cbssm_pEeS1xYwspMh3zQ" type="StateFigureCompartment"/>
  120. <styles xsi:type="notation:ShapeStyle" xmi:id="__CbFoW_pEeS1xYwspMh3zQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  121. <styles xsi:type="notation:FontStyle" xmi:id="__CbFom_pEeS1xYwspMh3zQ"/>
  122. <styles xsi:type="notation:BooleanValueStyle" xmi:id="__Cbss2_pEeS1xYwspMh3zQ" name="isHorizontal" booleanValue="true"/>
  123. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__CbFo2_pEeS1xYwspMh3zQ" x="63" y="19"/>
  124. </children>
  125. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_5pD0RW_pEeS1xYwspMh3zQ"/>
  126. </children>
  127. <styles xsi:type="notation:ShapeStyle" xmi:id="_5pD0Rm_pEeS1xYwspMh3zQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  128. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_5pD0R2_pEeS1xYwspMh3zQ"/>
  129. </children>
  130. <children xmi:id="_4vERMG_pEeS1xYwspMh3zQ" type="Region" element="_4vB08G_pEeS1xYwspMh3zQ">
  131. <children xsi:type="notation:DecorationNode" xmi:id="_4vERM2_pEeS1xYwspMh3zQ" type="RegionName">
  132. <styles xsi:type="notation:ShapeStyle" xmi:id="_4vERNG_pEeS1xYwspMh3zQ"/>
  133. <layoutConstraint xsi:type="notation:Location" xmi:id="_4vERNW_pEeS1xYwspMh3zQ"/>
  134. </children>
  135. <children xsi:type="notation:Shape" xmi:id="_4vERNm_pEeS1xYwspMh3zQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  136. <children xmi:id="_9J3okG_pEeS1xYwspMh3zQ" type="Entry" element="_9J3BgG_pEeS1xYwspMh3zQ">
  137. <children xmi:id="_9J3ok2_pEeS1xYwspMh3zQ" type="BorderItemLabelContainer">
  138. <children xsi:type="notation:DecorationNode" xmi:id="_9J4PoG_pEeS1xYwspMh3zQ" type="BorderItemLabel">
  139. <styles xsi:type="notation:ShapeStyle" xmi:id="_9J4PoW_pEeS1xYwspMh3zQ"/>
  140. <layoutConstraint xsi:type="notation:Location" xmi:id="_9J4Pom_pEeS1xYwspMh3zQ"/>
  141. </children>
  142. <styles xsi:type="notation:ShapeStyle" xmi:id="_9J3olG_pEeS1xYwspMh3zQ" fontName="Verdana" lineColor="4210752"/>
  143. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_9J3olW_pEeS1xYwspMh3zQ"/>
  144. </children>
  145. <styles xsi:type="notation:ShapeStyle" xmi:id="_9J3okW_pEeS1xYwspMh3zQ" fontName="Verdana" lineColor="4210752"/>
  146. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_9J3okm_pEeS1xYwspMh3zQ" x="15" y="26"/>
  147. </children>
  148. <children xmi:id="_9oA9IG_pEeS1xYwspMh3zQ" type="State" element="_9n_vAG_pEeS1xYwspMh3zQ">
  149. <children xsi:type="notation:DecorationNode" xmi:id="_9oA9JG_pEeS1xYwspMh3zQ" type="StateName">
  150. <styles xsi:type="notation:ShapeStyle" xmi:id="_9oA9JW_pEeS1xYwspMh3zQ"/>
  151. <layoutConstraint xsi:type="notation:Location" xmi:id="_9oA9Jm_pEeS1xYwspMh3zQ"/>
  152. </children>
  153. <children xsi:type="notation:Compartment" xmi:id="_9oA9J2_pEeS1xYwspMh3zQ" type="StateTextCompartment">
  154. <children xsi:type="notation:Shape" xmi:id="_9oA9KG_pEeS1xYwspMh3zQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  155. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_9oA9KW_pEeS1xYwspMh3zQ"/>
  156. </children>
  157. </children>
  158. <children xsi:type="notation:Compartment" xmi:id="_9oA9Km_pEeS1xYwspMh3zQ" type="StateFigureCompartment"/>
  159. <styles xsi:type="notation:ShapeStyle" xmi:id="_9oA9IW_pEeS1xYwspMh3zQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  160. <styles xsi:type="notation:FontStyle" xmi:id="_9oA9Im_pEeS1xYwspMh3zQ"/>
  161. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_9oA9K2_pEeS1xYwspMh3zQ" name="isHorizontal" booleanValue="true"/>
  162. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_9oA9I2_pEeS1xYwspMh3zQ" x="65" y="20"/>
  163. </children>
  164. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4vERN2_pEeS1xYwspMh3zQ"/>
  165. </children>
  166. <styles xsi:type="notation:ShapeStyle" xmi:id="_4vERMW_pEeS1xYwspMh3zQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  167. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4vERMm_pEeS1xYwspMh3zQ"/>
  168. </children>
  169. </children>
  170. <styles xsi:type="notation:ShapeStyle" xmi:id="_x2oZym_pEeS1xYwspMh3zQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  171. <styles xsi:type="notation:FontStyle" xmi:id="_x2oZy2_pEeS1xYwspMh3zQ"/>
  172. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_x2pA12_pEeS1xYwspMh3zQ" name="isHorizontal" booleanValue="true"/>
  173. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_x2pn4G_pEeS1xYwspMh3zQ" x="65" y="77" width="351" height="205"/>
  174. </children>
  175. <children xmi:id="_z_Od8G_pEeS1xYwspMh3zQ" type="State" element="_z_I-YG_pEeS1xYwspMh3zQ">
  176. <children xsi:type="notation:DecorationNode" xmi:id="_z_Od9G_pEeS1xYwspMh3zQ" type="StateName">
  177. <styles xsi:type="notation:ShapeStyle" xmi:id="_z_Od9W_pEeS1xYwspMh3zQ"/>
  178. <layoutConstraint xsi:type="notation:Location" xmi:id="_z_Od9m_pEeS1xYwspMh3zQ"/>
  179. </children>
  180. <children xsi:type="notation:Compartment" xmi:id="_z_Od92_pEeS1xYwspMh3zQ" type="StateTextCompartment">
  181. <children xsi:type="notation:Shape" xmi:id="_z_Od-G_pEeS1xYwspMh3zQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  182. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_z_Od-W_pEeS1xYwspMh3zQ"/>
  183. </children>
  184. </children>
  185. <children xsi:type="notation:Compartment" xmi:id="_z_PFAG_pEeS1xYwspMh3zQ" type="StateFigureCompartment">
  186. <children xmi:id="_dDYX0G_qEeS1xYwspMh3zQ" type="Region" element="_dDXJsG_qEeS1xYwspMh3zQ">
  187. <children xsi:type="notation:DecorationNode" xmi:id="_dDYX02_qEeS1xYwspMh3zQ" type="RegionName">
  188. <styles xsi:type="notation:ShapeStyle" xmi:id="_dDYX1G_qEeS1xYwspMh3zQ"/>
  189. <layoutConstraint xsi:type="notation:Location" xmi:id="_dDYX1W_qEeS1xYwspMh3zQ"/>
  190. </children>
  191. <children xsi:type="notation:Shape" xmi:id="_dDYX1m_qEeS1xYwspMh3zQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  192. <children xmi:id="_cN3PoG_rEeS1xYwspMh3zQ" type="State" element="_cN2okG_rEeS1xYwspMh3zQ">
  193. <children xsi:type="notation:DecorationNode" xmi:id="_cN3PpG_rEeS1xYwspMh3zQ" type="StateName">
  194. <styles xsi:type="notation:ShapeStyle" xmi:id="_cN3PpW_rEeS1xYwspMh3zQ"/>
  195. <layoutConstraint xsi:type="notation:Location" xmi:id="_cN32sG_rEeS1xYwspMh3zQ"/>
  196. </children>
  197. <children xsi:type="notation:Compartment" xmi:id="_cN32sW_rEeS1xYwspMh3zQ" type="StateTextCompartment">
  198. <children xsi:type="notation:Shape" xmi:id="_cN32sm_rEeS1xYwspMh3zQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  199. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_cN32s2_rEeS1xYwspMh3zQ"/>
  200. </children>
  201. </children>
  202. <children xsi:type="notation:Compartment" xmi:id="_cN32tG_rEeS1xYwspMh3zQ" type="StateFigureCompartment"/>
  203. <styles xsi:type="notation:ShapeStyle" xmi:id="_cN3PoW_rEeS1xYwspMh3zQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  204. <styles xsi:type="notation:FontStyle" xmi:id="_cN3Pom_rEeS1xYwspMh3zQ"/>
  205. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_cN32tW_rEeS1xYwspMh3zQ" name="isHorizontal" booleanValue="true"/>
  206. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_cN3Po2_rEeS1xYwspMh3zQ" x="43" y="24"/>
  207. </children>
  208. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dDYX12_qEeS1xYwspMh3zQ"/>
  209. </children>
  210. <styles xsi:type="notation:ShapeStyle" xmi:id="_dDYX0W_qEeS1xYwspMh3zQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  211. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dDYX0m_qEeS1xYwspMh3zQ"/>
  212. </children>
  213. <children xmi:id="_ePatIG_qEeS1xYwspMh3zQ" type="Region" element="_ePaGEG_qEeS1xYwspMh3zQ">
  214. <children xsi:type="notation:DecorationNode" xmi:id="_ePbUMG_qEeS1xYwspMh3zQ" type="RegionName">
  215. <styles xsi:type="notation:ShapeStyle" xmi:id="_ePbUMW_qEeS1xYwspMh3zQ"/>
  216. <layoutConstraint xsi:type="notation:Location" xmi:id="_ePbUMm_qEeS1xYwspMh3zQ"/>
  217. </children>
  218. <children xsi:type="notation:Shape" xmi:id="_ePbUM2_qEeS1xYwspMh3zQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  219. <children xmi:id="_dNrG0m_rEeS1xYwspMh3zQ" type="State" element="_dNqfwG_rEeS1xYwspMh3zQ">
  220. <children xsi:type="notation:DecorationNode" xmi:id="_dNrt42_rEeS1xYwspMh3zQ" type="StateName">
  221. <styles xsi:type="notation:ShapeStyle" xmi:id="_dNrt5G_rEeS1xYwspMh3zQ"/>
  222. <layoutConstraint xsi:type="notation:Location" xmi:id="_dNrt5W_rEeS1xYwspMh3zQ"/>
  223. </children>
  224. <children xsi:type="notation:Compartment" xmi:id="_dNrt5m_rEeS1xYwspMh3zQ" type="StateTextCompartment">
  225. <children xsi:type="notation:Shape" xmi:id="_dNrt52_rEeS1xYwspMh3zQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  226. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dNrt6G_rEeS1xYwspMh3zQ"/>
  227. </children>
  228. </children>
  229. <children xsi:type="notation:Compartment" xmi:id="_dNrt6W_rEeS1xYwspMh3zQ" type="StateFigureCompartment"/>
  230. <styles xsi:type="notation:ShapeStyle" xmi:id="_dNrt4G_rEeS1xYwspMh3zQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  231. <styles xsi:type="notation:FontStyle" xmi:id="_dNrt4W_rEeS1xYwspMh3zQ"/>
  232. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_dNrt6m_rEeS1xYwspMh3zQ" name="isHorizontal" booleanValue="true"/>
  233. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dNrt4m_rEeS1xYwspMh3zQ" x="48" y="22"/>
  234. </children>
  235. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ePbUNG_qEeS1xYwspMh3zQ"/>
  236. </children>
  237. <styles xsi:type="notation:ShapeStyle" xmi:id="_ePatIW_qEeS1xYwspMh3zQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  238. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ePatIm_qEeS1xYwspMh3zQ"/>
  239. </children>
  240. </children>
  241. <styles xsi:type="notation:ShapeStyle" xmi:id="_z_Od8W_pEeS1xYwspMh3zQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  242. <styles xsi:type="notation:FontStyle" xmi:id="_z_Od8m_pEeS1xYwspMh3zQ"/>
  243. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_z_PFAW_pEeS1xYwspMh3zQ" name="isHorizontal" booleanValue="true"/>
  244. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_z_Od82_pEeS1xYwspMh3zQ" x="71" y="405" width="345" height="160"/>
  245. </children>
  246. <children xsi:type="notation:Shape" xmi:id="_E0IlkG_qEeS1xYwspMh3zQ" type="Synchronization" element="_E0H-gG_qEeS1xYwspMh3zQ" fontName="Verdana" lineColor="4210752">
  247. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_E0IlkW_qEeS1xYwspMh3zQ" x="198" y="325" width="80" height="8"/>
  248. </children>
  249. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_x2nLpG_pEeS1xYwspMh3zQ"/>
  250. </children>
  251. <styles xsi:type="notation:ShapeStyle" xmi:id="_x2lWcW_pEeS1xYwspMh3zQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  252. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_x2nysG_pEeS1xYwspMh3zQ" x="216" y="10" width="452" height="623"/>
  253. </children>
  254. <children xsi:type="notation:Shape" xmi:id="_x2q2AG_pEeS1xYwspMh3zQ" type="StatechartText" fontName="Verdana" lineColor="4210752">
  255. <children xsi:type="notation:DecorationNode" xmi:id="_x2q2Am_pEeS1xYwspMh3zQ" type="StatechartName">
  256. <styles xsi:type="notation:ShapeStyle" xmi:id="_x2q2A2_pEeS1xYwspMh3zQ"/>
  257. <layoutConstraint xsi:type="notation:Location" xmi:id="_x2q2BG_pEeS1xYwspMh3zQ"/>
  258. </children>
  259. <children xsi:type="notation:Shape" xmi:id="_x2q2BW_pEeS1xYwspMh3zQ" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  260. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_x2q2Bm_pEeS1xYwspMh3zQ"/>
  261. </children>
  262. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_x2q2B2_pEeS1xYwspMh3zQ" x="10" y="10" width="200" height="400"/>
  263. </children>
  264. <children xmi:id="_QeW00PsbEeWVQPyEgylH1g" type="Region" element="_QeSjYPsbEeWVQPyEgylH1g">
  265. <children xsi:type="notation:DecorationNode" xmi:id="_QedigPsbEeWVQPyEgylH1g" type="RegionName">
  266. <styles xsi:type="notation:ShapeStyle" xmi:id="_QedigfsbEeWVQPyEgylH1g"/>
  267. <layoutConstraint xsi:type="notation:Location" xmi:id="_QedigvsbEeWVQPyEgylH1g"/>
  268. </children>
  269. <children xsi:type="notation:Shape" xmi:id="_QeeJkPsbEeWVQPyEgylH1g" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  270. <children xmi:id="_YWwUcPsbEeWVQPyEgylH1g" type="State" element="_YWyJoPsbEeWVQPyEgylH1g">
  271. <children xsi:type="notation:DecorationNode" xmi:id="_YWwUcfsbEeWVQPyEgylH1g" type="StateName">
  272. <styles xsi:type="notation:ShapeStyle" xmi:id="_YWwUcvsbEeWVQPyEgylH1g"/>
  273. <layoutConstraint xsi:type="notation:Location" xmi:id="_YWwUc_sbEeWVQPyEgylH1g"/>
  274. </children>
  275. <children xsi:type="notation:Compartment" xmi:id="_YWwUdPsbEeWVQPyEgylH1g" type="StateTextCompartment">
  276. <children xsi:type="notation:Shape" xmi:id="_YWwUdfsbEeWVQPyEgylH1g" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  277. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YWwUdvsbEeWVQPyEgylH1g"/>
  278. </children>
  279. </children>
  280. <children xsi:type="notation:Compartment" xmi:id="_YWwUd_sbEeWVQPyEgylH1g" type="StateFigureCompartment">
  281. <children xmi:id="_YWwUePsbEeWVQPyEgylH1g" type="Region" element="_YWywtfsbEeWVQPyEgylH1g">
  282. <children xsi:type="notation:DecorationNode" xmi:id="_YWwUefsbEeWVQPyEgylH1g" type="RegionName">
  283. <styles xsi:type="notation:ShapeStyle" xmi:id="_YWwUevsbEeWVQPyEgylH1g"/>
  284. <layoutConstraint xsi:type="notation:Location" xmi:id="_YWwUe_sbEeWVQPyEgylH1g"/>
  285. </children>
  286. <children xsi:type="notation:Shape" xmi:id="_YWwUfPsbEeWVQPyEgylH1g" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  287. <children xmi:id="_YWwUffsbEeWVQPyEgylH1g" type="State" element="_YWywtvsbEeWVQPyEgylH1g">
  288. <children xsi:type="notation:DecorationNode" xmi:id="_YWwUfvsbEeWVQPyEgylH1g" type="StateName">
  289. <styles xsi:type="notation:ShapeStyle" xmi:id="_YWwUf_sbEeWVQPyEgylH1g"/>
  290. <layoutConstraint xsi:type="notation:Location" xmi:id="_YWwUgPsbEeWVQPyEgylH1g"/>
  291. </children>
  292. <children xsi:type="notation:Compartment" xmi:id="_YWwUgfsbEeWVQPyEgylH1g" type="StateTextCompartment">
  293. <children xsi:type="notation:Shape" xmi:id="_YWwUgvsbEeWVQPyEgylH1g" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  294. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YWwUg_sbEeWVQPyEgylH1g"/>
  295. </children>
  296. </children>
  297. <children xsi:type="notation:Compartment" xmi:id="_YWwUhPsbEeWVQPyEgylH1g" type="StateFigureCompartment"/>
  298. <styles xsi:type="notation:ShapeStyle" xmi:id="_YWwUhfsbEeWVQPyEgylH1g" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  299. <styles xsi:type="notation:FontStyle" xmi:id="_YWwUhvsbEeWVQPyEgylH1g"/>
  300. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_YWwUh_sbEeWVQPyEgylH1g" name="isHorizontal" booleanValue="true"/>
  301. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YWwUiPsbEeWVQPyEgylH1g" x="43" y="24"/>
  302. </children>
  303. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YWwUifsbEeWVQPyEgylH1g"/>
  304. </children>
  305. <styles xsi:type="notation:ShapeStyle" xmi:id="_YWwUivsbEeWVQPyEgylH1g" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  306. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YWwUi_sbEeWVQPyEgylH1g"/>
  307. </children>
  308. <children xmi:id="_YWwUjPsbEeWVQPyEgylH1g" type="Region" element="_YWywuPsbEeWVQPyEgylH1g">
  309. <children xsi:type="notation:DecorationNode" xmi:id="_YWwUjfsbEeWVQPyEgylH1g" type="RegionName">
  310. <styles xsi:type="notation:ShapeStyle" xmi:id="_YWwUjvsbEeWVQPyEgylH1g"/>
  311. <layoutConstraint xsi:type="notation:Location" xmi:id="_YWwUj_sbEeWVQPyEgylH1g"/>
  312. </children>
  313. <children xsi:type="notation:Shape" xmi:id="_YWwUkPsbEeWVQPyEgylH1g" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  314. <children xmi:id="_YWwUkfsbEeWVQPyEgylH1g" type="State" element="_YWywufsbEeWVQPyEgylH1g">
  315. <children xsi:type="notation:DecorationNode" xmi:id="_YWwUkvsbEeWVQPyEgylH1g" type="StateName">
  316. <styles xsi:type="notation:ShapeStyle" xmi:id="_YWwUk_sbEeWVQPyEgylH1g"/>
  317. <layoutConstraint xsi:type="notation:Location" xmi:id="_YWwUlPsbEeWVQPyEgylH1g"/>
  318. </children>
  319. <children xsi:type="notation:Compartment" xmi:id="_YWwUlfsbEeWVQPyEgylH1g" type="StateTextCompartment">
  320. <children xsi:type="notation:Shape" xmi:id="_YWwUlvsbEeWVQPyEgylH1g" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  321. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YWwUl_sbEeWVQPyEgylH1g"/>
  322. </children>
  323. </children>
  324. <children xsi:type="notation:Compartment" xmi:id="_YWwUmPsbEeWVQPyEgylH1g" type="StateFigureCompartment"/>
  325. <styles xsi:type="notation:ShapeStyle" xmi:id="_YWwUmfsbEeWVQPyEgylH1g" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  326. <styles xsi:type="notation:FontStyle" xmi:id="_YWwUmvsbEeWVQPyEgylH1g"/>
  327. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_YWwUm_sbEeWVQPyEgylH1g" name="isHorizontal" booleanValue="true"/>
  328. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YWwUnPsbEeWVQPyEgylH1g" x="48" y="22"/>
  329. </children>
  330. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YWwUnfsbEeWVQPyEgylH1g"/>
  331. </children>
  332. <styles xsi:type="notation:ShapeStyle" xmi:id="_YWwUnvsbEeWVQPyEgylH1g" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  333. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YWwUn_sbEeWVQPyEgylH1g"/>
  334. </children>
  335. </children>
  336. <styles xsi:type="notation:ShapeStyle" xmi:id="_YWwUoPsbEeWVQPyEgylH1g" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  337. <styles xsi:type="notation:FontStyle" xmi:id="_YWwUofsbEeWVQPyEgylH1g"/>
  338. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_YWwUovsbEeWVQPyEgylH1g" name="isHorizontal" booleanValue="true"/>
  339. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YWwUo_sbEeWVQPyEgylH1g" x="43" y="409" width="345" height="160"/>
  340. </children>
  341. <children xsi:type="notation:Shape" xmi:id="_YWxikPsbEeWVQPyEgylH1g" type="Synchronization" element="_YW1M8PsbEeWVQPyEgylH1g" fontName="Verdana" lineColor="4210752">
  342. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YWxikfsbEeWVQPyEgylH1g" x="170" y="329" width="80" height="8"/>
  343. </children>
  344. <children xmi:id="_aVOMQPsbEeWVQPyEgylH1g" type="State" element="_aVNlMPsbEeWVQPyEgylH1g">
  345. <children xsi:type="notation:DecorationNode" xmi:id="_aVOzUPsbEeWVQPyEgylH1g" type="StateName">
  346. <styles xsi:type="notation:ShapeStyle" xmi:id="_aVOzUfsbEeWVQPyEgylH1g"/>
  347. <layoutConstraint xsi:type="notation:Location" xmi:id="_aVOzUvsbEeWVQPyEgylH1g"/>
  348. </children>
  349. <children xsi:type="notation:Compartment" xmi:id="_aVOzU_sbEeWVQPyEgylH1g" type="StateTextCompartment">
  350. <children xsi:type="notation:Shape" xmi:id="_aVOzVPsbEeWVQPyEgylH1g" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  351. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_aVOzVfsbEeWVQPyEgylH1g"/>
  352. </children>
  353. </children>
  354. <children xsi:type="notation:Compartment" xmi:id="_aVPaYPsbEeWVQPyEgylH1g" type="StateFigureCompartment"/>
  355. <styles xsi:type="notation:ShapeStyle" xmi:id="_aVOMQfsbEeWVQPyEgylH1g" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  356. <styles xsi:type="notation:FontStyle" xmi:id="_aVOMQvsbEeWVQPyEgylH1g"/>
  357. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_aVPaYfsbEeWVQPyEgylH1g" name="isHorizontal" booleanValue="true"/>
  358. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_aVOMQ_sbEeWVQPyEgylH1g" x="195" y="132"/>
  359. </children>
  360. <children xmi:id="_bF8ekPsbEeWVQPyEgylH1g" type="Entry" element="_bF6pYPsbEeWVQPyEgylH1g">
  361. <children xmi:id="_bF9FoPsbEeWVQPyEgylH1g" type="BorderItemLabelContainer">
  362. <children xsi:type="notation:DecorationNode" xmi:id="_bF9Fo_sbEeWVQPyEgylH1g" type="BorderItemLabel">
  363. <styles xsi:type="notation:ShapeStyle" xmi:id="_bF9FpPsbEeWVQPyEgylH1g"/>
  364. <layoutConstraint xsi:type="notation:Location" xmi:id="_bF9FpfsbEeWVQPyEgylH1g"/>
  365. </children>
  366. <styles xsi:type="notation:ShapeStyle" xmi:id="_bF9FofsbEeWVQPyEgylH1g" fontName="Verdana" lineColor="4210752"/>
  367. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bF9FovsbEeWVQPyEgylH1g"/>
  368. </children>
  369. <styles xsi:type="notation:ShapeStyle" xmi:id="_bF8ekfsbEeWVQPyEgylH1g" fontName="Verdana" fillColor="0" lineColor="16777215"/>
  370. <styles xsi:type="notation:NamedStyle" xmi:id="_bF8ekvsbEeWVQPyEgylH1g" name="allowColors"/>
  371. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bF8ek_sbEeWVQPyEgylH1g" x="114" y="41"/>
  372. </children>
  373. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_QeeJkfsbEeWVQPyEgylH1g"/>
  374. </children>
  375. <styles xsi:type="notation:ShapeStyle" xmi:id="_QeW00fsbEeWVQPyEgylH1g" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  376. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_QeW00vsbEeWVQPyEgylH1g" x="676" y="10" width="456" height="623"/>
  377. </children>
  378. <styles xsi:type="notation:DiagramStyle" xmi:id="_x2iTIW_pEeS1xYwspMh3zQ"/>
  379. <edges xmi:id="_x2qO8G_pEeS1xYwspMh3zQ" type="Transition" element="_x2pn4W_pEeS1xYwspMh3zQ" source="_x2nysm_pEeS1xYwspMh3zQ" target="_x2oZyW_pEeS1xYwspMh3zQ">
  380. <children xsi:type="notation:DecorationNode" xmi:id="_x2qO9G_pEeS1xYwspMh3zQ" type="TransitionExpression">
  381. <styles xsi:type="notation:ShapeStyle" xmi:id="_x2qO9W_pEeS1xYwspMh3zQ"/>
  382. <layoutConstraint xsi:type="notation:Location" xmi:id="_x2qO9m_pEeS1xYwspMh3zQ" y="10"/>
  383. </children>
  384. <styles xsi:type="notation:ConnectorStyle" xmi:id="_x2qO8W_pEeS1xYwspMh3zQ" lineColor="4210752"/>
  385. <styles xsi:type="notation:FontStyle" xmi:id="_x2qO82_pEeS1xYwspMh3zQ" fontName="Verdana"/>
  386. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_x2qO8m_pEeS1xYwspMh3zQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  387. </edges>
  388. <edges xmi:id="_Bq0rQG_qEeS1xYwspMh3zQ" type="Transition" element="_BqzdIG_qEeS1xYwspMh3zQ" source="_8O_UsG_pEeS1xYwspMh3zQ" target="__CbFoG_pEeS1xYwspMh3zQ">
  389. <children xsi:type="notation:DecorationNode" xmi:id="_Bq0rRG_qEeS1xYwspMh3zQ" type="TransitionExpression">
  390. <styles xsi:type="notation:ShapeStyle" xmi:id="_Bq0rRW_qEeS1xYwspMh3zQ"/>
  391. <layoutConstraint xsi:type="notation:Location" xmi:id="_Bq0rRm_qEeS1xYwspMh3zQ" y="10"/>
  392. </children>
  393. <styles xsi:type="notation:ConnectorStyle" xmi:id="_Bq0rQW_qEeS1xYwspMh3zQ" lineColor="4210752"/>
  394. <styles xsi:type="notation:FontStyle" xmi:id="_Bq0rQ2_qEeS1xYwspMh3zQ" fontName="Verdana"/>
  395. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Bq0rQm_qEeS1xYwspMh3zQ" points="[7, 3, -76, -28]$[83, 55, 0, 24]"/>
  396. </edges>
  397. <edges xmi:id="_CPSqQG_qEeS1xYwspMh3zQ" type="Transition" element="_CPRcIG_qEeS1xYwspMh3zQ" source="_9J3okG_pEeS1xYwspMh3zQ" target="_9oA9IG_pEeS1xYwspMh3zQ">
  398. <children xsi:type="notation:DecorationNode" xmi:id="_CPSqRG_qEeS1xYwspMh3zQ" type="TransitionExpression">
  399. <styles xsi:type="notation:ShapeStyle" xmi:id="_CPSqRW_qEeS1xYwspMh3zQ"/>
  400. <layoutConstraint xsi:type="notation:Location" xmi:id="_CPSqRm_qEeS1xYwspMh3zQ" y="10"/>
  401. </children>
  402. <styles xsi:type="notation:ConnectorStyle" xmi:id="_CPSqQW_qEeS1xYwspMh3zQ" lineColor="4210752"/>
  403. <styles xsi:type="notation:FontStyle" xmi:id="_CPSqQ2_qEeS1xYwspMh3zQ" fontName="Verdana"/>
  404. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_CPSqQm_qEeS1xYwspMh3zQ" points="[7, 2, -72, -29]$[51, 31, -28, 0]"/>
  405. </edges>
  406. <edges xmi:id="_UHtdUG_qEeS1xYwspMh3zQ" type="Transition" element="_UHsPMG_qEeS1xYwspMh3zQ" source="__CbFoG_pEeS1xYwspMh3zQ" target="_E0IlkG_qEeS1xYwspMh3zQ">
  407. <children xsi:type="notation:DecorationNode" xmi:id="_UHtdVG_qEeS1xYwspMh3zQ" type="TransitionExpression">
  408. <styles xsi:type="notation:ShapeStyle" xmi:id="_UHtdVW_qEeS1xYwspMh3zQ"/>
  409. <layoutConstraint xsi:type="notation:Location" xmi:id="_UHtdVm_qEeS1xYwspMh3zQ" x="-30" y="16"/>
  410. </children>
  411. <styles xsi:type="notation:ConnectorStyle" xmi:id="_UHtdUW_qEeS1xYwspMh3zQ" lineColor="4210752"/>
  412. <styles xsi:type="notation:FontStyle" xmi:id="_UHtdU2_qEeS1xYwspMh3zQ" fontName="Verdana"/>
  413. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_UHtdUm_qEeS1xYwspMh3zQ" points="[12, 24, -75, -139]$[78, 159, -9, -4]"/>
  414. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_e8y7EG_rEeS1xYwspMh3zQ" id="(0.2125,0.125)"/>
  415. </edges>
  416. <edges xmi:id="_UnqvwG_qEeS1xYwspMh3zQ" type="Transition" element="_UnqIsG_qEeS1xYwspMh3zQ" source="_9oA9IG_pEeS1xYwspMh3zQ" target="_E0IlkG_qEeS1xYwspMh3zQ">
  417. <children xsi:type="notation:DecorationNode" xmi:id="_UnrW0G_qEeS1xYwspMh3zQ" type="TransitionExpression">
  418. <styles xsi:type="notation:ShapeStyle" xmi:id="_UnrW0W_qEeS1xYwspMh3zQ"/>
  419. <layoutConstraint xsi:type="notation:Location" xmi:id="_UnrW0m_qEeS1xYwspMh3zQ" x="-31" y="25"/>
  420. </children>
  421. <styles xsi:type="notation:ConnectorStyle" xmi:id="_UnqvwW_qEeS1xYwspMh3zQ" lineColor="4210752"/>
  422. <styles xsi:type="notation:FontStyle" xmi:id="_Unqvw2_qEeS1xYwspMh3zQ" fontName="Verdana"/>
  423. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Unqvwm_qEeS1xYwspMh3zQ" points="[-8, 24, 48, -137]$[-40, 159, 16, -2]"/>
  424. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Unsk8G_qEeS1xYwspMh3zQ" id="(0.8,0.25)"/>
  425. </edges>
  426. <edges xmi:id="_fpbXkG_rEeS1xYwspMh3zQ" type="Transition" element="_fpaJcG_rEeS1xYwspMh3zQ" source="_E0IlkG_qEeS1xYwspMh3zQ" target="_cN3PoG_rEeS1xYwspMh3zQ">
  427. <children xsi:type="notation:DecorationNode" xmi:id="_fpbXlG_rEeS1xYwspMh3zQ" type="TransitionExpression">
  428. <styles xsi:type="notation:ShapeStyle" xmi:id="_fpbXlW_rEeS1xYwspMh3zQ"/>
  429. <layoutConstraint xsi:type="notation:Location" xmi:id="_fpbXlm_rEeS1xYwspMh3zQ" y="10"/>
  430. </children>
  431. <styles xsi:type="notation:ConnectorStyle" xmi:id="_fpbXkW_rEeS1xYwspMh3zQ" lineColor="4210752"/>
  432. <styles xsi:type="notation:FontStyle" xmi:id="_fpbXk2_rEeS1xYwspMh3zQ" fontName="Verdana"/>
  433. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_fpbXkm_rEeS1xYwspMh3zQ" points="[-2, 3, 71, -178]$[-66, 205, 7, 24]"/>
  434. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_fpclsG_rEeS1xYwspMh3zQ" id="(0.225,0.625)"/>
  435. </edges>
  436. <edges xmi:id="_gUOBAG_rEeS1xYwspMh3zQ" type="Transition" element="_gUMy4G_rEeS1xYwspMh3zQ" source="_E0IlkG_qEeS1xYwspMh3zQ" target="_dNrG0m_rEeS1xYwspMh3zQ">
  437. <children xsi:type="notation:DecorationNode" xmi:id="_gUOBBG_rEeS1xYwspMh3zQ" type="TransitionExpression">
  438. <styles xsi:type="notation:ShapeStyle" xmi:id="_gUOBBW_rEeS1xYwspMh3zQ"/>
  439. <layoutConstraint xsi:type="notation:Location" xmi:id="_gUOBBm_rEeS1xYwspMh3zQ" y="10"/>
  440. </children>
  441. <styles xsi:type="notation:ConnectorStyle" xmi:id="_gUOBAW_rEeS1xYwspMh3zQ" lineColor="4210752"/>
  442. <styles xsi:type="notation:FontStyle" xmi:id="_gUOBA2_rEeS1xYwspMh3zQ" fontName="Verdana"/>
  443. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_gUOBAm_rEeS1xYwspMh3zQ" points="[1, 4, -67, -176]$[68, 204, 0, 24]"/>
  444. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_lY3moG_rEeS1xYwspMh3zQ" id="(0.8125,0.75)"/>
  445. </edges>
  446. <edges xmi:id="_jIF20G_rEeS1xYwspMh3zQ" type="Transition" element="_jIEosG_rEeS1xYwspMh3zQ" source="_z_Od8G_pEeS1xYwspMh3zQ" target="_x2oZyW_pEeS1xYwspMh3zQ">
  447. <children xsi:type="notation:DecorationNode" xmi:id="_jIF21G_rEeS1xYwspMh3zQ" type="TransitionExpression">
  448. <styles xsi:type="notation:ShapeStyle" xmi:id="_jIF21W_rEeS1xYwspMh3zQ"/>
  449. <layoutConstraint xsi:type="notation:Location" xmi:id="_jIF21m_rEeS1xYwspMh3zQ" y="10"/>
  450. </children>
  451. <styles xsi:type="notation:ConnectorStyle" xmi:id="_jIF20W_rEeS1xYwspMh3zQ" lineColor="4210752"/>
  452. <styles xsi:type="notation:FontStyle" xmi:id="_jIF202_rEeS1xYwspMh3zQ" fontName="Verdana"/>
  453. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_jIF20m_rEeS1xYwspMh3zQ" points="[2, -20, -17, 326]$[20, -348, 1, -2]"/>
  454. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_jIHE8G_rEeS1xYwspMh3zQ" id="(0.08259587020648967,0.025)"/>
  455. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_jIHE8W_rEeS1xYwspMh3zQ" id="(0.10541310541310542,0.014634146341463415)"/>
  456. </edges>
  457. <edges xmi:id="_YW10APsbEeWVQPyEgylH1g" type="Transition" element="_YW1M8fsbEeWVQPyEgylH1g" source="_YWxikPsbEeWVQPyEgylH1g" target="_YWwUffsbEeWVQPyEgylH1g">
  458. <children xsi:type="notation:DecorationNode" xmi:id="_YW10AfsbEeWVQPyEgylH1g" type="TransitionExpression">
  459. <styles xsi:type="notation:ShapeStyle" xmi:id="_YW10AvsbEeWVQPyEgylH1g"/>
  460. <layoutConstraint xsi:type="notation:Location" xmi:id="_YW10A_sbEeWVQPyEgylH1g" y="10"/>
  461. </children>
  462. <styles xsi:type="notation:ConnectorStyle" xmi:id="_YW10BPsbEeWVQPyEgylH1g" lineColor="4210752"/>
  463. <styles xsi:type="notation:FontStyle" xmi:id="_YW10BfsbEeWVQPyEgylH1g" fontName="Verdana"/>
  464. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_YW10BvsbEeWVQPyEgylH1g" points="[-2, 3, 71, -178]$[-66, 205, 7, 24]"/>
  465. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_YW10B_sbEeWVQPyEgylH1g" id="(0.225,0.625)"/>
  466. </edges>
  467. <edges xmi:id="_YW10CPsbEeWVQPyEgylH1g" type="Transition" element="_YW1M8vsbEeWVQPyEgylH1g" source="_YWxikPsbEeWVQPyEgylH1g" target="_YWwUkfsbEeWVQPyEgylH1g">
  468. <children xsi:type="notation:DecorationNode" xmi:id="_YW10CfsbEeWVQPyEgylH1g" type="TransitionExpression">
  469. <styles xsi:type="notation:ShapeStyle" xmi:id="_YW10CvsbEeWVQPyEgylH1g"/>
  470. <layoutConstraint xsi:type="notation:Location" xmi:id="_YW10C_sbEeWVQPyEgylH1g" y="10"/>
  471. </children>
  472. <styles xsi:type="notation:ConnectorStyle" xmi:id="_YW10DPsbEeWVQPyEgylH1g" lineColor="4210752"/>
  473. <styles xsi:type="notation:FontStyle" xmi:id="_YW10DfsbEeWVQPyEgylH1g" fontName="Verdana"/>
  474. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_YW10DvsbEeWVQPyEgylH1g" points="[1, 4, -67, -176]$[68, 204, 0, 24]"/>
  475. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_YW10D_sbEeWVQPyEgylH1g" id="(0.8125,0.75)"/>
  476. </edges>
  477. <edges xmi:id="_boej4PsbEeWVQPyEgylH1g" type="Transition" element="_bocusPsbEeWVQPyEgylH1g" source="_bF8ekPsbEeWVQPyEgylH1g" target="_aVOMQPsbEeWVQPyEgylH1g">
  478. <children xsi:type="notation:DecorationNode" xmi:id="_bofK8PsbEeWVQPyEgylH1g" type="TransitionExpression">
  479. <styles xsi:type="notation:ShapeStyle" xmi:id="_bofK8fsbEeWVQPyEgylH1g"/>
  480. <layoutConstraint xsi:type="notation:Location" xmi:id="_bofK8vsbEeWVQPyEgylH1g" y="10"/>
  481. </children>
  482. <styles xsi:type="notation:ConnectorStyle" xmi:id="_boej4fsbEeWVQPyEgylH1g" lineColor="4210752"/>
  483. <styles xsi:type="notation:FontStyle" xmi:id="_boej4_sbEeWVQPyEgylH1g" fontName="Verdana"/>
  484. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_boej4vsbEeWVQPyEgylH1g" points="[5, 5, -86, -103]$[97, 84, 6, -24]"/>
  485. </edges>
  486. <edges xmi:id="_cYazEPsbEeWVQPyEgylH1g" type="Transition" element="_cYZk8PsbEeWVQPyEgylH1g" source="_aVOMQPsbEeWVQPyEgylH1g" target="_YWxikPsbEeWVQPyEgylH1g">
  487. <children xsi:type="notation:DecorationNode" xmi:id="_cYazFPsbEeWVQPyEgylH1g" type="TransitionExpression">
  488. <styles xsi:type="notation:ShapeStyle" xmi:id="_cYazFfsbEeWVQPyEgylH1g"/>
  489. <layoutConstraint xsi:type="notation:Location" xmi:id="_cYazFvsbEeWVQPyEgylH1g" y="10"/>
  490. </children>
  491. <styles xsi:type="notation:ConnectorStyle" xmi:id="_cYazEfsbEeWVQPyEgylH1g" lineColor="4210752"/>
  492. <styles xsi:type="notation:FontStyle" xmi:id="_cYazE_sbEeWVQPyEgylH1g" fontName="Verdana"/>
  493. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_cYazEvsbEeWVQPyEgylH1g" points="[2, 20, -6, -153]$[12, 177, 4, 4]"/>
  494. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_cYcoQPsbEeWVQPyEgylH1g" id="(0.225,0.6037735849056604)"/>
  495. </edges>
  496. </notation:Diagram>
  497. </xmi:XMI>