Choice.sct 28 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302
  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="_z1asQJ6iEeGR-6jhjFPx5A" specification="interface:&#xD;&#xA;in event e &#xD;&#xA;in event f&#xD;&#xA;in event g&#xD;&#xA;in event h&#xD;&#xA;var c : boolean = false&#xD;&#xA;" name="Choice">
  4. <regions xmi:id="_z1asQ56iEeGR-6jhjFPx5A" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_z1j2OZ6iEeGR-6jhjFPx5A">
  6. <outgoingTransitions xmi:id="_Pi-ogKlkEeGmpNX2cnyk2Q" specification="" target="_LdKpsKlkEeGmpNX2cnyk2Q"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_LdKpsKlkEeGmpNX2cnyk2Q" specification="" name="A" incomingTransitions="_Pi-ogKlkEeGmpNX2cnyk2Q _Bo7nIKJ4EeK62NKshpou-A _JClVQKJ4EeK62NKshpou-A">
  9. <outgoingTransitions xmi:id="_SIYkgKlkEeGmpNX2cnyk2Q" specification="e" target="_RkLEMKlkEeGmpNX2cnyk2Q"/>
  10. <outgoingTransitions xmi:id="_bU4WAKl0EeGcJsk19eqYVQ" specification="f" target="_r9eW0JNOEeKBtrru-JWnVQ"/>
  11. <outgoingTransitions xmi:id="_lmJvUKllEeGmpNX2cnyk2Q" specification="g" target="_zaksAKlmEeGmpNX2cnyk2Q"/>
  12. <outgoingTransitions xmi:id="_dX4vkKJ6EeK62NKshpou-A" specification="h" target="_b6MpkKJ6EeK62NKshpou-A"/>
  13. </vertices>
  14. <vertices xsi:type="sgraph:Choice" xmi:id="_RkLEMKlkEeGmpNX2cnyk2Q" incomingTransitions="_SIYkgKlkEeGmpNX2cnyk2Q">
  15. <outgoingTransitions xmi:id="_V0axYKlkEeGmpNX2cnyk2Q" specification="else" target="_W-U_wKlkEeGmpNX2cnyk2Q"/>
  16. <outgoingTransitions xmi:id="_ZLvSgKlkEeGmpNX2cnyk2Q" specification="[c]" target="_OoKJkKllEeGmpNX2cnyk2Q"/>
  17. </vertices>
  18. <vertices xsi:type="sgraph:State" xmi:id="_W-U_wKlkEeGmpNX2cnyk2Q" specification="" name="B" incomingTransitions="_takm8JNOEeKBtrru-JWnVQ _V0axYKlkEeGmpNX2cnyk2Q _OWpsYKlxEeGcJsk19eqYVQ _j8lysKJ6EeK62NKshpou-A">
  19. <outgoingTransitions xmi:id="_Bo7nIKJ4EeK62NKshpou-A" specification="default" target="_LdKpsKlkEeGmpNX2cnyk2Q"/>
  20. </vertices>
  21. <vertices xsi:type="sgraph:State" xmi:id="_OoKJkKllEeGmpNX2cnyk2Q" specification="" name="C" incomingTransitions="_vcYGoJNOEeKBtrru-JWnVQ _ZLvSgKlkEeGmpNX2cnyk2Q _gnWqUKl2EeGcJsk19eqYVQ _0ovm8KJ6EeK62NKshpou-A">
  22. <outgoingTransitions xmi:id="_JClVQKJ4EeK62NKshpou-A" specification="default" target="_LdKpsKlkEeGmpNX2cnyk2Q"/>
  23. </vertices>
  24. <vertices xsi:type="sgraph:Choice" xmi:id="_zaksAKlmEeGmpNX2cnyk2Q" incomingTransitions="_lmJvUKllEeGmpNX2cnyk2Q">
  25. <outgoingTransitions xmi:id="_gnWqUKl2EeGcJsk19eqYVQ" specification="[c]" target="_OoKJkKllEeGmpNX2cnyk2Q"/>
  26. <outgoingTransitions xmi:id="_OWpsYKlxEeGcJsk19eqYVQ" specification="default" target="_W-U_wKlkEeGmpNX2cnyk2Q"/>
  27. </vertices>
  28. <vertices xsi:type="sgraph:Choice" xmi:id="_r9eW0JNOEeKBtrru-JWnVQ" incomingTransitions="_bU4WAKl0EeGcJsk19eqYVQ">
  29. <outgoingTransitions xmi:id="_takm8JNOEeKBtrru-JWnVQ" specification="//nothing" target="_W-U_wKlkEeGmpNX2cnyk2Q"/>
  30. <outgoingTransitions xmi:id="_vcYGoJNOEeKBtrru-JWnVQ" specification="[c]" target="_OoKJkKllEeGmpNX2cnyk2Q"/>
  31. </vertices>
  32. <vertices xsi:type="sgraph:Choice" xmi:id="_b6MpkKJ6EeK62NKshpou-A" incomingTransitions="_dX4vkKJ6EeK62NKshpou-A">
  33. <outgoingTransitions xmi:id="_j8lysKJ6EeK62NKshpou-A" specification="default" target="_W-U_wKlkEeGmpNX2cnyk2Q"/>
  34. <outgoingTransitions xmi:id="_0ovm8KJ6EeK62NKshpou-A" specification="[c]" target="_OoKJkKllEeGmpNX2cnyk2Q"/>
  35. </vertices>
  36. </regions>
  37. </sgraph:Statechart>
  38. <notation:Diagram xmi:id="_z1asQZ6iEeGR-6jhjFPx5A" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_z1asQJ6iEeGR-6jhjFPx5A" measurementUnit="Pixel">
  39. <children xmi:id="_z1j2MJ6iEeGR-6jhjFPx5A" type="Region" element="_z1asQ56iEeGR-6jhjFPx5A">
  40. <children xsi:type="notation:DecorationNode" xmi:id="_z1j2M56iEeGR-6jhjFPx5A" type="RegionName">
  41. <styles xsi:type="notation:ShapeStyle" xmi:id="_z1j2NJ6iEeGR-6jhjFPx5A"/>
  42. <layoutConstraint xsi:type="notation:Location" xmi:id="_z1j2NZ6iEeGR-6jhjFPx5A"/>
  43. </children>
  44. <children xsi:type="notation:Shape" xmi:id="_z1j2Np6iEeGR-6jhjFPx5A" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  45. <children xmi:id="_z1j2Op6iEeGR-6jhjFPx5A" type="Entry" element="_z1j2OZ6iEeGR-6jhjFPx5A">
  46. <children xmi:id="_z1j2PZ6iEeGR-6jhjFPx5A" type="BorderItemLabelContainer">
  47. <children xsi:type="notation:DecorationNode" xmi:id="_z1j2QJ6iEeGR-6jhjFPx5A" type="BorderItemLabel">
  48. <styles xsi:type="notation:ShapeStyle" xmi:id="_z1j2QZ6iEeGR-6jhjFPx5A"/>
  49. <layoutConstraint xsi:type="notation:Location" xmi:id="_z1j2Qp6iEeGR-6jhjFPx5A"/>
  50. </children>
  51. <styles xsi:type="notation:ShapeStyle" xmi:id="_z1j2Pp6iEeGR-6jhjFPx5A" fontName="Verdana" lineColor="4210752"/>
  52. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_z1j2P56iEeGR-6jhjFPx5A"/>
  53. </children>
  54. <styles xsi:type="notation:ShapeStyle" xmi:id="_z1j2O56iEeGR-6jhjFPx5A" fontName="Verdana" lineColor="4210752"/>
  55. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_z1tnMJ6iEeGR-6jhjFPx5A" x="28" y="43"/>
  56. </children>
  57. <children xmi:id="_LdeLsKlkEeGmpNX2cnyk2Q" type="State" element="_LdKpsKlkEeGmpNX2cnyk2Q">
  58. <children xsi:type="notation:DecorationNode" xmi:id="_LdeLtKlkEeGmpNX2cnyk2Q" type="StateName">
  59. <styles xsi:type="notation:ShapeStyle" xmi:id="_LdeLtalkEeGmpNX2cnyk2Q"/>
  60. <layoutConstraint xsi:type="notation:Location" xmi:id="_LdeLtqlkEeGmpNX2cnyk2Q"/>
  61. </children>
  62. <children xsi:type="notation:Compartment" xmi:id="_LdeLt6lkEeGmpNX2cnyk2Q" type="StateTextCompartment">
  63. <children xsi:type="notation:Shape" xmi:id="_LdeLuKlkEeGmpNX2cnyk2Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  64. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_LdeLualkEeGmpNX2cnyk2Q"/>
  65. </children>
  66. </children>
  67. <children xsi:type="notation:Compartment" xmi:id="_LdeLuqlkEeGmpNX2cnyk2Q" type="StateFigureCompartment"/>
  68. <styles xsi:type="notation:ShapeStyle" xmi:id="_LdeLsalkEeGmpNX2cnyk2Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  69. <styles xsi:type="notation:FontStyle" xmi:id="_LdeLsqlkEeGmpNX2cnyk2Q"/>
  70. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_LdeLu6lkEeGmpNX2cnyk2Q"/>
  71. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_LdeLs6lkEeGmpNX2cnyk2Q" x="164" y="29" width="154" height="48"/>
  72. </children>
  73. <children xsi:type="notation:Shape" xmi:id="_RkU1MKlkEeGmpNX2cnyk2Q" type="Choice" element="_RkLEMKlkEeGmpNX2cnyk2Q" fontName="Verdana" lineColor="4210752">
  74. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_RkU1MalkEeGmpNX2cnyk2Q" x="176" y="104"/>
  75. </children>
  76. <children xmi:id="_W-n6sKlkEeGmpNX2cnyk2Q" type="State" element="_W-U_wKlkEeGmpNX2cnyk2Q">
  77. <children xsi:type="notation:DecorationNode" xmi:id="_W-n6tKlkEeGmpNX2cnyk2Q" type="StateName">
  78. <styles xsi:type="notation:ShapeStyle" xmi:id="_W-n6talkEeGmpNX2cnyk2Q"/>
  79. <layoutConstraint xsi:type="notation:Location" xmi:id="_W-n6tqlkEeGmpNX2cnyk2Q"/>
  80. </children>
  81. <children xsi:type="notation:Compartment" xmi:id="_W-n6t6lkEeGmpNX2cnyk2Q" type="StateTextCompartment">
  82. <children xsi:type="notation:Shape" xmi:id="_W-n6uKlkEeGmpNX2cnyk2Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  83. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_W-n6ualkEeGmpNX2cnyk2Q"/>
  84. </children>
  85. </children>
  86. <children xsi:type="notation:Compartment" xmi:id="_W-n6uqlkEeGmpNX2cnyk2Q" type="StateFigureCompartment"/>
  87. <styles xsi:type="notation:ShapeStyle" xmi:id="_W-n6salkEeGmpNX2cnyk2Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  88. <styles xsi:type="notation:FontStyle" xmi:id="_W-n6sqlkEeGmpNX2cnyk2Q"/>
  89. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_W-n6u6lkEeGmpNX2cnyk2Q"/>
  90. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_W-n6s6lkEeGmpNX2cnyk2Q" x="284" y="255" width="145" height="48"/>
  91. </children>
  92. <children xmi:id="_OoTTgKllEeGmpNX2cnyk2Q" type="State" element="_OoKJkKllEeGmpNX2cnyk2Q">
  93. <children xsi:type="notation:DecorationNode" xmi:id="_OodEgKllEeGmpNX2cnyk2Q" type="StateName">
  94. <styles xsi:type="notation:ShapeStyle" xmi:id="_OodEgallEeGmpNX2cnyk2Q"/>
  95. <layoutConstraint xsi:type="notation:Location" xmi:id="_OodEgqllEeGmpNX2cnyk2Q"/>
  96. </children>
  97. <children xsi:type="notation:Compartment" xmi:id="_OodEg6llEeGmpNX2cnyk2Q" type="StateTextCompartment">
  98. <children xsi:type="notation:Shape" xmi:id="_OodEhKllEeGmpNX2cnyk2Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  99. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_OodEhallEeGmpNX2cnyk2Q"/>
  100. </children>
  101. </children>
  102. <children xsi:type="notation:Compartment" xmi:id="_OodEhqllEeGmpNX2cnyk2Q" type="StateFigureCompartment"/>
  103. <styles xsi:type="notation:ShapeStyle" xmi:id="_OoTTgallEeGmpNX2cnyk2Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  104. <styles xsi:type="notation:FontStyle" xmi:id="_OoTTgqllEeGmpNX2cnyk2Q"/>
  105. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_OodEh6llEeGmpNX2cnyk2Q"/>
  106. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_OoTTg6llEeGmpNX2cnyk2Q" x="47" y="255" width="163" height="48"/>
  107. </children>
  108. <children xsi:type="notation:Shape" xmi:id="_zat18KlmEeGmpNX2cnyk2Q" type="Choice" element="_zaksAKlmEeGmpNX2cnyk2Q" fontName="Verdana" lineColor="4210752">
  109. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_zat18almEeGmpNX2cnyk2Q" x="244" y="104"/>
  110. </children>
  111. <children xsi:type="notation:Shape" xmi:id="_r-wwQJNOEeKBtrru-JWnVQ" type="Choice" element="_r9eW0JNOEeKBtrru-JWnVQ" fontName="Verdana" lineColor="4210752">
  112. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_r-wwQZNOEeKBtrru-JWnVQ" x="211" y="104"/>
  113. </children>
  114. <children xsi:type="notation:Shape" xmi:id="_nT2RgJQYEeKBtrru-JWnVQ" type="Note" fontName="Verdana" description="unguarded transition with higher order must be used like default transition" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
  115. <children xsi:type="notation:BasicDecorationNode" xmi:id="_nT3foJQYEeKBtrru-JWnVQ" type="DiagramName">
  116. <element xsi:nil="true"/>
  117. </children>
  118. <children xsi:type="notation:BasicDecorationNode" xmi:id="_nT3foZQYEeKBtrru-JWnVQ" type="Description">
  119. <element xsi:nil="true"/>
  120. </children>
  121. <styles xsi:type="notation:TextStyle" xmi:id="_nT2RgZQYEeKBtrru-JWnVQ"/>
  122. <styles xsi:type="notation:LineTypeStyle" xmi:id="_nT2RgpQYEeKBtrru-JWnVQ"/>
  123. <element xsi:nil="true"/>
  124. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_nT2Rg5QYEeKBtrru-JWnVQ" x="400" y="-5" width="75"/>
  125. </children>
  126. <children xsi:type="notation:Shape" xmi:id="_b6N3sKJ6EeK62NKshpou-A" type="Choice" element="_b6MpkKJ6EeK62NKshpou-A" fontName="Verdana" lineColor="4210752">
  127. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_b6N3saJ6EeK62NKshpou-A" x="276" y="104"/>
  128. </children>
  129. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_z1j2N56iEeGR-6jhjFPx5A"/>
  130. </children>
  131. <styles xsi:type="notation:ShapeStyle" xmi:id="_z1j2MZ6iEeGR-6jhjFPx5A" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  132. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_z1j2OJ6iEeGR-6jhjFPx5A" x="209" y="10" width="516" height="400"/>
  133. </children>
  134. <children xsi:type="notation:Shape" xmi:id="_z1tnSJ6iEeGR-6jhjFPx5A" type="StatechartText" fontName="Verdana" lineColor="4210752">
  135. <children xsi:type="notation:DecorationNode" xmi:id="_z1tnSp6iEeGR-6jhjFPx5A" type="StatechartName">
  136. <styles xsi:type="notation:ShapeStyle" xmi:id="_z1tnS56iEeGR-6jhjFPx5A"/>
  137. <layoutConstraint xsi:type="notation:Location" xmi:id="_z1tnTJ6iEeGR-6jhjFPx5A"/>
  138. </children>
  139. <children xsi:type="notation:Shape" xmi:id="_z1tnTZ6iEeGR-6jhjFPx5A" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  140. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_z1tnTp6iEeGR-6jhjFPx5A"/>
  141. </children>
  142. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_z13YMJ6iEeGR-6jhjFPx5A" x="10" y="10" width="200" height="400"/>
  143. </children>
  144. <styles xsi:type="notation:DiagramStyle" xmi:id="_z1asQp6iEeGR-6jhjFPx5A"/>
  145. <edges xmi:id="_PjIZgKlkEeGmpNX2cnyk2Q" type="Transition" element="_Pi-ogKlkEeGmpNX2cnyk2Q" source="_z1j2Op6iEeGR-6jhjFPx5A" target="_LdeLsKlkEeGmpNX2cnyk2Q">
  146. <children xsi:type="notation:DecorationNode" xmi:id="_PjIZhKlkEeGmpNX2cnyk2Q" type="TransitionExpression">
  147. <styles xsi:type="notation:ShapeStyle" xmi:id="_PjIZhalkEeGmpNX2cnyk2Q"/>
  148. <layoutConstraint xsi:type="notation:Location" xmi:id="_PjIZhqlkEeGmpNX2cnyk2Q" y="10"/>
  149. </children>
  150. <styles xsi:type="notation:ConnectorStyle" xmi:id="_PjIZgalkEeGmpNX2cnyk2Q" lineColor="4210752"/>
  151. <styles xsi:type="notation:FontStyle" xmi:id="_PjIZg6lkEeGmpNX2cnyk2Q" fontName="Verdana"/>
  152. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_PjIZgqlkEeGmpNX2cnyk2Q" points="[8, 0, -175, 31]$[129, 0, -54, 31]$[129, 0, -54, 31]"/>
  153. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_PjSKgKlkEeGmpNX2cnyk2Q" id="(0.5,0.0)"/>
  154. </edges>
  155. <edges xmi:id="_SIiVgKlkEeGmpNX2cnyk2Q" type="Transition" element="_SIYkgKlkEeGmpNX2cnyk2Q" source="_LdeLsKlkEeGmpNX2cnyk2Q" target="_RkU1MKlkEeGmpNX2cnyk2Q">
  156. <children xsi:type="notation:DecorationNode" xmi:id="_SIiVhKlkEeGmpNX2cnyk2Q" type="TransitionExpression">
  157. <styles xsi:type="notation:ShapeStyle" xmi:id="_SIiVhalkEeGmpNX2cnyk2Q"/>
  158. <layoutConstraint xsi:type="notation:Location" xmi:id="_SIiVhqlkEeGmpNX2cnyk2Q" x="-3" y="-13"/>
  159. </children>
  160. <styles xsi:type="notation:ConnectorStyle" xmi:id="_SIiVgalkEeGmpNX2cnyk2Q" routing="Rectilinear" lineColor="4210752"/>
  161. <styles xsi:type="notation:FontStyle" xmi:id="_SIiVg6lkEeGmpNX2cnyk2Q" fontName="Verdana"/>
  162. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_SIiVgqlkEeGmpNX2cnyk2Q" points="[-3, 5, 4, -35]$[-3, 37, 4, -3]"/>
  163. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_SI1QcKlkEeGmpNX2cnyk2Q" id="(0.14935064935064934,0.8958333333333334)"/>
  164. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_SI1QcalkEeGmpNX2cnyk2Q" id="(0.2,0.2)"/>
  165. </edges>
  166. <edges xmi:id="_V0kiYKlkEeGmpNX2cnyk2Q" type="Transition" element="_V0axYKlkEeGmpNX2cnyk2Q" source="_RkU1MKlkEeGmpNX2cnyk2Q" target="_W-n6sKlkEeGmpNX2cnyk2Q">
  167. <children xsi:type="notation:DecorationNode" xmi:id="_V0kiZKlkEeGmpNX2cnyk2Q" type="TransitionExpression">
  168. <styles xsi:type="notation:ShapeStyle" xmi:id="_V0kiZalkEeGmpNX2cnyk2Q"/>
  169. <layoutConstraint xsi:type="notation:Location" xmi:id="_V0kiZqlkEeGmpNX2cnyk2Q" x="40" y="7"/>
  170. </children>
  171. <styles xsi:type="notation:ConnectorStyle" xmi:id="_V0kiYalkEeGmpNX2cnyk2Q" lineColor="4210752"/>
  172. <styles xsi:type="notation:FontStyle" xmi:id="_V0kiY6lkEeGmpNX2cnyk2Q" fontName="Verdana"/>
  173. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_V0kiYqlkEeGmpNX2cnyk2Q" points="[6, 8, -128, -151]$[127, 151, -7, -8]"/>
  174. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_V0kiZ6lkEeGmpNX2cnyk2Q" id="(0.17204301075268819,0.0625)"/>
  175. </edges>
  176. <edges xmi:id="_ZLvSgalkEeGmpNX2cnyk2Q" type="Transition" element="_ZLvSgKlkEeGmpNX2cnyk2Q" source="_RkU1MKlkEeGmpNX2cnyk2Q" target="_OoTTgKllEeGmpNX2cnyk2Q">
  177. <children xsi:type="notation:DecorationNode" xmi:id="_ZL5DgalkEeGmpNX2cnyk2Q" type="TransitionExpression">
  178. <styles xsi:type="notation:ShapeStyle" xmi:id="_ZL5DgqlkEeGmpNX2cnyk2Q"/>
  179. <layoutConstraint xsi:type="notation:Location" xmi:id="_ZL5Dg6lkEeGmpNX2cnyk2Q" x="-17" y="13"/>
  180. </children>
  181. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ZLvSgqlkEeGmpNX2cnyk2Q" lineColor="4210752"/>
  182. <styles xsi:type="notation:FontStyle" xmi:id="_ZL5DgKlkEeGmpNX2cnyk2Q" fontName="Verdana"/>
  183. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ZLvSg6lkEeGmpNX2cnyk2Q" points="[-2, 2, 130, -138]$[-131, 140, 1, 0]"/>
  184. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_auPmEKJ1EeK62NKshpou-A" id="(0.13333333333333333,0.6666666666666666)"/>
  185. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_ZL5DhKlkEeGmpNX2cnyk2Q" id="(0.27102803738317754,0.010416666666666666)"/>
  186. </edges>
  187. <edges xmi:id="_lmTgUKllEeGmpNX2cnyk2Q" type="Transition" element="_lmJvUKllEeGmpNX2cnyk2Q" source="_LdeLsKlkEeGmpNX2cnyk2Q" target="_zat18KlmEeGmpNX2cnyk2Q">
  188. <children xsi:type="notation:DecorationNode" xmi:id="_lmTgVKllEeGmpNX2cnyk2Q" type="TransitionExpression">
  189. <styles xsi:type="notation:ShapeStyle" xmi:id="_lmTgVallEeGmpNX2cnyk2Q"/>
  190. <layoutConstraint xsi:type="notation:Location" xmi:id="_lmTgVqllEeGmpNX2cnyk2Q" x="-1" y="-14"/>
  191. </children>
  192. <styles xsi:type="notation:ConnectorStyle" xmi:id="_lmTgUallEeGmpNX2cnyk2Q" routing="Rectilinear" lineColor="4210752"/>
  193. <styles xsi:type="notation:FontStyle" xmi:id="_lmTgU6llEeGmpNX2cnyk2Q" fontName="Verdana"/>
  194. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_lmTgUqllEeGmpNX2cnyk2Q" points="[-37, 5, 4, -37]$[-37, 37, 4, -5]"/>
  195. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_L-SYwKJ1EeK62NKshpou-A" id="(0.8333333333333334,0.8985507246376812)"/>
  196. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_lmcqQallEeGmpNX2cnyk2Q" id="(0.2,0.3333333333333333)"/>
  197. </edges>
  198. <edges xmi:id="_OWy2UKlxEeGcJsk19eqYVQ" type="Transition" element="_OWpsYKlxEeGcJsk19eqYVQ" source="_zat18KlmEeGmpNX2cnyk2Q" target="_W-n6sKlkEeGmpNX2cnyk2Q">
  199. <children xsi:type="notation:DecorationNode" xmi:id="_OWy2VKlxEeGcJsk19eqYVQ" type="TransitionExpression">
  200. <styles xsi:type="notation:ShapeStyle" xmi:id="_OWy2ValxEeGcJsk19eqYVQ"/>
  201. <layoutConstraint xsi:type="notation:Location" xmi:id="_OWy2VqlxEeGcJsk19eqYVQ" x="6" y="-17"/>
  202. </children>
  203. <styles xsi:type="notation:ConnectorStyle" xmi:id="_OWy2UalxEeGcJsk19eqYVQ" lineColor="4210752"/>
  204. <styles xsi:type="notation:FontStyle" xmi:id="_OWy2U6lxEeGcJsk19eqYVQ" fontName="Verdana"/>
  205. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_OWy2UqlxEeGcJsk19eqYVQ" points="[-7, 8, 174, -180]$[-138, 143, 43, -45]"/>
  206. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_5yMmUKJ1EeK62NKshpou-A" id="(0.6068965517241379,0.08333333333333333)"/>
  207. </edges>
  208. <edges xmi:id="_bU4WAal0EeGcJsk19eqYVQ" type="Transition" element="_bU4WAKl0EeGcJsk19eqYVQ" source="_LdeLsKlkEeGmpNX2cnyk2Q" target="_r-wwQJNOEeKBtrru-JWnVQ">
  209. <children xsi:type="notation:DecorationNode" xmi:id="_bVCHA6l0EeGcJsk19eqYVQ" type="TransitionExpression">
  210. <styles xsi:type="notation:ShapeStyle" xmi:id="_bVCHBKl0EeGcJsk19eqYVQ"/>
  211. <layoutConstraint xsi:type="notation:Location" xmi:id="_bVCHBal0EeGcJsk19eqYVQ" x="-3" y="-8"/>
  212. </children>
  213. <styles xsi:type="notation:ConnectorStyle" xmi:id="_bVCHAKl0EeGcJsk19eqYVQ" routing="Rectilinear" lineColor="4210752"/>
  214. <styles xsi:type="notation:FontStyle" xmi:id="_bVCHAql0EeGcJsk19eqYVQ" fontName="Verdana"/>
  215. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_bVCHAal0EeGcJsk19eqYVQ" points="[-21, 5, 0, -39]$[-21, 37, 0, -7]"/>
  216. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_hsWdgJQYEeKBtrru-JWnVQ" id="(0.5087719298245614,0.8840579710144928)"/>
  217. </edges>
  218. <edges xmi:id="_gnf0QKl2EeGcJsk19eqYVQ" type="Transition" element="_gnWqUKl2EeGcJsk19eqYVQ" source="_zat18KlmEeGmpNX2cnyk2Q" target="_OoTTgKllEeGmpNX2cnyk2Q">
  219. <children xsi:type="notation:DecorationNode" xmi:id="_gnf0RKl2EeGcJsk19eqYVQ" type="TransitionExpression">
  220. <styles xsi:type="notation:ShapeStyle" xmi:id="_gnf0Ral2EeGcJsk19eqYVQ"/>
  221. <layoutConstraint xsi:type="notation:Location" xmi:id="_gnf0Rql2EeGcJsk19eqYVQ" x="5" y="5"/>
  222. </children>
  223. <styles xsi:type="notation:ConnectorStyle" xmi:id="_gnf0Qal2EeGcJsk19eqYVQ" jumpLinkStatus="Below" jumpLinkType="Chamfered" lineColor="4210752"/>
  224. <styles xsi:type="notation:FontStyle" xmi:id="_gnf0Q6l2EeGcJsk19eqYVQ" fontName="Verdana"/>
  225. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_gnf0Qql2EeGcJsk19eqYVQ" points="[-7, 8, 144, -157]$[-130, 143, 21, -22]"/>
  226. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_gnplQKl2EeGcJsk19eqYVQ" id="(0.6932515337423313,0.14583333333333334)"/>
  227. </edges>
  228. <edges xmi:id="_tanDMJNOEeKBtrru-JWnVQ" type="Transition" element="_takm8JNOEeKBtrru-JWnVQ" source="_r-wwQJNOEeKBtrru-JWnVQ" target="_W-n6sKlkEeGmpNX2cnyk2Q">
  229. <children xsi:type="notation:DecorationNode" xmi:id="_tao4YJNOEeKBtrru-JWnVQ" type="TransitionExpression">
  230. <styles xsi:type="notation:ShapeStyle" xmi:id="_tao4YZNOEeKBtrru-JWnVQ"/>
  231. <layoutConstraint xsi:type="notation:Location" xmi:id="_tao4YpNOEeKBtrru-JWnVQ" x="-7" y="1"/>
  232. </children>
  233. <styles xsi:type="notation:ConnectorStyle" xmi:id="_tanDMZNOEeKBtrru-JWnVQ" lineColor="4210752"/>
  234. <styles xsi:type="notation:FontStyle" xmi:id="_tanDM5NOEeKBtrru-JWnVQ" fontName="Verdana"/>
  235. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_tanDMpNOEeKBtrru-JWnVQ" points="[5, 8, -111, -152]$[109, 151, -7, -9]"/>
  236. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_yw_C0KJ0EeK62NKshpou-A" id="(0.38620689655172413,0.020833333333333332)"/>
  237. </edges>
  238. <edges xmi:id="_vcZ70JNOEeKBtrru-JWnVQ" type="Transition" element="_vcYGoJNOEeKBtrru-JWnVQ" source="_r-wwQJNOEeKBtrru-JWnVQ" target="_OoTTgKllEeGmpNX2cnyk2Q">
  239. <children xsi:type="notation:DecorationNode" xmi:id="_vcZ71JNOEeKBtrru-JWnVQ" type="TransitionExpression">
  240. <styles xsi:type="notation:ShapeStyle" xmi:id="_vcZ71ZNOEeKBtrru-JWnVQ"/>
  241. <layoutConstraint xsi:type="notation:Location" xmi:id="_vcZ71pNOEeKBtrru-JWnVQ" x="14"/>
  242. </children>
  243. <styles xsi:type="notation:ConnectorStyle" xmi:id="_vcZ70ZNOEeKBtrru-JWnVQ" jumpLinkStatus="All" jumpLinkType="Chamfered" lineColor="4210752"/>
  244. <styles xsi:type="notation:FontStyle" xmi:id="_vcZ705NOEeKBtrru-JWnVQ" fontName="Verdana"/>
  245. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_vcZ70pNOEeKBtrru-JWnVQ" points="[-7, 8, 139, -141]$[-140, 143, 6, -6]"/>
  246. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_kqu6MJQYEeKBtrru-JWnVQ" id="(0.4962962962962963,0.0)"/>
  247. </edges>
  248. <edges xmi:id="_BpExEKJ4EeK62NKshpou-A" type="Transition" element="_Bo7nIKJ4EeK62NKshpou-A" source="_W-n6sKlkEeGmpNX2cnyk2Q" target="_LdeLsKlkEeGmpNX2cnyk2Q">
  249. <children xsi:type="notation:DecorationNode" xmi:id="_BpGmQKJ4EeK62NKshpou-A" type="TransitionExpression">
  250. <styles xsi:type="notation:ShapeStyle" xmi:id="_BpGmQaJ4EeK62NKshpou-A"/>
  251. <layoutConstraint xsi:type="notation:Location" xmi:id="_BpGmQqJ4EeK62NKshpou-A" x="11" y="-18"/>
  252. </children>
  253. <styles xsi:type="notation:ConnectorStyle" xmi:id="_BpExEaJ4EeK62NKshpou-A" lineColor="4210752"/>
  254. <styles xsi:type="notation:FontStyle" xmi:id="_BpExE6J4EeK62NKshpou-A" fontName="Verdana"/>
  255. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_BpExEqJ4EeK62NKshpou-A" points="[0, 0, 122, 211]$[0, -135, 122, 76]$[-102, -199, 20, 12]"/>
  256. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_BpIbcKJ4EeK62NKshpou-A" id="(0.9310344827586207,0.020833333333333332)"/>
  257. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_BpIbcaJ4EeK62NKshpou-A" id="(0.868421052631579,0.5217391304347826)"/>
  258. </edges>
  259. <edges xmi:id="_JCl8UKJ4EeK62NKshpou-A" type="Transition" element="_JClVQKJ4EeK62NKshpou-A" source="_OoTTgKllEeGmpNX2cnyk2Q" target="_LdeLsKlkEeGmpNX2cnyk2Q">
  260. <children xsi:type="notation:DecorationNode" xmi:id="_JCmjYaJ4EeK62NKshpou-A" type="TransitionExpression">
  261. <styles xsi:type="notation:ShapeStyle" xmi:id="_JCmjYqJ4EeK62NKshpou-A"/>
  262. <layoutConstraint xsi:type="notation:Location" xmi:id="_JCmjY6J4EeK62NKshpou-A" x="-14" y="-9"/>
  263. </children>
  264. <styles xsi:type="notation:ConnectorStyle" xmi:id="_JCl8UaJ4EeK62NKshpou-A" lineColor="4210752"/>
  265. <styles xsi:type="notation:FontStyle" xmi:id="_JCmjYKJ4EeK62NKshpou-A" fontName="Verdana"/>
  266. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_JCl8UqJ4EeK62NKshpou-A" points="[-6, -24, -117, 203]$[-6, -161, -117, 66]$[98, -220, -13, 7]"/>
  267. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_JCoYkKJ4EeK62NKshpou-A" id="(0.12149532710280374,0.5625)"/>
  268. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_JCoYkaJ4EeK62NKshpou-A" id="(0.08771929824561403,0.5507246376811594)"/>
  269. </edges>
  270. <edges xmi:id="_dX59sKJ6EeK62NKshpou-A" type="Transition" element="_dX4vkKJ6EeK62NKshpou-A" source="_LdeLsKlkEeGmpNX2cnyk2Q" target="_b6N3sKJ6EeK62NKshpou-A">
  271. <children xsi:type="notation:DecorationNode" xmi:id="_dX59tKJ6EeK62NKshpou-A" type="TransitionExpression">
  272. <styles xsi:type="notation:ShapeStyle" xmi:id="_dX59taJ6EeK62NKshpou-A"/>
  273. <layoutConstraint xsi:type="notation:Location" xmi:id="_dX59tqJ6EeK62NKshpou-A" x="4" y="-10"/>
  274. </children>
  275. <styles xsi:type="notation:ConnectorStyle" xmi:id="_dX59saJ6EeK62NKshpou-A" routing="Rectilinear" lineColor="4210752"/>
  276. <styles xsi:type="notation:FontStyle" xmi:id="_dX59s6J6EeK62NKshpou-A" fontName="Verdana"/>
  277. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_dX59sqJ6EeK62NKshpou-A" points="[3, 21, 0, -39]$[3, 53, 0, -7]"/>
  278. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_dX7y4KJ6EeK62NKshpou-A" id="(0.7792207792207793,0.5208333333333334)"/>
  279. </edges>
  280. <edges xmi:id="_j8nA0KJ6EeK62NKshpou-A" type="Transition" element="_j8lysKJ6EeK62NKshpou-A" source="_b6N3sKJ6EeK62NKshpou-A" target="_W-n6sKlkEeGmpNX2cnyk2Q">
  281. <children xsi:type="notation:DecorationNode" xmi:id="_j8nA1KJ6EeK62NKshpou-A" type="TransitionExpression">
  282. <styles xsi:type="notation:ShapeStyle" xmi:id="_j8nA1aJ6EeK62NKshpou-A"/>
  283. <layoutConstraint xsi:type="notation:Location" xmi:id="_j8nA1qJ6EeK62NKshpou-A" x="-30" y="-16"/>
  284. </children>
  285. <styles xsi:type="notation:ConnectorStyle" xmi:id="_j8nA0aJ6EeK62NKshpou-A" lineColor="4210752"/>
  286. <styles xsi:type="notation:FontStyle" xmi:id="_j8nA06J6EeK62NKshpou-A" fontName="Verdana"/>
  287. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_j8nA0qJ6EeK62NKshpou-A" points="[6, 8, -113, -149]$[124, 151, 5, -6]"/>
  288. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_j8o2AKJ6EeK62NKshpou-A" id="(0.8413793103448276,0.14583333333333334)"/>
  289. </edges>
  290. <edges xmi:id="_0owOAKJ6EeK62NKshpou-A" type="Transition" element="_0ovm8KJ6EeK62NKshpou-A" source="_b6N3sKJ6EeK62NKshpou-A" target="_OoTTgKllEeGmpNX2cnyk2Q">
  291. <children xsi:type="notation:DecorationNode" xmi:id="_0ow1EaJ6EeK62NKshpou-A" type="TransitionExpression">
  292. <styles xsi:type="notation:ShapeStyle" xmi:id="_0ow1EqJ6EeK62NKshpou-A"/>
  293. <layoutConstraint xsi:type="notation:Location" xmi:id="_0ow1E6J6EeK62NKshpou-A" x="23" y="5"/>
  294. </children>
  295. <styles xsi:type="notation:ConnectorStyle" xmi:id="_0owOAaJ6EeK62NKshpou-A" jumpLinkStatus="Below" jumpLinkType="Chamfered" lineColor="4210752"/>
  296. <styles xsi:type="notation:FontStyle" xmi:id="_0ow1EKJ6EeK62NKshpou-A" fontName="Verdana"/>
  297. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_0owOAqJ6EeK62NKshpou-A" points="[-5, 8, 110, -156]$[-110, 187, 5, 23]"/>
  298. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_0oyqQKJ6EeK62NKshpou-A" id="(0.9263803680981595,0.0625)"/>
  299. </edges>
  300. </notation:Diagram>
  301. </xmi:XMI>