PriorityValues.sct 26 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295
  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="_5h8UEKmAEeGHLMtw-ncbeA" specification="interface:&#xD;&#xA;in event event1&#xD;&#xA;in event event2" name="PriorityValues">
  4. <regions xmi:id="_2yJeQKmGEeGHLMtw-ncbeA" name="someRegion">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_8Es9AKmGEeGHLMtw-ncbeA">
  6. <outgoingTransitions xmi:id="_msFuwKmIEeGHLMtw-ncbeA" specification="" target="_8Xn5AKmGEeGHLMtw-ncbeA"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_8Xn5AKmGEeGHLMtw-ncbeA" name="A" incomingTransitions="_msFuwKmIEeGHLMtw-ncbeA">
  9. <outgoingTransitions xmi:id="_sPfF4KmIEeGHLMtw-ncbeA" specification="event2" target="_9Ua4cKmGEeGHLMtw-ncbeA"/>
  10. </vertices>
  11. <vertices xsi:type="sgraph:State" xmi:id="_9Ua4cKmGEeGHLMtw-ncbeA" name="B" incomingTransitions="_sPfF4KmIEeGHLMtw-ncbeA"/>
  12. </regions>
  13. <regions xmi:id="_5iPPAqmAEeGHLMtw-ncbeA" name="main region">
  14. <vertices xsi:type="sgraph:Entry" xmi:id="_5iZACamAEeGHLMtw-ncbeA">
  15. <outgoingTransitions xmi:id="_5iiJ_qmAEeGHLMtw-ncbeA" target="_5iZAFKmAEeGHLMtw-ncbeA"/>
  16. </vertices>
  17. <vertices xsi:type="sgraph:State" xmi:id="_5iZAFKmAEeGHLMtw-ncbeA" name="A" incomingTransitions="_5iiJ_qmAEeGHLMtw-ncbeA">
  18. <outgoingTransitions xmi:id="_8xR5sKmHEeGHLMtw-ncbeA" specification="event1" target="_IBPPMKmBEeGHLMtw-ncbeA"/>
  19. <outgoingTransitions xmi:id="_7vtvAKmHEeGHLMtw-ncbeA" specification="event1" target="_6-xecKmAEeGHLMtw-ncbeA"/>
  20. <outgoingTransitions xmi:id="_9idfAKmHEeGHLMtw-ncbeA" specification="event1" target="_ISFHkKmBEeGHLMtw-ncbeA"/>
  21. <outgoingTransitions xmi:id="_qWVL4KmIEeGHLMtw-ncbeA" specification="event2 [!active(PriorityValues.someRegion.B)]" target="_nI_tMKmIEeGHLMtw-ncbeA"/>
  22. </vertices>
  23. <vertices xsi:type="sgraph:State" xmi:id="_6-xecKmAEeGHLMtw-ncbeA" specification="" name="B" incomingTransitions="_7vtvAKmHEeGHLMtw-ncbeA"/>
  24. <vertices xsi:type="sgraph:State" xmi:id="_IBPPMKmBEeGHLMtw-ncbeA" specification="" name="C" incomingTransitions="_8xR5sKmHEeGHLMtw-ncbeA"/>
  25. <vertices xsi:type="sgraph:State" xmi:id="_ISFHkKmBEeGHLMtw-ncbeA" specification="" name="D" incomingTransitions="_9idfAKmHEeGHLMtw-ncbeA"/>
  26. <vertices xsi:type="sgraph:State" xmi:id="_nI_tMKmIEeGHLMtw-ncbeA" name="E" incomingTransitions="_qWVL4KmIEeGHLMtw-ncbeA"/>
  27. </regions>
  28. </sgraph:Statechart>
  29. <notation:Diagram xmi:id="_5iPPAKmAEeGHLMtw-ncbeA" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_5h8UEKmAEeGHLMtw-ncbeA" measurementUnit="Pixel">
  30. <children xmi:id="_5iZAAKmAEeGHLMtw-ncbeA" type="Region" element="_5iPPAqmAEeGHLMtw-ncbeA">
  31. <children xsi:type="notation:DecorationNode" xmi:id="_5iZAA6mAEeGHLMtw-ncbeA" type="RegionName">
  32. <styles xsi:type="notation:ShapeStyle" xmi:id="_5iZABKmAEeGHLMtw-ncbeA"/>
  33. <layoutConstraint xsi:type="notation:Location" xmi:id="_5iZABamAEeGHLMtw-ncbeA"/>
  34. </children>
  35. <children xsi:type="notation:Shape" xmi:id="_5iZABqmAEeGHLMtw-ncbeA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  36. <children xmi:id="_5iZACqmAEeGHLMtw-ncbeA" type="Entry" element="_5iZACamAEeGHLMtw-ncbeA">
  37. <children xmi:id="_5iZADamAEeGHLMtw-ncbeA" type="BorderItemLabelContainer">
  38. <children xsi:type="notation:DecorationNode" xmi:id="_5iZAEKmAEeGHLMtw-ncbeA" type="BorderItemLabel">
  39. <styles xsi:type="notation:ShapeStyle" xmi:id="_5iZAEamAEeGHLMtw-ncbeA"/>
  40. <layoutConstraint xsi:type="notation:Location" xmi:id="_5iZAEqmAEeGHLMtw-ncbeA"/>
  41. </children>
  42. <styles xsi:type="notation:ShapeStyle" xmi:id="_5iZADqmAEeGHLMtw-ncbeA" fontName="Verdana" lineColor="4210752"/>
  43. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_5iZAD6mAEeGHLMtw-ncbeA"/>
  44. </children>
  45. <styles xsi:type="notation:ShapeStyle" xmi:id="_5iZAC6mAEeGHLMtw-ncbeA" fontName="Verdana" lineColor="4210752"/>
  46. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_5iZAE6mAEeGHLMtw-ncbeA" x="67" y="151"/>
  47. </children>
  48. <children xmi:id="_5iiJ8amAEeGHLMtw-ncbeA" type="State" element="_5iZAFKmAEeGHLMtw-ncbeA">
  49. <children xsi:type="notation:DecorationNode" xmi:id="_5iiJ9amAEeGHLMtw-ncbeA" type="StateName">
  50. <styles xsi:type="notation:ShapeStyle" xmi:id="_5iiJ9qmAEeGHLMtw-ncbeA"/>
  51. <layoutConstraint xsi:type="notation:Location" xmi:id="_5iiJ96mAEeGHLMtw-ncbeA"/>
  52. </children>
  53. <children xsi:type="notation:Compartment" xmi:id="_5iiJ-KmAEeGHLMtw-ncbeA" type="StateTextCompartment">
  54. <children xsi:type="notation:Shape" xmi:id="_5iiJ-amAEeGHLMtw-ncbeA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  55. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_5iiJ-qmAEeGHLMtw-ncbeA"/>
  56. </children>
  57. </children>
  58. <children xsi:type="notation:Compartment" xmi:id="_5iiJ-6mAEeGHLMtw-ncbeA" type="StateFigureCompartment"/>
  59. <styles xsi:type="notation:ShapeStyle" xmi:id="_5iiJ8qmAEeGHLMtw-ncbeA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  60. <styles xsi:type="notation:FontStyle" xmi:id="_5iiJ86mAEeGHLMtw-ncbeA"/>
  61. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_5iiJ_amAEeGHLMtw-ncbeA" x="149" y="135" width="55" height="60"/>
  62. </children>
  63. <children xmi:id="_6_EZYKmAEeGHLMtw-ncbeA" type="State" element="_6-xecKmAEeGHLMtw-ncbeA">
  64. <children xsi:type="notation:DecorationNode" xmi:id="_6_EZZKmAEeGHLMtw-ncbeA" type="StateName">
  65. <styles xsi:type="notation:ShapeStyle" xmi:id="_6_EZZamAEeGHLMtw-ncbeA"/>
  66. <layoutConstraint xsi:type="notation:Location" xmi:id="_6_EZZqmAEeGHLMtw-ncbeA"/>
  67. </children>
  68. <children xsi:type="notation:Compartment" xmi:id="_6_EZZ6mAEeGHLMtw-ncbeA" type="StateTextCompartment" collapsed="true">
  69. <children xsi:type="notation:Shape" xmi:id="_6_EZaKmAEeGHLMtw-ncbeA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  70. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_6_EZaamAEeGHLMtw-ncbeA"/>
  71. </children>
  72. </children>
  73. <children xsi:type="notation:Compartment" xmi:id="_6_EZaqmAEeGHLMtw-ncbeA" type="StateFigureCompartment"/>
  74. <styles xsi:type="notation:ShapeStyle" xmi:id="_6_EZYamAEeGHLMtw-ncbeA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  75. <styles xsi:type="notation:FontStyle" xmi:id="_6_EZYqmAEeGHLMtw-ncbeA"/>
  76. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_6_EZY6mAEeGHLMtw-ncbeA" x="459" y="70" height="49"/>
  77. </children>
  78. <children xmi:id="_IBZAMKmBEeGHLMtw-ncbeA" type="State" element="_IBPPMKmBEeGHLMtw-ncbeA">
  79. <children xsi:type="notation:DecorationNode" xmi:id="_IBZANKmBEeGHLMtw-ncbeA" type="StateName">
  80. <styles xsi:type="notation:ShapeStyle" xmi:id="_IBZANamBEeGHLMtw-ncbeA"/>
  81. <layoutConstraint xsi:type="notation:Location" xmi:id="_IBZANqmBEeGHLMtw-ncbeA"/>
  82. </children>
  83. <children xsi:type="notation:Compartment" xmi:id="_IBZAN6mBEeGHLMtw-ncbeA" type="StateTextCompartment">
  84. <children xsi:type="notation:Shape" xmi:id="_IBZAOKmBEeGHLMtw-ncbeA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  85. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_IBZAOamBEeGHLMtw-ncbeA"/>
  86. </children>
  87. </children>
  88. <children xsi:type="notation:Compartment" xmi:id="_IBiKIKmBEeGHLMtw-ncbeA" type="StateFigureCompartment"/>
  89. <styles xsi:type="notation:ShapeStyle" xmi:id="_IBZAMamBEeGHLMtw-ncbeA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  90. <styles xsi:type="notation:FontStyle" xmi:id="_IBZAMqmBEeGHLMtw-ncbeA"/>
  91. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_IBZAM6mBEeGHLMtw-ncbeA" x="458" y="124"/>
  92. </children>
  93. <children xmi:id="_ISORgKmBEeGHLMtw-ncbeA" type="State" element="_ISFHkKmBEeGHLMtw-ncbeA">
  94. <children xsi:type="notation:DecorationNode" xmi:id="_ISORhKmBEeGHLMtw-ncbeA" type="StateName">
  95. <styles xsi:type="notation:ShapeStyle" xmi:id="_ISORhamBEeGHLMtw-ncbeA"/>
  96. <layoutConstraint xsi:type="notation:Location" xmi:id="_ISORhqmBEeGHLMtw-ncbeA"/>
  97. </children>
  98. <children xsi:type="notation:Compartment" xmi:id="_ISORh6mBEeGHLMtw-ncbeA" type="StateTextCompartment">
  99. <children xsi:type="notation:Shape" xmi:id="_ISORiKmBEeGHLMtw-ncbeA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  100. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ISORiamBEeGHLMtw-ncbeA"/>
  101. </children>
  102. </children>
  103. <children xsi:type="notation:Compartment" xmi:id="_ISORiqmBEeGHLMtw-ncbeA" type="StateFigureCompartment"/>
  104. <styles xsi:type="notation:ShapeStyle" xmi:id="_ISORgamBEeGHLMtw-ncbeA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  105. <styles xsi:type="notation:FontStyle" xmi:id="_ISORgqmBEeGHLMtw-ncbeA"/>
  106. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ISORg6mBEeGHLMtw-ncbeA" x="459" y="189" width="26"/>
  107. </children>
  108. <children xsi:type="notation:Shape" xmi:id="_HFjl4KmIEeGHLMtw-ncbeA" type="Note" fontName="Verdana" description="transition priority for state A&#xD;&#xA;1. A->C&#xD;&#xA;2. A-> B&#xD;&#xA;3. A-> D" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
  109. <children xsi:type="notation:BasicDecorationNode" xmi:id="_HFjl5KmIEeGHLMtw-ncbeA" type="DiagramName">
  110. <element xsi:nil="true"/>
  111. </children>
  112. <children xsi:type="notation:BasicDecorationNode" xmi:id="_HFjl5amIEeGHLMtw-ncbeA" type="Description">
  113. <element xsi:nil="true"/>
  114. </children>
  115. <styles xsi:type="notation:TextStyle" xmi:id="_HFjl4amIEeGHLMtw-ncbeA"/>
  116. <styles xsi:type="notation:LineTypeStyle" xmi:id="_HFjl4qmIEeGHLMtw-ncbeA"/>
  117. <element xsi:nil="true"/>
  118. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_HFjl46mIEeGHLMtw-ncbeA" x="39" y="24" width="261" height="72"/>
  119. </children>
  120. <children xmi:id="_nJJeMKmIEeGHLMtw-ncbeA" type="State" element="_nI_tMKmIEeGHLMtw-ncbeA">
  121. <children xsi:type="notation:DecorationNode" xmi:id="_nJSoIKmIEeGHLMtw-ncbeA" type="StateName">
  122. <styles xsi:type="notation:ShapeStyle" xmi:id="_nJSoIamIEeGHLMtw-ncbeA"/>
  123. <layoutConstraint xsi:type="notation:Location" xmi:id="_nJSoIqmIEeGHLMtw-ncbeA"/>
  124. </children>
  125. <children xsi:type="notation:Compartment" xmi:id="_nJSoI6mIEeGHLMtw-ncbeA" type="StateTextCompartment">
  126. <children xsi:type="notation:Shape" xmi:id="_nJSoJKmIEeGHLMtw-ncbeA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  127. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_nJSoJamIEeGHLMtw-ncbeA"/>
  128. </children>
  129. </children>
  130. <children xsi:type="notation:Compartment" xmi:id="_nJSoJqmIEeGHLMtw-ncbeA" type="StateFigureCompartment"/>
  131. <styles xsi:type="notation:ShapeStyle" xmi:id="_nJJeMamIEeGHLMtw-ncbeA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  132. <styles xsi:type="notation:FontStyle" xmi:id="_nJJeMqmIEeGHLMtw-ncbeA"/>
  133. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_nJJeM6mIEeGHLMtw-ncbeA" x="449" y="259"/>
  134. </children>
  135. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_5iZAB6mAEeGHLMtw-ncbeA"/>
  136. </children>
  137. <styles xsi:type="notation:ShapeStyle" xmi:id="_5iZAAamAEeGHLMtw-ncbeA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  138. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_5iZACKmAEeGHLMtw-ncbeA" x="220" width="606" height="356"/>
  139. </children>
  140. <children xsi:type="notation:Shape" xmi:id="_5iiKBqmAEeGHLMtw-ncbeA" type="StatechartText" fontName="Verdana" lineColor="4210752">
  141. <children xsi:type="notation:DecorationNode" xmi:id="_5iiKCKmAEeGHLMtw-ncbeA" type="StatechartName">
  142. <styles xsi:type="notation:ShapeStyle" xmi:id="_5iiKCamAEeGHLMtw-ncbeA"/>
  143. <layoutConstraint xsi:type="notation:Location" xmi:id="_5iiKCqmAEeGHLMtw-ncbeA"/>
  144. </children>
  145. <children xsi:type="notation:Shape" xmi:id="_5iiKC6mAEeGHLMtw-ncbeA" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  146. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_5iiKDKmAEeGHLMtw-ncbeA"/>
  147. </children>
  148. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_5iiKDamAEeGHLMtw-ncbeA" x="10" y="10" width="200" height="400"/>
  149. </children>
  150. <children xmi:id="_2ySoMKmGEeGHLMtw-ncbeA" type="Region" element="_2yJeQKmGEeGHLMtw-ncbeA">
  151. <children xsi:type="notation:DecorationNode" xmi:id="_2ySoM6mGEeGHLMtw-ncbeA" type="RegionName">
  152. <styles xsi:type="notation:ShapeStyle" xmi:id="_2ySoNKmGEeGHLMtw-ncbeA"/>
  153. <layoutConstraint xsi:type="notation:Location" xmi:id="_2ySoNamGEeGHLMtw-ncbeA"/>
  154. </children>
  155. <children xsi:type="notation:Shape" xmi:id="_2ySoNqmGEeGHLMtw-ncbeA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  156. <children xmi:id="_8E2G8KmGEeGHLMtw-ncbeA" type="Entry" element="_8Es9AKmGEeGHLMtw-ncbeA">
  157. <children xmi:id="_8E2G86mGEeGHLMtw-ncbeA" type="BorderItemLabelContainer">
  158. <children xsi:type="notation:DecorationNode" xmi:id="_8E2G9qmGEeGHLMtw-ncbeA" type="BorderItemLabel">
  159. <styles xsi:type="notation:ShapeStyle" xmi:id="_8E2G96mGEeGHLMtw-ncbeA"/>
  160. <layoutConstraint xsi:type="notation:Location" xmi:id="_8E2G-KmGEeGHLMtw-ncbeA"/>
  161. </children>
  162. <styles xsi:type="notation:ShapeStyle" xmi:id="_8E2G9KmGEeGHLMtw-ncbeA" fontName="Verdana" lineColor="4210752"/>
  163. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_8E2G9amGEeGHLMtw-ncbeA"/>
  164. </children>
  165. <styles xsi:type="notation:ShapeStyle" xmi:id="_8E2G8amGEeGHLMtw-ncbeA" fontName="Verdana" lineColor="4210752"/>
  166. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_8E2G8qmGEeGHLMtw-ncbeA" x="55" y="32"/>
  167. </children>
  168. <children xmi:id="_8YEk8KmGEeGHLMtw-ncbeA" type="State" element="_8Xn5AKmGEeGHLMtw-ncbeA">
  169. <children xsi:type="notation:DecorationNode" xmi:id="_8YEk9KmGEeGHLMtw-ncbeA" type="StateName">
  170. <styles xsi:type="notation:ShapeStyle" xmi:id="_8YEk9amGEeGHLMtw-ncbeA"/>
  171. <layoutConstraint xsi:type="notation:Location" xmi:id="_8YEk9qmGEeGHLMtw-ncbeA"/>
  172. </children>
  173. <children xsi:type="notation:Compartment" xmi:id="_8YEk96mGEeGHLMtw-ncbeA" type="StateTextCompartment">
  174. <children xsi:type="notation:Shape" xmi:id="_8YEk-KmGEeGHLMtw-ncbeA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  175. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_8YEk-amGEeGHLMtw-ncbeA"/>
  176. </children>
  177. </children>
  178. <children xsi:type="notation:Compartment" xmi:id="_8YEk-qmGEeGHLMtw-ncbeA" type="StateFigureCompartment"/>
  179. <styles xsi:type="notation:ShapeStyle" xmi:id="_8YEk8amGEeGHLMtw-ncbeA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  180. <styles xsi:type="notation:FontStyle" xmi:id="_8YEk8qmGEeGHLMtw-ncbeA"/>
  181. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_8YEk86mGEeGHLMtw-ncbeA" x="140" y="26" width="60"/>
  182. </children>
  183. <children xmi:id="_9Ua4cqmGEeGHLMtw-ncbeA" type="State" element="_9Ua4cKmGEeGHLMtw-ncbeA">
  184. <children xsi:type="notation:DecorationNode" xmi:id="_9UkpcKmGEeGHLMtw-ncbeA" type="StateName">
  185. <styles xsi:type="notation:ShapeStyle" xmi:id="_9UkpcamGEeGHLMtw-ncbeA"/>
  186. <layoutConstraint xsi:type="notation:Location" xmi:id="_9UkpcqmGEeGHLMtw-ncbeA"/>
  187. </children>
  188. <children xsi:type="notation:Compartment" xmi:id="_9Ukpc6mGEeGHLMtw-ncbeA" type="StateTextCompartment">
  189. <children xsi:type="notation:Shape" xmi:id="_9UkpdKmGEeGHLMtw-ncbeA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  190. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_9UkpdamGEeGHLMtw-ncbeA"/>
  191. </children>
  192. </children>
  193. <children xsi:type="notation:Compartment" xmi:id="_9UkpdqmGEeGHLMtw-ncbeA" type="StateFigureCompartment"/>
  194. <styles xsi:type="notation:ShapeStyle" xmi:id="_9Ua4c6mGEeGHLMtw-ncbeA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  195. <styles xsi:type="notation:FontStyle" xmi:id="_9Ua4dKmGEeGHLMtw-ncbeA"/>
  196. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_9Ua4damGEeGHLMtw-ncbeA" x="255" y="26" width="86"/>
  197. </children>
  198. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_2ySoN6mGEeGHLMtw-ncbeA"/>
  199. </children>
  200. <styles xsi:type="notation:ShapeStyle" xmi:id="_2ySoMamGEeGHLMtw-ncbeA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  201. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_2ySoMqmGEeGHLMtw-ncbeA" x="220" y="355" width="601" height="136"/>
  202. </children>
  203. <children xsi:type="notation:Shape" xmi:id="_D_QG0KmJEeGHLMtw-ncbeA" type="Note" fontName="Verdana" description="This state should never &#xD;&#xA;become active since someRegion &#xD;&#xA;has a higher priority" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
  204. <children xsi:type="notation:BasicDecorationNode" xmi:id="_D_Z30KmJEeGHLMtw-ncbeA" type="DiagramName">
  205. <element xsi:nil="true"/>
  206. </children>
  207. <children xsi:type="notation:BasicDecorationNode" xmi:id="_D_Z30amJEeGHLMtw-ncbeA" type="Description">
  208. <element xsi:nil="true"/>
  209. </children>
  210. <styles xsi:type="notation:TextStyle" xmi:id="_D_QG0amJEeGHLMtw-ncbeA"/>
  211. <styles xsi:type="notation:LineTypeStyle" xmi:id="_D_QG0qmJEeGHLMtw-ncbeA"/>
  212. <element xsi:nil="true"/>
  213. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_D_QG06mJEeGHLMtw-ncbeA" x="840" y="285"/>
  214. </children>
  215. <styles xsi:type="notation:DiagramStyle" xmi:id="_5iPPAamAEeGHLMtw-ncbeA"/>
  216. <edges xmi:id="_5iiJ_6mAEeGHLMtw-ncbeA" type="Transition" element="_5iiJ_qmAEeGHLMtw-ncbeA" source="_5iZACqmAEeGHLMtw-ncbeA" target="_5iiJ8amAEeGHLMtw-ncbeA">
  217. <children xsi:type="notation:DecorationNode" xmi:id="_5iiKA6mAEeGHLMtw-ncbeA" type="TransitionExpression">
  218. <styles xsi:type="notation:ShapeStyle" xmi:id="_5iiKBKmAEeGHLMtw-ncbeA"/>
  219. <layoutConstraint xsi:type="notation:Location" xmi:id="_5iiKBamAEeGHLMtw-ncbeA" y="10"/>
  220. </children>
  221. <styles xsi:type="notation:ConnectorStyle" xmi:id="_5iiKAKmAEeGHLMtw-ncbeA" lineColor="4210752"/>
  222. <styles xsi:type="notation:FontStyle" xmi:id="_5iiKAqmAEeGHLMtw-ncbeA" fontName="Verdana"/>
  223. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_5iiKAamAEeGHLMtw-ncbeA" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  224. </edges>
  225. <edges xmi:id="_7v3gAKmHEeGHLMtw-ncbeA" type="Transition" element="_7vtvAKmHEeGHLMtw-ncbeA" source="_5iiJ8amAEeGHLMtw-ncbeA" target="_6_EZYKmAEeGHLMtw-ncbeA">
  226. <children xsi:type="notation:DecorationNode" xmi:id="_7v3gBKmHEeGHLMtw-ncbeA" type="TransitionExpression">
  227. <styles xsi:type="notation:ShapeStyle" xmi:id="_7v3gBamHEeGHLMtw-ncbeA"/>
  228. <layoutConstraint xsi:type="notation:Location" xmi:id="_7v3gBqmHEeGHLMtw-ncbeA" y="10"/>
  229. </children>
  230. <styles xsi:type="notation:ConnectorStyle" xmi:id="_7v3gAamHEeGHLMtw-ncbeA" lineColor="4210752"/>
  231. <styles xsi:type="notation:FontStyle" xmi:id="_7v3gA6mHEeGHLMtw-ncbeA" fontName="Verdana"/>
  232. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_7v3gAqmHEeGHLMtw-ncbeA" points="[18, -4, -435, 8]$[397, -4, -56, 8]"/>
  233. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_7wKa8KmHEeGHLMtw-ncbeA" id="(0.5,0.18518518518518517)"/>
  234. </edges>
  235. <edges xmi:id="_8xuloKmHEeGHLMtw-ncbeA" type="Transition" element="_8xR5sKmHEeGHLMtw-ncbeA" source="_5iiJ8amAEeGHLMtw-ncbeA" target="_IBZAMKmBEeGHLMtw-ncbeA">
  236. <children xsi:type="notation:DecorationNode" xmi:id="_8xulpKmHEeGHLMtw-ncbeA" type="TransitionExpression">
  237. <styles xsi:type="notation:ShapeStyle" xmi:id="_8xulpamHEeGHLMtw-ncbeA"/>
  238. <layoutConstraint xsi:type="notation:Location" xmi:id="_8xulpqmHEeGHLMtw-ncbeA" y="10"/>
  239. </children>
  240. <styles xsi:type="notation:ConnectorStyle" xmi:id="_8xuloamHEeGHLMtw-ncbeA" lineColor="4210752"/>
  241. <styles xsi:type="notation:FontStyle" xmi:id="_8xulo6mHEeGHLMtw-ncbeA" fontName="Verdana"/>
  242. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_8xuloqmHEeGHLMtw-ncbeA" points="[18, -5, -390, 3]$[409, 18, 1, 26]"/>
  243. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_8yeMgKmHEeGHLMtw-ncbeA" id="(0.10833333333333334,0.5409836065573771)"/>
  244. </edges>
  245. <edges xmi:id="_9iwZ8KmHEeGHLMtw-ncbeA" type="Transition" element="_9idfAKmHEeGHLMtw-ncbeA" source="_5iiJ8amAEeGHLMtw-ncbeA" target="_ISORgKmBEeGHLMtw-ncbeA">
  246. <children xsi:type="notation:DecorationNode" xmi:id="_9iwZ9KmHEeGHLMtw-ncbeA" type="TransitionExpression">
  247. <styles xsi:type="notation:ShapeStyle" xmi:id="_9iwZ9amHEeGHLMtw-ncbeA"/>
  248. <layoutConstraint xsi:type="notation:Location" xmi:id="_9iwZ9qmHEeGHLMtw-ncbeA" y="10"/>
  249. </children>
  250. <styles xsi:type="notation:ConnectorStyle" xmi:id="_9iwZ8amHEeGHLMtw-ncbeA" lineColor="4210752"/>
  251. <styles xsi:type="notation:FontStyle" xmi:id="_9iwZ86mHEeGHLMtw-ncbeA" fontName="Verdana"/>
  252. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_9iwZ8qmHEeGHLMtw-ncbeA" points="[12, -4, -401, 3]$[414, 18, 1, 25]"/>
  253. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_9jgA0KmHEeGHLMtw-ncbeA" id="(0.675,0.8306878306878307)"/>
  254. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_9jgA0amHEeGHLMtw-ncbeA" id="(0.19327731092436976,0.5178571428571429)"/>
  255. </edges>
  256. <edges xmi:id="_msPfwKmIEeGHLMtw-ncbeA" type="Transition" element="_msFuwKmIEeGHLMtw-ncbeA" source="_8E2G8KmGEeGHLMtw-ncbeA" target="_8YEk8KmGEeGHLMtw-ncbeA">
  257. <children xsi:type="notation:DecorationNode" xmi:id="_msPfxKmIEeGHLMtw-ncbeA" type="TransitionExpression">
  258. <styles xsi:type="notation:ShapeStyle" xmi:id="_msPfxamIEeGHLMtw-ncbeA"/>
  259. <layoutConstraint xsi:type="notation:Location" xmi:id="_msPfxqmIEeGHLMtw-ncbeA" y="10"/>
  260. </children>
  261. <styles xsi:type="notation:ConnectorStyle" xmi:id="_msPfwamIEeGHLMtw-ncbeA" lineColor="4210752"/>
  262. <styles xsi:type="notation:FontStyle" xmi:id="_msPfw6mIEeGHLMtw-ncbeA" fontName="Verdana"/>
  263. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_msPfwqmIEeGHLMtw-ncbeA" points="[7, 0, -94, 3]$[104, -13, 3, -10]"/>
  264. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_msiasKmIEeGHLMtw-ncbeA" id="(0.43333333333333335,0.18032786885245902)"/>
  265. </edges>
  266. <edges xmi:id="_qWe84KmIEeGHLMtw-ncbeA" type="Transition" element="_qWVL4KmIEeGHLMtw-ncbeA" source="_5iiJ8amAEeGHLMtw-ncbeA" target="_nJJeMKmIEeGHLMtw-ncbeA">
  267. <children xsi:type="notation:DecorationNode" xmi:id="_qWe85KmIEeGHLMtw-ncbeA" type="TransitionExpression">
  268. <styles xsi:type="notation:ShapeStyle" xmi:id="_qWe85amIEeGHLMtw-ncbeA"/>
  269. <layoutConstraint xsi:type="notation:Location" xmi:id="_qWe85qmIEeGHLMtw-ncbeA" x="-26" y="60"/>
  270. </children>
  271. <styles xsi:type="notation:ConnectorStyle" xmi:id="_qWe84amIEeGHLMtw-ncbeA" lineColor="4210752"/>
  272. <styles xsi:type="notation:FontStyle" xmi:id="_qWe846mIEeGHLMtw-ncbeA" fontName="Verdana"/>
  273. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_qWe84qmIEeGHLMtw-ncbeA" points="[-7, 28, 16, -66]$[-21, 85, 2, -9]"/>
  274. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_MXsYcKmJEeGHLMtw-ncbeA" id="(0.3090909090909091,0.9)"/>
  275. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_qWx30KmIEeGHLMtw-ncbeA" id="(0.275,0.17857142857142858)"/>
  276. </edges>
  277. <edges xmi:id="_sPfF4amIEeGHLMtw-ncbeA" type="Transition" element="_sPfF4KmIEeGHLMtw-ncbeA" source="_8YEk8KmGEeGHLMtw-ncbeA" target="_9Ua4cqmGEeGHLMtw-ncbeA">
  278. <children xsi:type="notation:DecorationNode" xmi:id="_sPfF5amIEeGHLMtw-ncbeA" type="TransitionExpression">
  279. <styles xsi:type="notation:ShapeStyle" xmi:id="_sPfF5qmIEeGHLMtw-ncbeA"/>
  280. <layoutConstraint xsi:type="notation:Location" xmi:id="_sPfF56mIEeGHLMtw-ncbeA" y="10"/>
  281. </children>
  282. <styles xsi:type="notation:ConnectorStyle" xmi:id="_sPfF4qmIEeGHLMtw-ncbeA" lineColor="4210752"/>
  283. <styles xsi:type="notation:FontStyle" xmi:id="_sPfF5KmIEeGHLMtw-ncbeA" fontName="Verdana"/>
  284. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_sPfF46mIEeGHLMtw-ncbeA" points="[28, -8, -62, -7]$[91, -26, 1, -25]"/>
  285. </edges>
  286. <edges xsi:type="notation:Connector" xmi:id="_KjBV0KmJEeGHLMtw-ncbeA" type="NoteAttachment" source="_D_QG0KmJEeGHLMtw-ncbeA" target="_nJJeMKmIEeGHLMtw-ncbeA" lineColor="4210752" lineWidth="1">
  287. <styles xsi:type="notation:ArrowStyle" xmi:id="_KjBV0amJEeGHLMtw-ncbeA"/>
  288. <styles xsi:type="notation:LineTypeStyle" xmi:id="_KjBV0qmJEeGHLMtw-ncbeA"/>
  289. <element xsi:nil="true"/>
  290. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_KjBV06mJEeGHLMtw-ncbeA" points="[-21, 2, 441, -47]$[-465, 75, -3, 26]"/>
  291. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_KjBV1KmJEeGHLMtw-ncbeA" id="(0.09012875536480687,0.2857142857142857)"/>
  292. </edges>
  293. </notation:Diagram>
  294. </xmi:XMI>