Test_Transition.sct 26 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292
  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/2.0.0" xmlns:stext="http://www.yakindu.org/sct/statechart/SText">
  3. <sgraph:Statechart xmi:id="_yJVewfZKEeCz_6s_8P8IEA" name="Test_Transition" expression="interface A:&#xA;in event event1 : integer = 1&#xA;in event event2&#xA;in event event3&#xA;out event event4&#xA;&#xA;interface:&#xA;in event event5 : boolean&#xA;in event event6&#xA;out event event7&#xA;var i : integer&#xA;var j : real&#xA;&#xA;internal:&#xA;event event10 = event1 &amp;&amp; event5&#xA;">
  4. <scopes xsi:type="stext:InterfaceScope" xmi:id="_xX_kEAFQEeGBE7eesluF0A" name="A">
  5. <declarations xsi:type="stext:EventDefinition" xmi:id="_xX_kEQFQEeGBE7eesluF0A" name="event1" direction="in" type="integer">
  6. <derivation xmi:id="_xX_kEgFQEeGBE7eesluF0A">
  7. <condition xsi:type="stext:PrimitiveValueExpression" xmi:id="_xX_kEwFQEeGBE7eesluF0A" value="1"/>
  8. </derivation>
  9. </declarations>
  10. <declarations xsi:type="stext:EventDefinition" xmi:id="_xX_kFAFQEeGBE7eesluF0A" name="event2" direction="in"/>
  11. <declarations xsi:type="stext:EventDefinition" xmi:id="_xX_kFQFQEeGBE7eesluF0A" name="event3" direction="in"/>
  12. <declarations xsi:type="stext:EventDefinition" xmi:id="_xX_kFgFQEeGBE7eesluF0A" name="event4" direction="out"/>
  13. </scopes>
  14. <scopes xsi:type="stext:InterfaceScope" xmi:id="_xX_kFwFQEeGBE7eesluF0A">
  15. <declarations xsi:type="stext:EventDefinition" xmi:id="_xX_kGAFQEeGBE7eesluF0A" name="event5" direction="in" type="boolean"/>
  16. <declarations xsi:type="stext:EventDefinition" xmi:id="_xX_kGQFQEeGBE7eesluF0A" name="event6" direction="in"/>
  17. <declarations xsi:type="stext:EventDefinition" xmi:id="_xX_kGgFQEeGBE7eesluF0A" name="event7" direction="out"/>
  18. <declarations xsi:type="stext:VariableDefinition" xmi:id="_xX_kGwFQEeGBE7eesluF0A" name="i" type="integer"/>
  19. <declarations xsi:type="stext:VariableDefinition" xmi:id="_xX_kHAFQEeGBE7eesluF0A" name="j" type="real"/>
  20. </scopes>
  21. <scopes xsi:type="stext:InternalScope" xmi:id="_xX_kHQFQEeGBE7eesluF0A">
  22. <declarations xsi:type="stext:EventDefinition" xmi:id="_xX_kHgFQEeGBE7eesluF0A" name="event10">
  23. <derivation xmi:id="_xX_kHwFQEeGBE7eesluF0A">
  24. <condition xsi:type="stext:LogicalAndExpression" xmi:id="_xX_kIAFQEeGBE7eesluF0A">
  25. <leftOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_xX_kIQFQEeGBE7eesluF0A" value="_xX_kEQFQEeGBE7eesluF0A"/>
  26. <rightOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_xX_kIgFQEeGBE7eesluF0A" value="_xX_kGAFQEeGBE7eesluF0A"/>
  27. </condition>
  28. </derivation>
  29. </declarations>
  30. </scopes>
  31. <regions xmi:id="_yMGe4PZKEeCz_6s_8P8IEA" name="">
  32. <vertices xsi:type="sgraph:Entry" xmi:id="_yPWAIPZKEeCz_6s_8P8IEA">
  33. <outgoingTransitions xmi:id="_yPtMgPZKEeCz_6s_8P8IEA" target="_yPZqgPZKEeCz_6s_8P8IEA"/>
  34. </vertices>
  35. <vertices xsi:type="sgraph:State" xmi:id="_yPZqgPZKEeCz_6s_8P8IEA" name="State1" incomingTransitions="_yPtMgPZKEeCz_6s_8P8IEA">
  36. <outgoingTransitions xmi:id="_9tv9IPZKEeCz_6s_8P8IEA" expression="event1" target="_6jMFoPZKEeCz_6s_8P8IEA">
  37. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_xYEckAFQEeGBE7eesluF0A">
  38. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_xYEckQFQEeGBE7eesluF0A" event="_xX_kEQFQEeGBE7eesluF0A"/>
  39. </trigger>
  40. </outgoingTransitions>
  41. <outgoingTransitions xmi:id="_N1VrwPZLEeCz_6s_8P8IEA" expression="event1, event2" target="_6jMFoPZKEeCz_6s_8P8IEA">
  42. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_xYGRwAFQEeGBE7eesluF0A">
  43. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_xYGRwQFQEeGBE7eesluF0A" event="_xX_kEQFQEeGBE7eesluF0A"/>
  44. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_xYGRwgFQEeGBE7eesluF0A" event="_xX_kFAFQEeGBE7eesluF0A"/>
  45. </trigger>
  46. </outgoingTransitions>
  47. <outgoingTransitions xmi:id="_RSDqQPZLEeCz_6s_8P8IEA" expression="[i==5]" target="_6jMFoPZKEeCz_6s_8P8IEA">
  48. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_xYJ8IAFQEeGBE7eesluF0A">
  49. <guardExpression xsi:type="stext:LogicalRelationExpression" xmi:id="_xYJ8IQFQEeGBE7eesluF0A" operator="==">
  50. <leftOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_xYJ8IgFQEeGBE7eesluF0A" value="_xX_kGwFQEeGBE7eesluF0A"/>
  51. <rightOperand xsi:type="stext:PrimitiveValueExpression" xmi:id="_xYJ8IwFQEeGBE7eesluF0A" value="5"/>
  52. </guardExpression>
  53. </trigger>
  54. </outgoingTransitions>
  55. <outgoingTransitions xmi:id="_dxK2UPZLEeCz_6s_8P8IEA" expression="event3[j&lt;20]" target="_6jMFoPZKEeCz_6s_8P8IEA">
  56. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_xYLxUAFQEeGBE7eesluF0A">
  57. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_xYLxUQFQEeGBE7eesluF0A" event="_xX_kFQFQEeGBE7eesluF0A"/>
  58. <guardExpression xsi:type="stext:LogicalRelationExpression" xmi:id="_xYLxUgFQEeGBE7eesluF0A">
  59. <leftOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_xYLxUwFQEeGBE7eesluF0A" value="_xX_kHAFQEeGBE7eesluF0A"/>
  60. <rightOperand xsi:type="stext:PrimitiveValueExpression" xmi:id="_xYLxVAFQEeGBE7eesluF0A" value="20"/>
  61. </guardExpression>
  62. </trigger>
  63. </outgoingTransitions>
  64. <outgoingTransitions xmi:id="_kGjEAPZLEeCz_6s_8P8IEA" expression="event3,event4[j>30]" target="_6jMFoPZKEeCz_6s_8P8IEA">
  65. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_xYONkAFQEeGBE7eesluF0A">
  66. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_xYO0oAFQEeGBE7eesluF0A" event="_xX_kFQFQEeGBE7eesluF0A"/>
  67. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_xYO0oQFQEeGBE7eesluF0A" event="_xX_kFgFQEeGBE7eesluF0A"/>
  68. <guardExpression xsi:type="stext:LogicalRelationExpression" xmi:id="_xYO0ogFQEeGBE7eesluF0A" operator=">">
  69. <leftOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_xYO0owFQEeGBE7eesluF0A" value="_xX_kHAFQEeGBE7eesluF0A"/>
  70. <rightOperand xsi:type="stext:PrimitiveValueExpression" xmi:id="_xYO0pAFQEeGBE7eesluF0A" value="30"/>
  71. </guardExpression>
  72. </trigger>
  73. </outgoingTransitions>
  74. <outgoingTransitions xmi:id="_q6VE8PZLEeCz_6s_8P8IEA" expression="event6/i=15;" target="_6jMFoPZKEeCz_6s_8P8IEA">
  75. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_xYTGEAFQEeGBE7eesluF0A">
  76. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_xYTGEQFQEeGBE7eesluF0A" event="_xX_kGQFQEeGBE7eesluF0A"/>
  77. </trigger>
  78. <effect xsi:type="stext:ReactionEffect" xmi:id="_xYTGEgFQEeGBE7eesluF0A">
  79. <actions xsi:type="stext:Assignment" xmi:id="_xYTGEwFQEeGBE7eesluF0A" varRef="_xX_kGwFQEeGBE7eesluF0A">
  80. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_xYTGFAFQEeGBE7eesluF0A" value="15"/>
  81. </actions>
  82. </effect>
  83. </outgoingTransitions>
  84. <outgoingTransitions xmi:id="_0zRgAPZLEeCz_6s_8P8IEA" expression="event7/j=i*9;" target="_6jMFoPZKEeCz_6s_8P8IEA">
  85. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_xYViUAFQEeGBE7eesluF0A">
  86. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_xYWJYAFQEeGBE7eesluF0A" event="_xX_kGgFQEeGBE7eesluF0A"/>
  87. </trigger>
  88. <effect xsi:type="stext:ReactionEffect" xmi:id="_xYWJYQFQEeGBE7eesluF0A">
  89. <actions xsi:type="stext:Assignment" xmi:id="_xYWJYgFQEeGBE7eesluF0A" varRef="_xX_kHAFQEeGBE7eesluF0A">
  90. <expression xsi:type="stext:NumericalMultiplyDivideExpression" xmi:id="_xYWJYwFQEeGBE7eesluF0A">
  91. <leftOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_xYWJZAFQEeGBE7eesluF0A" value="_xX_kGwFQEeGBE7eesluF0A"/>
  92. <rightOperand xsi:type="stext:PrimitiveValueExpression" xmi:id="_xYWJZQFQEeGBE7eesluF0A" value="9"/>
  93. </expression>
  94. </actions>
  95. </effect>
  96. </outgoingTransitions>
  97. <outgoingTransitions xmi:id="_6xGJUPZLEeCz_6s_8P8IEA" expression="after 10s" target="_6jMFoPZKEeCz_6s_8P8IEA">
  98. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_xYZzwAFQEeGBE7eesluF0A">
  99. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_xYZzwQFQEeGBE7eesluF0A" value="10"/>
  100. </trigger>
  101. </outgoingTransitions>
  102. <outgoingTransitions xmi:id="_KgZTwPZMEeCz_6s_8P8IEA" expression="after 100ms" target="_6jMFoPZKEeCz_6s_8P8IEA">
  103. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_xYZzwgFQEeGBE7eesluF0A">
  104. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_xYZzwwFQEeGBE7eesluF0A" value="100" unit="ms"/>
  105. </trigger>
  106. </outgoingTransitions>
  107. <scopes xmi:id="_xYD1gAFQEeGBE7eesluF0A"/>
  108. </vertices>
  109. <vertices xsi:type="sgraph:State" xmi:id="_6jMFoPZKEeCz_6s_8P8IEA" name="State2" incomingTransitions="_9tv9IPZKEeCz_6s_8P8IEA _N1VrwPZLEeCz_6s_8P8IEA _RSDqQPZLEeCz_6s_8P8IEA _dxK2UPZLEeCz_6s_8P8IEA _kGjEAPZLEeCz_6s_8P8IEA _q6VE8PZLEeCz_6s_8P8IEA _0zRgAPZLEeCz_6s_8P8IEA _6xGJUPZLEeCz_6s_8P8IEA _KgZTwPZMEeCz_6s_8P8IEA">
  110. <scopes xmi:id="_xYZzxAFQEeGBE7eesluF0A"/>
  111. </vertices>
  112. </regions>
  113. </sgraph:Statechart>
  114. <notation:Diagram xmi:id="_yMFQwPZKEeCz_6s_8P8IEA" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_yJVewfZKEeCz_6s_8P8IEA" measurementUnit="Pixel">
  115. <children xmi:id="_yMfgcPZKEeCz_6s_8P8IEA" type="Region" element="_yMGe4PZKEeCz_6s_8P8IEA">
  116. <children xsi:type="notation:DecorationNode" xmi:id="_yOuVEPZKEeCz_6s_8P8IEA" type="RegionName">
  117. <styles xsi:type="notation:ShapeStyle" xmi:id="_yOwKQPZKEeCz_6s_8P8IEA"/>
  118. <layoutConstraint xsi:type="notation:Location" xmi:id="_yOwKQfZKEeCz_6s_8P8IEA"/>
  119. </children>
  120. <children xsi:type="notation:Shape" xmi:id="_yOymgPZKEeCz_6s_8P8IEA" type="RegionCompartment" fontName="Arial" fontHeight="10" lineColor="4210752">
  121. <children xmi:id="_yPWnMPZKEeCz_6s_8P8IEA" type="Entry" element="_yPWAIPZKEeCz_6s_8P8IEA">
  122. <children xmi:id="_yPX1UPZKEeCz_6s_8P8IEA" type="BorderItemLabelContainer">
  123. <children xsi:type="notation:DecorationNode" xmi:id="_yPX1U_ZKEeCz_6s_8P8IEA" type="BorderItemLabel">
  124. <styles xsi:type="notation:ShapeStyle" xmi:id="_yPX1VPZKEeCz_6s_8P8IEA"/>
  125. <layoutConstraint xsi:type="notation:Location" xmi:id="_yPX1VfZKEeCz_6s_8P8IEA"/>
  126. </children>
  127. <styles xsi:type="notation:ShapeStyle" xmi:id="_yPX1UfZKEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10" lineColor="4210752"/>
  128. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yPX1UvZKEeCz_6s_8P8IEA"/>
  129. </children>
  130. <styles xsi:type="notation:ShapeStyle" xmi:id="_yPWnMfZKEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10" lineColor="4210752"/>
  131. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yPX1VvZKEeCz_6s_8P8IEA" x="70" y="20"/>
  132. </children>
  133. <children xmi:id="_yPlQsPZKEeCz_6s_8P8IEA" type="State" element="_yPZqgPZKEeCz_6s_8P8IEA">
  134. <children xsi:type="notation:DecorationNode" xmi:id="_yPl3wPZKEeCz_6s_8P8IEA" type="StateName">
  135. <styles xsi:type="notation:ShapeStyle" xmi:id="_yPl3wfZKEeCz_6s_8P8IEA"/>
  136. <layoutConstraint xsi:type="notation:Location" xmi:id="_yPl3wvZKEeCz_6s_8P8IEA"/>
  137. </children>
  138. <children xsi:type="notation:Compartment" xmi:id="_yPoUAPZKEeCz_6s_8P8IEA" type="StateTextCompartment">
  139. <children xsi:type="notation:Shape" xmi:id="_yPo7EPZKEeCz_6s_8P8IEA" type="StateTextCompartmentExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
  140. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yPo7EfZKEeCz_6s_8P8IEA"/>
  141. </children>
  142. </children>
  143. <children xsi:type="notation:Compartment" xmi:id="_yPo7EvZKEeCz_6s_8P8IEA" type="StateFigureCompartment"/>
  144. <styles xsi:type="notation:ShapeStyle" xmi:id="_yPlQsfZKEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10" fillColor="15981773" lineColor="12632256"/>
  145. <styles xsi:type="notation:FontStyle" xmi:id="_yPlQsvZKEeCz_6s_8P8IEA"/>
  146. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_yPqJMPZKEeCz_6s_8P8IEA"/>
  147. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yPqwQPZKEeCz_6s_8P8IEA" x="1" y="42" height="329"/>
  148. </children>
  149. <children xmi:id="_6jN60PZKEeCz_6s_8P8IEA" type="State" element="_6jMFoPZKEeCz_6s_8P8IEA">
  150. <children xsi:type="notation:DecorationNode" xmi:id="_6jPI8PZKEeCz_6s_8P8IEA" type="StateName">
  151. <styles xsi:type="notation:ShapeStyle" xmi:id="_6jPI8fZKEeCz_6s_8P8IEA"/>
  152. <layoutConstraint xsi:type="notation:Location" xmi:id="_6jPI8vZKEeCz_6s_8P8IEA"/>
  153. </children>
  154. <children xsi:type="notation:Compartment" xmi:id="_6jPI8_ZKEeCz_6s_8P8IEA" type="StateTextCompartment">
  155. <children xsi:type="notation:Shape" xmi:id="_6jPI9PZKEeCz_6s_8P8IEA" type="StateTextCompartmentExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
  156. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_6jPI9fZKEeCz_6s_8P8IEA"/>
  157. </children>
  158. </children>
  159. <children xsi:type="notation:Compartment" xmi:id="_6jPwAPZKEeCz_6s_8P8IEA" type="StateFigureCompartment"/>
  160. <styles xsi:type="notation:ShapeStyle" xmi:id="_6jN60fZKEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10" fillColor="15981773" lineColor="12632256"/>
  161. <styles xsi:type="notation:FontStyle" xmi:id="_6jN60vZKEeCz_6s_8P8IEA"/>
  162. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_6jPwAfZKEeCz_6s_8P8IEA"/>
  163. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_6jN60_ZKEeCz_6s_8P8IEA" x="284" y="42" height="329"/>
  164. </children>
  165. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yOymgfZKEeCz_6s_8P8IEA"/>
  166. </children>
  167. <styles xsi:type="notation:ShapeStyle" xmi:id="_yMgHgPZKEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10" fillColor="15790320" lineColor="12632256"/>
  168. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yO0bsPZKEeCz_6s_8P8IEA" x="232" y="10" width="400" height="431"/>
  169. </children>
  170. <children xsi:type="notation:Shape" xmi:id="_yP9EIPZKEeCz_6s_8P8IEA" type="StatechartText" fontName="Arial" fontHeight="10" lineColor="4210752">
  171. <children xsi:type="notation:DecorationNode" xmi:id="_yP9EIvZKEeCz_6s_8P8IEA" type="StatechartName">
  172. <styles xsi:type="notation:ShapeStyle" xmi:id="_yP9rMPZKEeCz_6s_8P8IEA"/>
  173. <layoutConstraint xsi:type="notation:Location" xmi:id="_yP9rMfZKEeCz_6s_8P8IEA"/>
  174. </children>
  175. <children xsi:type="notation:Shape" xmi:id="_yP9rMvZKEeCz_6s_8P8IEA" type="StatechartTextExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
  176. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yP9rM_ZKEeCz_6s_8P8IEA"/>
  177. </children>
  178. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yQAHcPZKEeCz_6s_8P8IEA" x="10" y="10" width="200" height="400"/>
  179. </children>
  180. <styles xsi:type="notation:DiagramStyle" xmi:id="_yMFQwfZKEeCz_6s_8P8IEA"/>
  181. <edges xmi:id="_yP7O8PZKEeCz_6s_8P8IEA" type="Transition" element="_yPtMgPZKEeCz_6s_8P8IEA" source="_yPWnMPZKEeCz_6s_8P8IEA" target="_yPlQsPZKEeCz_6s_8P8IEA">
  182. <children xsi:type="notation:DecorationNode" xmi:id="_yP8dEPZKEeCz_6s_8P8IEA" type="TransitionExpression">
  183. <styles xsi:type="notation:ShapeStyle" xmi:id="_yP8dEfZKEeCz_6s_8P8IEA"/>
  184. <layoutConstraint xsi:type="notation:Location" xmi:id="_yP8dEvZKEeCz_6s_8P8IEA" y="40"/>
  185. </children>
  186. <styles xsi:type="notation:ConnectorStyle" xmi:id="_yP7O8fZKEeCz_6s_8P8IEA" lineColor="4210752"/>
  187. <styles xsi:type="notation:FontStyle" xmi:id="_yP72APZKEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
  188. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_yP7O8vZKEeCz_6s_8P8IEA" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  189. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_E1KPQPZMEeCz_6s_8P8IEA" id="(0.9591836734693877,0.054901960784313725)"/>
  190. </edges>
  191. <edges xmi:id="_9txLQPZKEeCz_6s_8P8IEA" type="Transition" element="_9tv9IPZKEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
  192. <children xsi:type="notation:DecorationNode" xmi:id="_9txyUfZKEeCz_6s_8P8IEA" type="TransitionExpression">
  193. <styles xsi:type="notation:ShapeStyle" xmi:id="_9txyUvZKEeCz_6s_8P8IEA"/>
  194. <layoutConstraint xsi:type="notation:Location" xmi:id="_9txyU_ZKEeCz_6s_8P8IEA" x="-11" y="-12"/>
  195. </children>
  196. <styles xsi:type="notation:ConnectorStyle" xmi:id="_9txLQfZKEeCz_6s_8P8IEA" lineColor="4210752"/>
  197. <styles xsi:type="notation:FontStyle" xmi:id="_9txyUPZKEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
  198. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_9txLQvZKEeCz_6s_8P8IEA" points="[14, 2, -254, 0]$[248, 2, -20, 0]"/>
  199. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_9uwCsPZKEeCz_6s_8P8IEA" id="(0.8979591836734694,0.13677811550151975)"/>
  200. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_9uwCsfZKEeCz_6s_8P8IEA" id="(0.04081632653061224,0.12158054711246201)"/>
  201. </edges>
  202. <edges xmi:id="_N1YIAPZLEeCz_6s_8P8IEA" type="Transition" element="_N1VrwPZLEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
  203. <children xsi:type="notation:DecorationNode" xmi:id="_N1YIBPZLEeCz_6s_8P8IEA" type="TransitionExpression">
  204. <styles xsi:type="notation:ShapeStyle" xmi:id="_N1YIBfZLEeCz_6s_8P8IEA"/>
  205. <layoutConstraint xsi:type="notation:Location" xmi:id="_N1YvEPZLEeCz_6s_8P8IEA" x="-11" y="-11"/>
  206. </children>
  207. <styles xsi:type="notation:ConnectorStyle" xmi:id="_N1YIAfZLEeCz_6s_8P8IEA" lineColor="4210752"/>
  208. <styles xsi:type="notation:FontStyle" xmi:id="_N1YIA_ZLEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
  209. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_N1YIAvZLEeCz_6s_8P8IEA" points="[10, 4, -243, 0]$[244, -25, -9, -29]"/>
  210. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_N2gwcPZLEeCz_6s_8P8IEA" id="(0.9387755102040817,0.22492401215805471)"/>
  211. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_N2gwcfZLEeCz_6s_8P8IEA" id="(0.0,0.20364741641337386)"/>
  212. </edges>
  213. <edges xmi:id="_RSE4YPZLEeCz_6s_8P8IEA" type="Transition" element="_RSDqQPZLEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
  214. <children xsi:type="notation:DecorationNode" xmi:id="_RSGGgPZLEeCz_6s_8P8IEA" type="TransitionExpression">
  215. <styles xsi:type="notation:ShapeStyle" xmi:id="_RSGGgfZLEeCz_6s_8P8IEA"/>
  216. <layoutConstraint xsi:type="notation:Location" xmi:id="_RSGGgvZLEeCz_6s_8P8IEA" x="-5" y="-8"/>
  217. </children>
  218. <styles xsi:type="notation:ConnectorStyle" xmi:id="_RSE4YfZLEeCz_6s_8P8IEA" lineColor="4210752"/>
  219. <styles xsi:type="notation:FontStyle" xmi:id="_RSE4Y_ZLEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
  220. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_RSE4YvZLEeCz_6s_8P8IEA" points="[11, -1, -235, 30]$[245, -31, -1, 0]"/>
  221. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_bOF1kPZLEeCz_6s_8P8IEA" id="(0.9795918367346939,0.2826747720364742)"/>
  222. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_b0NaYPZLEeCz_6s_8P8IEA" id="(0.02040816326530612,0.2887537993920973)"/>
  223. </edges>
  224. <edges xmi:id="_dxMEcPZLEeCz_6s_8P8IEA" type="Transition" element="_dxK2UPZLEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
  225. <children xsi:type="notation:DecorationNode" xmi:id="_dxMEdPZLEeCz_6s_8P8IEA" type="TransitionExpression">
  226. <styles xsi:type="notation:ShapeStyle" xmi:id="_dxMEdfZLEeCz_6s_8P8IEA"/>
  227. <layoutConstraint xsi:type="notation:Location" xmi:id="_dxMrgPZLEeCz_6s_8P8IEA" x="-3" y="-13"/>
  228. </children>
  229. <styles xsi:type="notation:ConnectorStyle" xmi:id="_dxMEcfZLEeCz_6s_8P8IEA" lineColor="4210752"/>
  230. <styles xsi:type="notation:FontStyle" xmi:id="_dxMEc_ZLEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
  231. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_dxMEcvZLEeCz_6s_8P8IEA" points="[8, 9, -237, 0]$[242, 8, -3, -1]"/>
  232. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_dyUF0PZLEeCz_6s_8P8IEA" id="(0.8775510204081632,0.3677811550151976)"/>
  233. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_dyUs4PZLEeCz_6s_8P8IEA" id="(0.16326530612244897,0.3829787234042553)"/>
  234. </edges>
  235. <edges xmi:id="_kGkSIPZLEeCz_6s_8P8IEA" type="Transition" element="_kGjEAPZLEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
  236. <children xsi:type="notation:DecorationNode" xmi:id="_kGkSJPZLEeCz_6s_8P8IEA" type="TransitionExpression">
  237. <styles xsi:type="notation:ShapeStyle" xmi:id="_kGkSJfZLEeCz_6s_8P8IEA"/>
  238. <layoutConstraint xsi:type="notation:Location" xmi:id="_kGkSJvZLEeCz_6s_8P8IEA" x="-5" y="-11"/>
  239. </children>
  240. <styles xsi:type="notation:ConnectorStyle" xmi:id="_kGkSIfZLEeCz_6s_8P8IEA" lineColor="4210752"/>
  241. <styles xsi:type="notation:FontStyle" xmi:id="_kGkSI_ZLEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
  242. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_kGkSIvZLEeCz_6s_8P8IEA" points="[12, -2, -238, 0]$[246, 0, -4, 2]"/>
  243. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_kHbNwPZLEeCz_6s_8P8IEA" id="(0.9183673469387755,0.47112462006079026)"/>
  244. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_kHbNwfZLEeCz_6s_8P8IEA" id="(0.12244897959183673,0.47112462006079026)"/>
  245. </edges>
  246. <edges xmi:id="_q6WTEPZLEeCz_6s_8P8IEA" type="Transition" element="_q6VE8PZLEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
  247. <children xsi:type="notation:DecorationNode" xmi:id="_q6WTFPZLEeCz_6s_8P8IEA" type="TransitionExpression">
  248. <styles xsi:type="notation:ShapeStyle" xmi:id="_q6WTFfZLEeCz_6s_8P8IEA"/>
  249. <layoutConstraint xsi:type="notation:Location" xmi:id="_q6WTFvZLEeCz_6s_8P8IEA" x="-6" y="-10"/>
  250. </children>
  251. <styles xsi:type="notation:ConnectorStyle" xmi:id="_q6WTEfZLEeCz_6s_8P8IEA" lineColor="4210752"/>
  252. <styles xsi:type="notation:FontStyle" xmi:id="_q6WTE_ZLEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
  253. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_q6WTEvZLEeCz_6s_8P8IEA" points="[11, 1, -260, -25]$[272, 85, 1, 59]"/>
  254. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_q7dGUPZLEeCz_6s_8P8IEA" id="(0.8163265306122449,0.5592705167173252)"/>
  255. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_9EQpUPZMEeCz_6s_8P8IEA" id="(0.12244897959183673,0.5623100303951368)"/>
  256. </edges>
  257. <edges xmi:id="_0zSHEPZLEeCz_6s_8P8IEA" type="Transition" element="_0zRgAPZLEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
  258. <children xsi:type="notation:DecorationNode" xmi:id="_0zSuIfZLEeCz_6s_8P8IEA" type="TransitionExpression">
  259. <styles xsi:type="notation:ShapeStyle" xmi:id="_0zSuIvZLEeCz_6s_8P8IEA"/>
  260. <layoutConstraint xsi:type="notation:Location" xmi:id="_0zSuI_ZLEeCz_6s_8P8IEA" x="-6" y="-7"/>
  261. </children>
  262. <styles xsi:type="notation:ConnectorStyle" xmi:id="_0zSHEfZLEeCz_6s_8P8IEA" lineColor="4210752"/>
  263. <styles xsi:type="notation:FontStyle" xmi:id="_0zSuIPZLEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
  264. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_0zSHEvZLEeCz_6s_8P8IEA" points="[19, 5, -256, 0]$[273, 57, -2, 52]"/>
  265. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_00N7MPZLEeCz_6s_8P8IEA" id="(0.8367346938775511,0.6565349544072948)"/>
  266. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_00N7MfZLEeCz_6s_8P8IEA" id="(0.16326530612244897,0.6443768996960486)"/>
  267. </edges>
  268. <edges xmi:id="_6xHXcPZLEeCz_6s_8P8IEA" type="Transition" element="_6xGJUPZLEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
  269. <children xsi:type="notation:DecorationNode" xmi:id="_6xHXdPZLEeCz_6s_8P8IEA" type="TransitionExpression">
  270. <styles xsi:type="notation:ShapeStyle" xmi:id="_6xHXdfZLEeCz_6s_8P8IEA"/>
  271. <layoutConstraint xsi:type="notation:Location" xmi:id="_6xHXdvZLEeCz_6s_8P8IEA" x="-3" y="-13"/>
  272. </children>
  273. <styles xsi:type="notation:ConnectorStyle" xmi:id="_6xHXcfZLEeCz_6s_8P8IEA" lineColor="4210752"/>
  274. <styles xsi:type="notation:FontStyle" xmi:id="_6xHXc_ZLEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
  275. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_6xHXcvZLEeCz_6s_8P8IEA" points="[15, 4, -259, 0]$[274, 30, 0, 26]"/>
  276. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_6yDLkPZLEeCz_6s_8P8IEA" id="(0.9591836734693877,0.729483282674772)"/>
  277. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_6yDyoPZLEeCz_6s_8P8IEA" id="(0.1836734693877551,0.7325227963525835)"/>
  278. </edges>
  279. <edges xmi:id="_Kgah4PZMEeCz_6s_8P8IEA" type="Transition" element="_KgZTwPZMEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
  280. <children xsi:type="notation:DecorationNode" xmi:id="_KgbI8fZMEeCz_6s_8P8IEA" type="TransitionExpression">
  281. <styles xsi:type="notation:ShapeStyle" xmi:id="_KgbI8vZMEeCz_6s_8P8IEA"/>
  282. <layoutConstraint xsi:type="notation:Location" xmi:id="_KgbI8_ZMEeCz_6s_8P8IEA" x="-6" y="-11"/>
  283. </children>
  284. <styles xsi:type="notation:ConnectorStyle" xmi:id="_Kgah4fZMEeCz_6s_8P8IEA" lineColor="4210752"/>
  285. <styles xsi:type="notation:FontStyle" xmi:id="_KgbI8PZMEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
  286. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Kgah4vZMEeCz_6s_8P8IEA" points="[16, -4, -264, 0]$[250, -4, -30, 0]"/>
  287. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_KhI6oPZMEeCz_6s_8P8IEA" id="(0.8979591836734694,0.8085106382978723)"/>
  288. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_KhI6ofZMEeCz_6s_8P8IEA" id="(0.1836734693877551,0.8237082066869301)"/>
  289. </edges>
  290. </notation:Diagram>
  291. </xmi:XMI>