state_raising_events.sct 18 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213
  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="_fhXWMF_SEea7Gq00qZ1cGQ" specification="internal:&#xA; event e1&#xA; event e2&#xA; event i1&#xA; event i2&#xA;&#xA;var x: integer&#xA;var count: integer = 0&#xA;" name="state_raising_events">
  4. <regions xmi:id="_fhX9Ql_SEea7Gq00qZ1cGQ" name="r1">
  5. <vertices xsi:type="sgraph:State" xmi:id="_8U1UwGCGEeatm9_iUm69JQ" specification="entry / count = -2; x = 42&#xA;exit / count = 0&#xA;[count == 5 ] / raise e2&#xA;i1 [count > 10] / x = 1&#xA;i2 [count > 10] / x = 2&#xA;every 1s / count += 1" name="B" incomingTransitions="_8U4YEGCGEeatm9_iUm69JQ">
  6. <outgoingTransitions xmi:id="_0C52oGCNEeatm9_iUm69JQ" specification="e2" target="_0C2MQGCNEeatm9_iUm69JQ"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:Entry" xmi:id="_sdFY8GCGEeatm9_iUm69JQ">
  9. <outgoingTransitions xmi:id="_5N1HkGCGEeatm9_iUm69JQ" target="_5NyEQGCGEeatm9_iUm69JQ"/>
  10. </vertices>
  11. <vertices xsi:type="sgraph:State" xmi:id="_0C2MQGCNEeatm9_iUm69JQ" name="C" incomingTransitions="_0C52oGCNEeatm9_iUm69JQ"/>
  12. <vertices xsi:type="sgraph:State" xmi:id="_5NyEQGCGEeatm9_iUm69JQ" name="A" incomingTransitions="_5N1HkGCGEeatm9_iUm69JQ">
  13. <outgoingTransitions xmi:id="_8U4YEGCGEeatm9_iUm69JQ" specification="e1" target="_8U1UwGCGEeatm9_iUm69JQ"/>
  14. </vertices>
  15. </regions>
  16. <regions xmi:id="_JLw0kGOgEea_Z7LgC5s8mg" name="r2">
  17. <vertices xsi:type="sgraph:State" xmi:id="_Ei7oT2OgEea_Z7LgC5s8mg" name="X" incomingTransitions="_Ei-EgWOgEea_Z7LgC5s8mg">
  18. <outgoingTransitions xmi:id="_Ei82YGOgEea_Z7LgC5s8mg" specification="e2" target="_Ei7BPGOgEea_Z7LgC5s8mg"/>
  19. </vertices>
  20. <vertices xsi:type="sgraph:Entry" xmi:id="_Ei9demOgEea_Z7LgC5s8mg">
  21. <outgoingTransitions xmi:id="_Ei-EgWOgEea_Z7LgC5s8mg" target="_Ei7oT2OgEea_Z7LgC5s8mg"/>
  22. </vertices>
  23. <vertices xsi:type="sgraph:State" xmi:id="_Ei7BPGOgEea_Z7LgC5s8mg" name="Y" incomingTransitions="_Ei82YGOgEea_Z7LgC5s8mg"/>
  24. </regions>
  25. </sgraph:Statechart>
  26. <notation:Diagram xmi:id="_fhX9QF_SEea7Gq00qZ1cGQ" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_fhXWMF_SEea7Gq00qZ1cGQ" measurementUnit="Pixel">
  27. <children xmi:id="_fhaZgF_SEea7Gq00qZ1cGQ" type="Region" element="_fhX9Ql_SEea7Gq00qZ1cGQ">
  28. <children xsi:type="notation:DecorationNode" xmi:id="_fhcOsF_SEea7Gq00qZ1cGQ" type="RegionName">
  29. <styles xsi:type="notation:ShapeStyle" xmi:id="_fhcOsV_SEea7Gq00qZ1cGQ"/>
  30. <layoutConstraint xsi:type="notation:Location" xmi:id="_fhcOsl_SEea7Gq00qZ1cGQ"/>
  31. </children>
  32. <children xsi:type="notation:Shape" xmi:id="_fhcOs1_SEea7Gq00qZ1cGQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  33. <children xmi:id="_B3qU62OgEea_Z7LgC5s8mg" type="State" element="_8U1UwGCGEeatm9_iUm69JQ">
  34. <children xsi:type="notation:DecorationNode" xmi:id="_B3qU7GOgEea_Z7LgC5s8mg" type="StateName">
  35. <styles xsi:type="notation:ShapeStyle" xmi:id="_B3qU7WOgEea_Z7LgC5s8mg"/>
  36. <layoutConstraint xsi:type="notation:Location" xmi:id="_B3qU7mOgEea_Z7LgC5s8mg"/>
  37. </children>
  38. <children xsi:type="notation:Compartment" xmi:id="_B3qU72OgEea_Z7LgC5s8mg" type="StateTextCompartment">
  39. <children xsi:type="notation:Shape" xmi:id="_B3qU8GOgEea_Z7LgC5s8mg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  40. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_B3qU8WOgEea_Z7LgC5s8mg"/>
  41. </children>
  42. </children>
  43. <children xsi:type="notation:Compartment" xmi:id="_B3qU8mOgEea_Z7LgC5s8mg" type="StateFigureCompartment"/>
  44. <styles xsi:type="notation:ShapeStyle" xmi:id="_B3qU82OgEea_Z7LgC5s8mg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  45. <styles xsi:type="notation:FontStyle" xmi:id="_B3qU9GOgEea_Z7LgC5s8mg"/>
  46. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_B3qU9WOgEea_Z7LgC5s8mg" name="isHorizontal" booleanValue="true"/>
  47. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_B3qU9mOgEea_Z7LgC5s8mg" x="-21" y="60"/>
  48. </children>
  49. <children xmi:id="_B3qU1WOgEea_Z7LgC5s8mg" type="Entry" element="_sdFY8GCGEeatm9_iUm69JQ">
  50. <children xmi:id="_B3qU1mOgEea_Z7LgC5s8mg" type="BorderItemLabelContainer">
  51. <children xsi:type="notation:DecorationNode" xmi:id="_B3qU12OgEea_Z7LgC5s8mg" type="BorderItemLabel">
  52. <styles xsi:type="notation:ShapeStyle" xmi:id="_B3qU2GOgEea_Z7LgC5s8mg"/>
  53. <layoutConstraint xsi:type="notation:Location" xmi:id="_B3qU2WOgEea_Z7LgC5s8mg"/>
  54. </children>
  55. <styles xsi:type="notation:ShapeStyle" xmi:id="_B3qU2mOgEea_Z7LgC5s8mg" fontName="Verdana" lineColor="4210752"/>
  56. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_B3qU22OgEea_Z7LgC5s8mg"/>
  57. </children>
  58. <styles xsi:type="notation:ShapeStyle" xmi:id="_B3qU3GOgEea_Z7LgC5s8mg" fontName="Verdana" fillColor="0" lineColor="16777215"/>
  59. <styles xsi:type="notation:NamedStyle" xmi:id="_B3qU3WOgEea_Z7LgC5s8mg" name="allowColors"/>
  60. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_B3qU3mOgEea_Z7LgC5s8mg" x="61" y="-70"/>
  61. </children>
  62. <children xmi:id="_B3qU92OgEea_Z7LgC5s8mg" type="State" element="_0C2MQGCNEeatm9_iUm69JQ">
  63. <children xsi:type="notation:DecorationNode" xmi:id="_B3qU-GOgEea_Z7LgC5s8mg" type="StateName">
  64. <styles xsi:type="notation:ShapeStyle" xmi:id="_B3qU-WOgEea_Z7LgC5s8mg"/>
  65. <layoutConstraint xsi:type="notation:Location" xmi:id="_B3qU-mOgEea_Z7LgC5s8mg"/>
  66. </children>
  67. <children xsi:type="notation:Compartment" xmi:id="_B3qU-2OgEea_Z7LgC5s8mg" type="StateTextCompartment">
  68. <children xsi:type="notation:Shape" xmi:id="_B3qU_GOgEea_Z7LgC5s8mg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  69. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_B3qU_WOgEea_Z7LgC5s8mg"/>
  70. </children>
  71. </children>
  72. <children xsi:type="notation:Compartment" xmi:id="_B3qU_mOgEea_Z7LgC5s8mg" type="StateFigureCompartment"/>
  73. <styles xsi:type="notation:ShapeStyle" xmi:id="_B3qU_2OgEea_Z7LgC5s8mg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  74. <styles xsi:type="notation:FontStyle" xmi:id="_B3qVAGOgEea_Z7LgC5s8mg"/>
  75. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_B3qVAWOgEea_Z7LgC5s8mg" name="isHorizontal" booleanValue="true"/>
  76. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_B3qVAmOgEea_Z7LgC5s8mg" x="49" y="211"/>
  77. </children>
  78. <children xmi:id="_B3qU32OgEea_Z7LgC5s8mg" type="State" element="_5NyEQGCGEeatm9_iUm69JQ">
  79. <children xsi:type="notation:DecorationNode" xmi:id="_B3qU4GOgEea_Z7LgC5s8mg" type="StateName">
  80. <styles xsi:type="notation:ShapeStyle" xmi:id="_B3qU4WOgEea_Z7LgC5s8mg"/>
  81. <layoutConstraint xsi:type="notation:Location" xmi:id="_B3qU4mOgEea_Z7LgC5s8mg"/>
  82. </children>
  83. <children xsi:type="notation:Compartment" xmi:id="_B3qU42OgEea_Z7LgC5s8mg" type="StateTextCompartment">
  84. <children xsi:type="notation:Shape" xmi:id="_B3qU5GOgEea_Z7LgC5s8mg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  85. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_B3qU5WOgEea_Z7LgC5s8mg"/>
  86. </children>
  87. </children>
  88. <children xsi:type="notation:Compartment" xmi:id="_B3qU5mOgEea_Z7LgC5s8mg" type="StateFigureCompartment"/>
  89. <styles xsi:type="notation:ShapeStyle" xmi:id="_B3qU52OgEea_Z7LgC5s8mg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  90. <styles xsi:type="notation:FontStyle" xmi:id="_B3qU6GOgEea_Z7LgC5s8mg"/>
  91. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_B3qU6WOgEea_Z7LgC5s8mg" name="isHorizontal" booleanValue="true"/>
  92. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_B3qU6mOgEea_Z7LgC5s8mg" x="49" y="-24"/>
  93. </children>
  94. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_fhcOtF_SEea7Gq00qZ1cGQ"/>
  95. </children>
  96. <styles xsi:type="notation:ShapeStyle" xmi:id="_fhaZgV_SEea7Gq00qZ1cGQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  97. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_fhc1wF_SEea7Gq00qZ1cGQ" x="175" y="10" width="211" height="381"/>
  98. </children>
  99. <children xsi:type="notation:Shape" xmi:id="_fhggJF_SEea7Gq00qZ1cGQ" type="StatechartText" fontName="Verdana" lineColor="4210752">
  100. <children xsi:type="notation:DecorationNode" xmi:id="_fhhHMF_SEea7Gq00qZ1cGQ" type="StatechartName">
  101. <styles xsi:type="notation:ShapeStyle" xmi:id="_fhhHMV_SEea7Gq00qZ1cGQ"/>
  102. <layoutConstraint xsi:type="notation:Location" xmi:id="_fhhHMl_SEea7Gq00qZ1cGQ"/>
  103. </children>
  104. <children xsi:type="notation:Shape" xmi:id="_fhhHM1_SEea7Gq00qZ1cGQ" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  105. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_fhhHNF_SEea7Gq00qZ1cGQ"/>
  106. </children>
  107. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_fhhHNV_SEea7Gq00qZ1cGQ" x="10" y="10" width="156" height="381"/>
  108. </children>
  109. <children xmi:id="_JLyCsGOgEea_Z7LgC5s8mg" type="Region" element="_JLw0kGOgEea_Z7LgC5s8mg">
  110. <children xsi:type="notation:DecorationNode" xmi:id="_JLypwGOgEea_Z7LgC5s8mg" type="RegionName">
  111. <styles xsi:type="notation:ShapeStyle" xmi:id="_JLypwWOgEea_Z7LgC5s8mg"/>
  112. <layoutConstraint xsi:type="notation:Location" xmi:id="_JLypwmOgEea_Z7LgC5s8mg"/>
  113. </children>
  114. <children xsi:type="notation:Shape" xmi:id="_JLypw2OgEea_Z7LgC5s8mg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  115. <children xmi:id="_Ei7oQWOgEea_Z7LgC5s8mg" type="State" element="_Ei7oT2OgEea_Z7LgC5s8mg">
  116. <children xsi:type="notation:DecorationNode" xmi:id="_Ei7oSmOgEea_Z7LgC5s8mg" type="StateName">
  117. <styles xsi:type="notation:ShapeStyle" xmi:id="_Ei7oTGOgEea_Z7LgC5s8mg"/>
  118. <layoutConstraint xsi:type="notation:Location" xmi:id="_Ei7oS2OgEea_Z7LgC5s8mg"/>
  119. </children>
  120. <children xsi:type="notation:Compartment" xmi:id="_Ei7oR2OgEea_Z7LgC5s8mg" type="StateTextCompartment">
  121. <children xsi:type="notation:Shape" xmi:id="_Ei7oSGOgEea_Z7LgC5s8mg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  122. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Ei7oSWOgEea_Z7LgC5s8mg"/>
  123. </children>
  124. </children>
  125. <children xsi:type="notation:Compartment" xmi:id="_Ei7oRmOgEea_Z7LgC5s8mg" type="StateFigureCompartment"/>
  126. <styles xsi:type="notation:ShapeStyle" xmi:id="_Ei7oRWOgEea_Z7LgC5s8mg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  127. <styles xsi:type="notation:FontStyle" xmi:id="_Ei7oRGOgEea_Z7LgC5s8mg"/>
  128. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Ei7oQ2OgEea_Z7LgC5s8mg" name="isHorizontal" booleanValue="true"/>
  129. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Ei7oQmOgEea_Z7LgC5s8mg" x="9" y="37"/>
  130. </children>
  131. <children xmi:id="_Ei82aGOgEea_Z7LgC5s8mg" type="Entry" element="_Ei9demOgEea_Z7LgC5s8mg">
  132. <children xmi:id="_Ei9dcmOgEea_Z7LgC5s8mg" type="BorderItemLabelContainer">
  133. <children xsi:type="notation:DecorationNode" xmi:id="_Ei9ddWOgEea_Z7LgC5s8mg" type="BorderItemLabel">
  134. <styles xsi:type="notation:ShapeStyle" xmi:id="_Ei9dd2OgEea_Z7LgC5s8mg"/>
  135. <layoutConstraint xsi:type="notation:Location" xmi:id="_Ei9ddmOgEea_Z7LgC5s8mg"/>
  136. </children>
  137. <styles xsi:type="notation:ShapeStyle" xmi:id="_Ei9ddGOgEea_Z7LgC5s8mg" fontName="Verdana" lineColor="4210752"/>
  138. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Ei9dc2OgEea_Z7LgC5s8mg"/>
  139. </children>
  140. <styles xsi:type="notation:ShapeStyle" xmi:id="_Ei9dcWOgEea_Z7LgC5s8mg" fontName="Verdana" fillColor="0" lineColor="16777215"/>
  141. <styles xsi:type="notation:NamedStyle" xmi:id="_Ei9dcGOgEea_Z7LgC5s8mg" name="allowColors"/>
  142. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Ei82aWOgEea_Z7LgC5s8mg" x="19" y="-9"/>
  143. </children>
  144. <children xmi:id="_Ei7BMGOgEea_Z7LgC5s8mg" type="State" element="_Ei7BPGOgEea_Z7LgC5s8mg">
  145. <children xsi:type="notation:DecorationNode" xmi:id="_Ei7BOWOgEea_Z7LgC5s8mg" type="StateName">
  146. <styles xsi:type="notation:ShapeStyle" xmi:id="_Ei7BO2OgEea_Z7LgC5s8mg"/>
  147. <layoutConstraint xsi:type="notation:Location" xmi:id="_Ei7BOmOgEea_Z7LgC5s8mg"/>
  148. </children>
  149. <children xsi:type="notation:Compartment" xmi:id="_Ei7BNmOgEea_Z7LgC5s8mg" type="StateTextCompartment">
  150. <children xsi:type="notation:Shape" xmi:id="_Ei7BN2OgEea_Z7LgC5s8mg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  151. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Ei7BOGOgEea_Z7LgC5s8mg"/>
  152. </children>
  153. </children>
  154. <children xsi:type="notation:Compartment" xmi:id="_Ei7BNWOgEea_Z7LgC5s8mg" type="StateFigureCompartment"/>
  155. <styles xsi:type="notation:ShapeStyle" xmi:id="_Ei7BNGOgEea_Z7LgC5s8mg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  156. <styles xsi:type="notation:FontStyle" xmi:id="_Ei7BM2OgEea_Z7LgC5s8mg"/>
  157. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Ei7BMmOgEea_Z7LgC5s8mg" name="isHorizontal" booleanValue="true"/>
  158. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Ei7BMWOgEea_Z7LgC5s8mg" x="9" y="272"/>
  159. </children>
  160. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_JLypxGOgEea_Z7LgC5s8mg"/>
  161. </children>
  162. <styles xsi:type="notation:ShapeStyle" xmi:id="_JLyCsWOgEea_Z7LgC5s8mg" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  163. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_JLyCsmOgEea_Z7LgC5s8mg" x="395" y="10" width="81" height="381"/>
  164. </children>
  165. <styles xsi:type="notation:DiagramStyle" xmi:id="_fhX9QV_SEea7Gq00qZ1cGQ"/>
  166. <edges xmi:id="_Ei9deGOgEea_Z7LgC5s8mg" type="Transition" element="_Ei-EgWOgEea_Z7LgC5s8mg" source="_Ei82aGOgEea_Z7LgC5s8mg" target="_Ei7oQWOgEea_Z7LgC5s8mg">
  167. <children xsi:type="notation:DecorationNode" xmi:id="_Ei9dfWOgEea_Z7LgC5s8mg" type="TransitionExpression">
  168. <styles xsi:type="notation:ShapeStyle" xmi:id="_Ei-EgGOgEea_Z7LgC5s8mg"/>
  169. <layoutConstraint xsi:type="notation:Location" xmi:id="_Ei9dfmOgEea_Z7LgC5s8mg" y="10"/>
  170. </children>
  171. <styles xsi:type="notation:ConnectorStyle" xmi:id="_Ei9dfGOgEea_Z7LgC5s8mg" lineColor="4210752"/>
  172. <styles xsi:type="notation:FontStyle" xmi:id="_Ei9de2OgEea_Z7LgC5s8mg" fontName="Verdana"/>
  173. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Ei9deWOgEea_Z7LgC5s8mg" points="[-7, -1, 40, 9]$[-44, -9, 3, 1]"/>
  174. </edges>
  175. <edges xmi:id="_Ei7oTWOgEea_Z7LgC5s8mg" type="Transition" element="_Ei82YGOgEea_Z7LgC5s8mg" source="_Ei7oQWOgEea_Z7LgC5s8mg" target="_Ei7BMGOgEea_Z7LgC5s8mg">
  176. <children xsi:type="notation:DecorationNode" xmi:id="_Ei8PVGOgEea_Z7LgC5s8mg" type="TransitionExpression">
  177. <styles xsi:type="notation:ShapeStyle" xmi:id="_Ei8PVmOgEea_Z7LgC5s8mg"/>
  178. <layoutConstraint xsi:type="notation:Location" xmi:id="_Ei8PVWOgEea_Z7LgC5s8mg" y="10"/>
  179. </children>
  180. <styles xsi:type="notation:ConnectorStyle" xmi:id="_Ei8PU2OgEea_Z7LgC5s8mg" lineColor="4210752"/>
  181. <styles xsi:type="notation:FontStyle" xmi:id="_Ei8PUmOgEea_Z7LgC5s8mg" fontName="Verdana"/>
  182. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Ei7oTmOgEea_Z7LgC5s8mg" points="[-17, -24, 30, 39]$[-45, -60, 2, 3]"/>
  183. </edges>
  184. <edges xmi:id="_5N1uoGCGEeatm9_iUm69JQ" type="Transition" element="_5N1HkGCGEeatm9_iUm69JQ" source="_B3qU1WOgEea_Z7LgC5s8mg" target="_B3qU32OgEea_Z7LgC5s8mg">
  185. <children xsi:type="notation:DecorationNode" xmi:id="_5N2VsGCGEeatm9_iUm69JQ" type="TransitionExpression">
  186. <styles xsi:type="notation:ShapeStyle" xmi:id="_5N2VsWCGEeatm9_iUm69JQ"/>
  187. <layoutConstraint xsi:type="notation:Location" xmi:id="_5N2VsmCGEeatm9_iUm69JQ" y="10"/>
  188. </children>
  189. <styles xsi:type="notation:ConnectorStyle" xmi:id="_5N1uoWCGEeatm9_iUm69JQ" lineColor="4210752"/>
  190. <styles xsi:type="notation:FontStyle" xmi:id="_5N1uo2CGEeatm9_iUm69JQ" fontName="Verdana"/>
  191. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_5N1uomCGEeatm9_iUm69JQ" points="[-7, -1, 33, 9]$[-37, -9, 3, 1]"/>
  192. </edges>
  193. <edges xmi:id="_8U4_IGCGEeatm9_iUm69JQ" type="Transition" element="_8U4YEGCGEeatm9_iUm69JQ" source="_B3qU32OgEea_Z7LgC5s8mg" target="_B3qU62OgEea_Z7LgC5s8mg">
  194. <children xsi:type="notation:DecorationNode" xmi:id="_8U4_JGCGEeatm9_iUm69JQ" type="TransitionExpression">
  195. <styles xsi:type="notation:ShapeStyle" xmi:id="_8U4_JWCGEeatm9_iUm69JQ"/>
  196. <layoutConstraint xsi:type="notation:Location" xmi:id="_8U4_JmCGEeatm9_iUm69JQ" x="-2" y="-24"/>
  197. </children>
  198. <styles xsi:type="notation:ConnectorStyle" xmi:id="_8U4_IWCGEeatm9_iUm69JQ" lineColor="4210752"/>
  199. <styles xsi:type="notation:FontStyle" xmi:id="_8U4_I2CGEeatm9_iUm69JQ" fontName="Verdana"/>
  200. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_8U4_ImCGEeatm9_iUm69JQ" points="[-17, -24, 23, 34]$[-38, -55, 2, 3]"/>
  201. </edges>
  202. <edges xmi:id="_0C6dsGCNEeatm9_iUm69JQ" type="Transition" element="_0C52oGCNEeatm9_iUm69JQ" source="_B3qU62OgEea_Z7LgC5s8mg" target="_B3qU92OgEea_Z7LgC5s8mg">
  203. <children xsi:type="notation:DecorationNode" xmi:id="_0C6dtGCNEeatm9_iUm69JQ" type="TransitionExpression">
  204. <styles xsi:type="notation:ShapeStyle" xmi:id="_0C6dtWCNEeatm9_iUm69JQ"/>
  205. <layoutConstraint xsi:type="notation:Location" xmi:id="_0C6dtmCNEeatm9_iUm69JQ" x="1" y="-16"/>
  206. </children>
  207. <styles xsi:type="notation:ConnectorStyle" xmi:id="_0C6dsWCNEeatm9_iUm69JQ" lineColor="4210752"/>
  208. <styles xsi:type="notation:FontStyle" xmi:id="_0C6ds2CNEeatm9_iUm69JQ" fontName="Verdana"/>
  209. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_0C6dsmCNEeatm9_iUm69JQ" points="[-5, 44, 13, -122]$[-5, 142, 13, -24]"/>
  210. </edges>
  211. </notation:Diagram>
  212. </xmi:XMI>