state_entry_exit_final.sct 31 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341
  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="_BNR3gLX7EeWTfOMYDrZNaw" specification="internal:&#xA;event proceed&#xA;event alternate&#xA;event error&#xA;event continue&#xA;event leave" name="state_initial_final">
  4. <regions xmi:id="_BNSekrX7EeWTfOMYDrZNaw" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_BNWwAbX7EeWTfOMYDrZNaw">
  6. <outgoingTransitions xmi:id="_3_1okLkQEeW6eogEEG3H2w" specification="" target="_QCGVsLYGEeWTfOMYDrZNaw"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_f7J1sLhOEeWuvJHgu3pQWg" specification="" name="B" incomingTransitions="_UkibMLqdEeWi--onjuZ4vw _bPu7gLrXEeWi--onjuZ4vw">
  9. <outgoingTransitions xmi:id="_AwB5cLqeEeWi--onjuZ4vw" specification="leave" target="_oD_toLrWEeWi--onjuZ4vw"/>
  10. <regions xmi:id="_f7kFYLhOEeWuvJHgu3pQWg" name="r1">
  11. <vertices xsi:type="sgraph:State" xmi:id="_WyYfQLYdEeWXOIu_IVDg8Q" specification="" name="E" incomingTransitions="_3qc1ALqdEeWi--onjuZ4vw">
  12. <outgoingTransitions xmi:id="_qFKrELqdEeWi--onjuZ4vw" specification="proceed" target="_kBihoLrSEeWi--onjuZ4vw"/>
  13. </vertices>
  14. <vertices xsi:type="sgraph:Entry" xmi:id="__EXwcLhOEeWuvJHgu3pQWg" name="">
  15. <outgoingTransitions xmi:id="_FvRiMLhPEeWuvJHgu3pQWg" specification="" target="_XG9U0LhREeWuvJHgu3pQWg"/>
  16. </vertices>
  17. <vertices xsi:type="sgraph:State" xmi:id="_XG9U0LhREeWuvJHgu3pQWg" name="C" incomingTransitions="_FvRiMLhPEeWuvJHgu3pQWg _AROtsLrXEeWi--onjuZ4vw">
  18. <outgoingTransitions xmi:id="_kCcToLqdEeWi--onjuZ4vw" specification="proceed" target="_fuFigLqdEeWi--onjuZ4vw"/>
  19. <outgoingTransitions xmi:id="_3qc1ALqdEeWi--onjuZ4vw" specification="error" target="_WyYfQLYdEeWXOIu_IVDg8Q"/>
  20. </vertices>
  21. <vertices xsi:type="sgraph:Exit" xmi:id="_fuFigLqdEeWi--onjuZ4vw" incomingTransitions="_kCcToLqdEeWi--onjuZ4vw"/>
  22. <vertices xsi:type="sgraph:FinalState" xmi:id="_kBihoLrSEeWi--onjuZ4vw" incomingTransitions="_qFKrELqdEeWi--onjuZ4vw"/>
  23. <vertices xsi:type="sgraph:State" xmi:id="_eLcUILrWEeWi--onjuZ4vw" name="D" incomingTransitions="_-FE_MLrWEeWi--onjuZ4vw">
  24. <outgoingTransitions xmi:id="_AROtsLrXEeWi--onjuZ4vw" specification="continue" target="_XG9U0LhREeWuvJHgu3pQWg"/>
  25. </vertices>
  26. <vertices xsi:type="sgraph:Entry" xmi:id="_59rsALrWEeWi--onjuZ4vw" name="v2">
  27. <outgoingTransitions xmi:id="_-FE_MLrWEeWi--onjuZ4vw" specification="" target="_eLcUILrWEeWi--onjuZ4vw"/>
  28. </vertices>
  29. </regions>
  30. </vertices>
  31. <vertices xsi:type="sgraph:State" xmi:id="_QCGVsLYGEeWTfOMYDrZNaw" specification="" name="A" incomingTransitions="_3_1okLkQEeW6eogEEG3H2w">
  32. <outgoingTransitions xmi:id="_UkibMLqdEeWi--onjuZ4vw" specification="proceed" target="_f7J1sLhOEeWuvJHgu3pQWg"/>
  33. <outgoingTransitions xmi:id="_bPu7gLrXEeWi--onjuZ4vw" specification="alternate # >v2" target="_f7J1sLhOEeWuvJHgu3pQWg"/>
  34. </vertices>
  35. <vertices xsi:type="sgraph:FinalState" xmi:id="_DtfwILqeEeWi--onjuZ4vw" incomingTransitions="_0CdDsLrWEeWi--onjuZ4vw"/>
  36. <vertices xsi:type="sgraph:State" xmi:id="_oD_toLrWEeWi--onjuZ4vw" name="F" incomingTransitions="_AwB5cLqeEeWi--onjuZ4vw">
  37. <outgoingTransitions xmi:id="_0CdDsLrWEeWi--onjuZ4vw" specification="proceed" target="_DtfwILqeEeWi--onjuZ4vw"/>
  38. </vertices>
  39. </regions>
  40. </sgraph:Statechart>
  41. <notation:Diagram xmi:id="_BNSekLX7EeWTfOMYDrZNaw" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_BNR3gLX7EeWTfOMYDrZNaw" measurementUnit="Pixel">
  42. <children xmi:id="_BNUTwLX7EeWTfOMYDrZNaw" type="Region" element="_BNSekrX7EeWTfOMYDrZNaw">
  43. <children xsi:type="notation:DecorationNode" xmi:id="_BNWI8LX7EeWTfOMYDrZNaw" type="RegionName">
  44. <styles xsi:type="notation:ShapeStyle" xmi:id="_BNWI8bX7EeWTfOMYDrZNaw"/>
  45. <layoutConstraint xsi:type="notation:Location" xmi:id="_BNWI8rX7EeWTfOMYDrZNaw"/>
  46. </children>
  47. <children xsi:type="notation:Shape" xmi:id="_BNWI87X7EeWTfOMYDrZNaw" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  48. <children xmi:id="_BNWwArX7EeWTfOMYDrZNaw" type="Entry" element="_BNWwAbX7EeWTfOMYDrZNaw">
  49. <children xmi:id="_BNXXELX7EeWTfOMYDrZNaw" type="BorderItemLabelContainer">
  50. <children xsi:type="notation:DecorationNode" xmi:id="_BNXXE7X7EeWTfOMYDrZNaw" type="BorderItemLabel">
  51. <styles xsi:type="notation:ShapeStyle" xmi:id="_BNXXFLX7EeWTfOMYDrZNaw"/>
  52. <layoutConstraint xsi:type="notation:Location" xmi:id="_BNXXFbX7EeWTfOMYDrZNaw"/>
  53. </children>
  54. <styles xsi:type="notation:ShapeStyle" xmi:id="_BNXXEbX7EeWTfOMYDrZNaw" fontName="Verdana" lineColor="4210752"/>
  55. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BNXXErX7EeWTfOMYDrZNaw"/>
  56. </children>
  57. <styles xsi:type="notation:ShapeStyle" xmi:id="_BNWwA7X7EeWTfOMYDrZNaw" fontName="Verdana" fillColor="0" lineColor="16777215"/>
  58. <styles xsi:type="notation:NamedStyle" xmi:id="_BNWwBLX7EeWTfOMYDrZNaw" name="allowColors"/>
  59. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BNXXFrX7EeWTfOMYDrZNaw" x="18" y="102" width="15" height="15"/>
  60. </children>
  61. <children xmi:id="_f7mhoLhOEeWuvJHgu3pQWg" type="State" element="_f7J1sLhOEeWuvJHgu3pQWg">
  62. <children xsi:type="notation:DecorationNode" xmi:id="_f7nIsLhOEeWuvJHgu3pQWg" type="StateName">
  63. <styles xsi:type="notation:ShapeStyle" xmi:id="_f7nIsbhOEeWuvJHgu3pQWg"/>
  64. <layoutConstraint xsi:type="notation:Location" xmi:id="_f7nIsrhOEeWuvJHgu3pQWg"/>
  65. </children>
  66. <children xsi:type="notation:Compartment" xmi:id="_f7nIs7hOEeWuvJHgu3pQWg" type="StateTextCompartment">
  67. <children xsi:type="notation:Shape" xmi:id="_f7nItLhOEeWuvJHgu3pQWg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  68. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_f7nItbhOEeWuvJHgu3pQWg"/>
  69. </children>
  70. </children>
  71. <children xsi:type="notation:Compartment" xmi:id="_f7nItrhOEeWuvJHgu3pQWg" type="StateFigureCompartment">
  72. <children xmi:id="_f7nvwbhOEeWuvJHgu3pQWg" type="Region" element="_f7kFYLhOEeWuvJHgu3pQWg">
  73. <children xsi:type="notation:DecorationNode" xmi:id="_f7nvxLhOEeWuvJHgu3pQWg" type="RegionName">
  74. <styles xsi:type="notation:ShapeStyle" xmi:id="_f7nvxbhOEeWuvJHgu3pQWg"/>
  75. <layoutConstraint xsi:type="notation:Location" xmi:id="_f7nvxrhOEeWuvJHgu3pQWg"/>
  76. </children>
  77. <children xsi:type="notation:Shape" xmi:id="_f7nvx7hOEeWuvJHgu3pQWg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  78. <children xmi:id="_WyZGULYdEeWXOIu_IVDg8Q" type="State" element="_WyYfQLYdEeWXOIu_IVDg8Q">
  79. <children xsi:type="notation:DecorationNode" xmi:id="_WyZtYLYdEeWXOIu_IVDg8Q" type="StateName">
  80. <styles xsi:type="notation:ShapeStyle" xmi:id="_WyZtYbYdEeWXOIu_IVDg8Q"/>
  81. <layoutConstraint xsi:type="notation:Location" xmi:id="_WyZtYrYdEeWXOIu_IVDg8Q"/>
  82. </children>
  83. <children xsi:type="notation:Compartment" xmi:id="_WyZtY7YdEeWXOIu_IVDg8Q" type="StateTextCompartment">
  84. <children xsi:type="notation:Shape" xmi:id="_WyZtZLYdEeWXOIu_IVDg8Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  85. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WyZtZbYdEeWXOIu_IVDg8Q"/>
  86. </children>
  87. </children>
  88. <children xsi:type="notation:Compartment" xmi:id="_WyaUcLYdEeWXOIu_IVDg8Q" type="StateFigureCompartment"/>
  89. <styles xsi:type="notation:ShapeStyle" xmi:id="_WyZGUbYdEeWXOIu_IVDg8Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  90. <styles xsi:type="notation:FontStyle" xmi:id="_WyZGUrYdEeWXOIu_IVDg8Q"/>
  91. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_WyaUcbYdEeWXOIu_IVDg8Q" name="isHorizontal" booleanValue="true"/>
  92. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_f7nvybhOEeWuvJHgu3pQWg" x="151" y="49" width="40"/>
  93. </children>
  94. <children xmi:id="__EYXgLhOEeWuvJHgu3pQWg" type="Entry" element="__EXwcLhOEeWuvJHgu3pQWg">
  95. <children xmi:id="__EYXhLhOEeWuvJHgu3pQWg" type="BorderItemLabelContainer">
  96. <children xsi:type="notation:DecorationNode" xmi:id="__EYXh7hOEeWuvJHgu3pQWg" type="BorderItemLabel">
  97. <styles xsi:type="notation:ShapeStyle" xmi:id="__EYXiLhOEeWuvJHgu3pQWg"/>
  98. <layoutConstraint xsi:type="notation:Location" xmi:id="__EYXibhOEeWuvJHgu3pQWg"/>
  99. </children>
  100. <styles xsi:type="notation:ShapeStyle" xmi:id="__EYXhbhOEeWuvJHgu3pQWg" fontName="Verdana" lineColor="4210752"/>
  101. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__EYXhrhOEeWuvJHgu3pQWg" x="-4" y="-21"/>
  102. </children>
  103. <styles xsi:type="notation:ShapeStyle" xmi:id="__EYXgbhOEeWuvJHgu3pQWg" fontName="Verdana" fillColor="0" lineColor="16777215"/>
  104. <styles xsi:type="notation:NamedStyle" xmi:id="__EYXgrhOEeWuvJHgu3pQWg" name="allowColors"/>
  105. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__EYXg7hOEeWuvJHgu3pQWg" x="10" y="-27"/>
  106. </children>
  107. <children xmi:id="_XG-i8LhREeWuvJHgu3pQWg" type="State" element="_XG9U0LhREeWuvJHgu3pQWg">
  108. <children xsi:type="notation:DecorationNode" xmi:id="_XG-i9LhREeWuvJHgu3pQWg" type="StateName">
  109. <styles xsi:type="notation:ShapeStyle" xmi:id="_XG-i9bhREeWuvJHgu3pQWg"/>
  110. <layoutConstraint xsi:type="notation:Location" xmi:id="_XG-i9rhREeWuvJHgu3pQWg"/>
  111. </children>
  112. <children xsi:type="notation:Compartment" xmi:id="_XG-i97hREeWuvJHgu3pQWg" type="StateTextCompartment">
  113. <children xsi:type="notation:Shape" xmi:id="_XG-i-LhREeWuvJHgu3pQWg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  114. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XG-i-bhREeWuvJHgu3pQWg"/>
  115. </children>
  116. </children>
  117. <children xsi:type="notation:Compartment" xmi:id="_XG_KALhREeWuvJHgu3pQWg" type="StateFigureCompartment"/>
  118. <styles xsi:type="notation:ShapeStyle" xmi:id="_XG-i8bhREeWuvJHgu3pQWg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  119. <styles xsi:type="notation:FontStyle" xmi:id="_XG-i8rhREeWuvJHgu3pQWg"/>
  120. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_XG_KAbhREeWuvJHgu3pQWg" name="isHorizontal" booleanValue="true"/>
  121. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XG-i87hREeWuvJHgu3pQWg" x="151" y="-43"/>
  122. </children>
  123. <children xmi:id="_fuHXsLqdEeWi--onjuZ4vw" type="Exit" element="_fuFigLqdEeWi--onjuZ4vw">
  124. <children xmi:id="_fuH-wLqdEeWi--onjuZ4vw" type="BorderItemLabelContainer">
  125. <children xsi:type="notation:DecorationNode" xmi:id="_fuH-w7qdEeWi--onjuZ4vw" type="BorderItemLabel">
  126. <styles xsi:type="notation:ShapeStyle" xmi:id="_fuH-xLqdEeWi--onjuZ4vw"/>
  127. <layoutConstraint xsi:type="notation:Location" xmi:id="_fuH-xbqdEeWi--onjuZ4vw"/>
  128. </children>
  129. <styles xsi:type="notation:ShapeStyle" xmi:id="_fuH-wbqdEeWi--onjuZ4vw" fontName="Verdana" lineColor="4210752"/>
  130. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_fuH-wrqdEeWi--onjuZ4vw"/>
  131. </children>
  132. <styles xsi:type="notation:ShapeStyle" xmi:id="_fuHXsbqdEeWi--onjuZ4vw" fontName="Verdana" lineColor="4210752"/>
  133. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_fuHXsrqdEeWi--onjuZ4vw" x="274" y="-27"/>
  134. </children>
  135. <children xsi:type="notation:Shape" xmi:id="_kBjIsLrSEeWi--onjuZ4vw" type="FinalState" element="_kBihoLrSEeWi--onjuZ4vw" fontName="Verdana" lineColor="4210752">
  136. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_kBjIsbrSEeWi--onjuZ4vw" x="274" y="65"/>
  137. </children>
  138. <children xmi:id="_eLc7MLrWEeWi--onjuZ4vw" type="State" element="_eLcUILrWEeWi--onjuZ4vw">
  139. <children xsi:type="notation:DecorationNode" xmi:id="_eLc7NLrWEeWi--onjuZ4vw" type="StateName">
  140. <styles xsi:type="notation:ShapeStyle" xmi:id="_eLc7NbrWEeWi--onjuZ4vw"/>
  141. <layoutConstraint xsi:type="notation:Location" xmi:id="_eLc7NrrWEeWi--onjuZ4vw"/>
  142. </children>
  143. <children xsi:type="notation:Compartment" xmi:id="_eLc7N7rWEeWi--onjuZ4vw" type="StateTextCompartment">
  144. <children xsi:type="notation:Shape" xmi:id="_eLc7OLrWEeWi--onjuZ4vw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  145. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_eLc7ObrWEeWi--onjuZ4vw"/>
  146. </children>
  147. </children>
  148. <children xsi:type="notation:Compartment" xmi:id="_eLc7OrrWEeWi--onjuZ4vw" type="StateFigureCompartment"/>
  149. <styles xsi:type="notation:ShapeStyle" xmi:id="_eLc7MbrWEeWi--onjuZ4vw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  150. <styles xsi:type="notation:FontStyle" xmi:id="_eLc7MrrWEeWi--onjuZ4vw"/>
  151. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_eLc7O7rWEeWi--onjuZ4vw" name="isHorizontal" booleanValue="true"/>
  152. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_eLc7M7rWEeWi--onjuZ4vw" x="61" y="49"/>
  153. </children>
  154. <children xmi:id="_59s6ILrWEeWi--onjuZ4vw" type="Entry" element="_59rsALrWEeWi--onjuZ4vw">
  155. <children xmi:id="_59s6JLrWEeWi--onjuZ4vw" type="BorderItemLabelContainer">
  156. <children xsi:type="notation:DecorationNode" xmi:id="_59s6J7rWEeWi--onjuZ4vw" type="BorderItemLabel">
  157. <styles xsi:type="notation:ShapeStyle" xmi:id="_59s6KLrWEeWi--onjuZ4vw"/>
  158. <layoutConstraint xsi:type="notation:Location" xmi:id="_59s6KbrWEeWi--onjuZ4vw"/>
  159. </children>
  160. <styles xsi:type="notation:ShapeStyle" xmi:id="_59s6JbrWEeWi--onjuZ4vw" fontName="Verdana" lineColor="4210752"/>
  161. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_59s6JrrWEeWi--onjuZ4vw"/>
  162. </children>
  163. <styles xsi:type="notation:ShapeStyle" xmi:id="_59s6IbrWEeWi--onjuZ4vw" fontName="Verdana" fillColor="0" lineColor="16777215"/>
  164. <styles xsi:type="notation:NamedStyle" xmi:id="_59s6IrrWEeWi--onjuZ4vw" name="allowColors"/>
  165. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_59s6I7rWEeWi--onjuZ4vw" x="10" y="65"/>
  166. </children>
  167. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_f7nvyLhOEeWuvJHgu3pQWg"/>
  168. </children>
  169. <styles xsi:type="notation:ShapeStyle" xmi:id="_f7nvwrhOEeWuvJHgu3pQWg" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  170. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_f7nvw7hOEeWuvJHgu3pQWg"/>
  171. </children>
  172. </children>
  173. <styles xsi:type="notation:ShapeStyle" xmi:id="_f7mhobhOEeWuvJHgu3pQWg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  174. <styles xsi:type="notation:FontStyle" xmi:id="_f7mhorhOEeWuvJHgu3pQWg"/>
  175. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_f7nIt7hOEeWuvJHgu3pQWg" name="isHorizontal" booleanValue="true"/>
  176. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_f7nvwLhOEeWuvJHgu3pQWg" x="244" width="362" height="247"/>
  177. </children>
  178. <children xmi:id="_8bZUVbhUEeWuvJHgu3pQWg" type="State" element="_QCGVsLYGEeWTfOMYDrZNaw">
  179. <children xsi:type="notation:DecorationNode" xmi:id="_8bZUVrhUEeWuvJHgu3pQWg" type="StateName">
  180. <styles xsi:type="notation:ShapeStyle" xmi:id="_8bZUV7hUEeWuvJHgu3pQWg"/>
  181. <layoutConstraint xsi:type="notation:Location" xmi:id="_8bZUWLhUEeWuvJHgu3pQWg"/>
  182. </children>
  183. <children xsi:type="notation:Compartment" xmi:id="_8bZUWbhUEeWuvJHgu3pQWg" type="StateTextCompartment">
  184. <children xsi:type="notation:Shape" xmi:id="_8bZUWrhUEeWuvJHgu3pQWg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  185. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_8bZUW7hUEeWuvJHgu3pQWg"/>
  186. </children>
  187. </children>
  188. <children xsi:type="notation:Compartment" xmi:id="_8bZUXLhUEeWuvJHgu3pQWg" type="StateFigureCompartment"/>
  189. <styles xsi:type="notation:ShapeStyle" xmi:id="_8bZUXbhUEeWuvJHgu3pQWg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  190. <styles xsi:type="notation:FontStyle" xmi:id="_8bZUXrhUEeWuvJHgu3pQWg"/>
  191. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_8bZUX7hUEeWuvJHgu3pQWg" name="isHorizontal" booleanValue="true"/>
  192. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_8bZUYLhUEeWuvJHgu3pQWg" x="99" y="86" width="40" height="53"/>
  193. </children>
  194. <children xsi:type="notation:Shape" xmi:id="_DthlULqeEeWi--onjuZ4vw" type="FinalState" element="_DtfwILqeEeWi--onjuZ4vw" fontName="Verdana" lineColor="4210752">
  195. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_DthlUbqeEeWi--onjuZ4vw" x="824" y="102" width="15" height="15"/>
  196. </children>
  197. <children xmi:id="_oEAUsLrWEeWi--onjuZ4vw" type="State" element="_oD_toLrWEeWi--onjuZ4vw">
  198. <children xsi:type="notation:DecorationNode" xmi:id="_oEAUtLrWEeWi--onjuZ4vw" type="StateName">
  199. <styles xsi:type="notation:ShapeStyle" xmi:id="_oEAUtbrWEeWi--onjuZ4vw"/>
  200. <layoutConstraint xsi:type="notation:Location" xmi:id="_oEAUtrrWEeWi--onjuZ4vw"/>
  201. </children>
  202. <children xsi:type="notation:Compartment" xmi:id="_oEAUt7rWEeWi--onjuZ4vw" type="StateTextCompartment">
  203. <children xsi:type="notation:Shape" xmi:id="_oEAUuLrWEeWi--onjuZ4vw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  204. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_oEAUubrWEeWi--onjuZ4vw"/>
  205. </children>
  206. </children>
  207. <children xsi:type="notation:Compartment" xmi:id="_oEAUurrWEeWi--onjuZ4vw" type="StateFigureCompartment"/>
  208. <styles xsi:type="notation:ShapeStyle" xmi:id="_oEAUsbrWEeWi--onjuZ4vw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  209. <styles xsi:type="notation:FontStyle" xmi:id="_oEAUsrrWEeWi--onjuZ4vw"/>
  210. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_oEAUu7rWEeWi--onjuZ4vw" name="isHorizontal" booleanValue="true"/>
  211. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_oEAUs7rWEeWi--onjuZ4vw" x="699" y="86" width="40" height="53"/>
  212. </children>
  213. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BNWI9LX7EeWTfOMYDrZNaw"/>
  214. </children>
  215. <styles xsi:type="notation:ShapeStyle" xmi:id="_BNUTwbX7EeWTfOMYDrZNaw" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  216. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BNWwALX7EeWTfOMYDrZNaw" x="225" y="10" width="871" height="296"/>
  217. </children>
  218. <children xsi:type="notation:Shape" xmi:id="_BNbogLX7EeWTfOMYDrZNaw" type="StatechartText" fontName="Verdana" lineColor="4210752">
  219. <children xsi:type="notation:DecorationNode" xmi:id="_BNbogrX7EeWTfOMYDrZNaw" type="StatechartName">
  220. <styles xsi:type="notation:ShapeStyle" xmi:id="_BNbog7X7EeWTfOMYDrZNaw"/>
  221. <layoutConstraint xsi:type="notation:Location" xmi:id="_BNbohLX7EeWTfOMYDrZNaw"/>
  222. </children>
  223. <children xsi:type="notation:Shape" xmi:id="_BNbohbX7EeWTfOMYDrZNaw" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  224. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BNbohrX7EeWTfOMYDrZNaw"/>
  225. </children>
  226. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BNcPkLX7EeWTfOMYDrZNaw" x="10" y="10" width="200" height="400"/>
  227. </children>
  228. <styles xsi:type="notation:DiagramStyle" xmi:id="_BNSekbX7EeWTfOMYDrZNaw"/>
  229. <edges xmi:id="_FvSwULhPEeWuvJHgu3pQWg" type="Transition" element="_FvRiMLhPEeWuvJHgu3pQWg" source="__EYXgLhOEeWuvJHgu3pQWg" target="_XG-i8LhREeWuvJHgu3pQWg">
  230. <children xsi:type="notation:DecorationNode" xmi:id="_FvSwVLhPEeWuvJHgu3pQWg" type="TransitionExpression">
  231. <styles xsi:type="notation:ShapeStyle" xmi:id="_FvSwVbhPEeWuvJHgu3pQWg"/>
  232. <layoutConstraint xsi:type="notation:Location" xmi:id="_FvSwVrhPEeWuvJHgu3pQWg" y="10"/>
  233. </children>
  234. <styles xsi:type="notation:ConnectorStyle" xmi:id="_FvSwUbhPEeWuvJHgu3pQWg" lineColor="4210752"/>
  235. <styles xsi:type="notation:FontStyle" xmi:id="_FvSwU7hPEeWuvJHgu3pQWg" fontName="Verdana"/>
  236. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_FvSwUrhPEeWuvJHgu3pQWg" points="[7, 0, -105, 10]$[95, -9, -17, 1]"/>
  237. </edges>
  238. <edges xmi:id="_3_4r4LkQEeW6eogEEG3H2w" type="Transition" element="_3_1okLkQEeW6eogEEG3H2w" source="_BNWwArX7EeWTfOMYDrZNaw" target="_8bZUVbhUEeWuvJHgu3pQWg">
  239. <children xsi:type="notation:DecorationNode" xmi:id="_3_56ALkQEeW6eogEEG3H2w" type="TransitionExpression">
  240. <styles xsi:type="notation:ShapeStyle" xmi:id="_3_56AbkQEeW6eogEEG3H2w"/>
  241. <layoutConstraint xsi:type="notation:Location" xmi:id="_3_56ArkQEeW6eogEEG3H2w" y="10"/>
  242. </children>
  243. <styles xsi:type="notation:ConnectorStyle" xmi:id="_3_4r4bkQEeW6eogEEG3H2w" lineColor="4210752"/>
  244. <styles xsi:type="notation:FontStyle" xmi:id="_3_5S8LkQEeW6eogEEG3H2w" fontName="Verdana"/>
  245. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_3_4r4rkQEeW6eogEEG3H2w" points="[7, 3, -84, -39]$[89, 66, -2, 24]"/>
  246. </edges>
  247. <edges xmi:id="_UkkQYLqdEeWi--onjuZ4vw" type="Transition" element="_UkibMLqdEeWi--onjuZ4vw" source="_8bZUVbhUEeWuvJHgu3pQWg" target="_f7mhoLhOEeWuvJHgu3pQWg">
  248. <children xsi:type="notation:DecorationNode" xmi:id="_UklegLqdEeWi--onjuZ4vw" type="TransitionExpression">
  249. <styles xsi:type="notation:ShapeStyle" xmi:id="_UklegbqdEeWi--onjuZ4vw"/>
  250. <layoutConstraint xsi:type="notation:Location" xmi:id="_UklegrqdEeWi--onjuZ4vw" y="10"/>
  251. </children>
  252. <styles xsi:type="notation:ConnectorStyle" xmi:id="_UkkQYbqdEeWi--onjuZ4vw" lineColor="4210752"/>
  253. <styles xsi:type="notation:FontStyle" xmi:id="_Ukk3cLqdEeWi--onjuZ4vw" fontName="Verdana"/>
  254. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_UkkQYrqdEeWi--onjuZ4vw" points="[3, 2, -110, -60]$[109, 60, -4, -2]"/>
  255. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_UkmsoLqdEeWi--onjuZ4vw" id="(0.925,0.4339622641509434)"/>
  256. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_UkmsobqdEeWi--onjuZ4vw" id="(0.019337016574585635,0.10121457489878542)"/>
  257. </edges>
  258. <edges xmi:id="_kCc6sLqdEeWi--onjuZ4vw" type="Transition" element="_kCcToLqdEeWi--onjuZ4vw" source="_XG-i8LhREeWuvJHgu3pQWg" target="_fuHXsLqdEeWi--onjuZ4vw">
  259. <children xsi:type="notation:DecorationNode" xmi:id="_kCc6tLqdEeWi--onjuZ4vw" type="TransitionExpression">
  260. <styles xsi:type="notation:ShapeStyle" xmi:id="_kCc6tbqdEeWi--onjuZ4vw"/>
  261. <layoutConstraint xsi:type="notation:Location" xmi:id="_kCc6trqdEeWi--onjuZ4vw" y="10"/>
  262. </children>
  263. <styles xsi:type="notation:ConnectorStyle" xmi:id="_kCc6sbqdEeWi--onjuZ4vw" lineColor="4210752"/>
  264. <styles xsi:type="notation:FontStyle" xmi:id="_kCc6s7qdEeWi--onjuZ4vw" fontName="Verdana"/>
  265. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_kCc6srqdEeWi--onjuZ4vw" points="[35, 2, -127, 0]$[154, 2, -8, 0]"/>
  266. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_kCeI0LqdEeWi--onjuZ4vw" id="(0.0,0.6037735849056604)"/>
  267. </edges>
  268. <edges xmi:id="_qFL5MLqdEeWi--onjuZ4vw" type="Transition" element="_qFKrELqdEeWi--onjuZ4vw" source="_WyZGULYdEeWXOIu_IVDg8Q" target="_kBjIsLrSEeWi--onjuZ4vw">
  269. <children xsi:type="notation:DecorationNode" xmi:id="_qFL5NLqdEeWi--onjuZ4vw" type="TransitionExpression">
  270. <styles xsi:type="notation:ShapeStyle" xmi:id="_qFL5NbqdEeWi--onjuZ4vw"/>
  271. <layoutConstraint xsi:type="notation:Location" xmi:id="_qFL5NrqdEeWi--onjuZ4vw" y="10"/>
  272. </children>
  273. <styles xsi:type="notation:ConnectorStyle" xmi:id="_qFL5MbqdEeWi--onjuZ4vw" lineColor="4210752"/>
  274. <styles xsi:type="notation:FontStyle" xmi:id="_qFL5M7qdEeWi--onjuZ4vw" fontName="Verdana"/>
  275. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_qFL5MrqdEeWi--onjuZ4vw" points="[35, -6, -166, 27]$[194, -32, -7, 1]"/>
  276. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_qFNHULqdEeWi--onjuZ4vw" id="(0.0,0.5660377358490566)"/>
  277. </edges>
  278. <edges xmi:id="_3qeDILqdEeWi--onjuZ4vw" type="Transition" element="_3qc1ALqdEeWi--onjuZ4vw" source="_XG-i8LhREeWuvJHgu3pQWg" target="_WyZGULYdEeWXOIu_IVDg8Q">
  279. <children xsi:type="notation:DecorationNode" xmi:id="_3qeqMbqdEeWi--onjuZ4vw" type="TransitionExpression">
  280. <styles xsi:type="notation:ShapeStyle" xmi:id="_3qeqMrqdEeWi--onjuZ4vw"/>
  281. <layoutConstraint xsi:type="notation:Location" xmi:id="_3qeqM7qdEeWi--onjuZ4vw" y="10"/>
  282. </children>
  283. <styles xsi:type="notation:ConnectorStyle" xmi:id="_3qeDIbqdEeWi--onjuZ4vw" lineColor="4210752"/>
  284. <styles xsi:type="notation:FontStyle" xmi:id="_3qeqMLqdEeWi--onjuZ4vw" fontName="Verdana"/>
  285. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_3qeDIrqdEeWi--onjuZ4vw" points="[2, 18, -15, -68]$[10, 62, -7, -24]"/>
  286. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_3qf4ULqdEeWi--onjuZ4vw" id="(0.375,0.9622641509433962)"/>
  287. </edges>
  288. <edges xmi:id="_AwCggLqeEeWi--onjuZ4vw" type="Transition" element="_AwB5cLqeEeWi--onjuZ4vw" source="_f7mhoLhOEeWuvJHgu3pQWg" target="_oEAUsLrWEeWi--onjuZ4vw">
  289. <children xsi:type="notation:DecorationNode" xmi:id="_AwCghLqeEeWi--onjuZ4vw" type="TransitionExpression">
  290. <styles xsi:type="notation:ShapeStyle" xmi:id="_AwCghbqeEeWi--onjuZ4vw"/>
  291. <layoutConstraint xsi:type="notation:Location" xmi:id="_AwCghrqeEeWi--onjuZ4vw" y="10"/>
  292. </children>
  293. <styles xsi:type="notation:ConnectorStyle" xmi:id="_AwCggbqeEeWi--onjuZ4vw" lineColor="4210752"/>
  294. <styles xsi:type="notation:FontStyle" xmi:id="_AwCgg7qeEeWi--onjuZ4vw" fontName="Verdana"/>
  295. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_AwCggrqeEeWi--onjuZ4vw" points="[142, 251, -33, -58]$[172, 303, -3, -6]"/>
  296. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_AwDuoLqeEeWi--onjuZ4vw" id="(0.9806629834254144,0.44129554655870445)"/>
  297. </edges>
  298. <edges xmi:id="_0CdqwLrWEeWi--onjuZ4vw" type="Transition" element="_0CdDsLrWEeWi--onjuZ4vw" source="_oEAUsLrWEeWi--onjuZ4vw" target="_DthlULqeEeWi--onjuZ4vw">
  299. <children xsi:type="notation:DecorationNode" xmi:id="_0CdqxLrWEeWi--onjuZ4vw" type="TransitionExpression">
  300. <styles xsi:type="notation:ShapeStyle" xmi:id="_0CdqxbrWEeWi--onjuZ4vw"/>
  301. <layoutConstraint xsi:type="notation:Location" xmi:id="_0CdqxrrWEeWi--onjuZ4vw" y="10"/>
  302. </children>
  303. <styles xsi:type="notation:ConnectorStyle" xmi:id="_0CdqwbrWEeWi--onjuZ4vw" lineColor="4210752"/>
  304. <styles xsi:type="notation:FontStyle" xmi:id="_0Cdqw7rWEeWi--onjuZ4vw" fontName="Verdana"/>
  305. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_0CdqwrrWEeWi--onjuZ4vw" points="[0, 0, -72, 92]$[67, -87, -5, 5]"/>
  306. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_0CeR0LrWEeWi--onjuZ4vw" id="(1.0,0.5849056603773585)"/>
  307. </edges>
  308. <edges xmi:id="_-FE_MbrWEeWi--onjuZ4vw" type="Transition" element="_-FE_MLrWEeWi--onjuZ4vw" source="_59s6ILrWEeWi--onjuZ4vw" target="_eLc7MLrWEeWi--onjuZ4vw">
  309. <children xsi:type="notation:DecorationNode" xmi:id="_-FFmQbrWEeWi--onjuZ4vw" type="TransitionExpression">
  310. <styles xsi:type="notation:ShapeStyle" xmi:id="_-FFmQrrWEeWi--onjuZ4vw"/>
  311. <layoutConstraint xsi:type="notation:Location" xmi:id="_-FFmQ7rWEeWi--onjuZ4vw" y="10"/>
  312. </children>
  313. <styles xsi:type="notation:ConnectorStyle" xmi:id="_-FE_MrrWEeWi--onjuZ4vw" lineColor="4210752"/>
  314. <styles xsi:type="notation:FontStyle" xmi:id="_-FFmQLrWEeWi--onjuZ4vw" fontName="Verdana"/>
  315. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_-FE_M7rWEeWi--onjuZ4vw" points="[5, 6, -25, -27]$[33, 43, 3, 10]"/>
  316. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_-FGNULrWEeWi--onjuZ4vw" id="(0.0,0.5283018867924528)"/>
  317. </edges>
  318. <edges xmi:id="_ARPUwLrXEeWi--onjuZ4vw" type="Transition" element="_AROtsLrXEeWi--onjuZ4vw" source="_eLc7MLrWEeWi--onjuZ4vw" target="_XG-i8LhREeWuvJHgu3pQWg">
  319. <children xsi:type="notation:DecorationNode" xmi:id="_ARPUxLrXEeWi--onjuZ4vw" type="TransitionExpression">
  320. <styles xsi:type="notation:ShapeStyle" xmi:id="_ARPUxbrXEeWi--onjuZ4vw"/>
  321. <layoutConstraint xsi:type="notation:Location" xmi:id="_ARPUxrrXEeWi--onjuZ4vw" x="-37" y="-24"/>
  322. </children>
  323. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ARPUwbrXEeWi--onjuZ4vw" lineColor="4210752"/>
  324. <styles xsi:type="notation:FontStyle" xmi:id="_ARPUw7rXEeWi--onjuZ4vw" fontName="Verdana"/>
  325. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ARPUwrrXEeWi--onjuZ4vw" points="[8, -28, -52, 172]$[60, -224, 0, -24]"/>
  326. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_ARP70LrXEeWi--onjuZ4vw" id="(0.0,0.5849056603773585)"/>
  327. </edges>
  328. <edges xmi:id="_bPvikLrXEeWi--onjuZ4vw" type="Transition" element="_bPu7gLrXEeWi--onjuZ4vw" source="_8bZUVbhUEeWuvJHgu3pQWg" target="_f7mhoLhOEeWuvJHgu3pQWg">
  329. <children xsi:type="notation:DecorationNode" xmi:id="_bPvilLrXEeWi--onjuZ4vw" type="TransitionExpression">
  330. <styles xsi:type="notation:ShapeStyle" xmi:id="_bPvilbrXEeWi--onjuZ4vw"/>
  331. <layoutConstraint xsi:type="notation:Location" xmi:id="_bPvilrrXEeWi--onjuZ4vw" y="10"/>
  332. </children>
  333. <styles xsi:type="notation:ConnectorStyle" xmi:id="_bPvikbrXEeWi--onjuZ4vw" lineColor="4210752"/>
  334. <styles xsi:type="notation:FontStyle" xmi:id="_bPvik7rXEeWi--onjuZ4vw" fontName="Verdana"/>
  335. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_bPvikrrXEeWi--onjuZ4vw" points="[0, 0, -114, 92]$[115, -114, 1, -22]"/>
  336. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_bPwJoLrXEeWi--onjuZ4vw" id="(1.0,0.5849056603773585)"/>
  337. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_bPwJobrXEeWi--onjuZ4vw" id="(0.008287292817679558,0.8663967611336032)"/>
  338. </edges>
  339. </notation:Diagram>
  340. </xmi:XMI>