ParallelTimeEvents.sct 27 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312
  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="_UhfxEI8XEeeHxdQetMJ15Q" specification="interface:&#xA;// Define events and&#xA;// and variables here. &#xA;//Use CTRL + Space for content assist.&#xA;&#xA;internal:&#xA;event e&#xA;event e1&#xA;every 2s / raise e" name="ParallelTimeEvents">
  4. <regions xmi:id="_UhiNUI8XEeeHxdQetMJ15Q" name="reg1">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_UhqwMI8XEeeHxdQetMJ15Q">
  6. <outgoingTransitions xmi:id="_UhvBoY8XEeeHxdQetMJ15Q" target="_Uhr-VI8XEeeHxdQetMJ15Q"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_Uhr-VI8XEeeHxdQetMJ15Q" specification="every 3s / raise e1" name="StateA" incomingTransitions="_UhvBoY8XEeeHxdQetMJ15Q">
  9. <regions xmi:id="_kUtLII8XEeeHxdQetMJ15Q" name="sub1">
  10. <vertices xsi:type="sgraph:Entry" xmi:id="_kUtLIY8XEeeHxdQetMJ15Q">
  11. <outgoingTransitions xmi:id="_kUtyMI8XEeeHxdQetMJ15Q" specification="" target="_kUtyMY8XEeeHxdQetMJ15Q"/>
  12. </vertices>
  13. <vertices xsi:type="sgraph:State" xmi:id="_kUtyMY8XEeeHxdQetMJ15Q" specification="every 300 ms / raise e1" name="State1" incomingTransitions="_kUtyMI8XEeeHxdQetMJ15Q _wRhicI8XEeeHxdQetMJ15Q">
  14. <outgoingTransitions xmi:id="_tM7JAI8XEeeHxdQetMJ15Q" specification="after 1s" target="_s0XfEI8XEeeHxdQetMJ15Q"/>
  15. </vertices>
  16. <vertices xsi:type="sgraph:State" xmi:id="_s0XfEI8XEeeHxdQetMJ15Q" name="State2" incomingTransitions="_tM7JAI8XEeeHxdQetMJ15Q">
  17. <outgoingTransitions xmi:id="_wRhicI8XEeeHxdQetMJ15Q" specification="after 2s" target="_kUtyMY8XEeeHxdQetMJ15Q"/>
  18. </vertices>
  19. </regions>
  20. <regions xmi:id="_lUhCUI8XEeeHxdQetMJ15Q" name="sub2">
  21. <vertices xsi:type="sgraph:Entry" xmi:id="_lUhCUY8XEeeHxdQetMJ15Q">
  22. <outgoingTransitions xmi:id="_lUhCUo8XEeeHxdQetMJ15Q" specification="" target="_lUhCU48XEeeHxdQetMJ15Q"/>
  23. </vertices>
  24. <vertices xsi:type="sgraph:State" xmi:id="_lUhCU48XEeeHxdQetMJ15Q" specification="every 100 ms / raise e1" name="State1" incomingTransitions="_lUhCUo8XEeeHxdQetMJ15Q"/>
  25. </regions>
  26. </vertices>
  27. </regions>
  28. <regions xmi:id="_Vs5NMI8XEeeHxdQetMJ15Q" name="reg2">
  29. <vertices xsi:type="sgraph:State" xmi:id="_WPp8AI8XEeeHxdQetMJ15Q" name="StateA" incomingTransitions="_ZMaBAI8XEeeHxdQetMJ15Q">
  30. <outgoingTransitions xmi:id="_bB0qgI8XEeeHxdQetMJ15Q" specification="after 1s" target="_aQ15gI8XEeeHxdQetMJ15Q"/>
  31. </vertices>
  32. <vertices xsi:type="sgraph:Entry" xmi:id="_YTKr4I8XEeeHxdQetMJ15Q">
  33. <outgoingTransitions xmi:id="_ZMaBAI8XEeeHxdQetMJ15Q" specification="" target="_WPp8AI8XEeeHxdQetMJ15Q"/>
  34. </vertices>
  35. <vertices xsi:type="sgraph:State" xmi:id="_aQ15gI8XEeeHxdQetMJ15Q" name="StateB" incomingTransitions="_bB0qgI8XEeeHxdQetMJ15Q"/>
  36. </regions>
  37. </sgraph:Statechart>
  38. <notation:Diagram xmi:id="_UhhmQI8XEeeHxdQetMJ15Q" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_UhfxEI8XEeeHxdQetMJ15Q" measurementUnit="Pixel">
  39. <children xmi:id="_Uhl3sI8XEeeHxdQetMJ15Q" type="Region" element="_UhiNUI8XEeeHxdQetMJ15Q">
  40. <children xsi:type="notation:DecorationNode" xmi:id="_Uho7AI8XEeeHxdQetMJ15Q" type="RegionName">
  41. <styles xsi:type="notation:ShapeStyle" xmi:id="_Uho7AY8XEeeHxdQetMJ15Q"/>
  42. <layoutConstraint xsi:type="notation:Location" xmi:id="_Uho7Ao8XEeeHxdQetMJ15Q"/>
  43. </children>
  44. <children xsi:type="notation:Shape" xmi:id="_UhpiEI8XEeeHxdQetMJ15Q" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  45. <children xmi:id="_UhqwMY8XEeeHxdQetMJ15Q" type="Entry" element="_UhqwMI8XEeeHxdQetMJ15Q">
  46. <children xmi:id="_UhrXQI8XEeeHxdQetMJ15Q" type="BorderItemLabelContainer">
  47. <children xsi:type="notation:DecorationNode" xmi:id="_Uhr-UI8XEeeHxdQetMJ15Q" type="BorderItemLabel">
  48. <styles xsi:type="notation:ShapeStyle" xmi:id="_Uhr-UY8XEeeHxdQetMJ15Q"/>
  49. <layoutConstraint xsi:type="notation:Location" xmi:id="_Uhr-Uo8XEeeHxdQetMJ15Q"/>
  50. </children>
  51. <styles xsi:type="notation:ShapeStyle" xmi:id="_UhrXQY8XEeeHxdQetMJ15Q" fontName="Verdana" lineColor="4210752"/>
  52. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UhrXQo8XEeeHxdQetMJ15Q"/>
  53. </children>
  54. <styles xsi:type="notation:ShapeStyle" xmi:id="_UhqwMo8XEeeHxdQetMJ15Q" fontName="Verdana" fillColor="0" lineColor="16777215"/>
  55. <styles xsi:type="notation:NamedStyle" xmi:id="_UhqwM48XEeeHxdQetMJ15Q" name="allowColors"/>
  56. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Uhr-U48XEeeHxdQetMJ15Q" x="70" y="20"/>
  57. </children>
  58. <children xmi:id="_UhslYo8XEeeHxdQetMJ15Q" type="State" element="_Uhr-VI8XEeeHxdQetMJ15Q">
  59. <children xsi:type="notation:DecorationNode" xmi:id="_UhtMcI8XEeeHxdQetMJ15Q" type="StateName">
  60. <styles xsi:type="notation:ShapeStyle" xmi:id="_UhtMcY8XEeeHxdQetMJ15Q"/>
  61. <layoutConstraint xsi:type="notation:Location" xmi:id="_UhtMco8XEeeHxdQetMJ15Q"/>
  62. </children>
  63. <children xsi:type="notation:Compartment" xmi:id="_UhtzgI8XEeeHxdQetMJ15Q" type="StateTextCompartment">
  64. <children xsi:type="notation:Shape" xmi:id="_UhtzgY8XEeeHxdQetMJ15Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  65. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Uhtzgo8XEeeHxdQetMJ15Q"/>
  66. </children>
  67. </children>
  68. <children xsi:type="notation:Compartment" xmi:id="_UhuakI8XEeeHxdQetMJ15Q" type="StateFigureCompartment">
  69. <children xmi:id="_kUr9AI8XEeeHxdQetMJ15Q" type="Region" element="_kUtLII8XEeeHxdQetMJ15Q">
  70. <children xsi:type="notation:DecorationNode" xmi:id="_kUr9AY8XEeeHxdQetMJ15Q" type="RegionName">
  71. <styles xsi:type="notation:ShapeStyle" xmi:id="_kUr9Ao8XEeeHxdQetMJ15Q"/>
  72. <layoutConstraint xsi:type="notation:Location" xmi:id="_kUr9A48XEeeHxdQetMJ15Q"/>
  73. </children>
  74. <children xsi:type="notation:Shape" xmi:id="_kUr9BI8XEeeHxdQetMJ15Q" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  75. <children xmi:id="_kUr9BY8XEeeHxdQetMJ15Q" type="Entry" element="_kUtLIY8XEeeHxdQetMJ15Q">
  76. <children xmi:id="_kUr9Bo8XEeeHxdQetMJ15Q" type="BorderItemLabelContainer">
  77. <children xsi:type="notation:DecorationNode" xmi:id="_kUr9B48XEeeHxdQetMJ15Q" type="BorderItemLabel">
  78. <styles xsi:type="notation:ShapeStyle" xmi:id="_kUr9CI8XEeeHxdQetMJ15Q"/>
  79. <layoutConstraint xsi:type="notation:Location" xmi:id="_kUr9CY8XEeeHxdQetMJ15Q"/>
  80. </children>
  81. <styles xsi:type="notation:ShapeStyle" xmi:id="_kUr9Co8XEeeHxdQetMJ15Q" fontName="Verdana" lineColor="4210752"/>
  82. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_kUr9C48XEeeHxdQetMJ15Q"/>
  83. </children>
  84. <styles xsi:type="notation:ShapeStyle" xmi:id="_kUr9DI8XEeeHxdQetMJ15Q" fontName="Verdana" lineColor="4210752"/>
  85. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_kUr9DY8XEeeHxdQetMJ15Q" x="39" y="12"/>
  86. </children>
  87. <children xmi:id="_kUr9Do8XEeeHxdQetMJ15Q" type="State" element="_kUtyMY8XEeeHxdQetMJ15Q">
  88. <children xsi:type="notation:DecorationNode" xmi:id="_kUr9D48XEeeHxdQetMJ15Q" type="StateName">
  89. <styles xsi:type="notation:ShapeStyle" xmi:id="_kUr9EI8XEeeHxdQetMJ15Q"/>
  90. <layoutConstraint xsi:type="notation:Location" xmi:id="_kUr9EY8XEeeHxdQetMJ15Q"/>
  91. </children>
  92. <children xsi:type="notation:Compartment" xmi:id="_kUr9Eo8XEeeHxdQetMJ15Q" type="StateTextCompartment">
  93. <children xsi:type="notation:Shape" xmi:id="_kUr9E48XEeeHxdQetMJ15Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  94. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_kUr9FI8XEeeHxdQetMJ15Q"/>
  95. </children>
  96. </children>
  97. <children xsi:type="notation:Compartment" xmi:id="_kUr9FY8XEeeHxdQetMJ15Q" type="StateFigureCompartment"/>
  98. <styles xsi:type="notation:ShapeStyle" xmi:id="_kUr9Fo8XEeeHxdQetMJ15Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  99. <styles xsi:type="notation:FontStyle" xmi:id="_kUr9F48XEeeHxdQetMJ15Q"/>
  100. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_kUr9GI8XEeeHxdQetMJ15Q" name="isHorizontal" booleanValue="true"/>
  101. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_kUr9GY8XEeeHxdQetMJ15Q" x="20" y="47"/>
  102. </children>
  103. <children xmi:id="_s0cXkI8XEeeHxdQetMJ15Q" type="State" element="_s0XfEI8XEeeHxdQetMJ15Q">
  104. <children xsi:type="notation:DecorationNode" xmi:id="_s0c-oI8XEeeHxdQetMJ15Q" type="StateName">
  105. <styles xsi:type="notation:ShapeStyle" xmi:id="_s0c-oY8XEeeHxdQetMJ15Q"/>
  106. <layoutConstraint xsi:type="notation:Location" xmi:id="_s0c-oo8XEeeHxdQetMJ15Q"/>
  107. </children>
  108. <children xsi:type="notation:Compartment" xmi:id="_s0dlsI8XEeeHxdQetMJ15Q" type="StateTextCompartment">
  109. <children xsi:type="notation:Shape" xmi:id="_s0dlsY8XEeeHxdQetMJ15Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  110. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_s0dlso8XEeeHxdQetMJ15Q"/>
  111. </children>
  112. </children>
  113. <children xsi:type="notation:Compartment" xmi:id="_s0dls48XEeeHxdQetMJ15Q" type="StateFigureCompartment"/>
  114. <styles xsi:type="notation:ShapeStyle" xmi:id="_s0cXkY8XEeeHxdQetMJ15Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  115. <styles xsi:type="notation:FontStyle" xmi:id="_s0cXko8XEeeHxdQetMJ15Q"/>
  116. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_s0eMwI8XEeeHxdQetMJ15Q" name="isHorizontal" booleanValue="true"/>
  117. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_s0cXk48XEeeHxdQetMJ15Q" x="53" y="168"/>
  118. </children>
  119. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_kUr9Go8XEeeHxdQetMJ15Q"/>
  120. </children>
  121. <styles xsi:type="notation:ShapeStyle" xmi:id="_kUr9G48XEeeHxdQetMJ15Q" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  122. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_kUr9HI8XEeeHxdQetMJ15Q" x="90" y="10"/>
  123. </children>
  124. <children xmi:id="_lUgbQo8XEeeHxdQetMJ15Q" type="Region" element="_lUhCUI8XEeeHxdQetMJ15Q">
  125. <children xsi:type="notation:DecorationNode" xmi:id="_lUgbQ48XEeeHxdQetMJ15Q" type="RegionName">
  126. <styles xsi:type="notation:ShapeStyle" xmi:id="_lUgbRI8XEeeHxdQetMJ15Q"/>
  127. <layoutConstraint xsi:type="notation:Location" xmi:id="_lUgbRY8XEeeHxdQetMJ15Q"/>
  128. </children>
  129. <children xsi:type="notation:Shape" xmi:id="_lUgbRo8XEeeHxdQetMJ15Q" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  130. <children xmi:id="_lUgbR48XEeeHxdQetMJ15Q" type="Entry" element="_lUhCUY8XEeeHxdQetMJ15Q">
  131. <children xmi:id="_lUgbSI8XEeeHxdQetMJ15Q" type="BorderItemLabelContainer">
  132. <children xsi:type="notation:DecorationNode" xmi:id="_lUgbSY8XEeeHxdQetMJ15Q" type="BorderItemLabel">
  133. <styles xsi:type="notation:ShapeStyle" xmi:id="_lUgbSo8XEeeHxdQetMJ15Q"/>
  134. <layoutConstraint xsi:type="notation:Location" xmi:id="_lUgbS48XEeeHxdQetMJ15Q"/>
  135. </children>
  136. <styles xsi:type="notation:ShapeStyle" xmi:id="_lUgbTI8XEeeHxdQetMJ15Q" fontName="Verdana" lineColor="4210752"/>
  137. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lUgbTY8XEeeHxdQetMJ15Q"/>
  138. </children>
  139. <styles xsi:type="notation:ShapeStyle" xmi:id="_lUgbTo8XEeeHxdQetMJ15Q" fontName="Verdana" lineColor="4210752"/>
  140. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lUgbT48XEeeHxdQetMJ15Q" x="39" y="12"/>
  141. </children>
  142. <children xmi:id="_lUgbUI8XEeeHxdQetMJ15Q" type="State" element="_lUhCU48XEeeHxdQetMJ15Q">
  143. <children xsi:type="notation:DecorationNode" xmi:id="_lUgbUY8XEeeHxdQetMJ15Q" type="StateName">
  144. <styles xsi:type="notation:ShapeStyle" xmi:id="_lUgbUo8XEeeHxdQetMJ15Q"/>
  145. <layoutConstraint xsi:type="notation:Location" xmi:id="_lUgbU48XEeeHxdQetMJ15Q"/>
  146. </children>
  147. <children xsi:type="notation:Compartment" xmi:id="_lUgbVI8XEeeHxdQetMJ15Q" type="StateTextCompartment">
  148. <children xsi:type="notation:Shape" xmi:id="_lUgbVY8XEeeHxdQetMJ15Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  149. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lUgbVo8XEeeHxdQetMJ15Q"/>
  150. </children>
  151. </children>
  152. <children xsi:type="notation:Compartment" xmi:id="_lUgbV48XEeeHxdQetMJ15Q" type="StateFigureCompartment"/>
  153. <styles xsi:type="notation:ShapeStyle" xmi:id="_lUgbWI8XEeeHxdQetMJ15Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  154. <styles xsi:type="notation:FontStyle" xmi:id="_lUgbWY8XEeeHxdQetMJ15Q"/>
  155. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_lUgbWo8XEeeHxdQetMJ15Q" name="isHorizontal" booleanValue="true"/>
  156. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lUgbW48XEeeHxdQetMJ15Q" x="20" y="47"/>
  157. </children>
  158. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lUgbXI8XEeeHxdQetMJ15Q"/>
  159. </children>
  160. <styles xsi:type="notation:ShapeStyle" xmi:id="_lUgbXY8XEeeHxdQetMJ15Q" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  161. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lUgbXo8XEeeHxdQetMJ15Q" x="90" y="10"/>
  162. </children>
  163. </children>
  164. <styles xsi:type="notation:ShapeStyle" xmi:id="_UhslY48XEeeHxdQetMJ15Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  165. <styles xsi:type="notation:FontStyle" xmi:id="_UhslZI8XEeeHxdQetMJ15Q"/>
  166. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_UhuakY8XEeeHxdQetMJ15Q" name="isHorizontal" booleanValue="true"/>
  167. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UhvBoI8XEeeHxdQetMJ15Q" x="40" y="80" width="429" height="305"/>
  168. </children>
  169. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UhpiEY8XEeeHxdQetMJ15Q"/>
  170. </children>
  171. <styles xsi:type="notation:ShapeStyle" xmi:id="_Uhl3sY8XEeeHxdQetMJ15Q" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  172. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UhqJII8XEeeHxdQetMJ15Q" x="220" y="10" width="505" height="438"/>
  173. </children>
  174. <children xsi:type="notation:Shape" xmi:id="_UhyE8I8XEeeHxdQetMJ15Q" type="StatechartText" fontName="Verdana" lineColor="4210752">
  175. <children xsi:type="notation:DecorationNode" xmi:id="_UhyE8o8XEeeHxdQetMJ15Q" type="StatechartName">
  176. <styles xsi:type="notation:ShapeStyle" xmi:id="_UhyE848XEeeHxdQetMJ15Q"/>
  177. <layoutConstraint xsi:type="notation:Location" xmi:id="_UhyE9I8XEeeHxdQetMJ15Q"/>
  178. </children>
  179. <children xsi:type="notation:Shape" xmi:id="_UhysAI8XEeeHxdQetMJ15Q" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  180. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UhysAY8XEeeHxdQetMJ15Q"/>
  181. </children>
  182. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UhysAo8XEeeHxdQetMJ15Q" x="10" y="10" width="200" height="400"/>
  183. </children>
  184. <children xmi:id="_Vs-swI8XEeeHxdQetMJ15Q" type="Region" element="_Vs5NMI8XEeeHxdQetMJ15Q">
  185. <children xsi:type="notation:DecorationNode" xmi:id="_Vs_T0I8XEeeHxdQetMJ15Q" type="RegionName">
  186. <styles xsi:type="notation:ShapeStyle" xmi:id="_Vs_T0Y8XEeeHxdQetMJ15Q"/>
  187. <layoutConstraint xsi:type="notation:Location" xmi:id="_Vs_T0o8XEeeHxdQetMJ15Q"/>
  188. </children>
  189. <children xsi:type="notation:Shape" xmi:id="_Vs_64I8XEeeHxdQetMJ15Q" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  190. <children xmi:id="_WPrxMI8XEeeHxdQetMJ15Q" type="State" element="_WPp8AI8XEeeHxdQetMJ15Q">
  191. <children xsi:type="notation:DecorationNode" xmi:id="_WPsYQI8XEeeHxdQetMJ15Q" type="StateName">
  192. <styles xsi:type="notation:ShapeStyle" xmi:id="_WPsYQY8XEeeHxdQetMJ15Q"/>
  193. <layoutConstraint xsi:type="notation:Location" xmi:id="_WPsYQo8XEeeHxdQetMJ15Q"/>
  194. </children>
  195. <children xsi:type="notation:Compartment" xmi:id="_WPs_UI8XEeeHxdQetMJ15Q" type="StateTextCompartment">
  196. <children xsi:type="notation:Shape" xmi:id="_WPs_UY8XEeeHxdQetMJ15Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  197. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WPs_Uo8XEeeHxdQetMJ15Q"/>
  198. </children>
  199. </children>
  200. <children xsi:type="notation:Compartment" xmi:id="_WPu0gI8XEeeHxdQetMJ15Q" type="StateFigureCompartment"/>
  201. <styles xsi:type="notation:ShapeStyle" xmi:id="_WPrxMY8XEeeHxdQetMJ15Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  202. <styles xsi:type="notation:FontStyle" xmi:id="_WPrxMo8XEeeHxdQetMJ15Q"/>
  203. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_WPvbkI8XEeeHxdQetMJ15Q" name="isHorizontal" booleanValue="true"/>
  204. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WPrxM48XEeeHxdQetMJ15Q" x="62" y="66"/>
  205. </children>
  206. <children xmi:id="_YTLS8I8XEeeHxdQetMJ15Q" type="Entry" element="_YTKr4I8XEeeHxdQetMJ15Q">
  207. <children xmi:id="_YTL6AI8XEeeHxdQetMJ15Q" type="BorderItemLabelContainer">
  208. <children xsi:type="notation:DecorationNode" xmi:id="_YTL6A48XEeeHxdQetMJ15Q" type="BorderItemLabel">
  209. <styles xsi:type="notation:ShapeStyle" xmi:id="_YTL6BI8XEeeHxdQetMJ15Q"/>
  210. <layoutConstraint xsi:type="notation:Location" xmi:id="_YTL6BY8XEeeHxdQetMJ15Q"/>
  211. </children>
  212. <styles xsi:type="notation:ShapeStyle" xmi:id="_YTL6AY8XEeeHxdQetMJ15Q" fontName="Verdana" lineColor="4210752"/>
  213. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YTL6Ao8XEeeHxdQetMJ15Q"/>
  214. </children>
  215. <styles xsi:type="notation:ShapeStyle" xmi:id="_YTLS8Y8XEeeHxdQetMJ15Q" fontName="Verdana" fillColor="0" lineColor="16777215"/>
  216. <styles xsi:type="notation:NamedStyle" xmi:id="_YTLS8o8XEeeHxdQetMJ15Q" name="allowColors"/>
  217. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YTLS848XEeeHxdQetMJ15Q" x="92" y="17"/>
  218. </children>
  219. <children xmi:id="_aQ4VwI8XEeeHxdQetMJ15Q" type="State" element="_aQ15gI8XEeeHxdQetMJ15Q">
  220. <children xsi:type="notation:DecorationNode" xmi:id="_aQ5j4I8XEeeHxdQetMJ15Q" type="StateName">
  221. <styles xsi:type="notation:ShapeStyle" xmi:id="_aQ5j4Y8XEeeHxdQetMJ15Q"/>
  222. <layoutConstraint xsi:type="notation:Location" xmi:id="_aQ5j4o8XEeeHxdQetMJ15Q"/>
  223. </children>
  224. <children xsi:type="notation:Compartment" xmi:id="_aQ5j448XEeeHxdQetMJ15Q" type="StateTextCompartment">
  225. <children xsi:type="notation:Shape" xmi:id="_aQ6K8I8XEeeHxdQetMJ15Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  226. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_aQ6K8Y8XEeeHxdQetMJ15Q"/>
  227. </children>
  228. </children>
  229. <children xsi:type="notation:Compartment" xmi:id="_aQ6yAI8XEeeHxdQetMJ15Q" type="StateFigureCompartment"/>
  230. <styles xsi:type="notation:ShapeStyle" xmi:id="_aQ4VwY8XEeeHxdQetMJ15Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  231. <styles xsi:type="notation:FontStyle" xmi:id="_aQ4Vwo8XEeeHxdQetMJ15Q"/>
  232. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_aQ6yAY8XEeeHxdQetMJ15Q" name="isHorizontal" booleanValue="true"/>
  233. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_aQ4Vw48XEeeHxdQetMJ15Q" x="82" y="221"/>
  234. </children>
  235. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Vs_64Y8XEeeHxdQetMJ15Q"/>
  236. </children>
  237. <styles xsi:type="notation:ShapeStyle" xmi:id="_Vs-swY8XEeeHxdQetMJ15Q" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  238. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Vs-swo8XEeeHxdQetMJ15Q" x="760" y="10" width="396" height="400"/>
  239. </children>
  240. <styles xsi:type="notation:DiagramStyle" xmi:id="_UhhmQY8XEeeHxdQetMJ15Q"/>
  241. <edges xmi:id="_UhwPwI8XEeeHxdQetMJ15Q" type="Transition" element="_UhvBoY8XEeeHxdQetMJ15Q" source="_UhqwMY8XEeeHxdQetMJ15Q" target="_UhslYo8XEeeHxdQetMJ15Q">
  242. <children xsi:type="notation:DecorationNode" xmi:id="_Uhw20Y8XEeeHxdQetMJ15Q" type="TransitionExpression">
  243. <styles xsi:type="notation:ShapeStyle" xmi:id="_Uhw20o8XEeeHxdQetMJ15Q"/>
  244. <layoutConstraint xsi:type="notation:Location" xmi:id="_Uhxd4I8XEeeHxdQetMJ15Q" y="10"/>
  245. </children>
  246. <styles xsi:type="notation:ConnectorStyle" xmi:id="_UhwPwY8XEeeHxdQetMJ15Q" routing="Rectilinear" lineColor="4210752"/>
  247. <styles xsi:type="notation:FontStyle" xmi:id="_Uhw20I8XEeeHxdQetMJ15Q" fontName="Verdana"/>
  248. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_UhwPwo8XEeeHxdQetMJ15Q" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  249. </edges>
  250. <edges xmi:id="_ZMb2MI8XEeeHxdQetMJ15Q" type="Transition" element="_ZMaBAI8XEeeHxdQetMJ15Q" source="_YTLS8I8XEeeHxdQetMJ15Q" target="_WPrxMI8XEeeHxdQetMJ15Q">
  251. <children xsi:type="notation:DecorationNode" xmi:id="_ZMb2NI8XEeeHxdQetMJ15Q" type="TransitionExpression">
  252. <styles xsi:type="notation:ShapeStyle" xmi:id="_ZMb2NY8XEeeHxdQetMJ15Q"/>
  253. <layoutConstraint xsi:type="notation:Location" xmi:id="_ZMcdQI8XEeeHxdQetMJ15Q" y="10"/>
  254. </children>
  255. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ZMb2MY8XEeeHxdQetMJ15Q" routing="Rectilinear" lineColor="4210752"/>
  256. <styles xsi:type="notation:FontStyle" xmi:id="_ZMb2M48XEeeHxdQetMJ15Q" fontName="Verdana"/>
  257. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ZMb2Mo8XEeeHxdQetMJ15Q" points="[-1, 7, 14, -43]$[-13, 42, 2, -8]"/>
  258. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_ZMgHoI8XEeeHxdQetMJ15Q" id="(0.4,0.16981132075471697)"/>
  259. </edges>
  260. <edges xmi:id="_bB2fsI8XEeeHxdQetMJ15Q" type="Transition" element="_bB0qgI8XEeeHxdQetMJ15Q" source="_WPrxMI8XEeeHxdQetMJ15Q" target="_aQ4VwI8XEeeHxdQetMJ15Q">
  261. <children xsi:type="notation:DecorationNode" xmi:id="_bB3GwI8XEeeHxdQetMJ15Q" type="TransitionExpression">
  262. <styles xsi:type="notation:ShapeStyle" xmi:id="_bB3GwY8XEeeHxdQetMJ15Q"/>
  263. <layoutConstraint xsi:type="notation:Location" xmi:id="_bB3Gwo8XEeeHxdQetMJ15Q" y="10"/>
  264. </children>
  265. <styles xsi:type="notation:ConnectorStyle" xmi:id="_bB2fsY8XEeeHxdQetMJ15Q" routing="Rectilinear" lineColor="4210752"/>
  266. <styles xsi:type="notation:FontStyle" xmi:id="_bB2fs48XEeeHxdQetMJ15Q" fontName="Verdana"/>
  267. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_bB2fso8XEeeHxdQetMJ15Q" points="[3, 24, -15, -151]$[21, 179, 3, 4]"/>
  268. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_bB6KEI8XEeeHxdQetMJ15Q" id="(0.4666666666666667,0.9245283018867925)"/>
  269. </edges>
  270. <edges xmi:id="_kUuZQI8XEeeHxdQetMJ15Q" type="Transition" element="_kUtyMI8XEeeHxdQetMJ15Q" source="_kUr9BY8XEeeHxdQetMJ15Q" target="_kUr9Do8XEeeHxdQetMJ15Q">
  271. <children xsi:type="notation:DecorationNode" xmi:id="_kUuZQY8XEeeHxdQetMJ15Q" type="TransitionExpression">
  272. <styles xsi:type="notation:ShapeStyle" xmi:id="_kUuZQo8XEeeHxdQetMJ15Q"/>
  273. <layoutConstraint xsi:type="notation:Location" xmi:id="_kUuZQ48XEeeHxdQetMJ15Q" y="10"/>
  274. </children>
  275. <styles xsi:type="notation:ConnectorStyle" xmi:id="_kUuZRI8XEeeHxdQetMJ15Q" routing="Rectilinear" lineColor="4210752"/>
  276. <styles xsi:type="notation:FontStyle" xmi:id="_kUuZRY8XEeeHxdQetMJ15Q" fontName="Verdana"/>
  277. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_kUuZRo8XEeeHxdQetMJ15Q" points="[7, 2, -94, -35]$[103, 30, 2, -7]"/>
  278. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_kUuZR48XEeeHxdQetMJ15Q" id="(0.32,0.1509433962264151)"/>
  279. </edges>
  280. <edges xmi:id="_lUhpYo8XEeeHxdQetMJ15Q" type="Transition" element="_lUhCUo8XEeeHxdQetMJ15Q" source="_lUgbR48XEeeHxdQetMJ15Q" target="_lUgbUI8XEeeHxdQetMJ15Q">
  281. <children xsi:type="notation:DecorationNode" xmi:id="_lUhpY48XEeeHxdQetMJ15Q" type="TransitionExpression">
  282. <styles xsi:type="notation:ShapeStyle" xmi:id="_lUhpZI8XEeeHxdQetMJ15Q"/>
  283. <layoutConstraint xsi:type="notation:Location" xmi:id="_lUhpZY8XEeeHxdQetMJ15Q" y="10"/>
  284. </children>
  285. <styles xsi:type="notation:ConnectorStyle" xmi:id="_lUhpZo8XEeeHxdQetMJ15Q" routing="Rectilinear" lineColor="4210752"/>
  286. <styles xsi:type="notation:FontStyle" xmi:id="_lUhpZ48XEeeHxdQetMJ15Q" fontName="Verdana"/>
  287. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_lUhpaI8XEeeHxdQetMJ15Q" points="[7, 2, -94, -35]$[103, 30, 2, -7]"/>
  288. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_lUhpaY8XEeeHxdQetMJ15Q" id="(0.32,0.1509433962264151)"/>
  289. </edges>
  290. <edges xmi:id="_tM8XII8XEeeHxdQetMJ15Q" type="Transition" element="_tM7JAI8XEeeHxdQetMJ15Q" source="_kUr9Do8XEeeHxdQetMJ15Q" target="_s0cXkI8XEeeHxdQetMJ15Q">
  291. <children xsi:type="notation:DecorationNode" xmi:id="_tM8-MI8XEeeHxdQetMJ15Q" type="TransitionExpression">
  292. <styles xsi:type="notation:ShapeStyle" xmi:id="_tM8-MY8XEeeHxdQetMJ15Q"/>
  293. <layoutConstraint xsi:type="notation:Location" xmi:id="_tM8-Mo8XEeeHxdQetMJ15Q" y="10"/>
  294. </children>
  295. <styles xsi:type="notation:ConnectorStyle" xmi:id="_tM8XIY8XEeeHxdQetMJ15Q" routing="Rectilinear" lineColor="4210752"/>
  296. <styles xsi:type="notation:FontStyle" xmi:id="_tM8XI48XEeeHxdQetMJ15Q" fontName="Verdana"/>
  297. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_tM8XIo8XEeeHxdQetMJ15Q" points="[6, 12, -25, -97]$[65, 102, 34, -7]"/>
  298. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_tM-MUI8XEeeHxdQetMJ15Q" id="(0.6610169491525424,0.7547169811320755)"/>
  299. </edges>
  300. <edges xmi:id="_wRiwkI8XEeeHxdQetMJ15Q" type="Transition" element="_wRhicI8XEeeHxdQetMJ15Q" source="_s0cXkI8XEeeHxdQetMJ15Q" target="_kUr9Do8XEeeHxdQetMJ15Q">
  301. <children xsi:type="notation:DecorationNode" xmi:id="_wRiwlI8XEeeHxdQetMJ15Q" type="TransitionExpression">
  302. <styles xsi:type="notation:ShapeStyle" xmi:id="_wRiwlY8XEeeHxdQetMJ15Q"/>
  303. <layoutConstraint xsi:type="notation:Location" xmi:id="_wRiwlo8XEeeHxdQetMJ15Q" x="27" y="-15"/>
  304. </children>
  305. <styles xsi:type="notation:ConnectorStyle" xmi:id="_wRiwkY8XEeeHxdQetMJ15Q" routing="Rectilinear" lineColor="4210752"/>
  306. <styles xsi:type="notation:FontStyle" xmi:id="_wRiwk48XEeeHxdQetMJ15Q" fontName="Verdana"/>
  307. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_wRiwko8XEeeHxdQetMJ15Q" points="[-6, -24, 21, 83]$[-25, -97, 2, 10]"/>
  308. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_wRj-sI8XEeeHxdQetMJ15Q" id="(0.20958083832335328,0.8113207547169812)"/>
  309. </edges>
  310. </notation:Diagram>
  311. </xmi:XMI>