CoffeeMachine_02.sct 22 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246
  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="_3AQUYJOAEeWuO-fDDpYHyA" specification="interface User:&#xA;&#x9;in event on&#xA;&#x9;in event off&#xA;&#x9;in event cancel&#xA;&#x9;in event cappuchino&#xA;" name="Coffee Machine">
  4. <regions xmi:id="_3AQ7cpOAEeWuO-fDDpYHyA" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_3ASJk5OAEeWuO-fDDpYHyA">
  6. <outgoingTransitions xmi:id="_3AT-w5OAEeWuO-fDDpYHyA" target="_YzPiwJjcEeWLmIbak1Hh1Q"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_3ASwp5OAEeWuO-fDDpYHyA" specification="" name="Idle" incomingTransitions="_IEYG0JjeEeWLmIbak1Hh1Q _mPB_MJjsEeWLmIbak1Hh1Q _nuG1MJkAEeWLmIbak1Hh1Q _qvHvIJkAEeWLmIbak1Hh1Q _sGZrIJkAEeWLmIbak1Hh1Q">
  9. <outgoingTransitions xmi:id="_5bRIYJjdEeWLmIbak1Hh1Q" specification="User.off" target="_YzPiwJjcEeWLmIbak1Hh1Q"/>
  10. <outgoingTransitions xmi:id="_R6ZXcJjjEeWLmIbak1Hh1Q" specification="User.cappuchino" target="_R5190JjjEeWLmIbak1Hh1Q"/>
  11. </vertices>
  12. <vertices xsi:type="sgraph:State" xmi:id="_YzPiwJjcEeWLmIbak1Hh1Q" name="Off" incomingTransitions="_3AT-w5OAEeWuO-fDDpYHyA _5bRIYJjdEeWLmIbak1Hh1Q">
  13. <outgoingTransitions xmi:id="_IEYG0JjeEeWLmIbak1Hh1Q" specification="User.on" target="_3ASwp5OAEeWuO-fDDpYHyA"/>
  14. </vertices>
  15. <vertices xsi:type="sgraph:State" xmi:id="_R5190JjjEeWLmIbak1Hh1Q" name="Milling Beans" incomingTransitions="_R6ZXcJjjEeWLmIbak1Hh1Q">
  16. <outgoingTransitions xmi:id="_JU0SoJjsEeWLmIbak1Hh1Q" specification="after 9s" target="_JUPD0JjsEeWLmIbak1Hh1Q"/>
  17. <outgoingTransitions xmi:id="_nuG1MJkAEeWLmIbak1Hh1Q" specification="User.cancel" target="_3ASwp5OAEeWuO-fDDpYHyA"/>
  18. </vertices>
  19. <vertices xsi:type="sgraph:State" xmi:id="_JUPD0JjsEeWLmIbak1Hh1Q" name="Pouring Milk" incomingTransitions="_JU0SoJjsEeWLmIbak1Hh1Q">
  20. <outgoingTransitions xmi:id="_aFxHUJjsEeWLmIbak1Hh1Q" specification="after 31s" target="_aFNtsJjsEeWLmIbak1Hh1Q"/>
  21. <outgoingTransitions xmi:id="_qvHvIJkAEeWLmIbak1Hh1Q" specification="User.cancel" target="_3ASwp5OAEeWuO-fDDpYHyA"/>
  22. </vertices>
  23. <vertices xsi:type="sgraph:State" xmi:id="_aFNtsJjsEeWLmIbak1Hh1Q" name="Pouring Coffee" incomingTransitions="_aFxHUJjsEeWLmIbak1Hh1Q">
  24. <outgoingTransitions xmi:id="_mPB_MJjsEeWLmIbak1Hh1Q" specification="after 50s" target="_3ASwp5OAEeWuO-fDDpYHyA"/>
  25. <outgoingTransitions xmi:id="_sGZrIJkAEeWLmIbak1Hh1Q" specification="User.cancel" target="_3ASwp5OAEeWuO-fDDpYHyA"/>
  26. </vertices>
  27. </regions>
  28. </sgraph:Statechart>
  29. <notation:Diagram xmi:id="_3AQ7cJOAEeWuO-fDDpYHyA" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_3AQUYJOAEeWuO-fDDpYHyA" measurementUnit="Pixel">
  30. <children xmi:id="_3ARigJOAEeWuO-fDDpYHyA" type="Region" element="_3AQ7cpOAEeWuO-fDDpYHyA">
  31. <children xsi:type="notation:DecorationNode" xmi:id="_3ARig5OAEeWuO-fDDpYHyA" type="RegionName">
  32. <styles xsi:type="notation:ShapeStyle" xmi:id="_3ARihJOAEeWuO-fDDpYHyA"/>
  33. <layoutConstraint xsi:type="notation:Location" xmi:id="_3ARihZOAEeWuO-fDDpYHyA"/>
  34. </children>
  35. <children xsi:type="notation:Shape" xmi:id="_3ASJkJOAEeWuO-fDDpYHyA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  36. <children xmi:id="_3ASJlJOAEeWuO-fDDpYHyA" type="Entry" element="_3ASJk5OAEeWuO-fDDpYHyA">
  37. <children xmi:id="_3ASwoJOAEeWuO-fDDpYHyA" type="BorderItemLabelContainer">
  38. <children xsi:type="notation:DecorationNode" xmi:id="_3ASwo5OAEeWuO-fDDpYHyA" type="BorderItemLabel">
  39. <styles xsi:type="notation:ShapeStyle" xmi:id="_3ASwpJOAEeWuO-fDDpYHyA"/>
  40. <layoutConstraint xsi:type="notation:Location" xmi:id="_3ASwpZOAEeWuO-fDDpYHyA"/>
  41. </children>
  42. <styles xsi:type="notation:ShapeStyle" xmi:id="_3ASwoZOAEeWuO-fDDpYHyA" fontName="Verdana" lineColor="4210752"/>
  43. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_3ASwopOAEeWuO-fDDpYHyA"/>
  44. </children>
  45. <styles xsi:type="notation:ShapeStyle" xmi:id="_3ASJlZOAEeWuO-fDDpYHyA" fontName="Verdana" lineColor="4210752"/>
  46. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_3ASwppOAEeWuO-fDDpYHyA" x="184" y="-19" width="15" height="15"/>
  47. </children>
  48. <children xmi:id="_3ATXspOAEeWuO-fDDpYHyA" type="State" element="_3ASwp5OAEeWuO-fDDpYHyA">
  49. <children xsi:type="notation:DecorationNode" xmi:id="_3ATXtpOAEeWuO-fDDpYHyA" type="StateName">
  50. <styles xsi:type="notation:ShapeStyle" xmi:id="_3ATXt5OAEeWuO-fDDpYHyA"/>
  51. <layoutConstraint xsi:type="notation:Location" xmi:id="_3ATXuJOAEeWuO-fDDpYHyA"/>
  52. </children>
  53. <children xsi:type="notation:Compartment" xmi:id="_3ATXuZOAEeWuO-fDDpYHyA" type="StateTextCompartment" collapsed="true">
  54. <children xsi:type="notation:Shape" xmi:id="_3ATXupOAEeWuO-fDDpYHyA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  55. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_3ATXu5OAEeWuO-fDDpYHyA"/>
  56. </children>
  57. </children>
  58. <children xsi:type="notation:Compartment" xmi:id="_3AT-wJOAEeWuO-fDDpYHyA" type="StateFigureCompartment"/>
  59. <styles xsi:type="notation:ShapeStyle" xmi:id="_3ATXs5OAEeWuO-fDDpYHyA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  60. <styles xsi:type="notation:FontStyle" xmi:id="_3ATXtJOAEeWuO-fDDpYHyA"/>
  61. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_3AT-wZOAEeWuO-fDDpYHyA" name="isHorizontal" booleanValue="true"/>
  62. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_3AT-wpOAEeWuO-fDDpYHyA" x="174" y="137" width="40" height="53"/>
  63. </children>
  64. <children xmi:id="_YzQw4JjcEeWLmIbak1Hh1Q" type="State" element="_YzPiwJjcEeWLmIbak1Hh1Q">
  65. <children xsi:type="notation:DecorationNode" xmi:id="_YzRX8JjcEeWLmIbak1Hh1Q" type="StateName">
  66. <styles xsi:type="notation:ShapeStyle" xmi:id="_YzRX8ZjcEeWLmIbak1Hh1Q"/>
  67. <layoutConstraint xsi:type="notation:Location" xmi:id="_YzRX8pjcEeWLmIbak1Hh1Q"/>
  68. </children>
  69. <children xsi:type="notation:Compartment" xmi:id="_YzRX85jcEeWLmIbak1Hh1Q" type="StateTextCompartment" collapsed="true">
  70. <children xsi:type="notation:Shape" xmi:id="_YzRX9JjcEeWLmIbak1Hh1Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  71. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YzRX9ZjcEeWLmIbak1Hh1Q"/>
  72. </children>
  73. </children>
  74. <children xsi:type="notation:Compartment" xmi:id="_YzRX9pjcEeWLmIbak1Hh1Q" type="StateFigureCompartment"/>
  75. <styles xsi:type="notation:ShapeStyle" xmi:id="_YzQw4ZjcEeWLmIbak1Hh1Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  76. <styles xsi:type="notation:FontStyle" xmi:id="_YzQw4pjcEeWLmIbak1Hh1Q"/>
  77. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_YzRX95jcEeWLmIbak1Hh1Q" name="isHorizontal" booleanValue="true"/>
  78. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YzQw45jcEeWLmIbak1Hh1Q" x="174" y="27" width="40" height="53"/>
  79. </children>
  80. <children xmi:id="_R52k4JjjEeWLmIbak1Hh1Q" type="State" element="_R5190JjjEeWLmIbak1Hh1Q">
  81. <children xsi:type="notation:DecorationNode" xmi:id="_R53L8JjjEeWLmIbak1Hh1Q" type="StateName">
  82. <styles xsi:type="notation:ShapeStyle" xmi:id="_R53L8ZjjEeWLmIbak1Hh1Q"/>
  83. <layoutConstraint xsi:type="notation:Location" xmi:id="_R53L8pjjEeWLmIbak1Hh1Q"/>
  84. </children>
  85. <children xsi:type="notation:Compartment" xmi:id="_R53L85jjEeWLmIbak1Hh1Q" type="StateTextCompartment">
  86. <children xsi:type="notation:Shape" xmi:id="_R53L9JjjEeWLmIbak1Hh1Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  87. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_R53L9ZjjEeWLmIbak1Hh1Q"/>
  88. </children>
  89. </children>
  90. <children xsi:type="notation:Compartment" xmi:id="_R53L9pjjEeWLmIbak1Hh1Q" type="StateFigureCompartment"/>
  91. <styles xsi:type="notation:ShapeStyle" xmi:id="_R52k4ZjjEeWLmIbak1Hh1Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  92. <styles xsi:type="notation:FontStyle" xmi:id="_R52k4pjjEeWLmIbak1Hh1Q"/>
  93. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_R53L95jjEeWLmIbak1Hh1Q" name="isHorizontal"/>
  94. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_R52k45jjEeWLmIbak1Hh1Q" x="144" y="252" width="101"/>
  95. </children>
  96. <children xmi:id="_JUQR8JjsEeWLmIbak1Hh1Q" type="State" element="_JUPD0JjsEeWLmIbak1Hh1Q">
  97. <children xsi:type="notation:DecorationNode" xmi:id="_JUQR9JjsEeWLmIbak1Hh1Q" type="StateName">
  98. <styles xsi:type="notation:ShapeStyle" xmi:id="_JUQR9ZjsEeWLmIbak1Hh1Q"/>
  99. <layoutConstraint xsi:type="notation:Location" xmi:id="_JUQR9pjsEeWLmIbak1Hh1Q"/>
  100. </children>
  101. <children xsi:type="notation:Compartment" xmi:id="_JUQR95jsEeWLmIbak1Hh1Q" type="StateTextCompartment">
  102. <children xsi:type="notation:Shape" xmi:id="_JUQR-JjsEeWLmIbak1Hh1Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  103. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_JUQR-ZjsEeWLmIbak1Hh1Q"/>
  104. </children>
  105. </children>
  106. <children xsi:type="notation:Compartment" xmi:id="_JUQ5AJjsEeWLmIbak1Hh1Q" type="StateFigureCompartment"/>
  107. <styles xsi:type="notation:ShapeStyle" xmi:id="_JUQR8ZjsEeWLmIbak1Hh1Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  108. <styles xsi:type="notation:FontStyle" xmi:id="_JUQR8pjsEeWLmIbak1Hh1Q"/>
  109. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_JUQ5AZjsEeWLmIbak1Hh1Q" name="isHorizontal" booleanValue="true"/>
  110. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_JUQR85jsEeWLmIbak1Hh1Q" x="146" y="357"/>
  111. </children>
  112. <children xmi:id="_aFOUwJjsEeWLmIbak1Hh1Q" type="State" element="_aFNtsJjsEeWLmIbak1Hh1Q">
  113. <children xsi:type="notation:DecorationNode" xmi:id="_aFOUxJjsEeWLmIbak1Hh1Q" type="StateName">
  114. <styles xsi:type="notation:ShapeStyle" xmi:id="_aFOUxZjsEeWLmIbak1Hh1Q"/>
  115. <layoutConstraint xsi:type="notation:Location" xmi:id="_aFO70JjsEeWLmIbak1Hh1Q"/>
  116. </children>
  117. <children xsi:type="notation:Compartment" xmi:id="_aFO70ZjsEeWLmIbak1Hh1Q" type="StateTextCompartment">
  118. <children xsi:type="notation:Shape" xmi:id="_aFO70pjsEeWLmIbak1Hh1Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  119. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_aFO705jsEeWLmIbak1Hh1Q"/>
  120. </children>
  121. </children>
  122. <children xsi:type="notation:Compartment" xmi:id="_aFO71JjsEeWLmIbak1Hh1Q" type="StateFigureCompartment"/>
  123. <styles xsi:type="notation:ShapeStyle" xmi:id="_aFOUwZjsEeWLmIbak1Hh1Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  124. <styles xsi:type="notation:FontStyle" xmi:id="_aFOUwpjsEeWLmIbak1Hh1Q"/>
  125. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_aFO71ZjsEeWLmIbak1Hh1Q" name="isHorizontal" booleanValue="true"/>
  126. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_aFOUw5jsEeWLmIbak1Hh1Q" x="138" y="457"/>
  127. </children>
  128. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_3ASJkZOAEeWuO-fDDpYHyA"/>
  129. </children>
  130. <styles xsi:type="notation:ShapeStyle" xmi:id="_3ARigZOAEeWuO-fDDpYHyA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  131. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_3ASJkpOAEeWuO-fDDpYHyA" x="289" y="9" width="418" height="638"/>
  132. </children>
  133. <children xsi:type="notation:Shape" xmi:id="_3AUl05OAEeWuO-fDDpYHyA" type="StatechartText" fontName="Verdana" lineColor="4210752">
  134. <children xsi:type="notation:DecorationNode" xmi:id="_3AUl1ZOAEeWuO-fDDpYHyA" type="StatechartName">
  135. <styles xsi:type="notation:ShapeStyle" xmi:id="_3AUl1pOAEeWuO-fDDpYHyA"/>
  136. <layoutConstraint xsi:type="notation:Location" xmi:id="_3AUl15OAEeWuO-fDDpYHyA"/>
  137. </children>
  138. <children xsi:type="notation:Shape" xmi:id="_3AUl2JOAEeWuO-fDDpYHyA" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  139. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_3AUl2ZOAEeWuO-fDDpYHyA"/>
  140. </children>
  141. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_3AUl2pOAEeWuO-fDDpYHyA" x="10" y="10" width="231" height="400"/>
  142. </children>
  143. <styles xsi:type="notation:DiagramStyle" xmi:id="_3AQ7cZOAEeWuO-fDDpYHyA"/>
  144. <edges xmi:id="_3AT-xJOAEeWuO-fDDpYHyA" type="Transition" element="_3AT-w5OAEeWuO-fDDpYHyA" source="_3ASJlJOAEeWuO-fDDpYHyA" target="_YzQw4JjcEeWLmIbak1Hh1Q">
  145. <children xsi:type="notation:DecorationNode" xmi:id="_3AUl0JOAEeWuO-fDDpYHyA" type="TransitionExpression">
  146. <styles xsi:type="notation:ShapeStyle" xmi:id="_3AUl0ZOAEeWuO-fDDpYHyA"/>
  147. <layoutConstraint xsi:type="notation:Location" xmi:id="_3AUl0pOAEeWuO-fDDpYHyA" y="10"/>
  148. </children>
  149. <styles xsi:type="notation:ConnectorStyle" xmi:id="_3AT-xZOAEeWuO-fDDpYHyA" lineColor="4210752"/>
  150. <styles xsi:type="notation:FontStyle" xmi:id="_3AT-x5OAEeWuO-fDDpYHyA" fontName="Verdana"/>
  151. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_3AT-xpOAEeWuO-fDDpYHyA" points="[0, 8, 0, -55]$[0, 39, 0, -24]"/>
  152. </edges>
  153. <edges xmi:id="_5bS9kJjdEeWLmIbak1Hh1Q" type="Transition" element="_5bRIYJjdEeWLmIbak1Hh1Q" source="_3ATXspOAEeWuO-fDDpYHyA" target="_YzQw4JjcEeWLmIbak1Hh1Q">
  154. <children xsi:type="notation:DecorationNode" xmi:id="_5bS9lJjdEeWLmIbak1Hh1Q" type="TransitionExpression">
  155. <styles xsi:type="notation:ShapeStyle" xmi:id="_5bS9lZjdEeWLmIbak1Hh1Q"/>
  156. <layoutConstraint xsi:type="notation:Location" xmi:id="_5bS9lpjdEeWLmIbak1Hh1Q" x="-7" y="-28"/>
  157. </children>
  158. <styles xsi:type="notation:ConnectorStyle" xmi:id="_5bS9kZjdEeWLmIbak1Hh1Q" lineColor="4210752"/>
  159. <styles xsi:type="notation:FontStyle" xmi:id="_5bS9k5jdEeWLmIbak1Hh1Q" fontName="Verdana"/>
  160. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_5bS9kpjdEeWLmIbak1Hh1Q" points="[5, 0, 5, 104]$[85, 0, 85, 104]$[85, -104, 85, 0]$[5, -104, 5, 0]"/>
  161. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_-MmbgJkAEeWLmIbak1Hh1Q" id="(0.875,0.2830188679245283)"/>
  162. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_ael1AJkCEeWLmIbak1Hh1Q" id="(0.875,0.41509433962264153)"/>
  163. </edges>
  164. <edges xmi:id="_IEZU8JjeEeWLmIbak1Hh1Q" type="Transition" element="_IEYG0JjeEeWLmIbak1Hh1Q" source="_YzQw4JjcEeWLmIbak1Hh1Q" target="_3ATXspOAEeWuO-fDDpYHyA">
  165. <children xsi:type="notation:DecorationNode" xmi:id="_IEZU9JjeEeWLmIbak1Hh1Q" type="TransitionExpression">
  166. <styles xsi:type="notation:ShapeStyle" xmi:id="_IEZU9ZjeEeWLmIbak1Hh1Q"/>
  167. <layoutConstraint xsi:type="notation:Location" xmi:id="_IEZU9pjeEeWLmIbak1Hh1Q" x="-1" y="32"/>
  168. </children>
  169. <styles xsi:type="notation:ConnectorStyle" xmi:id="_IEZU8ZjeEeWLmIbak1Hh1Q" lineColor="4210752"/>
  170. <styles xsi:type="notation:FontStyle" xmi:id="_IEZU85jeEeWLmIbak1Hh1Q" fontName="Verdana"/>
  171. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_IEZU8pjeEeWLmIbak1Hh1Q" points="[0, 0, 71, -172]$[-70, 196, 1, 24]"/>
  172. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_IFC1MJjeEeWLmIbak1Hh1Q" id="(0.45,0.9056603773584906)"/>
  173. </edges>
  174. <edges xmi:id="_R6Z-gJjjEeWLmIbak1Hh1Q" type="Transition" element="_R6ZXcJjjEeWLmIbak1Hh1Q" source="_3ATXspOAEeWuO-fDDpYHyA" target="_R52k4JjjEeWLmIbak1Hh1Q">
  175. <children xsi:type="notation:DecorationNode" xmi:id="_R6alkJjjEeWLmIbak1Hh1Q" type="TransitionExpression">
  176. <styles xsi:type="notation:ShapeStyle" xmi:id="_R6alkZjjEeWLmIbak1Hh1Q"/>
  177. <layoutConstraint xsi:type="notation:Location" xmi:id="_R6alkpjjEeWLmIbak1Hh1Q" x="-4" y="-59"/>
  178. </children>
  179. <styles xsi:type="notation:ConnectorStyle" xmi:id="_R6Z-gZjjEeWLmIbak1Hh1Q" lineColor="4210752"/>
  180. <styles xsi:type="notation:FontStyle" xmi:id="_R6Z-g5jjEeWLmIbak1Hh1Q" fontName="Verdana"/>
  181. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_R6Z-gpjjEeWLmIbak1Hh1Q" points="[-17, -23, 182, 230]$[-197, -250, 2, 3]"/>
  182. </edges>
  183. <edges xmi:id="_JU1gwJjsEeWLmIbak1Hh1Q" type="Transition" element="_JU0SoJjsEeWLmIbak1Hh1Q" source="_R52k4JjjEeWLmIbak1Hh1Q" target="_JUQR8JjsEeWLmIbak1Hh1Q">
  184. <children xsi:type="notation:DecorationNode" xmi:id="_JU1gxJjsEeWLmIbak1Hh1Q" type="TransitionExpression">
  185. <styles xsi:type="notation:ShapeStyle" xmi:id="_JU1gxZjsEeWLmIbak1Hh1Q"/>
  186. <layoutConstraint xsi:type="notation:Location" xmi:id="_JU1gxpjsEeWLmIbak1Hh1Q" x="1" y="-32"/>
  187. </children>
  188. <styles xsi:type="notation:ConnectorStyle" xmi:id="_JU1gwZjsEeWLmIbak1Hh1Q" lineColor="4210752"/>
  189. <styles xsi:type="notation:FontStyle" xmi:id="_JU1gw5jsEeWLmIbak1Hh1Q" fontName="Verdana"/>
  190. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_JU1gwpjsEeWLmIbak1Hh1Q" points="[-13, -24, 187, 354]$[-199, -375, 1, 3]"/>
  191. </edges>
  192. <edges xmi:id="_aFxuYJjsEeWLmIbak1Hh1Q" type="Transition" element="_aFxHUJjsEeWLmIbak1Hh1Q" source="_JUQR8JjsEeWLmIbak1Hh1Q" target="_aFOUwJjsEeWLmIbak1Hh1Q">
  193. <children xsi:type="notation:DecorationNode" xmi:id="_aFyVcZjsEeWLmIbak1Hh1Q" type="TransitionExpression">
  194. <styles xsi:type="notation:ShapeStyle" xmi:id="_aFyVcpjsEeWLmIbak1Hh1Q"/>
  195. <layoutConstraint xsi:type="notation:Location" xmi:id="_aFyVc5jsEeWLmIbak1Hh1Q" x="-1" y="-32"/>
  196. </children>
  197. <styles xsi:type="notation:ConnectorStyle" xmi:id="_aFxuYZjsEeWLmIbak1Hh1Q" lineColor="4210752"/>
  198. <styles xsi:type="notation:FontStyle" xmi:id="_aFyVcJjsEeWLmIbak1Hh1Q" fontName="Verdana"/>
  199. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_aFxuYpjsEeWLmIbak1Hh1Q" points="[-10, -24, 189, 439]$[-198, -460, 1, 3]"/>
  200. </edges>
  201. <edges xmi:id="_mPDNUJjsEeWLmIbak1Hh1Q" type="Transition" element="_mPB_MJjsEeWLmIbak1Hh1Q" source="_aFOUwJjsEeWLmIbak1Hh1Q" target="_3ATXspOAEeWuO-fDDpYHyA">
  202. <children xsi:type="notation:DecorationNode" xmi:id="_mPDNVJjsEeWLmIbak1Hh1Q" type="TransitionExpression">
  203. <styles xsi:type="notation:ShapeStyle" xmi:id="_mPDNVZjsEeWLmIbak1Hh1Q"/>
  204. <layoutConstraint xsi:type="notation:Location" xmi:id="_mPDNVpjsEeWLmIbak1Hh1Q" x="-195" y="10"/>
  205. </children>
  206. <styles xsi:type="notation:ConnectorStyle" xmi:id="_mPDNUZjsEeWLmIbak1Hh1Q" lineColor="4210752"/>
  207. <styles xsi:type="notation:FontStyle" xmi:id="_mPDNU5jsEeWLmIbak1Hh1Q" fontName="Verdana"/>
  208. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_mPDNUpjsEeWLmIbak1Hh1Q" points="[-3, -2, -37, 324]$[-57, -2, -91, 324]$[-57, -326, -91, 0]$[33, -326, -1, 0]"/>
  209. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_mPhucJjsEeWLmIbak1Hh1Q" id="(0.03571428571428571,0.6415094339622641)"/>
  210. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_xhcuoJjsEeWLmIbak1Hh1Q" id="(0.05,0.5094339622641509)"/>
  211. </edges>
  212. <edges xmi:id="_nuHcQJkAEeWLmIbak1Hh1Q" type="Transition" element="_nuG1MJkAEeWLmIbak1Hh1Q" source="_R52k4JjjEeWLmIbak1Hh1Q" target="_3ATXspOAEeWuO-fDDpYHyA">
  213. <children xsi:type="notation:DecorationNode" xmi:id="_nuIDUZkAEeWLmIbak1Hh1Q" type="TransitionExpression">
  214. <styles xsi:type="notation:ShapeStyle" xmi:id="_nuIDUpkAEeWLmIbak1Hh1Q"/>
  215. <layoutConstraint xsi:type="notation:Location" xmi:id="_nuIDU5kAEeWLmIbak1Hh1Q" x="-81" y="-22"/>
  216. </children>
  217. <styles xsi:type="notation:ConnectorStyle" xmi:id="_nuHcQZkAEeWLmIbak1Hh1Q" lineColor="4210752"/>
  218. <styles xsi:type="notation:FontStyle" xmi:id="_nuIDUJkAEeWLmIbak1Hh1Q" fontName="Verdana"/>
  219. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_nuHcQpkAEeWLmIbak1Hh1Q" points="[4, 0, 38, 104]$[73, 0, 107, 104]$[73, -98, 107, 6]$[-27, -98, 7, 6]"/>
  220. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_nu7UkJkAEeWLmIbak1Hh1Q" id="(0.9603960396039604,0.49056603773584906)"/>
  221. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_nu7UkZkAEeWLmIbak1Hh1Q" id="(0.8,0.7169811320754716)"/>
  222. </edges>
  223. <edges xmi:id="_qvI9QJkAEeWLmIbak1Hh1Q" type="Transition" element="_qvHvIJkAEeWLmIbak1Hh1Q" source="_JUQR8JjsEeWLmIbak1Hh1Q" target="_3ATXspOAEeWuO-fDDpYHyA">
  224. <children xsi:type="notation:DecorationNode" xmi:id="_qvI9RJkAEeWLmIbak1Hh1Q" type="TransitionExpression">
  225. <styles xsi:type="notation:ShapeStyle" xmi:id="_qvI9RZkAEeWLmIbak1Hh1Q"/>
  226. <layoutConstraint xsi:type="notation:Location" xmi:id="_qvI9RpkAEeWLmIbak1Hh1Q" x="-134" y="-56"/>
  227. </children>
  228. <styles xsi:type="notation:ConnectorStyle" xmi:id="_qvI9QZkAEeWLmIbak1Hh1Q" lineColor="4210752"/>
  229. <styles xsi:type="notation:FontStyle" xmi:id="_qvI9Q5kAEeWLmIbak1Hh1Q" fontName="Verdana"/>
  230. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_qvI9QpkAEeWLmIbak1Hh1Q" points="[2, 0, 32, 221]$[108, 0, 138, 221]$[108, -215, 138, 6]$[-26, -215, 4, 6]"/>
  231. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_qvmQQJkAEeWLmIbak1Hh1Q" id="(0.9791666666666666,0.5471698113207547)"/>
  232. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_UGV5gJkCEeWLmIbak1Hh1Q" id="(0.9,0.5283018867924528)"/>
  233. </edges>
  234. <edges xmi:id="_sGa5QJkAEeWLmIbak1Hh1Q" type="Transition" element="_sGZrIJkAEeWLmIbak1Hh1Q" source="_aFOUwJjsEeWLmIbak1Hh1Q" target="_3ATXspOAEeWuO-fDDpYHyA">
  235. <children xsi:type="notation:DecorationNode" xmi:id="_sGa5RJkAEeWLmIbak1Hh1Q" type="TransitionExpression">
  236. <styles xsi:type="notation:ShapeStyle" xmi:id="_sGa5RZkAEeWLmIbak1Hh1Q"/>
  237. <layoutConstraint xsi:type="notation:Location" xmi:id="_sGa5RpkAEeWLmIbak1Hh1Q" x="-195" y="-83"/>
  238. </children>
  239. <styles xsi:type="notation:ConnectorStyle" xmi:id="_sGa5QZkAEeWLmIbak1Hh1Q" lineColor="4210752"/>
  240. <styles xsi:type="notation:FontStyle" xmi:id="_sGa5Q5kAEeWLmIbak1Hh1Q" fontName="Verdana"/>
  241. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_sGa5QpkAEeWLmIbak1Hh1Q" points="[6, 0, 54, 317]$[136, 0, 184, 317]$[136, -317, 184, 0]$[-30, -317, 18, 0]"/>
  242. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_sG5aYJkAEeWLmIbak1Hh1Q" id="(0.9464285714285714,0.4528301886792453)"/>
  243. </edges>
  244. </notation:Diagram>
  245. </xmi:XMI>