Test_DeepHistory.sct 39 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421
  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="_XoS0wPZlEeCSetPXFd1ZUw" name="Test_DeepHistory" specification="interface:&#xA;in event event1&#xA;in event event2&#xA;in event event3&#xA;in event event4&#xA;in event event5&#xA;in event event6&#xA;in event event7&#xA;in event event8&#xA;in event event9&#xA;&#xA;">
  4. <regions xmi:id="_XoTb0vZlEeCSetPXFd1ZUw" name="mainRegion">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_Dd7OAPimEeCPG5ImOgba0Q">
  6. <outgoingTransitions xmi:id="_Dd71EPimEeCPG5ImOgba0Q" target="_Dd71EfimEeCPG5ImOgba0Q"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_Dd71EfimEeCPG5ImOgba0Q" name="State1" incomingTransitions="_Dd71EPimEeCPG5ImOgba0Q _Dd71GPimEeCPG5ImOgba0Q">
  9. <outgoingTransitions xmi:id="_Dd71EvimEeCPG5ImOgba0Q" specification="event1" target="_Dd71F_imEeCPG5ImOgba0Q"/>
  10. </vertices>
  11. <vertices xsi:type="sgraph:State" xmi:id="_Dd71F_imEeCPG5ImOgba0Q" name="State2" incomingTransitions="_Dd71EvimEeCPG5ImOgba0Q">
  12. <outgoingTransitions xmi:id="_Dd71GPimEeCPG5ImOgba0Q" specification="event2" target="_Dd71EfimEeCPG5ImOgba0Q"/>
  13. <regions xmi:id="_Dd71HPimEeCPG5ImOgba0Q">
  14. <vertices xsi:type="sgraph:State" xmi:id="_Dd71H_imEeCPG5ImOgba0Q" name="State3" incomingTransitions="_QlbEMPiwEeCmAZxZWLaQmA">
  15. <outgoingTransitions xmi:id="_Dd71IPimEeCPG5ImOgba0Q" specification="event3" target="_Dd71JPimEeCPG5ImOgba0Q"/>
  16. </vertices>
  17. <vertices xsi:type="sgraph:State" xmi:id="_Dd71JPimEeCPG5ImOgba0Q" name="State4" incomingTransitions="_Dd71IPimEeCPG5ImOgba0Q">
  18. <outgoingTransitions xmi:id="_Dd71JfimEeCPG5ImOgba0Q" specification="event4" target="_Dd8cPPimEeCPG5ImOgba0Q"/>
  19. <regions xmi:id="_Dd8cIvimEeCPG5ImOgba0Q">
  20. <vertices xsi:type="sgraph:Entry" xmi:id="_Dd8cI_imEeCPG5ImOgba0Q">
  21. <outgoingTransitions xmi:id="_Dd8cJPimEeCPG5ImOgba0Q" target="_Dd8cJfimEeCPG5ImOgba0Q"/>
  22. </vertices>
  23. <vertices xsi:type="sgraph:State" xmi:id="_Dd8cJfimEeCPG5ImOgba0Q" name="State6" incomingTransitions="_Dd8cJPimEeCPG5ImOgba0Q _Dd8cK_imEeCPG5ImOgba0Q">
  24. <outgoingTransitions xmi:id="_Dd8cJvimEeCPG5ImOgba0Q" specification="event5" target="_Dd8cKvimEeCPG5ImOgba0Q"/>
  25. </vertices>
  26. <vertices xsi:type="sgraph:State" xmi:id="_Dd8cKvimEeCPG5ImOgba0Q" name="State7" incomingTransitions="_Dd8cJvimEeCPG5ImOgba0Q">
  27. <outgoingTransitions xmi:id="_Dd8cK_imEeCPG5ImOgba0Q" specification="event6" target="_Dd8cJfimEeCPG5ImOgba0Q"/>
  28. <regions xmi:id="_Dd8cL_imEeCPG5ImOgba0Q">
  29. <vertices xsi:type="sgraph:State" xmi:id="_Dd8cMPimEeCPG5ImOgba0Q" name="State8" incomingTransitions="_Dd8cNvimEeCPG5ImOgba0Q _TyjukPiwEeCmAZxZWLaQmA">
  30. <outgoingTransitions xmi:id="_Dd8cMfimEeCPG5ImOgba0Q" specification="event7" target="_Dd8cNfimEeCPG5ImOgba0Q"/>
  31. </vertices>
  32. <vertices xsi:type="sgraph:State" xmi:id="_Dd8cNfimEeCPG5ImOgba0Q" name="State9" incomingTransitions="_Dd8cMfimEeCPG5ImOgba0Q">
  33. <outgoingTransitions xmi:id="_Dd8cNvimEeCPG5ImOgba0Q" specification="event8" target="_Dd8cMPimEeCPG5ImOgba0Q"/>
  34. </vertices>
  35. <vertices xsi:type="sgraph:Entry" xmi:id="_TCRhIPiwEeCmAZxZWLaQmA">
  36. <outgoingTransitions xmi:id="_TyjukPiwEeCmAZxZWLaQmA" target="_Dd8cMPimEeCPG5ImOgba0Q"/>
  37. </vertices>
  38. </regions>
  39. </vertices>
  40. </regions>
  41. </vertices>
  42. <vertices xsi:type="sgraph:State" xmi:id="_Dd8cPPimEeCPG5ImOgba0Q" name="State5" incomingTransitions="_Dd71JfimEeCPG5ImOgba0Q"/>
  43. <vertices xsi:type="sgraph:Entry" xmi:id="_PkyGkPiwEeCmAZxZWLaQmA" kind="DEEP_HISTORY">
  44. <outgoingTransitions xmi:id="_QlbEMPiwEeCmAZxZWLaQmA" target="_Dd71H_imEeCPG5ImOgba0Q"/>
  45. </vertices>
  46. </regions>
  47. </vertices>
  48. </regions>
  49. </sgraph:Statechart>
  50. <notation:Diagram xmi:id="_XoTb0PZlEeCSetPXFd1ZUw" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_XoS0wPZlEeCSetPXFd1ZUw" measurementUnit="Pixel">
  51. <children xmi:id="_XoUC4PZlEeCSetPXFd1ZUw" type="Region" element="_XoTb0vZlEeCSetPXFd1ZUw">
  52. <children xsi:type="notation:DecorationNode" xmi:id="_XoUC4_ZlEeCSetPXFd1ZUw" type="RegionName">
  53. <styles xsi:type="notation:ShapeStyle" xmi:id="_XoUC5PZlEeCSetPXFd1ZUw"/>
  54. <layoutConstraint xsi:type="notation:Location" xmi:id="_XoUC5fZlEeCSetPXFd1ZUw"/>
  55. </children>
  56. <children xsi:type="notation:Shape" xmi:id="_XoUC5vZlEeCSetPXFd1ZUw" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  57. <children xmi:id="_Dd4xwfimEeCPG5ImOgba0Q" type="Entry" element="_Dd7OAPimEeCPG5ImOgba0Q">
  58. <children xmi:id="_Dd4xwvimEeCPG5ImOgba0Q" type="BorderItemLabelContainer">
  59. <children xsi:type="notation:DecorationNode" xmi:id="_Dd4xw_imEeCPG5ImOgba0Q" type="BorderItemLabel">
  60. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd4xxPimEeCPG5ImOgba0Q"/>
  61. <layoutConstraint xsi:type="notation:Location" xmi:id="_Dd4xxfimEeCPG5ImOgba0Q"/>
  62. </children>
  63. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd4xxvimEeCPG5ImOgba0Q" fontName="Verdana" lineColor="4210752"/>
  64. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd4xx_imEeCPG5ImOgba0Q"/>
  65. </children>
  66. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd4xyPimEeCPG5ImOgba0Q" fontName="Verdana" lineColor="4210752"/>
  67. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd4xyfimEeCPG5ImOgba0Q" x="80" y="30"/>
  68. </children>
  69. <children xmi:id="_Dd5Y0PimEeCPG5ImOgba0Q" type="State" element="_Dd71EfimEeCPG5ImOgba0Q">
  70. <children xsi:type="notation:DecorationNode" xmi:id="_Dd5Y0fimEeCPG5ImOgba0Q" type="StateName">
  71. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd5Y0vimEeCPG5ImOgba0Q"/>
  72. <layoutConstraint xsi:type="notation:Location" xmi:id="_Dd5Y0_imEeCPG5ImOgba0Q"/>
  73. </children>
  74. <children xsi:type="notation:Compartment" xmi:id="_Dd5Y1PimEeCPG5ImOgba0Q" type="StateTextCompartment">
  75. <children xsi:type="notation:Shape" xmi:id="_Dd5Y1fimEeCPG5ImOgba0Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  76. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd5Y1vimEeCPG5ImOgba0Q"/>
  77. </children>
  78. </children>
  79. <children xsi:type="notation:Compartment" xmi:id="_Dd5Y1_imEeCPG5ImOgba0Q" type="StateFigureCompartment"/>
  80. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd5Y2PimEeCPG5ImOgba0Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  81. <styles xsi:type="notation:FontStyle" xmi:id="_Dd5Y2fimEeCPG5ImOgba0Q"/>
  82. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Dd5Y2vimEeCPG5ImOgba0Q"/>
  83. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd5Y2_imEeCPG5ImOgba0Q" x="19" y="135" width="96"/>
  84. </children>
  85. <children xmi:id="_Dd5Y3PimEeCPG5ImOgba0Q" type="State" element="_Dd71F_imEeCPG5ImOgba0Q">
  86. <children xsi:type="notation:DecorationNode" xmi:id="_Dd5Y3fimEeCPG5ImOgba0Q" type="StateName">
  87. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd5Y3vimEeCPG5ImOgba0Q"/>
  88. <layoutConstraint xsi:type="notation:Location" xmi:id="_Dd5Y3_imEeCPG5ImOgba0Q"/>
  89. </children>
  90. <children xsi:type="notation:Compartment" xmi:id="_Dd5Y4PimEeCPG5ImOgba0Q" type="StateTextCompartment">
  91. <children xsi:type="notation:Shape" xmi:id="_Dd5Y4fimEeCPG5ImOgba0Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  92. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd5Y4vimEeCPG5ImOgba0Q"/>
  93. </children>
  94. </children>
  95. <children xsi:type="notation:Compartment" xmi:id="_Dd5Y4_imEeCPG5ImOgba0Q" type="StateFigureCompartment">
  96. <children xmi:id="_Dd5Y5PimEeCPG5ImOgba0Q" type="Region" element="_Dd71HPimEeCPG5ImOgba0Q">
  97. <children xsi:type="notation:DecorationNode" xmi:id="_Dd5Y5fimEeCPG5ImOgba0Q" type="RegionName">
  98. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd5Y5vimEeCPG5ImOgba0Q"/>
  99. <layoutConstraint xsi:type="notation:Location" xmi:id="_Dd5Y5_imEeCPG5ImOgba0Q"/>
  100. </children>
  101. <children xsi:type="notation:Shape" xmi:id="_Dd5Y6PimEeCPG5ImOgba0Q" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  102. <children xmi:id="_Dd5Y8vimEeCPG5ImOgba0Q" type="State" element="_Dd71H_imEeCPG5ImOgba0Q">
  103. <children xsi:type="notation:DecorationNode" xmi:id="_Dd5Y8_imEeCPG5ImOgba0Q" type="StateName">
  104. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd5Y9PimEeCPG5ImOgba0Q"/>
  105. <layoutConstraint xsi:type="notation:Location" xmi:id="_Dd5Y9fimEeCPG5ImOgba0Q"/>
  106. </children>
  107. <children xsi:type="notation:Compartment" xmi:id="_Dd5Y9vimEeCPG5ImOgba0Q" type="StateTextCompartment">
  108. <children xsi:type="notation:Shape" xmi:id="_Dd5Y9_imEeCPG5ImOgba0Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  109. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd5Y-PimEeCPG5ImOgba0Q"/>
  110. </children>
  111. </children>
  112. <children xsi:type="notation:Compartment" xmi:id="_Dd5Y-fimEeCPG5ImOgba0Q" type="StateFigureCompartment"/>
  113. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd5Y-vimEeCPG5ImOgba0Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  114. <styles xsi:type="notation:FontStyle" xmi:id="_Dd5Y-_imEeCPG5ImOgba0Q"/>
  115. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Dd5Y_PimEeCPG5ImOgba0Q"/>
  116. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd5Y_fimEeCPG5ImOgba0Q" x="121" y="21" width="72"/>
  117. </children>
  118. <children xmi:id="_Dd5Y_vimEeCPG5ImOgba0Q" type="State" element="_Dd71JPimEeCPG5ImOgba0Q">
  119. <children xsi:type="notation:DecorationNode" xmi:id="_Dd5Y__imEeCPG5ImOgba0Q" type="StateName">
  120. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd5ZAPimEeCPG5ImOgba0Q"/>
  121. <layoutConstraint xsi:type="notation:Location" xmi:id="_Dd5ZAfimEeCPG5ImOgba0Q"/>
  122. </children>
  123. <children xsi:type="notation:Compartment" xmi:id="_Dd5ZAvimEeCPG5ImOgba0Q" type="StateTextCompartment">
  124. <children xsi:type="notation:Shape" xmi:id="_Dd5ZA_imEeCPG5ImOgba0Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  125. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd5ZBPimEeCPG5ImOgba0Q"/>
  126. </children>
  127. </children>
  128. <children xsi:type="notation:Compartment" xmi:id="_Dd5ZBfimEeCPG5ImOgba0Q" type="StateFigureCompartment">
  129. <children xmi:id="_Dd5_4PimEeCPG5ImOgba0Q" type="Region" element="_Dd8cIvimEeCPG5ImOgba0Q">
  130. <children xsi:type="notation:DecorationNode" xmi:id="_Dd5_4fimEeCPG5ImOgba0Q" type="RegionName">
  131. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd5_4vimEeCPG5ImOgba0Q"/>
  132. <layoutConstraint xsi:type="notation:Location" xmi:id="_Dd5_4_imEeCPG5ImOgba0Q"/>
  133. </children>
  134. <children xsi:type="notation:Shape" xmi:id="_Dd5_5PimEeCPG5ImOgba0Q" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  135. <children xmi:id="_Dd5_5fimEeCPG5ImOgba0Q" type="Entry" element="_Dd8cI_imEeCPG5ImOgba0Q">
  136. <children xmi:id="_Dd5_5vimEeCPG5ImOgba0Q" type="BorderItemLabelContainer">
  137. <children xsi:type="notation:DecorationNode" xmi:id="_Dd5_5_imEeCPG5ImOgba0Q" type="BorderItemLabel">
  138. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd5_6PimEeCPG5ImOgba0Q"/>
  139. <layoutConstraint xsi:type="notation:Location" xmi:id="_Dd5_6fimEeCPG5ImOgba0Q"/>
  140. </children>
  141. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd5_6vimEeCPG5ImOgba0Q" fontName="Verdana" lineColor="4210752"/>
  142. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd5_6_imEeCPG5ImOgba0Q"/>
  143. </children>
  144. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd5_7PimEeCPG5ImOgba0Q" fontName="Verdana" lineColor="4210752"/>
  145. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd5_7fimEeCPG5ImOgba0Q" x="19" y="31"/>
  146. </children>
  147. <children xmi:id="_Dd5_7vimEeCPG5ImOgba0Q" type="State" element="_Dd8cJfimEeCPG5ImOgba0Q">
  148. <children xsi:type="notation:DecorationNode" xmi:id="_Dd5_7_imEeCPG5ImOgba0Q" type="StateName">
  149. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd5_8PimEeCPG5ImOgba0Q"/>
  150. <layoutConstraint xsi:type="notation:Location" xmi:id="_Dd5_8fimEeCPG5ImOgba0Q"/>
  151. </children>
  152. <children xsi:type="notation:Compartment" xmi:id="_Dd5_8vimEeCPG5ImOgba0Q" type="StateTextCompartment">
  153. <children xsi:type="notation:Shape" xmi:id="_Dd5_8_imEeCPG5ImOgba0Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  154. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd5_9PimEeCPG5ImOgba0Q"/>
  155. </children>
  156. </children>
  157. <children xsi:type="notation:Compartment" xmi:id="_Dd5_9fimEeCPG5ImOgba0Q" type="StateFigureCompartment"/>
  158. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd5_9vimEeCPG5ImOgba0Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  159. <styles xsi:type="notation:FontStyle" xmi:id="_Dd5_9_imEeCPG5ImOgba0Q"/>
  160. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Dd5_-PimEeCPG5ImOgba0Q"/>
  161. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd5_-fimEeCPG5ImOgba0Q" x="198" y="19" width="75"/>
  162. </children>
  163. <children xmi:id="_Dd5_-vimEeCPG5ImOgba0Q" type="State" element="_Dd8cKvimEeCPG5ImOgba0Q">
  164. <children xsi:type="notation:DecorationNode" xmi:id="_Dd5_-_imEeCPG5ImOgba0Q" type="StateName">
  165. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd5__PimEeCPG5ImOgba0Q"/>
  166. <layoutConstraint xsi:type="notation:Location" xmi:id="_Dd5__fimEeCPG5ImOgba0Q"/>
  167. </children>
  168. <children xsi:type="notation:Compartment" xmi:id="_Dd5__vimEeCPG5ImOgba0Q" type="StateTextCompartment" collapsed="true">
  169. <children xsi:type="notation:Shape" xmi:id="_Dd5___imEeCPG5ImOgba0Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  170. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd6AAPimEeCPG5ImOgba0Q"/>
  171. </children>
  172. </children>
  173. <children xsi:type="notation:Compartment" xmi:id="_Dd6AAfimEeCPG5ImOgba0Q" type="StateFigureCompartment">
  174. <children xmi:id="_Dd6AAvimEeCPG5ImOgba0Q" type="Region" element="_Dd8cL_imEeCPG5ImOgba0Q">
  175. <children xsi:type="notation:DecorationNode" xmi:id="_Dd6AA_imEeCPG5ImOgba0Q" type="RegionName">
  176. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd6ABPimEeCPG5ImOgba0Q"/>
  177. <layoutConstraint xsi:type="notation:Location" xmi:id="_Dd6ABfimEeCPG5ImOgba0Q"/>
  178. </children>
  179. <children xsi:type="notation:Shape" xmi:id="_Dd6ABvimEeCPG5ImOgba0Q" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  180. <children xmi:id="_Dd6AB_imEeCPG5ImOgba0Q" type="State" element="_Dd8cMPimEeCPG5ImOgba0Q">
  181. <children xsi:type="notation:DecorationNode" xmi:id="_Dd6ACPimEeCPG5ImOgba0Q" type="StateName">
  182. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd6ACfimEeCPG5ImOgba0Q"/>
  183. <layoutConstraint xsi:type="notation:Location" xmi:id="_Dd6ACvimEeCPG5ImOgba0Q"/>
  184. </children>
  185. <children xsi:type="notation:Compartment" xmi:id="_Dd6AC_imEeCPG5ImOgba0Q" type="StateTextCompartment">
  186. <children xsi:type="notation:Shape" xmi:id="_Dd6ADPimEeCPG5ImOgba0Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  187. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd6ADfimEeCPG5ImOgba0Q"/>
  188. </children>
  189. </children>
  190. <children xsi:type="notation:Compartment" xmi:id="_Dd6ADvimEeCPG5ImOgba0Q" type="StateFigureCompartment"/>
  191. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd6AD_imEeCPG5ImOgba0Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  192. <styles xsi:type="notation:FontStyle" xmi:id="_Dd6AEPimEeCPG5ImOgba0Q"/>
  193. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Dd6AEfimEeCPG5ImOgba0Q"/>
  194. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd6AEvimEeCPG5ImOgba0Q" x="71" y="7" width="72"/>
  195. </children>
  196. <children xmi:id="_Dd6AE_imEeCPG5ImOgba0Q" type="State" element="_Dd8cNfimEeCPG5ImOgba0Q">
  197. <children xsi:type="notation:DecorationNode" xmi:id="_Dd6AFPimEeCPG5ImOgba0Q" type="StateName">
  198. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd6AFfimEeCPG5ImOgba0Q"/>
  199. <layoutConstraint xsi:type="notation:Location" xmi:id="_Dd6AFvimEeCPG5ImOgba0Q"/>
  200. </children>
  201. <children xsi:type="notation:Compartment" xmi:id="_Dd6AF_imEeCPG5ImOgba0Q" type="StateTextCompartment">
  202. <children xsi:type="notation:Shape" xmi:id="_Dd6AGPimEeCPG5ImOgba0Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  203. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd6AGfimEeCPG5ImOgba0Q"/>
  204. </children>
  205. </children>
  206. <children xsi:type="notation:Compartment" xmi:id="_Dd6AGvimEeCPG5ImOgba0Q" type="StateFigureCompartment"/>
  207. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd6AG_imEeCPG5ImOgba0Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  208. <styles xsi:type="notation:FontStyle" xmi:id="_Dd6AHPimEeCPG5ImOgba0Q"/>
  209. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Dd6AHfimEeCPG5ImOgba0Q"/>
  210. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd6AHvimEeCPG5ImOgba0Q" x="219" y="13" width="74"/>
  211. </children>
  212. <children xmi:id="_TCSIMPiwEeCmAZxZWLaQmA" type="Entry" element="_TCRhIPiwEeCmAZxZWLaQmA">
  213. <children xmi:id="_TCSvQPiwEeCmAZxZWLaQmA" type="BorderItemLabelContainer">
  214. <children xsi:type="notation:DecorationNode" xmi:id="_TCSvQ_iwEeCmAZxZWLaQmA" type="BorderItemLabel">
  215. <styles xsi:type="notation:ShapeStyle" xmi:id="_TCSvRPiwEeCmAZxZWLaQmA"/>
  216. <layoutConstraint xsi:type="notation:Location" xmi:id="_TCSvRfiwEeCmAZxZWLaQmA"/>
  217. </children>
  218. <styles xsi:type="notation:ShapeStyle" xmi:id="_TCSvQfiwEeCmAZxZWLaQmA" fontName="Verdana" lineColor="4210752"/>
  219. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_TCSvQviwEeCmAZxZWLaQmA"/>
  220. </children>
  221. <styles xsi:type="notation:ShapeStyle" xmi:id="_TCSIMfiwEeCmAZxZWLaQmA" fontName="Verdana" lineColor="4210752"/>
  222. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_TCSIMviwEeCmAZxZWLaQmA" x="23" y="27"/>
  223. </children>
  224. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd6AKPimEeCPG5ImOgba0Q"/>
  225. </children>
  226. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd6AKfimEeCPG5ImOgba0Q" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  227. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd6AKvimEeCPG5ImOgba0Q"/>
  228. </children>
  229. </children>
  230. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd6AK_imEeCPG5ImOgba0Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  231. <styles xsi:type="notation:FontStyle" xmi:id="_Dd6ALPimEeCPG5ImOgba0Q"/>
  232. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Dd6ALfimEeCPG5ImOgba0Q"/>
  233. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd6ALvimEeCPG5ImOgba0Q" x="33" y="127" width="354" height="225"/>
  234. </children>
  235. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd6AL_imEeCPG5ImOgba0Q"/>
  236. </children>
  237. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd6AMPimEeCPG5ImOgba0Q" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  238. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd6AMfimEeCPG5ImOgba0Q"/>
  239. </children>
  240. </children>
  241. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd6AMvimEeCPG5ImOgba0Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  242. <styles xsi:type="notation:FontStyle" xmi:id="_Dd6AM_imEeCPG5ImOgba0Q"/>
  243. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Dd6ANPimEeCPG5ImOgba0Q"/>
  244. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd6ANfimEeCPG5ImOgba0Q" x="278" y="5" width="441" height="447"/>
  245. </children>
  246. <children xmi:id="_Dd6ANvimEeCPG5ImOgba0Q" type="State" element="_Dd8cPPimEeCPG5ImOgba0Q">
  247. <children xsi:type="notation:DecorationNode" xmi:id="_Dd6AN_imEeCPG5ImOgba0Q" type="StateName">
  248. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd6AOPimEeCPG5ImOgba0Q"/>
  249. <layoutConstraint xsi:type="notation:Location" xmi:id="_Dd6AOfimEeCPG5ImOgba0Q"/>
  250. </children>
  251. <children xsi:type="notation:Compartment" xmi:id="_Dd6AOvimEeCPG5ImOgba0Q" type="StateTextCompartment">
  252. <children xsi:type="notation:Shape" xmi:id="_Dd6AO_imEeCPG5ImOgba0Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  253. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd6APPimEeCPG5ImOgba0Q"/>
  254. </children>
  255. </children>
  256. <children xsi:type="notation:Compartment" xmi:id="_Dd6APfimEeCPG5ImOgba0Q" type="StateFigureCompartment"/>
  257. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd6APvimEeCPG5ImOgba0Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  258. <styles xsi:type="notation:FontStyle" xmi:id="_Dd6AP_imEeCPG5ImOgba0Q"/>
  259. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Dd6AQPimEeCPG5ImOgba0Q"/>
  260. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd6m8PimEeCPG5ImOgba0Q" x="62" y="355" width="86"/>
  261. </children>
  262. <children xmi:id="_Pk2YAPiwEeCmAZxZWLaQmA" type="DeepHistory" element="_PkyGkPiwEeCmAZxZWLaQmA">
  263. <children xmi:id="_Pk3mIPiwEeCmAZxZWLaQmA" type="BorderItemLabelContainer">
  264. <children xsi:type="notation:DecorationNode" xmi:id="_Pk4NMPiwEeCmAZxZWLaQmA" type="BorderItemLabel">
  265. <styles xsi:type="notation:ShapeStyle" xmi:id="_Pk4NMfiwEeCmAZxZWLaQmA"/>
  266. <layoutConstraint xsi:type="notation:Location" xmi:id="_Pk4NMviwEeCmAZxZWLaQmA"/>
  267. </children>
  268. <styles xsi:type="notation:ShapeStyle" xmi:id="_Pk3mIfiwEeCmAZxZWLaQmA" fontName="Verdana" lineColor="4210752"/>
  269. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Pk3mIviwEeCmAZxZWLaQmA"/>
  270. </children>
  271. <styles xsi:type="notation:ShapeStyle" xmi:id="_Pk2YAfiwEeCmAZxZWLaQmA" fontName="Verdana" lineColor="4210752"/>
  272. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Pk2YAviwEeCmAZxZWLaQmA" x="39" y="28"/>
  273. </children>
  274. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd6m8fimEeCPG5ImOgba0Q"/>
  275. </children>
  276. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd6m8vimEeCPG5ImOgba0Q" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  277. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd6m8_imEeCPG5ImOgba0Q"/>
  278. </children>
  279. </children>
  280. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd6m9PimEeCPG5ImOgba0Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  281. <styles xsi:type="notation:FontStyle" xmi:id="_Dd6m9fimEeCPG5ImOgba0Q"/>
  282. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Dd6m9vimEeCPG5ImOgba0Q"/>
  283. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd6m9_imEeCPG5ImOgba0Q" x="215" y="23" width="785" height="589"/>
  284. </children>
  285. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XoUC5_ZlEeCSetPXFd1ZUw"/>
  286. </children>
  287. <styles xsi:type="notation:ShapeStyle" xmi:id="_XoUC4fZlEeCSetPXFd1ZUw" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  288. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XoUp8PZlEeCSetPXFd1ZUw" x="220" y="10" width="993" height="675"/>
  289. </children>
  290. <children xsi:type="notation:Shape" xmi:id="_XoXGN_ZlEeCSetPXFd1ZUw" type="StatechartText" fontName="Verdana" lineColor="4210752">
  291. <children xsi:type="notation:DecorationNode" xmi:id="_XoXtQPZlEeCSetPXFd1ZUw" type="StatechartName">
  292. <styles xsi:type="notation:ShapeStyle" xmi:id="_XoXtQfZlEeCSetPXFd1ZUw"/>
  293. <layoutConstraint xsi:type="notation:Location" xmi:id="_XoXtQvZlEeCSetPXFd1ZUw"/>
  294. </children>
  295. <children xsi:type="notation:Shape" xmi:id="_XoXtQ_ZlEeCSetPXFd1ZUw" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  296. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XoXtRPZlEeCSetPXFd1ZUw"/>
  297. </children>
  298. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XoXtRfZlEeCSetPXFd1ZUw" x="10" y="10" width="200" height="400"/>
  299. </children>
  300. <styles xsi:type="notation:DiagramStyle" xmi:id="_XoTb0fZlEeCSetPXFd1ZUw"/>
  301. <edges xmi:id="_DmuksPimEeCPG5ImOgba0Q" type="Transition" element="_Dd8cMfimEeCPG5ImOgba0Q" source="_Dd6AB_imEeCPG5ImOgba0Q" target="_Dd6AE_imEeCPG5ImOgba0Q">
  302. <children xsi:type="notation:DecorationNode" xmi:id="_DmuktPimEeCPG5ImOgba0Q" type="TransitionExpression">
  303. <styles xsi:type="notation:ShapeStyle" xmi:id="_DmuktfimEeCPG5ImOgba0Q"/>
  304. <layoutConstraint xsi:type="notation:Location" xmi:id="_DmuktvimEeCPG5ImOgba0Q" x="1" y="-10"/>
  305. </children>
  306. <styles xsi:type="notation:ConnectorStyle" xmi:id="_DmuksfimEeCPG5ImOgba0Q" lineColor="4210752"/>
  307. <styles xsi:type="notation:FontStyle" xmi:id="_Dmuks_imEeCPG5ImOgba0Q" fontName="Verdana"/>
  308. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_DmuksvimEeCPG5ImOgba0Q" points="[26, 6, -122, 0]$[74, -9, -74, -15]$[123, 6, -25, 0]"/>
  309. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_NnamgPimEeCPG5ImOgba0Q" id="(0.09803921568627451,0.31746031746031744)"/>
  310. </edges>
  311. <edges xmi:id="_Dmvy0PimEeCPG5ImOgba0Q" type="Transition" element="_Dd8cNvimEeCPG5ImOgba0Q" source="_Dd6AE_imEeCPG5ImOgba0Q" target="_Dd6AB_imEeCPG5ImOgba0Q">
  312. <children xsi:type="notation:DecorationNode" xmi:id="_Dmvy1PimEeCPG5ImOgba0Q" type="TransitionExpression">
  313. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dmvy1fimEeCPG5ImOgba0Q"/>
  314. <layoutConstraint xsi:type="notation:Location" xmi:id="_Dmvy1vimEeCPG5ImOgba0Q" y="-13"/>
  315. </children>
  316. <styles xsi:type="notation:ConnectorStyle" xmi:id="_Dmvy0fimEeCPG5ImOgba0Q" lineColor="4210752"/>
  317. <styles xsi:type="notation:FontStyle" xmi:id="_Dmvy0_imEeCPG5ImOgba0Q" fontName="Verdana"/>
  318. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Dmvy0vimEeCPG5ImOgba0Q" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  319. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_OM7HUPimEeCPG5ImOgba0Q" id="(0.0392156862745098,0.6349206349206349)"/>
  320. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_PgEKMPimEeCPG5ImOgba0Q" id="(0.9607843137254902,0.7619047619047619)"/>
  321. </edges>
  322. <edges xmi:id="_Dp2KIPimEeCPG5ImOgba0Q" type="Transition" element="_Dd8cK_imEeCPG5ImOgba0Q" source="_Dd5_-vimEeCPG5ImOgba0Q" target="_Dd5_7vimEeCPG5ImOgba0Q">
  323. <children xsi:type="notation:DecorationNode" xmi:id="_Dp2xMfimEeCPG5ImOgba0Q" type="TransitionExpression">
  324. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dp2xMvimEeCPG5ImOgba0Q"/>
  325. <layoutConstraint xsi:type="notation:Location" xmi:id="_Dp2xM_imEeCPG5ImOgba0Q" x="-16" y="26"/>
  326. </children>
  327. <styles xsi:type="notation:ConnectorStyle" xmi:id="_Dp2KIfimEeCPG5ImOgba0Q" lineColor="4210752"/>
  328. <styles xsi:type="notation:FontStyle" xmi:id="_Dp2xMPimEeCPG5ImOgba0Q" fontName="Verdana"/>
  329. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Dp2KIvimEeCPG5ImOgba0Q" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  330. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_CQIyYEs-EeGdEbcgyE6NOQ" id="(0.5875706214689266,0.013333333333333334)"/>
  331. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_B88woEs-EeGdEbcgyE6NOQ" id="(0.9056603773584906,0.6964285714285714)"/>
  332. </edges>
  333. <edges xmi:id="_Dp3YQPimEeCPG5ImOgba0Q" type="Transition" element="_Dd8cJvimEeCPG5ImOgba0Q" source="_Dd5_7vimEeCPG5ImOgba0Q" target="_Dd5_-vimEeCPG5ImOgba0Q">
  334. <children xsi:type="notation:DecorationNode" xmi:id="_Dp3YRPimEeCPG5ImOgba0Q" type="TransitionExpression">
  335. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dp3YRfimEeCPG5ImOgba0Q"/>
  336. <layoutConstraint xsi:type="notation:Location" xmi:id="_Dp3_UPimEeCPG5ImOgba0Q" x="-5" y="30"/>
  337. </children>
  338. <styles xsi:type="notation:ConnectorStyle" xmi:id="_Dp3YQfimEeCPG5ImOgba0Q" lineColor="4210752"/>
  339. <styles xsi:type="notation:FontStyle" xmi:id="_Dp3YQ_imEeCPG5ImOgba0Q" fontName="Verdana"/>
  340. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Dp3YQvimEeCPG5ImOgba0Q" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  341. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Cp4IEEs-EeGdEbcgyE6NOQ" id="(0.32075471698113206,0.8928571428571429)"/>
  342. </edges>
  343. <edges xmi:id="_Dp4mYPimEeCPG5ImOgba0Q" type="Transition" element="_Dd8cJPimEeCPG5ImOgba0Q" source="_Dd5_5fimEeCPG5ImOgba0Q" target="_Dd5_7vimEeCPG5ImOgba0Q">
  344. <children xsi:type="notation:DecorationNode" xmi:id="_Dp4mZPimEeCPG5ImOgba0Q" type="TransitionExpression">
  345. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dp4mZfimEeCPG5ImOgba0Q"/>
  346. <layoutConstraint xsi:type="notation:Location" xmi:id="_Dp4mZvimEeCPG5ImOgba0Q" y="40"/>
  347. </children>
  348. <styles xsi:type="notation:ConnectorStyle" xmi:id="_Dp4mYfimEeCPG5ImOgba0Q" lineColor="4210752"/>
  349. <styles xsi:type="notation:FontStyle" xmi:id="_Dp4mY_imEeCPG5ImOgba0Q" fontName="Verdana"/>
  350. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Dp4mYvimEeCPG5ImOgba0Q" points="[-1, -2, 0, -1]$[-1, -1, 0, 0]"/>
  351. </edges>
  352. <edges xmi:id="_DsU2YPimEeCPG5ImOgba0Q" type="Transition" element="_Dd71JfimEeCPG5ImOgba0Q" source="_Dd5Y_vimEeCPG5ImOgba0Q" target="_Dd6ANvimEeCPG5ImOgba0Q">
  353. <children xsi:type="notation:DecorationNode" xmi:id="_DsVdcfimEeCPG5ImOgba0Q" type="TransitionExpression">
  354. <styles xsi:type="notation:ShapeStyle" xmi:id="_DsVdcvimEeCPG5ImOgba0Q"/>
  355. <layoutConstraint xsi:type="notation:Location" xmi:id="_DsVdc_imEeCPG5ImOgba0Q" y="40"/>
  356. </children>
  357. <styles xsi:type="notation:ConnectorStyle" xmi:id="_DsU2YfimEeCPG5ImOgba0Q" lineColor="4210752"/>
  358. <styles xsi:type="notation:FontStyle" xmi:id="_DsVdcPimEeCPG5ImOgba0Q" fontName="Verdana"/>
  359. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_DsU2YvimEeCPG5ImOgba0Q" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  360. </edges>
  361. <edges xmi:id="_DsXSoPimEeCPG5ImOgba0Q" type="Transition" element="_Dd71IPimEeCPG5ImOgba0Q" source="_Dd5Y8vimEeCPG5ImOgba0Q" target="_Dd5Y_vimEeCPG5ImOgba0Q">
  362. <children xsi:type="notation:DecorationNode" xmi:id="_DsX5sPimEeCPG5ImOgba0Q" type="TransitionExpression">
  363. <styles xsi:type="notation:ShapeStyle" xmi:id="_DsX5sfimEeCPG5ImOgba0Q"/>
  364. <layoutConstraint xsi:type="notation:Location" xmi:id="_DsX5svimEeCPG5ImOgba0Q" y="40"/>
  365. </children>
  366. <styles xsi:type="notation:ConnectorStyle" xmi:id="_DsXSofimEeCPG5ImOgba0Q" lineColor="4210752"/>
  367. <styles xsi:type="notation:FontStyle" xmi:id="_DsXSo_imEeCPG5ImOgba0Q" fontName="Verdana"/>
  368. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_DsXSovimEeCPG5ImOgba0Q" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  369. </edges>
  370. <edges xmi:id="_DvpQIPimEeCPG5ImOgba0Q" type="Transition" element="_Dd71EvimEeCPG5ImOgba0Q" source="_Dd5Y0PimEeCPG5ImOgba0Q" target="_Dd5Y3PimEeCPG5ImOgba0Q">
  371. <children xsi:type="notation:DecorationNode" xmi:id="_Dvp3MfimEeCPG5ImOgba0Q" type="TransitionExpression">
  372. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dvp3MvimEeCPG5ImOgba0Q"/>
  373. <layoutConstraint xsi:type="notation:Location" xmi:id="_Dvp3M_imEeCPG5ImOgba0Q" x="26" y="-22"/>
  374. </children>
  375. <styles xsi:type="notation:ConnectorStyle" xmi:id="_DvpQIfimEeCPG5ImOgba0Q" lineColor="4210752"/>
  376. <styles xsi:type="notation:FontStyle" xmi:id="_Dvp3MPimEeCPG5ImOgba0Q" fontName="Verdana"/>
  377. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_DvpQIvimEeCPG5ImOgba0Q" points="[26, -3, -108, 13]$[128, -16, -6, 0]"/>
  378. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_2JjJsPisEeCPG5ImOgba0Q" id="(0.8431372549019608,0.30158730158730157)"/>
  379. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_LF1akPimEeCPG5ImOgba0Q" id="(0.007643312101910828,0.21561969439728354)"/>
  380. </edges>
  381. <edges xmi:id="_DvrFUPimEeCPG5ImOgba0Q" type="Transition" element="_Dd71GPimEeCPG5ImOgba0Q" source="_Dd5Y3PimEeCPG5ImOgba0Q" target="_Dd5Y0PimEeCPG5ImOgba0Q">
  382. <children xsi:type="notation:DecorationNode" xmi:id="_DvrFVPimEeCPG5ImOgba0Q" type="TransitionExpression">
  383. <styles xsi:type="notation:ShapeStyle" xmi:id="_DvrFVfimEeCPG5ImOgba0Q"/>
  384. <layoutConstraint xsi:type="notation:Location" xmi:id="_DvrFVvimEeCPG5ImOgba0Q" x="12" y="-20"/>
  385. </children>
  386. <styles xsi:type="notation:ConnectorStyle" xmi:id="_DvrFUfimEeCPG5ImOgba0Q" lineColor="4210752"/>
  387. <styles xsi:type="notation:FontStyle" xmi:id="_DvrFU_imEeCPG5ImOgba0Q" fontName="Verdana"/>
  388. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_DvrFUvimEeCPG5ImOgba0Q" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  389. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_29WlMPisEeCPG5ImOgba0Q" id="(0.012738853503184714,0.2614601018675722)"/>
  390. </edges>
  391. <edges xmi:id="_DvsTcPimEeCPG5ImOgba0Q" type="Transition" element="_Dd71EPimEeCPG5ImOgba0Q" source="_Dd4xwfimEeCPG5ImOgba0Q" target="_Dd5Y0PimEeCPG5ImOgba0Q">
  392. <children xsi:type="notation:DecorationNode" xmi:id="_DvsTdPimEeCPG5ImOgba0Q" type="TransitionExpression">
  393. <styles xsi:type="notation:ShapeStyle" xmi:id="_DvsTdfimEeCPG5ImOgba0Q"/>
  394. <layoutConstraint xsi:type="notation:Location" xmi:id="_DvsTdvimEeCPG5ImOgba0Q" y="40"/>
  395. </children>
  396. <styles xsi:type="notation:ConnectorStyle" xmi:id="_DvsTcfimEeCPG5ImOgba0Q" lineColor="4210752"/>
  397. <styles xsi:type="notation:FontStyle" xmi:id="_DvsTc_imEeCPG5ImOgba0Q" fontName="Verdana"/>
  398. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_DvsTcvimEeCPG5ImOgba0Q" points="[-1, -2, 0, -1]$[-1, -1, 0, 0]"/>
  399. </edges>
  400. <edges xmi:id="_QlcSUPiwEeCmAZxZWLaQmA" type="Transition" element="_QlbEMPiwEeCmAZxZWLaQmA" source="_Pk2YAPiwEeCmAZxZWLaQmA" target="_Dd5Y8vimEeCPG5ImOgba0Q">
  401. <children xsi:type="notation:DecorationNode" xmi:id="_Qlc5YfiwEeCmAZxZWLaQmA" type="TransitionExpression">
  402. <styles xsi:type="notation:ShapeStyle" xmi:id="_Qlc5YviwEeCmAZxZWLaQmA"/>
  403. <layoutConstraint xsi:type="notation:Location" xmi:id="_Qlc5Y_iwEeCmAZxZWLaQmA" y="40"/>
  404. </children>
  405. <styles xsi:type="notation:ConnectorStyle" xmi:id="_QlcSUfiwEeCmAZxZWLaQmA" lineColor="4210752"/>
  406. <styles xsi:type="notation:FontStyle" xmi:id="_Qlc5YPiwEeCmAZxZWLaQmA" fontName="Verdana"/>
  407. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_QlcSUviwEeCmAZxZWLaQmA" points="[7, 0, -93, -17]$[94, -14, -6, -31]"/>
  408. </edges>
  409. <edges xmi:id="_Tymx4PiwEeCmAZxZWLaQmA" type="Transition" element="_TyjukPiwEeCmAZxZWLaQmA" source="_TCSIMPiwEeCmAZxZWLaQmA" target="_Dd6AB_imEeCPG5ImOgba0Q">
  410. <children xsi:type="notation:DecorationNode" xmi:id="_Tymx5PiwEeCmAZxZWLaQmA" type="TransitionExpression">
  411. <styles xsi:type="notation:ShapeStyle" xmi:id="_Tymx5fiwEeCmAZxZWLaQmA"/>
  412. <layoutConstraint xsi:type="notation:Location" xmi:id="_Tymx5viwEeCmAZxZWLaQmA" y="40"/>
  413. </children>
  414. <styles xsi:type="notation:ConnectorStyle" xmi:id="_Tymx4fiwEeCmAZxZWLaQmA" lineColor="4210752"/>
  415. <styles xsi:type="notation:FontStyle" xmi:id="_Tymx4_iwEeCmAZxZWLaQmA" fontName="Verdana"/>
  416. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Tymx4viwEeCmAZxZWLaQmA" points="[7, 0, -45, 3]$[41, -9, -11, -6]"/>
  417. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_TzQSIPiwEeCmAZxZWLaQmA" id="(0.21568627450980393,0.38095238095238093)"/>
  418. </edges>
  419. </notation:Diagram>
  420. </xmi:XMI>