EventDriven.sct 39 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431
  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="_gosJYFvzEeeWfr-nEfZI_A" specification="&#xA;@EventDriven&#xA;internal:&#xA;event locEvent&#xA;event e1&#xA;event e2&#xA;event e3&#xA;&#xA;interface:&#xA;in event inEvent&#xA;in event inEventBool: boolean&#xA;out event outEvent&#xA;out event running&#xA;out event oe1&#xA;out event oe2&#xA;out event oe3&#xA;&#xA;interface namedI:&#xA;in event namedInEvent&#xA;&#xA;" name="eventDriven">
  4. <regions xmi:id="_govMsFvzEeeWfr-nEfZI_A" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_go1TUVvzEeeWfr-nEfZI_A">
  6. <outgoingTransitions xmi:id="_go6L0lvzEeeWfr-nEfZI_A" target="_go3IhFvzEeeWfr-nEfZI_A"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_go3IhFvzEeeWfr-nEfZI_A" specification="entry / raise running&#xA;&#xA;inEvent /&#xA;raise e1;&#xA;raise e2;&#xA;raise e3" name="StateA" incomingTransitions="_go6L0lvzEeeWfr-nEfZI_A">
  9. <outgoingTransitions xmi:id="_ht7y0Fv2Eee6hsvVDhzjkw" specification="e1" target="_9FYhkFv1Eee6hsvVDhzjkw"/>
  10. </vertices>
  11. <vertices xsi:type="sgraph:State" xmi:id="_9FYhkFv1Eee6hsvVDhzjkw" specification="entry / raise oe1" name="StateB" incomingTransitions="_ht7y0Fv2Eee6hsvVDhzjkw">
  12. <outgoingTransitions xmi:id="_BLVN0Fv3Eee6hsvVDhzjkw" specification="e2" target="_9gLnMFv1Eee6hsvVDhzjkw"/>
  13. </vertices>
  14. <vertices xsi:type="sgraph:State" xmi:id="_9gLnMFv1Eee6hsvVDhzjkw" specification="entry / raise oe2" name="StateC" incomingTransitions="_BLVN0Fv3Eee6hsvVDhzjkw">
  15. <outgoingTransitions xmi:id="_vWC8AGCQEee1GdiYJ2qhEw" specification="e3" target="_vWBt4GCQEee1GdiYJ2qhEw"/>
  16. </vertices>
  17. <vertices xsi:type="sgraph:State" xmi:id="_QdXNcFv3Eee6hsvVDhzjkw" name="StateE" incomingTransitions="_Q2688Fv3Eee6hsvVDhzjkw">
  18. <outgoingTransitions xmi:id="__9FYYFv-Eee00I9VNsfcEA" specification="e3" target="__mGbwFv-Eee00I9VNsfcEA"/>
  19. <regions xmi:id="_yDknsFv6EeeIbYsR-YnSwA" name="">
  20. <vertices xsi:type="sgraph:Entry" xmi:id="_yDknsVv6EeeIbYsR-YnSwA">
  21. <outgoingTransitions xmi:id="_yDknslv6EeeIbYsR-YnSwA" specification="" target="_yDkns1v6EeeIbYsR-YnSwA"/>
  22. </vertices>
  23. <vertices xsi:type="sgraph:State" xmi:id="_yDkns1v6EeeIbYsR-YnSwA" specification="" name="State1" incomingTransitions="_yDknslv6EeeIbYsR-YnSwA">
  24. <outgoingTransitions xmi:id="_DBloAFv7EeeIbYsR-YnSwA" specification="locEvent" target="_B3M4gFv7EeeIbYsR-YnSwA"/>
  25. </vertices>
  26. <vertices xsi:type="sgraph:State" xmi:id="_B3M4gFv7EeeIbYsR-YnSwA" specification="inEvent / raise e1" name="State2" incomingTransitions="_DBloAFv7EeeIbYsR-YnSwA">
  27. <outgoingTransitions xmi:id="_oIDnImCXEee9G51QrOWSPA" specification="e2" target="_oIBx8GCXEee9G51QrOWSPA"/>
  28. </vertices>
  29. <vertices xsi:type="sgraph:State" xmi:id="_oIBx8GCXEee9G51QrOWSPA" specification="entry / raise e3" name="State3" incomingTransitions="_oIDnImCXEee9G51QrOWSPA"/>
  30. </regions>
  31. <regions xmi:id="_yUJaUFv6EeeIbYsR-YnSwA" name="">
  32. <vertices xsi:type="sgraph:Entry" xmi:id="_yUJaUVv6EeeIbYsR-YnSwA">
  33. <outgoingTransitions xmi:id="_yUJaUlv6EeeIbYsR-YnSwA" specification="" target="_yUJaU1v6EeeIbYsR-YnSwA"/>
  34. </vertices>
  35. <vertices xsi:type="sgraph:State" xmi:id="_yUJaU1v6EeeIbYsR-YnSwA" specification="entry / raise locEvent" name="State1" incomingTransitions="_yUJaUlv6EeeIbYsR-YnSwA">
  36. <outgoingTransitions xmi:id="_lRiF8GCXEee9G51QrOWSPA" specification="e1" target="_lRg30GCXEee9G51QrOWSPA"/>
  37. </vertices>
  38. <vertices xsi:type="sgraph:State" xmi:id="_lRg30GCXEee9G51QrOWSPA" specification="entry / raise e2" name="State2" incomingTransitions="_lRiF8GCXEee9G51QrOWSPA"/>
  39. </regions>
  40. </vertices>
  41. <vertices xsi:type="sgraph:State" xmi:id="__mGbwFv-Eee00I9VNsfcEA" name="StateF" incomingTransitions="__9FYYFv-Eee00I9VNsfcEA">
  42. <outgoingTransitions xmi:id="_zquZEGCXEee9G51QrOWSPA" specification="namedI.namedInEvent" target="_zKQJQGCXEee9G51QrOWSPA"/>
  43. </vertices>
  44. <vertices xsi:type="sgraph:State" xmi:id="_vWBt4GCQEee1GdiYJ2qhEw" specification="entry / raise oe3" name="StateD" incomingTransitions="_vWC8AGCQEee1GdiYJ2qhEw">
  45. <outgoingTransitions xmi:id="_Q2688Fv3Eee6hsvVDhzjkw" specification="inEventBool [valueof(inEventBool) == true]" target="_QdXNcFv3Eee6hsvVDhzjkw"/>
  46. </vertices>
  47. <vertices xsi:type="sgraph:FinalState" xmi:id="_zKQJQGCXEee9G51QrOWSPA" incomingTransitions="_zquZEGCXEee9G51QrOWSPA"/>
  48. </regions>
  49. </sgraph:Statechart>
  50. <notation:Diagram xmi:id="_gouloFvzEeeWfr-nEfZI_A" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_gosJYFvzEeeWfr-nEfZI_A" measurementUnit="Pixel">
  51. <children xmi:id="_goxB4FvzEeeWfr-nEfZI_A" type="Region" element="_govMsFvzEeeWfr-nEfZI_A">
  52. <children xsi:type="notation:DecorationNode" xmi:id="_go0FMFvzEeeWfr-nEfZI_A" type="RegionName">
  53. <styles xsi:type="notation:ShapeStyle" xmi:id="_go0FMVvzEeeWfr-nEfZI_A"/>
  54. <layoutConstraint xsi:type="notation:Location" xmi:id="_go0sQFvzEeeWfr-nEfZI_A"/>
  55. </children>
  56. <children xsi:type="notation:Shape" xmi:id="_go0sQVvzEeeWfr-nEfZI_A" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  57. <children xmi:id="_go16YFvzEeeWfr-nEfZI_A" type="Entry" element="_go1TUVvzEeeWfr-nEfZI_A">
  58. <children xmi:id="_go2hcFvzEeeWfr-nEfZI_A" type="BorderItemLabelContainer">
  59. <children xsi:type="notation:DecorationNode" xmi:id="_go3IgFvzEeeWfr-nEfZI_A" type="BorderItemLabel">
  60. <styles xsi:type="notation:ShapeStyle" xmi:id="_go3IgVvzEeeWfr-nEfZI_A"/>
  61. <layoutConstraint xsi:type="notation:Location" xmi:id="_go3IglvzEeeWfr-nEfZI_A"/>
  62. </children>
  63. <styles xsi:type="notation:ShapeStyle" xmi:id="_go2hcVvzEeeWfr-nEfZI_A" fontName="Verdana" lineColor="4210752"/>
  64. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_go2hclvzEeeWfr-nEfZI_A"/>
  65. </children>
  66. <styles xsi:type="notation:ShapeStyle" xmi:id="_go16YVvzEeeWfr-nEfZI_A" fontName="Verdana" fillColor="0" lineColor="16777215"/>
  67. <styles xsi:type="notation:NamedStyle" xmi:id="_go16YlvzEeeWfr-nEfZI_A" name="allowColors"/>
  68. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_go3Ig1vzEeeWfr-nEfZI_A" x="70" y="20" width="15" height="15"/>
  69. </children>
  70. <children xmi:id="_go4WoFvzEeeWfr-nEfZI_A" type="State" element="_go3IhFvzEeeWfr-nEfZI_A">
  71. <children xsi:type="notation:DecorationNode" xmi:id="_go49sFvzEeeWfr-nEfZI_A" type="StateName">
  72. <styles xsi:type="notation:ShapeStyle" xmi:id="_go49sVvzEeeWfr-nEfZI_A"/>
  73. <layoutConstraint xsi:type="notation:Location" xmi:id="_go49slvzEeeWfr-nEfZI_A"/>
  74. </children>
  75. <children xsi:type="notation:Compartment" xmi:id="_go49s1vzEeeWfr-nEfZI_A" type="StateTextCompartment">
  76. <children xsi:type="notation:Shape" xmi:id="_go5kwFvzEeeWfr-nEfZI_A" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  77. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_go5kwVvzEeeWfr-nEfZI_A"/>
  78. </children>
  79. </children>
  80. <children xsi:type="notation:Compartment" xmi:id="_go5kwlvzEeeWfr-nEfZI_A" type="StateFigureCompartment"/>
  81. <styles xsi:type="notation:ShapeStyle" xmi:id="_go4WoVvzEeeWfr-nEfZI_A" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  82. <styles xsi:type="notation:FontStyle" xmi:id="_go4WolvzEeeWfr-nEfZI_A"/>
  83. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_go6L0FvzEeeWfr-nEfZI_A" name="isHorizontal" booleanValue="true"/>
  84. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_go6L0VvzEeeWfr-nEfZI_A" x="40" y="80" width="149" height="115"/>
  85. </children>
  86. <children xmi:id="_9FczAFv1Eee6hsvVDhzjkw" type="State" element="_9FYhkFv1Eee6hsvVDhzjkw">
  87. <children xsi:type="notation:DecorationNode" xmi:id="_9FeBIFv1Eee6hsvVDhzjkw" type="StateName">
  88. <styles xsi:type="notation:ShapeStyle" xmi:id="_9FeBIVv1Eee6hsvVDhzjkw"/>
  89. <layoutConstraint xsi:type="notation:Location" xmi:id="_9FeoMFv1Eee6hsvVDhzjkw"/>
  90. </children>
  91. <children xsi:type="notation:Compartment" xmi:id="_9FeoMVv1Eee6hsvVDhzjkw" type="StateTextCompartment">
  92. <children xsi:type="notation:Shape" xmi:id="_9FeoMlv1Eee6hsvVDhzjkw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  93. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_9FeoM1v1Eee6hsvVDhzjkw"/>
  94. </children>
  95. </children>
  96. <children xsi:type="notation:Compartment" xmi:id="_9FfPQFv1Eee6hsvVDhzjkw" type="StateFigureCompartment"/>
  97. <styles xsi:type="notation:ShapeStyle" xmi:id="_9FczAVv1Eee6hsvVDhzjkw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  98. <styles xsi:type="notation:FontStyle" xmi:id="_9FczAlv1Eee6hsvVDhzjkw"/>
  99. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_9FfPQVv1Eee6hsvVDhzjkw" name="isHorizontal" booleanValue="true"/>
  100. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_9FczA1v1Eee6hsvVDhzjkw" x="339" y="83" width="123" height="53"/>
  101. </children>
  102. <children xmi:id="_9gODcFv1Eee6hsvVDhzjkw" type="State" element="_9gLnMFv1Eee6hsvVDhzjkw">
  103. <children xsi:type="notation:DecorationNode" xmi:id="_9gOqgFv1Eee6hsvVDhzjkw" type="StateName">
  104. <styles xsi:type="notation:ShapeStyle" xmi:id="_9gOqgVv1Eee6hsvVDhzjkw"/>
  105. <layoutConstraint xsi:type="notation:Location" xmi:id="_9gPRkFv1Eee6hsvVDhzjkw"/>
  106. </children>
  107. <children xsi:type="notation:Compartment" xmi:id="_9gPRkVv1Eee6hsvVDhzjkw" type="StateTextCompartment">
  108. <children xsi:type="notation:Shape" xmi:id="_9gPRklv1Eee6hsvVDhzjkw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  109. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_9gPRk1v1Eee6hsvVDhzjkw"/>
  110. </children>
  111. </children>
  112. <children xsi:type="notation:Compartment" xmi:id="_9gP4oFv1Eee6hsvVDhzjkw" type="StateFigureCompartment"/>
  113. <styles xsi:type="notation:ShapeStyle" xmi:id="_9gODcVv1Eee6hsvVDhzjkw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  114. <styles xsi:type="notation:FontStyle" xmi:id="_9gODclv1Eee6hsvVDhzjkw"/>
  115. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_9gP4oVv1Eee6hsvVDhzjkw" name="isHorizontal" booleanValue="true"/>
  116. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_9gODc1v1Eee6hsvVDhzjkw" x="409" y="222" width="123" height="53"/>
  117. </children>
  118. <children xmi:id="_QdZCoFv3Eee6hsvVDhzjkw" type="State" element="_QdXNcFv3Eee6hsvVDhzjkw">
  119. <children xsi:type="notation:DecorationNode" xmi:id="_QdZpsFv3Eee6hsvVDhzjkw" type="StateName">
  120. <styles xsi:type="notation:ShapeStyle" xmi:id="_QdZpsVv3Eee6hsvVDhzjkw"/>
  121. <layoutConstraint xsi:type="notation:Location" xmi:id="_QdZpslv3Eee6hsvVDhzjkw"/>
  122. </children>
  123. <children xsi:type="notation:Compartment" xmi:id="_QdZps1v3Eee6hsvVDhzjkw" type="StateTextCompartment">
  124. <children xsi:type="notation:Shape" xmi:id="_QdZptFv3Eee6hsvVDhzjkw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  125. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_QdZptVv3Eee6hsvVDhzjkw"/>
  126. </children>
  127. </children>
  128. <children xsi:type="notation:Compartment" xmi:id="_QdaQwFv3Eee6hsvVDhzjkw" type="StateFigureCompartment">
  129. <children xmi:id="_yDiygFv6EeeIbYsR-YnSwA" type="Region" element="_yDknsFv6EeeIbYsR-YnSwA">
  130. <children xsi:type="notation:DecorationNode" xmi:id="_yDiygVv6EeeIbYsR-YnSwA" type="RegionName">
  131. <styles xsi:type="notation:ShapeStyle" xmi:id="_yDiyglv6EeeIbYsR-YnSwA"/>
  132. <layoutConstraint xsi:type="notation:Location" xmi:id="_yDiyg1v6EeeIbYsR-YnSwA"/>
  133. </children>
  134. <children xsi:type="notation:Shape" xmi:id="_yDiyhFv6EeeIbYsR-YnSwA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  135. <children xmi:id="_yDiyhVv6EeeIbYsR-YnSwA" type="Entry" element="_yDknsVv6EeeIbYsR-YnSwA">
  136. <children xmi:id="_yDiyhlv6EeeIbYsR-YnSwA" type="BorderItemLabelContainer">
  137. <children xsi:type="notation:DecorationNode" xmi:id="_yDiyh1v6EeeIbYsR-YnSwA" type="BorderItemLabel">
  138. <styles xsi:type="notation:ShapeStyle" xmi:id="_yDiyiFv6EeeIbYsR-YnSwA"/>
  139. <layoutConstraint xsi:type="notation:Location" xmi:id="_yDiyiVv6EeeIbYsR-YnSwA"/>
  140. </children>
  141. <styles xsi:type="notation:ShapeStyle" xmi:id="_yDiyilv6EeeIbYsR-YnSwA" fontName="Verdana" lineColor="4210752"/>
  142. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yDiyi1v6EeeIbYsR-YnSwA"/>
  143. </children>
  144. <styles xsi:type="notation:ShapeStyle" xmi:id="_yDiyjFv6EeeIbYsR-YnSwA" fontName="Verdana" lineColor="4210752"/>
  145. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yDiyjVv6EeeIbYsR-YnSwA" x="39" y="12"/>
  146. </children>
  147. <children xmi:id="_yDiyjlv6EeeIbYsR-YnSwA" type="State" element="_yDkns1v6EeeIbYsR-YnSwA">
  148. <children xsi:type="notation:DecorationNode" xmi:id="_yDiyj1v6EeeIbYsR-YnSwA" type="StateName">
  149. <styles xsi:type="notation:ShapeStyle" xmi:id="_yDiykFv6EeeIbYsR-YnSwA"/>
  150. <layoutConstraint xsi:type="notation:Location" xmi:id="_yDiykVv6EeeIbYsR-YnSwA"/>
  151. </children>
  152. <children xsi:type="notation:Compartment" xmi:id="_yDiyklv6EeeIbYsR-YnSwA" type="StateTextCompartment">
  153. <children xsi:type="notation:Shape" xmi:id="_yDiyk1v6EeeIbYsR-YnSwA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  154. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yDiylFv6EeeIbYsR-YnSwA"/>
  155. </children>
  156. </children>
  157. <children xsi:type="notation:Compartment" xmi:id="_yDiylVv6EeeIbYsR-YnSwA" type="StateFigureCompartment"/>
  158. <styles xsi:type="notation:ShapeStyle" xmi:id="_yDiyllv6EeeIbYsR-YnSwA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  159. <styles xsi:type="notation:FontStyle" xmi:id="_yDiyl1v6EeeIbYsR-YnSwA"/>
  160. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_yDiymFv6EeeIbYsR-YnSwA" name="isHorizontal" booleanValue="true"/>
  161. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yDiymVv6EeeIbYsR-YnSwA" x="20" y="47"/>
  162. </children>
  163. <children xmi:id="_B3PUwFv7EeeIbYsR-YnSwA" type="State" element="_B3M4gFv7EeeIbYsR-YnSwA">
  164. <children xsi:type="notation:DecorationNode" xmi:id="_B3Qi4Fv7EeeIbYsR-YnSwA" type="StateName">
  165. <styles xsi:type="notation:ShapeStyle" xmi:id="_B3Qi4Vv7EeeIbYsR-YnSwA"/>
  166. <layoutConstraint xsi:type="notation:Location" xmi:id="_B3Qi4lv7EeeIbYsR-YnSwA"/>
  167. </children>
  168. <children xsi:type="notation:Compartment" xmi:id="_B3RJ8Fv7EeeIbYsR-YnSwA" type="StateTextCompartment">
  169. <children xsi:type="notation:Shape" xmi:id="_B3RJ8Vv7EeeIbYsR-YnSwA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  170. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_B3RJ8lv7EeeIbYsR-YnSwA"/>
  171. </children>
  172. </children>
  173. <children xsi:type="notation:Compartment" xmi:id="_B3RJ81v7EeeIbYsR-YnSwA" type="StateFigureCompartment"/>
  174. <styles xsi:type="notation:ShapeStyle" xmi:id="_B3PUwVv7EeeIbYsR-YnSwA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  175. <styles xsi:type="notation:FontStyle" xmi:id="_B3PUwlv7EeeIbYsR-YnSwA"/>
  176. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_B3RJ9Fv7EeeIbYsR-YnSwA" name="isHorizontal" booleanValue="true"/>
  177. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_B3PUw1v7EeeIbYsR-YnSwA" x="121" y="86"/>
  178. </children>
  179. <children xmi:id="_oIE1QGCXEee9G51QrOWSPA" type="State" element="_oIBx8GCXEee9G51QrOWSPA">
  180. <children xsi:type="notation:DecorationNode" xmi:id="_oIE1RGCXEee9G51QrOWSPA" type="StateName">
  181. <styles xsi:type="notation:ShapeStyle" xmi:id="_oIE1RWCXEee9G51QrOWSPA"/>
  182. <layoutConstraint xsi:type="notation:Location" xmi:id="_oIFcUGCXEee9G51QrOWSPA"/>
  183. </children>
  184. <children xsi:type="notation:Compartment" xmi:id="_oIFcUWCXEee9G51QrOWSPA" type="StateTextCompartment">
  185. <children xsi:type="notation:Shape" xmi:id="_oIFcUmCXEee9G51QrOWSPA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  186. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_oIFcU2CXEee9G51QrOWSPA"/>
  187. </children>
  188. </children>
  189. <children xsi:type="notation:Compartment" xmi:id="_oIFcVGCXEee9G51QrOWSPA" type="StateFigureCompartment"/>
  190. <styles xsi:type="notation:ShapeStyle" xmi:id="_oIE1QWCXEee9G51QrOWSPA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  191. <styles xsi:type="notation:FontStyle" xmi:id="_oIE1QmCXEee9G51QrOWSPA"/>
  192. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_oIFcVWCXEee9G51QrOWSPA" name="isHorizontal" booleanValue="true"/>
  193. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_oIE1Q2CXEee9G51QrOWSPA" x="130" y="165"/>
  194. </children>
  195. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yDiymlv6EeeIbYsR-YnSwA"/>
  196. </children>
  197. <styles xsi:type="notation:ShapeStyle" xmi:id="_yDiym1v6EeeIbYsR-YnSwA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  198. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yDiynFv6EeeIbYsR-YnSwA" x="90" y="10"/>
  199. </children>
  200. <children xmi:id="_yUIzQFv6EeeIbYsR-YnSwA" type="Region" element="_yUJaUFv6EeeIbYsR-YnSwA">
  201. <children xsi:type="notation:DecorationNode" xmi:id="_yUIzQVv6EeeIbYsR-YnSwA" type="RegionName">
  202. <styles xsi:type="notation:ShapeStyle" xmi:id="_yUIzQlv6EeeIbYsR-YnSwA"/>
  203. <layoutConstraint xsi:type="notation:Location" xmi:id="_yUIzQ1v6EeeIbYsR-YnSwA"/>
  204. </children>
  205. <children xsi:type="notation:Shape" xmi:id="_yUIzRFv6EeeIbYsR-YnSwA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  206. <children xmi:id="_yUIzRVv6EeeIbYsR-YnSwA" type="Entry" element="_yUJaUVv6EeeIbYsR-YnSwA">
  207. <children xmi:id="_yUIzRlv6EeeIbYsR-YnSwA" type="BorderItemLabelContainer">
  208. <children xsi:type="notation:DecorationNode" xmi:id="_yUIzR1v6EeeIbYsR-YnSwA" type="BorderItemLabel">
  209. <styles xsi:type="notation:ShapeStyle" xmi:id="_yUIzSFv6EeeIbYsR-YnSwA"/>
  210. <layoutConstraint xsi:type="notation:Location" xmi:id="_yUIzSVv6EeeIbYsR-YnSwA"/>
  211. </children>
  212. <styles xsi:type="notation:ShapeStyle" xmi:id="_yUIzSlv6EeeIbYsR-YnSwA" fontName="Verdana" lineColor="4210752"/>
  213. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yUIzS1v6EeeIbYsR-YnSwA"/>
  214. </children>
  215. <styles xsi:type="notation:ShapeStyle" xmi:id="_yUIzTFv6EeeIbYsR-YnSwA" fontName="Verdana" lineColor="4210752"/>
  216. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yUIzTVv6EeeIbYsR-YnSwA" x="39" y="12"/>
  217. </children>
  218. <children xmi:id="_yUIzTlv6EeeIbYsR-YnSwA" type="State" element="_yUJaU1v6EeeIbYsR-YnSwA">
  219. <children xsi:type="notation:DecorationNode" xmi:id="_yUIzT1v6EeeIbYsR-YnSwA" type="StateName">
  220. <styles xsi:type="notation:ShapeStyle" xmi:id="_yUIzUFv6EeeIbYsR-YnSwA"/>
  221. <layoutConstraint xsi:type="notation:Location" xmi:id="_yUIzUVv6EeeIbYsR-YnSwA"/>
  222. </children>
  223. <children xsi:type="notation:Compartment" xmi:id="_yUIzUlv6EeeIbYsR-YnSwA" type="StateTextCompartment">
  224. <children xsi:type="notation:Shape" xmi:id="_yUIzU1v6EeeIbYsR-YnSwA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  225. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yUIzVFv6EeeIbYsR-YnSwA"/>
  226. </children>
  227. </children>
  228. <children xsi:type="notation:Compartment" xmi:id="_yUIzVVv6EeeIbYsR-YnSwA" type="StateFigureCompartment"/>
  229. <styles xsi:type="notation:ShapeStyle" xmi:id="_yUIzVlv6EeeIbYsR-YnSwA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  230. <styles xsi:type="notation:FontStyle" xmi:id="_yUIzV1v6EeeIbYsR-YnSwA"/>
  231. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_yUIzWFv6EeeIbYsR-YnSwA" name="isHorizontal" booleanValue="true"/>
  232. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yUIzWVv6EeeIbYsR-YnSwA" x="20" y="47"/>
  233. </children>
  234. <children xmi:id="_lRqBwGCXEee9G51QrOWSPA" type="State" element="_lRg30GCXEee9G51QrOWSPA">
  235. <children xsi:type="notation:DecorationNode" xmi:id="_lRrP4GCXEee9G51QrOWSPA" type="StateName">
  236. <styles xsi:type="notation:ShapeStyle" xmi:id="_lRrP4WCXEee9G51QrOWSPA"/>
  237. <layoutConstraint xsi:type="notation:Location" xmi:id="_lRr28GCXEee9G51QrOWSPA"/>
  238. </children>
  239. <children xsi:type="notation:Compartment" xmi:id="_lRr28WCXEee9G51QrOWSPA" type="StateTextCompartment">
  240. <children xsi:type="notation:Shape" xmi:id="_lRr28mCXEee9G51QrOWSPA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  241. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lRr282CXEee9G51QrOWSPA"/>
  242. </children>
  243. </children>
  244. <children xsi:type="notation:Compartment" xmi:id="_lRseAGCXEee9G51QrOWSPA" type="StateFigureCompartment"/>
  245. <styles xsi:type="notation:ShapeStyle" xmi:id="_lRqBwWCXEee9G51QrOWSPA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  246. <styles xsi:type="notation:FontStyle" xmi:id="_lRqBwmCXEee9G51QrOWSPA"/>
  247. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_lRseAWCXEee9G51QrOWSPA" name="isHorizontal" booleanValue="true"/>
  248. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lRqBw2CXEee9G51QrOWSPA" x="69" y="165"/>
  249. </children>
  250. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yUIzWlv6EeeIbYsR-YnSwA"/>
  251. </children>
  252. <styles xsi:type="notation:ShapeStyle" xmi:id="_yUIzW1v6EeeIbYsR-YnSwA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  253. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yUIzXFv6EeeIbYsR-YnSwA" x="90" y="10"/>
  254. </children>
  255. </children>
  256. <styles xsi:type="notation:ShapeStyle" xmi:id="_QdZCoVv3Eee6hsvVDhzjkw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  257. <styles xsi:type="notation:FontStyle" xmi:id="_QdZColv3Eee6hsvVDhzjkw"/>
  258. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_QdaQwVv3Eee6hsvVDhzjkw" name="isHorizontal" booleanValue="true"/>
  259. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_QdZCo1v3Eee6hsvVDhzjkw" x="49" y="347" width="579" height="308"/>
  260. </children>
  261. <children xmi:id="__mIQ8Fv-Eee00I9VNsfcEA" type="State" element="__mGbwFv-Eee00I9VNsfcEA">
  262. <children xsi:type="notation:DecorationNode" xmi:id="__mJfEFv-Eee00I9VNsfcEA" type="StateName">
  263. <styles xsi:type="notation:ShapeStyle" xmi:id="__mJfEVv-Eee00I9VNsfcEA"/>
  264. <layoutConstraint xsi:type="notation:Location" xmi:id="__mJfElv-Eee00I9VNsfcEA"/>
  265. </children>
  266. <children xsi:type="notation:Compartment" xmi:id="__mJfE1v-Eee00I9VNsfcEA" type="StateTextCompartment">
  267. <children xsi:type="notation:Shape" xmi:id="__mKGIFv-Eee00I9VNsfcEA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  268. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__mKGIVv-Eee00I9VNsfcEA"/>
  269. </children>
  270. </children>
  271. <children xsi:type="notation:Compartment" xmi:id="__mKGIlv-Eee00I9VNsfcEA" type="StateFigureCompartment"/>
  272. <styles xsi:type="notation:ShapeStyle" xmi:id="__mIQ8Vv-Eee00I9VNsfcEA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  273. <styles xsi:type="notation:FontStyle" xmi:id="__mIQ8lv-Eee00I9VNsfcEA"/>
  274. <styles xsi:type="notation:BooleanValueStyle" xmi:id="__mKGI1v-Eee00I9VNsfcEA" name="isHorizontal" booleanValue="true"/>
  275. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__mIQ81v-Eee00I9VNsfcEA" x="634" y="-8" width="59" height="53"/>
  276. </children>
  277. <children xmi:id="_vWH0gGCQEee1GdiYJ2qhEw" type="State" element="_vWBt4GCQEee1GdiYJ2qhEw">
  278. <children xsi:type="notation:DecorationNode" xmi:id="_vWJCoGCQEee1GdiYJ2qhEw" type="StateName">
  279. <styles xsi:type="notation:ShapeStyle" xmi:id="_vWJCoWCQEee1GdiYJ2qhEw"/>
  280. <layoutConstraint xsi:type="notation:Location" xmi:id="_vWJpsGCQEee1GdiYJ2qhEw"/>
  281. </children>
  282. <children xsi:type="notation:Compartment" xmi:id="_vWJpsWCQEee1GdiYJ2qhEw" type="StateTextCompartment">
  283. <children xsi:type="notation:Shape" xmi:id="_vWJpsmCQEee1GdiYJ2qhEw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  284. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_vWJps2CQEee1GdiYJ2qhEw"/>
  285. </children>
  286. </children>
  287. <children xsi:type="notation:Compartment" xmi:id="_vWKQwGCQEee1GdiYJ2qhEw" type="StateFigureCompartment"/>
  288. <styles xsi:type="notation:ShapeStyle" xmi:id="_vWH0gWCQEee1GdiYJ2qhEw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  289. <styles xsi:type="notation:FontStyle" xmi:id="_vWH0gmCQEee1GdiYJ2qhEw"/>
  290. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_vWKQwWCQEee1GdiYJ2qhEw" name="isHorizontal" booleanValue="true"/>
  291. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_vWH0g2CQEee1GdiYJ2qhEw" x="184" y="227" width="123" height="53"/>
  292. </children>
  293. <children xsi:type="notation:Shape" xmi:id="_zKQwUGCXEee9G51QrOWSPA" type="FinalState" element="_zKQJQGCXEee9G51QrOWSPA" fontName="Verdana" lineColor="4210752">
  294. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_zKQwUWCXEee9G51QrOWSPA" x="734" y="259"/>
  295. </children>
  296. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_go0sQlvzEeeWfr-nEfZI_A"/>
  297. </children>
  298. <styles xsi:type="notation:ShapeStyle" xmi:id="_goxB4VvzEeeWfr-nEfZI_A" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  299. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_go1TUFvzEeeWfr-nEfZI_A" x="220" y="10" width="854" height="708"/>
  300. </children>
  301. <children xsi:type="notation:Shape" xmi:id="_go9PIFvzEeeWfr-nEfZI_A" type="StatechartText" fontName="Verdana" lineColor="4210752">
  302. <children xsi:type="notation:DecorationNode" xmi:id="_go9PIlvzEeeWfr-nEfZI_A" type="StatechartName">
  303. <styles xsi:type="notation:ShapeStyle" xmi:id="_go9PI1vzEeeWfr-nEfZI_A"/>
  304. <layoutConstraint xsi:type="notation:Location" xmi:id="_go92MFvzEeeWfr-nEfZI_A"/>
  305. </children>
  306. <children xsi:type="notation:Shape" xmi:id="_go92MVvzEeeWfr-nEfZI_A" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  307. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_go92MlvzEeeWfr-nEfZI_A"/>
  308. </children>
  309. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_go-dQFvzEeeWfr-nEfZI_A" x="-5" y="20" width="200" height="400"/>
  310. </children>
  311. <styles xsi:type="notation:DiagramStyle" xmi:id="_gouloVvzEeeWfr-nEfZI_A"/>
  312. <edges xmi:id="_go8BAFvzEeeWfr-nEfZI_A" type="Transition" element="_go6L0lvzEeeWfr-nEfZI_A" source="_go16YFvzEeeWfr-nEfZI_A" target="_go4WoFvzEeeWfr-nEfZI_A">
  313. <children xsi:type="notation:DecorationNode" xmi:id="_go8oEVvzEeeWfr-nEfZI_A" type="TransitionExpression">
  314. <styles xsi:type="notation:ShapeStyle" xmi:id="_go8oElvzEeeWfr-nEfZI_A"/>
  315. <layoutConstraint xsi:type="notation:Location" xmi:id="_go8oE1vzEeeWfr-nEfZI_A" y="10"/>
  316. </children>
  317. <styles xsi:type="notation:ConnectorStyle" xmi:id="_go8BAVvzEeeWfr-nEfZI_A" routing="Rectilinear" lineColor="4210752"/>
  318. <styles xsi:type="notation:FontStyle" xmi:id="_go8oEFvzEeeWfr-nEfZI_A" fontName="Verdana"/>
  319. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_go8BAlvzEeeWfr-nEfZI_A" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  320. </edges>
  321. <edges xmi:id="_huCggFv2Eee6hsvVDhzjkw" type="Transition" element="_ht7y0Fv2Eee6hsvVDhzjkw" source="_go4WoFvzEeeWfr-nEfZI_A" target="_9FczAFv1Eee6hsvVDhzjkw">
  322. <children xsi:type="notation:DecorationNode" xmi:id="_huDuoFv2Eee6hsvVDhzjkw" type="TransitionExpression">
  323. <styles xsi:type="notation:ShapeStyle" xmi:id="_huDuoVv2Eee6hsvVDhzjkw"/>
  324. <layoutConstraint xsi:type="notation:Location" xmi:id="_huDuolv2Eee6hsvVDhzjkw" x="-4" y="-20"/>
  325. </children>
  326. <styles xsi:type="notation:ConnectorStyle" xmi:id="_huCggVv2Eee6hsvVDhzjkw" routing="Rectilinear" lineColor="4210752"/>
  327. <styles xsi:type="notation:FontStyle" xmi:id="_huDHkFv2Eee6hsvVDhzjkw" fontName="Verdana"/>
  328. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_huCgglv2Eee6hsvVDhzjkw" points="[5, 1, -157, -3]$[164, 28, 2, 24]"/>
  329. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_huJ1QFv2Eee6hsvVDhzjkw" id="(0.9166666666666666,0.4339622641509434)"/>
  330. </edges>
  331. <edges xmi:id="_BLXDAFv3Eee6hsvVDhzjkw" type="Transition" element="_BLVN0Fv3Eee6hsvVDhzjkw" source="_9FczAFv1Eee6hsvVDhzjkw" target="_9gODcFv1Eee6hsvVDhzjkw">
  332. <children xsi:type="notation:DecorationNode" xmi:id="_BLXqEVv3Eee6hsvVDhzjkw" type="TransitionExpression">
  333. <styles xsi:type="notation:ShapeStyle" xmi:id="_BLXqElv3Eee6hsvVDhzjkw"/>
  334. <layoutConstraint xsi:type="notation:Location" xmi:id="_BLXqE1v3Eee6hsvVDhzjkw" x="3" y="22"/>
  335. </children>
  336. <styles xsi:type="notation:ConnectorStyle" xmi:id="_BLXDAVv3Eee6hsvVDhzjkw" routing="Rectilinear" lineColor="4210752"/>
  337. <styles xsi:type="notation:FontStyle" xmi:id="_BLXqEFv3Eee6hsvVDhzjkw" fontName="Verdana"/>
  338. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_BLXDAlv3Eee6hsvVDhzjkw" points="[5, 7, -7, -184]$[5, 167, -7, -24]"/>
  339. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_BLaGUFv3Eee6hsvVDhzjkw" id="(0.37050359712230213,0.8813559322033898)"/>
  340. </edges>
  341. <edges xmi:id="_Q29ZMFv3Eee6hsvVDhzjkw" type="Transition" element="_Q2688Fv3Eee6hsvVDhzjkw" source="_vWH0gGCQEee1GdiYJ2qhEw" target="_QdZCoFv3Eee6hsvVDhzjkw">
  342. <children xsi:type="notation:DecorationNode" xmi:id="_Q29ZNFv3Eee6hsvVDhzjkw" type="TransitionExpression">
  343. <styles xsi:type="notation:ShapeStyle" xmi:id="_Q29ZNVv3Eee6hsvVDhzjkw"/>
  344. <layoutConstraint xsi:type="notation:Location" xmi:id="_Q2-AQFv3Eee6hsvVDhzjkw" x="33" y="23"/>
  345. </children>
  346. <styles xsi:type="notation:ConnectorStyle" xmi:id="_Q29ZMVv3Eee6hsvVDhzjkw" routing="Rectilinear" lineColor="4210752"/>
  347. <styles xsi:type="notation:FontStyle" xmi:id="_Q29ZM1v3Eee6hsvVDhzjkw" fontName="Verdana"/>
  348. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Q29ZMlv3Eee6hsvVDhzjkw" points="[0, 5, 288, -9]$[-285, -10, 3, -24]"/>
  349. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Q3BDkFv3Eee6hsvVDhzjkw" id="(0.375,0.7547169811320755)"/>
  350. </edges>
  351. <edges xmi:id="_yDlOwlv6EeeIbYsR-YnSwA" type="Transition" element="_yDknslv6EeeIbYsR-YnSwA" source="_yDiyhVv6EeeIbYsR-YnSwA" target="_yDiyjlv6EeeIbYsR-YnSwA">
  352. <children xsi:type="notation:DecorationNode" xmi:id="_yDlOw1v6EeeIbYsR-YnSwA" type="TransitionExpression">
  353. <styles xsi:type="notation:ShapeStyle" xmi:id="_yDlOxFv6EeeIbYsR-YnSwA"/>
  354. <layoutConstraint xsi:type="notation:Location" xmi:id="_yDlOxVv6EeeIbYsR-YnSwA" y="10"/>
  355. </children>
  356. <styles xsi:type="notation:ConnectorStyle" xmi:id="_yDlOxlv6EeeIbYsR-YnSwA" routing="Rectilinear" lineColor="4210752"/>
  357. <styles xsi:type="notation:FontStyle" xmi:id="_yDlOx1v6EeeIbYsR-YnSwA" fontName="Verdana"/>
  358. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_yDlOyFv6EeeIbYsR-YnSwA" points="[7, 2, -94, -35]$[103, 30, 2, -7]"/>
  359. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_yDlOyVv6EeeIbYsR-YnSwA" id="(0.32,0.1509433962264151)"/>
  360. </edges>
  361. <edges xmi:id="_yUKBYlv6EeeIbYsR-YnSwA" type="Transition" element="_yUJaUlv6EeeIbYsR-YnSwA" source="_yUIzRVv6EeeIbYsR-YnSwA" target="_yUIzTlv6EeeIbYsR-YnSwA">
  362. <children xsi:type="notation:DecorationNode" xmi:id="_yUKBY1v6EeeIbYsR-YnSwA" type="TransitionExpression">
  363. <styles xsi:type="notation:ShapeStyle" xmi:id="_yUKBZFv6EeeIbYsR-YnSwA"/>
  364. <layoutConstraint xsi:type="notation:Location" xmi:id="_yUKBZVv6EeeIbYsR-YnSwA" y="10"/>
  365. </children>
  366. <styles xsi:type="notation:ConnectorStyle" xmi:id="_yUKBZlv6EeeIbYsR-YnSwA" routing="Rectilinear" lineColor="4210752"/>
  367. <styles xsi:type="notation:FontStyle" xmi:id="_yUKBZ1v6EeeIbYsR-YnSwA" fontName="Verdana"/>
  368. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_yUKBaFv6EeeIbYsR-YnSwA" points="[7, 2, -94, -35]$[103, 30, 2, -7]"/>
  369. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_yUKBaVv6EeeIbYsR-YnSwA" id="(0.32,0.1509433962264151)"/>
  370. </edges>
  371. <edges xmi:id="_DBm2IFv7EeeIbYsR-YnSwA" type="Transition" element="_DBloAFv7EeeIbYsR-YnSwA" source="_yDiyjlv6EeeIbYsR-YnSwA" target="_B3PUwFv7EeeIbYsR-YnSwA">
  372. <children xsi:type="notation:DecorationNode" xmi:id="_DBndMVv7EeeIbYsR-YnSwA" type="TransitionExpression">
  373. <styles xsi:type="notation:ShapeStyle" xmi:id="_DBndMlv7EeeIbYsR-YnSwA"/>
  374. <layoutConstraint xsi:type="notation:Location" xmi:id="_DBndM1v7EeeIbYsR-YnSwA" y="10"/>
  375. </children>
  376. <styles xsi:type="notation:ConnectorStyle" xmi:id="_DBm2IVv7EeeIbYsR-YnSwA" routing="Rectilinear" lineColor="4210752"/>
  377. <styles xsi:type="notation:FontStyle" xmi:id="_DBndMFv7EeeIbYsR-YnSwA" fontName="Verdana"/>
  378. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_DBm2Ilv7EeeIbYsR-YnSwA" points="[8, 2, -87, -26]$[99, 26, 4, -2]"/>
  379. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_DBpSYFv7EeeIbYsR-YnSwA" id="(0.864406779661017,0.2830188679245283)"/>
  380. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_DBpSYVv7EeeIbYsR-YnSwA" id="(0.7457627118644068,0.05660377358490566)"/>
  381. </edges>
  382. <edges xmi:id="__9IbsFv-Eee00I9VNsfcEA" type="Transition" element="__9FYYFv-Eee00I9VNsfcEA" source="_QdZCoFv3Eee6hsvVDhzjkw" target="__mIQ8Fv-Eee00I9VNsfcEA">
  383. <children xsi:type="notation:DecorationNode" xmi:id="__9JCwFv-Eee00I9VNsfcEA" type="TransitionExpression">
  384. <styles xsi:type="notation:ShapeStyle" xmi:id="__9JCwVv-Eee00I9VNsfcEA"/>
  385. <layoutConstraint xsi:type="notation:Location" xmi:id="__9JCwlv-Eee00I9VNsfcEA" x="-26" y="-5"/>
  386. </children>
  387. <styles xsi:type="notation:ConnectorStyle" xmi:id="__9IbsVv-Eee00I9VNsfcEA" routing="Rectilinear" lineColor="4210752"/>
  388. <styles xsi:type="notation:FontStyle" xmi:id="__9Ibs1v-Eee00I9VNsfcEA" fontName="Verdana"/>
  389. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="__9Ibslv-Eee00I9VNsfcEA" points="[5, 0, -183, -33]$[155, 29, -33, -4]"/>
  390. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="__9MGEFv-Eee00I9VNsfcEA" id="(0.9887892376681614,0.5695067264573991)"/>
  391. </edges>
  392. <edges xmi:id="_vWOiMGCQEee1GdiYJ2qhEw" type="Transition" element="_vWC8AGCQEee1GdiYJ2qhEw" source="_9gODcFv1Eee6hsvVDhzjkw" target="_vWH0gGCQEee1GdiYJ2qhEw">
  393. <children xsi:type="notation:DecorationNode" xmi:id="_vWPJQGCQEee1GdiYJ2qhEw" type="TransitionExpression">
  394. <styles xsi:type="notation:ShapeStyle" xmi:id="_vWPJQWCQEee1GdiYJ2qhEw"/>
  395. <layoutConstraint xsi:type="notation:Location" xmi:id="_vWPJQmCQEee1GdiYJ2qhEw" y="10"/>
  396. </children>
  397. <styles xsi:type="notation:ConnectorStyle" xmi:id="_vWOiMWCQEee1GdiYJ2qhEw" routing="Rectilinear" lineColor="4210752"/>
  398. <styles xsi:type="notation:FontStyle" xmi:id="_vWOiM2CQEee1GdiYJ2qhEw" fontName="Verdana"/>
  399. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_vWOiMmCQEee1GdiYJ2qhEw" points="[-46, -24, 425, 225]$[-468, -248, 3, 1]"/>
  400. </edges>
  401. <edges xmi:id="_lRxWgGCXEee9G51QrOWSPA" type="Transition" element="_lRiF8GCXEee9G51QrOWSPA" source="_yUIzTlv6EeeIbYsR-YnSwA" target="_lRqBwGCXEee9G51QrOWSPA">
  402. <children xsi:type="notation:DecorationNode" xmi:id="_lRx9kWCXEee9G51QrOWSPA" type="TransitionExpression">
  403. <styles xsi:type="notation:ShapeStyle" xmi:id="_lRx9kmCXEee9G51QrOWSPA"/>
  404. <layoutConstraint xsi:type="notation:Location" xmi:id="_lRx9k2CXEee9G51QrOWSPA" y="10"/>
  405. </children>
  406. <styles xsi:type="notation:ConnectorStyle" xmi:id="_lRxWgWCXEee9G51QrOWSPA" routing="Rectilinear" lineColor="4210752"/>
  407. <styles xsi:type="notation:FontStyle" xmi:id="_lRx9kGCXEee9G51QrOWSPA" fontName="Verdana"/>
  408. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_lRxWgmCXEee9G51QrOWSPA" points="[-32, -24, 65, 50]$[-94, -72, 3, 2]"/>
  409. </edges>
  410. <edges xmi:id="_oIH4kGCXEee9G51QrOWSPA" type="Transition" element="_oIDnImCXEee9G51QrOWSPA" source="_B3PUwFv7EeeIbYsR-YnSwA" target="_oIE1QGCXEee9G51QrOWSPA">
  411. <children xsi:type="notation:DecorationNode" xmi:id="_oIH4lGCXEee9G51QrOWSPA" type="TransitionExpression">
  412. <styles xsi:type="notation:ShapeStyle" xmi:id="_oIH4lWCXEee9G51QrOWSPA"/>
  413. <layoutConstraint xsi:type="notation:Location" xmi:id="_oIH4lmCXEee9G51QrOWSPA" y="10"/>
  414. </children>
  415. <styles xsi:type="notation:ConnectorStyle" xmi:id="_oIH4kWCXEee9G51QrOWSPA" routing="Rectilinear" lineColor="4210752"/>
  416. <styles xsi:type="notation:FontStyle" xmi:id="_oIH4k2CXEee9G51QrOWSPA" fontName="Verdana"/>
  417. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_oIH4kmCXEee9G51QrOWSPA" points="[-38, -24, 141, 89]$[-176, -111, 3, 2]"/>
  418. </edges>
  419. <edges xmi:id="_zqvAIGCXEee9G51QrOWSPA" type="Transition" element="_zquZEGCXEee9G51QrOWSPA" source="__mIQ8Fv-Eee00I9VNsfcEA" target="_zKQwUGCXEee9G51QrOWSPA">
  420. <children xsi:type="notation:DecorationNode" xmi:id="_zqvnMWCXEee9G51QrOWSPA" type="TransitionExpression">
  421. <styles xsi:type="notation:ShapeStyle" xmi:id="_zqvnMmCXEee9G51QrOWSPA"/>
  422. <layoutConstraint xsi:type="notation:Location" xmi:id="_zqvnM2CXEee9G51QrOWSPA" y="10"/>
  423. </children>
  424. <styles xsi:type="notation:ConnectorStyle" xmi:id="_zqvAIWCXEee9G51QrOWSPA" routing="Rectilinear" lineColor="4210752"/>
  425. <styles xsi:type="notation:FontStyle" xmi:id="_zqvnMGCXEee9G51QrOWSPA" fontName="Verdana"/>
  426. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_zqvAImCXEee9G51QrOWSPA" points="[5, 20, -54, -226]$[62, 239, 3, -7]"/>
  427. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_zqw1UGCXEee9G51QrOWSPA" id="(0.8983050847457628,0.6037735849056604)"/>
  428. </edges>
  429. </notation:Diagram>
  430. </xmi:XMI>