example.sct 22 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259
  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="__J6g0NeYEeCu-5XJkHVC4g" name="example" expression="interface Interface:&#xD;&#xA;&#xD;&#xA; in event e1 : integer&#xD;&#xA; in event e2&#xD;&#xA; in event e3&#xD;&#xA; in event e4&#xD;&#xA; &#xD;&#xA; var c : integer&#xD;&#xA; ">
  4. <scopes xsi:type="stext:InterfaceScope" xmi:id="_cHG8wNq2EeC1mZYRUkEwUg" name="Interface">
  5. <declarations xsi:type="stext:EventDefinition" xmi:id="_cHG8wdq2EeC1mZYRUkEwUg" name="e1" type="integer"/>
  6. <declarations xsi:type="stext:EventDefinition" xmi:id="_cHG8wtq2EeC1mZYRUkEwUg" name="e2"/>
  7. <declarations xsi:type="stext:EventDefinition" xmi:id="_cHG8w9q2EeC1mZYRUkEwUg" name="e3"/>
  8. <declarations xsi:type="stext:EventDefinition" xmi:id="_cHG8xNq2EeC1mZYRUkEwUg" name="e4"/>
  9. <declarations xsi:type="stext:VariableDefinition" xmi:id="_cHG8xdq2EeC1mZYRUkEwUg" name="c" type="integer"/>
  10. </scopes>
  11. <regions xmi:id="__J7H4teYEeCu-5XJkHVC4g" name="main region">
  12. <vertices xsi:type="sgraph:State" xmi:id="__KOC0teYEeCu-5XJkHVC4g" name="S1" incomingTransitions="_LFZbYNeZEeCu-5XJkHVC4g _j4SoENocEeC1mZYRUkEwUg _ffNZQNpvEeC1mZYRUkEwUg">
  13. <outgoingTransitions xmi:id="_B88CENeZEeCu-5XJkHVC4g" expression="e1" target="_BepjkNeZEeCu-5XJkHVC4g">
  14. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_cHIK4dq2EeC1mZYRUkEwUg">
  15. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_cHIK4tq2EeC1mZYRUkEwUg" event="_cHG8wdq2EeC1mZYRUkEwUg"/>
  16. </trigger>
  17. </outgoingTransitions>
  18. <scopes xmi:id="_cHIK4Nq2EeC1mZYRUkEwUg"/>
  19. </vertices>
  20. <vertices xsi:type="sgraph:State" xmi:id="_BepjkNeZEeCu-5XJkHVC4g" name="S2" incomingTransitions="_B88CENeZEeCu-5XJkHVC4g" expression="entry / c += 1;">
  21. <outgoingTransitions xmi:id="_LFZbYNeZEeCu-5XJkHVC4g" expression="e2" target="__KOC0teYEeCu-5XJkHVC4g">
  22. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_cHUYINq2EeC1mZYRUkEwUg">
  23. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_cHUYIdq2EeC1mZYRUkEwUg" event="_cHG8wtq2EeC1mZYRUkEwUg"/>
  24. </trigger>
  25. </outgoingTransitions>
  26. <scopes xmi:id="_cHPfoNq2EeC1mZYRUkEwUg">
  27. <declarations xsi:type="stext:LocalReaction" xmi:id="_cHPfodq2EeC1mZYRUkEwUg">
  28. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_cHPfotq2EeC1mZYRUkEwUg">
  29. <triggers xsi:type="stext:EntryEvent" xmi:id="_cHPfo9q2EeC1mZYRUkEwUg"/>
  30. </trigger>
  31. <effect xsi:type="stext:ReactionEffect" xmi:id="_cHPfpNq2EeC1mZYRUkEwUg">
  32. <actions xsi:type="stext:Assignment" xmi:id="_cHPfpdq2EeC1mZYRUkEwUg" varRef="_cHG8xdq2EeC1mZYRUkEwUg" operator="+=">
  33. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_cHPfptq2EeC1mZYRUkEwUg" value="1"/>
  34. </actions>
  35. </effect>
  36. </declarations>
  37. </scopes>
  38. <subRegions xmi:id="_xNgVsNocEeC1mZYRUkEwUg">
  39. <vertices xsi:type="sgraph:Entry" xmi:id="_2QGs4NocEeC1mZYRUkEwUg">
  40. <outgoingTransitions xmi:id="_6FxW4NocEeC1mZYRUkEwUg" target="_3BWjoNocEeC1mZYRUkEwUg"/>
  41. </vertices>
  42. <vertices xsi:type="sgraph:State" xmi:id="_3BWjoNocEeC1mZYRUkEwUg" name="S3" incomingTransitions="_6FxW4NocEeC1mZYRUkEwUg _7nm9ENocEeC1mZYRUkEwUg">
  43. <outgoingTransitions xmi:id="_69HOkNocEeC1mZYRUkEwUg" expression="e3" target="_4ZpzUNocEeC1mZYRUkEwUg">
  44. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_cHYpkdq2EeC1mZYRUkEwUg">
  45. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_cHYpktq2EeC1mZYRUkEwUg" event="_cHG8w9q2EeC1mZYRUkEwUg"/>
  46. </trigger>
  47. </outgoingTransitions>
  48. <scopes xmi:id="_cHYpkNq2EeC1mZYRUkEwUg"/>
  49. </vertices>
  50. <vertices xsi:type="sgraph:State" xmi:id="_4ZpzUNocEeC1mZYRUkEwUg" name="S4" incomingTransitions="_69HOkNocEeC1mZYRUkEwUg">
  51. <outgoingTransitions xmi:id="_7nm9ENocEeC1mZYRUkEwUg" expression="e4" target="_3BWjoNocEeC1mZYRUkEwUg">
  52. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_cHdiENq2EeC1mZYRUkEwUg">
  53. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_cHdiEdq2EeC1mZYRUkEwUg" event="_cHG8xNq2EeC1mZYRUkEwUg"/>
  54. </trigger>
  55. </outgoingTransitions>
  56. <outgoingTransitions xmi:id="_ffNZQNpvEeC1mZYRUkEwUg" expression="" target="__KOC0teYEeCu-5XJkHVC4g"/>
  57. <scopes xmi:id="_cHc7ANq2EeC1mZYRUkEwUg"/>
  58. </vertices>
  59. </subRegions>
  60. </vertices>
  61. <vertices xsi:type="sgraph:Entry" xmi:id="_jGDS0NocEeC1mZYRUkEwUg">
  62. <outgoingTransitions xmi:id="_j4SoENocEeC1mZYRUkEwUg" target="__KOC0teYEeCu-5XJkHVC4g"/>
  63. </vertices>
  64. </regions>
  65. </sgraph:Statechart>
  66. <notation:Diagram xmi:id="__J7H4NeYEeCu-5XJkHVC4g" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="__J6g0NeYEeCu-5XJkHVC4g" measurementUnit="Pixel">
  67. <children xmi:id="__J-yQNeYEeCu-5XJkHVC4g" type="Region" element="__J7H4teYEeCu-5XJkHVC4g">
  68. <children xsi:type="notation:DecorationNode" xmi:id="__KMNoNeYEeCu-5XJkHVC4g" type="RegionName">
  69. <styles xsi:type="notation:ShapeStyle" xmi:id="__KMNodeYEeCu-5XJkHVC4g"/>
  70. <layoutConstraint xsi:type="notation:Location" xmi:id="__KMNoteYEeCu-5XJkHVC4g"/>
  71. </children>
  72. <children xsi:type="notation:Shape" xmi:id="__KMNo9eYEeCu-5XJkHVC4g" type="RegionCompartment" fontName="Arial" fontHeight="10" lineColor="4210752">
  73. <children xmi:id="__KOC09eYEeCu-5XJkHVC4g" type="State" element="__KOC0teYEeCu-5XJkHVC4g">
  74. <children xsi:type="notation:DecorationNode" xmi:id="__KOp4NeYEeCu-5XJkHVC4g" type="StateName">
  75. <styles xsi:type="notation:ShapeStyle" xmi:id="__KOp4deYEeCu-5XJkHVC4g"/>
  76. <layoutConstraint xsi:type="notation:Location" xmi:id="__KOp4teYEeCu-5XJkHVC4g"/>
  77. </children>
  78. <children xsi:type="notation:Compartment" xmi:id="__KOp49eYEeCu-5XJkHVC4g" type="StateTextCompartment">
  79. <children xsi:type="notation:Shape" xmi:id="__KOp5NeYEeCu-5XJkHVC4g" type="StateTextCompartmentExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
  80. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__KOp5deYEeCu-5XJkHVC4g"/>
  81. </children>
  82. </children>
  83. <children xsi:type="notation:Compartment" xmi:id="__KPQ8NeYEeCu-5XJkHVC4g" type="StateFigureCompartment"/>
  84. <styles xsi:type="notation:ShapeStyle" xmi:id="__KOC1NeYEeCu-5XJkHVC4g" fontName="Arial" fontHeight="10" fillColor="15981773" lineColor="12632256"/>
  85. <styles xsi:type="notation:FontStyle" xmi:id="__KOC1deYEeCu-5XJkHVC4g"/>
  86. <styles xsi:type="notation:BooleanValueStyle" xmi:id="__KPQ8deYEeCu-5XJkHVC4g"/>
  87. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__KPQ8teYEeCu-5XJkHVC4g" x="209" y="4" height="35"/>
  88. </children>
  89. <children xmi:id="_BetN8NeZEeCu-5XJkHVC4g" type="State" element="_BepjkNeZEeCu-5XJkHVC4g">
  90. <children xsi:type="notation:DecorationNode" xmi:id="_BevDINeZEeCu-5XJkHVC4g" type="StateName">
  91. <styles xsi:type="notation:ShapeStyle" xmi:id="_BevDIdeZEeCu-5XJkHVC4g"/>
  92. <layoutConstraint xsi:type="notation:Location" xmi:id="_BevDIteZEeCu-5XJkHVC4g"/>
  93. </children>
  94. <children xsi:type="notation:Compartment" xmi:id="_BevDI9eZEeCu-5XJkHVC4g" type="StateTextCompartment">
  95. <children xsi:type="notation:Shape" xmi:id="_BevqMNeZEeCu-5XJkHVC4g" type="StateTextCompartmentExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
  96. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BevqMdeZEeCu-5XJkHVC4g"/>
  97. </children>
  98. </children>
  99. <children xsi:type="notation:Compartment" xmi:id="_Bew4UNeZEeCu-5XJkHVC4g" type="StateFigureCompartment">
  100. <children xmi:id="_xNhj0NocEeC1mZYRUkEwUg" type="Region" element="_xNgVsNocEeC1mZYRUkEwUg">
  101. <children xsi:type="notation:DecorationNode" xmi:id="_xNiK4NocEeC1mZYRUkEwUg" type="RegionName">
  102. <styles xsi:type="notation:ShapeStyle" xmi:id="_xNiK4docEeC1mZYRUkEwUg"/>
  103. <layoutConstraint xsi:type="notation:Location" xmi:id="_xNix8NocEeC1mZYRUkEwUg"/>
  104. </children>
  105. <children xsi:type="notation:Shape" xmi:id="_xNix8docEeC1mZYRUkEwUg" type="RegionCompartment" fontName="Arial" fontHeight="10" lineColor="4210752">
  106. <children xmi:id="_2QHT8NocEeC1mZYRUkEwUg" type="Entry" element="_2QGs4NocEeC1mZYRUkEwUg">
  107. <children xmi:id="_2QH7ANocEeC1mZYRUkEwUg" type="BorderItemLabelContainer">
  108. <children xsi:type="notation:DecorationNode" xmi:id="_2QH7A9ocEeC1mZYRUkEwUg" type="BorderItemLabel">
  109. <styles xsi:type="notation:ShapeStyle" xmi:id="_2QIiENocEeC1mZYRUkEwUg"/>
  110. <layoutConstraint xsi:type="notation:Location" xmi:id="_2QIiEdocEeC1mZYRUkEwUg"/>
  111. </children>
  112. <styles xsi:type="notation:ShapeStyle" xmi:id="_2QH7AdocEeC1mZYRUkEwUg" fontName="Arial" fontHeight="10" lineColor="4210752"/>
  113. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_2QH7AtocEeC1mZYRUkEwUg"/>
  114. </children>
  115. <styles xsi:type="notation:ShapeStyle" xmi:id="_2QHT8docEeC1mZYRUkEwUg" fontName="Arial" fontHeight="10" lineColor="4210752"/>
  116. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_2QHT8tocEeC1mZYRUkEwUg" x="42" y="17"/>
  117. </children>
  118. <children xmi:id="_3BXxwNocEeC1mZYRUkEwUg" type="State" element="_3BWjoNocEeC1mZYRUkEwUg">
  119. <children xsi:type="notation:DecorationNode" xmi:id="_3BYY0NocEeC1mZYRUkEwUg" type="StateName">
  120. <styles xsi:type="notation:ShapeStyle" xmi:id="_3BYY0docEeC1mZYRUkEwUg"/>
  121. <layoutConstraint xsi:type="notation:Location" xmi:id="_3BYY0tocEeC1mZYRUkEwUg"/>
  122. </children>
  123. <children xsi:type="notation:Compartment" xmi:id="_3BYY09ocEeC1mZYRUkEwUg" type="StateTextCompartment">
  124. <children xsi:type="notation:Shape" xmi:id="_3BY_4NocEeC1mZYRUkEwUg" type="StateTextCompartmentExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
  125. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_3BY_4docEeC1mZYRUkEwUg"/>
  126. </children>
  127. </children>
  128. <children xsi:type="notation:Compartment" xmi:id="_3BY_4tocEeC1mZYRUkEwUg" type="StateFigureCompartment"/>
  129. <styles xsi:type="notation:ShapeStyle" xmi:id="_3BXxwdocEeC1mZYRUkEwUg" fontName="Arial" fontHeight="10" fillColor="15981773" lineColor="12632256"/>
  130. <styles xsi:type="notation:FontStyle" xmi:id="_3BXxwtocEeC1mZYRUkEwUg"/>
  131. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_3BZm8NocEeC1mZYRUkEwUg"/>
  132. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_3BXxw9ocEeC1mZYRUkEwUg" x="17" y="76"/>
  133. </children>
  134. <children xmi:id="_4ZqaYNocEeC1mZYRUkEwUg" type="State" element="_4ZpzUNocEeC1mZYRUkEwUg">
  135. <children xsi:type="notation:DecorationNode" xmi:id="_4ZrBcNocEeC1mZYRUkEwUg" type="StateName">
  136. <styles xsi:type="notation:ShapeStyle" xmi:id="_4ZrBcdocEeC1mZYRUkEwUg"/>
  137. <layoutConstraint xsi:type="notation:Location" xmi:id="_4ZrBctocEeC1mZYRUkEwUg"/>
  138. </children>
  139. <children xsi:type="notation:Compartment" xmi:id="_4ZrogNocEeC1mZYRUkEwUg" type="StateTextCompartment">
  140. <children xsi:type="notation:Shape" xmi:id="_4ZrogdocEeC1mZYRUkEwUg" type="StateTextCompartmentExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
  141. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4ZrogtocEeC1mZYRUkEwUg"/>
  142. </children>
  143. </children>
  144. <children xsi:type="notation:Compartment" xmi:id="_4ZsPkNocEeC1mZYRUkEwUg" type="StateFigureCompartment"/>
  145. <styles xsi:type="notation:ShapeStyle" xmi:id="_4ZqaYdocEeC1mZYRUkEwUg" fontName="Arial" fontHeight="10" fillColor="15981773" lineColor="12632256"/>
  146. <styles xsi:type="notation:FontStyle" xmi:id="_4ZqaYtocEeC1mZYRUkEwUg"/>
  147. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_4ZsPkdocEeC1mZYRUkEwUg"/>
  148. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4ZqaY9ocEeC1mZYRUkEwUg" x="143" y="73"/>
  149. </children>
  150. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_xNix8tocEeC1mZYRUkEwUg"/>
  151. </children>
  152. <styles xsi:type="notation:ShapeStyle" xmi:id="_xNhj0docEeC1mZYRUkEwUg" fontName="Arial" fontHeight="10" fillColor="15790320" lineColor="12632256"/>
  153. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_xNhj0tocEeC1mZYRUkEwUg"/>
  154. </children>
  155. </children>
  156. <styles xsi:type="notation:ShapeStyle" xmi:id="_BetN8deZEeCu-5XJkHVC4g" fontName="Arial" fontHeight="10" fillColor="15981773" lineColor="12632256"/>
  157. <styles xsi:type="notation:FontStyle" xmi:id="_BetN8teZEeCu-5XJkHVC4g"/>
  158. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Bew4UdeZEeCu-5XJkHVC4g"/>
  159. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BetN89eZEeCu-5XJkHVC4g" x="29" y="76" width="333" height="285"/>
  160. </children>
  161. <children xmi:id="_jGGWINocEeC1mZYRUkEwUg" type="Entry" element="_jGDS0NocEeC1mZYRUkEwUg">
  162. <children xmi:id="_jGG9MNocEeC1mZYRUkEwUg" type="BorderItemLabelContainer">
  163. <children xsi:type="notation:DecorationNode" xmi:id="_jGHkQNocEeC1mZYRUkEwUg" type="BorderItemLabel">
  164. <styles xsi:type="notation:ShapeStyle" xmi:id="_jGHkQdocEeC1mZYRUkEwUg"/>
  165. <layoutConstraint xsi:type="notation:Location" xmi:id="_jGILUNocEeC1mZYRUkEwUg"/>
  166. </children>
  167. <styles xsi:type="notation:ShapeStyle" xmi:id="_jGG9MdocEeC1mZYRUkEwUg" fontName="Arial" fontHeight="10" lineColor="4210752"/>
  168. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jGG9MtocEeC1mZYRUkEwUg"/>
  169. </children>
  170. <styles xsi:type="notation:ShapeStyle" xmi:id="_jGGWIdocEeC1mZYRUkEwUg" fontName="Arial" fontHeight="10" lineColor="4210752"/>
  171. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jGGWItocEeC1mZYRUkEwUg" x="154" y="24"/>
  172. </children>
  173. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__KMNpNeYEeCu-5XJkHVC4g"/>
  174. </children>
  175. <styles xsi:type="notation:ShapeStyle" xmi:id="__J-yQdeYEeCu-5XJkHVC4g" fontName="Arial" fontHeight="10" fillColor="15790320" lineColor="12632256"/>
  176. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__KM0sNeYEeCu-5XJkHVC4g" x="216" y="10" width="400" height="400"/>
  177. </children>
  178. <children xsi:type="notation:Shape" xmi:id="__KRGINeYEeCu-5XJkHVC4g" type="StatechartText" fontName="Arial" fontHeight="10" lineColor="4210752">
  179. <children xsi:type="notation:DecorationNode" xmi:id="__KRGIteYEeCu-5XJkHVC4g" type="StatechartName">
  180. <styles xsi:type="notation:ShapeStyle" xmi:id="__KRGI9eYEeCu-5XJkHVC4g"/>
  181. <layoutConstraint xsi:type="notation:Location" xmi:id="__KRGJNeYEeCu-5XJkHVC4g"/>
  182. </children>
  183. <children xsi:type="notation:Shape" xmi:id="__KRtMNeYEeCu-5XJkHVC4g" type="StatechartTextExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
  184. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__KRtMdeYEeCu-5XJkHVC4g"/>
  185. </children>
  186. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__KRtMteYEeCu-5XJkHVC4g" x="10" y="10" width="200" height="400"/>
  187. </children>
  188. <styles xsi:type="notation:DiagramStyle" xmi:id="__J7H4deYEeCu-5XJkHVC4g"/>
  189. <edges xmi:id="_B8_FYNeZEeCu-5XJkHVC4g" type="Transition" element="_B88CENeZEeCu-5XJkHVC4g" source="__KOC09eYEeCu-5XJkHVC4g" target="_BetN8NeZEeCu-5XJkHVC4g">
  190. <children xsi:type="notation:DecorationNode" xmi:id="_B9ATgNeZEeCu-5XJkHVC4g" type="TransitionExpression">
  191. <styles xsi:type="notation:ShapeStyle" xmi:id="_B9ATgdeZEeCu-5XJkHVC4g"/>
  192. <layoutConstraint xsi:type="notation:Location" xmi:id="_B9ATgteZEeCu-5XJkHVC4g" x="-3" y="-11"/>
  193. </children>
  194. <styles xsi:type="notation:ConnectorStyle" xmi:id="_B8_FYdeZEeCu-5XJkHVC4g" lineColor="4210752"/>
  195. <styles xsi:type="notation:FontStyle" xmi:id="_B8_scNeZEeCu-5XJkHVC4g" fontName="Arial" fontHeight="10"/>
  196. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_B8_FYteZEeCu-5XJkHVC4g" points="[5, 51, -6, -56]$[12, 100, 1, -7]"/>
  197. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_B9980NeZEeCu-5XJkHVC4g" id="(0.559322033898305,0.2153846153846154)"/>
  198. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_B9980deZEeCu-5XJkHVC4g" id="(0.6101694915254238,0.1076923076923077)"/>
  199. </edges>
  200. <edges xmi:id="_LFb3oNeZEeCu-5XJkHVC4g" type="Transition" element="_LFZbYNeZEeCu-5XJkHVC4g" source="_BetN8NeZEeCu-5XJkHVC4g" target="__KOC09eYEeCu-5XJkHVC4g">
  201. <children xsi:type="notation:DecorationNode" xmi:id="_LFdFwNeZEeCu-5XJkHVC4g" type="TransitionExpression">
  202. <styles xsi:type="notation:ShapeStyle" xmi:id="_LFdFwdeZEeCu-5XJkHVC4g"/>
  203. <layoutConstraint xsi:type="notation:Location" xmi:id="_LFdFwteZEeCu-5XJkHVC4g" x="-1" y="-13"/>
  204. </children>
  205. <styles xsi:type="notation:ConnectorStyle" xmi:id="_LFb3odeZEeCu-5XJkHVC4g" lineColor="4210752"/>
  206. <styles xsi:type="notation:FontStyle" xmi:id="_LFcesNeZEeCu-5XJkHVC4g" fontName="Arial" fontHeight="10"/>
  207. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_LFb3oteZEeCu-5XJkHVC4g" points="[-9, -32, -9, 83]$[-9, -147, -9, -32]"/>
  208. </edges>
  209. <edges xmi:id="_j4VEUNocEeC1mZYRUkEwUg" type="Transition" element="_j4SoENocEeC1mZYRUkEwUg" source="_jGGWINocEeC1mZYRUkEwUg" target="__KOC09eYEeCu-5XJkHVC4g">
  210. <children xsi:type="notation:DecorationNode" xmi:id="_j4WScNocEeC1mZYRUkEwUg" type="TransitionExpression">
  211. <styles xsi:type="notation:ShapeStyle" xmi:id="_j4WScdocEeC1mZYRUkEwUg"/>
  212. <layoutConstraint xsi:type="notation:Location" xmi:id="_j4WSctocEeC1mZYRUkEwUg" y="40"/>
  213. </children>
  214. <styles xsi:type="notation:ConnectorStyle" xmi:id="_j4VEUdocEeC1mZYRUkEwUg" lineColor="4210752"/>
  215. <styles xsi:type="notation:FontStyle" xmi:id="_j4VrYNocEeC1mZYRUkEwUg" fontName="Arial" fontHeight="10"/>
  216. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_j4VEUtocEeC1mZYRUkEwUg" points="[0, 7, -10, -89]$[6, 69, -4, -27]"/>
  217. </edges>
  218. <edges xmi:id="_6FylANocEeC1mZYRUkEwUg" type="Transition" element="_6FxW4NocEeC1mZYRUkEwUg" source="_2QHT8NocEeC1mZYRUkEwUg" target="_3BXxwNocEeC1mZYRUkEwUg">
  219. <children xsi:type="notation:DecorationNode" xmi:id="_6FzMEdocEeC1mZYRUkEwUg" type="TransitionExpression">
  220. <styles xsi:type="notation:ShapeStyle" xmi:id="_6FzMEtocEeC1mZYRUkEwUg"/>
  221. <layoutConstraint xsi:type="notation:Location" xmi:id="_6FzME9ocEeC1mZYRUkEwUg" y="40"/>
  222. </children>
  223. <styles xsi:type="notation:ConnectorStyle" xmi:id="_6FylAdocEeC1mZYRUkEwUg" lineColor="4210752"/>
  224. <styles xsi:type="notation:FontStyle" xmi:id="_6FzMENocEeC1mZYRUkEwUg" fontName="Arial" fontHeight="10"/>
  225. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_6FylAtocEeC1mZYRUkEwUg" points="[-2, 7, 24, -72]$[-23, 107, 3, 28]"/>
  226. </edges>
  227. <edges xmi:id="_69IcsNocEeC1mZYRUkEwUg" type="Transition" element="_69HOkNocEeC1mZYRUkEwUg" source="_3BXxwNocEeC1mZYRUkEwUg" target="_4ZqaYNocEeC1mZYRUkEwUg">
  228. <children xsi:type="notation:DecorationNode" xmi:id="_69JDwdocEeC1mZYRUkEwUg" type="TransitionExpression">
  229. <styles xsi:type="notation:ShapeStyle" xmi:id="_69JDwtocEeC1mZYRUkEwUg"/>
  230. <layoutConstraint xsi:type="notation:Location" xmi:id="_69JDw9ocEeC1mZYRUkEwUg" x="4" y="-10"/>
  231. </children>
  232. <styles xsi:type="notation:ConnectorStyle" xmi:id="_69IcsdocEeC1mZYRUkEwUg" lineColor="4210752"/>
  233. <styles xsi:type="notation:FontStyle" xmi:id="_69JDwNocEeC1mZYRUkEwUg" fontName="Arial" fontHeight="10"/>
  234. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_69IcstocEeC1mZYRUkEwUg" points="[20, -2, -106, 1]$[130, -30, 4, -27]"/>
  235. </edges>
  236. <edges xmi:id="_7noLMNocEeC1mZYRUkEwUg" type="Transition" element="_7nm9ENocEeC1mZYRUkEwUg" source="_4ZqaYNocEeC1mZYRUkEwUg" target="_3BXxwNocEeC1mZYRUkEwUg">
  237. <children xsi:type="notation:DecorationNode" xmi:id="_7noyQdocEeC1mZYRUkEwUg" type="TransitionExpression">
  238. <styles xsi:type="notation:ShapeStyle" xmi:id="_7noyQtocEeC1mZYRUkEwUg"/>
  239. <layoutConstraint xsi:type="notation:Location" xmi:id="_7noyQ9ocEeC1mZYRUkEwUg" y="-8"/>
  240. </children>
  241. <styles xsi:type="notation:ConnectorStyle" xmi:id="_7noLMdocEeC1mZYRUkEwUg" lineColor="4210752"/>
  242. <styles xsi:type="notation:FontStyle" xmi:id="_7noyQNocEeC1mZYRUkEwUg" fontName="Arial" fontHeight="10"/>
  243. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_7noLMtocEeC1mZYRUkEwUg" points="[-21, 9, 114, 0]$[-138, 16, -3, 7]"/>
  244. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_7oUHsNocEeC1mZYRUkEwUg" id="(0.525,0.7636363636363637)"/>
  245. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_7oUHsdocEeC1mZYRUkEwUg" id="(0.3,0.8727272727272727)"/>
  246. </edges>
  247. <edges xmi:id="_ffRDoNpvEeC1mZYRUkEwUg" type="Transition" element="_ffNZQNpvEeC1mZYRUkEwUg" source="_4ZqaYNocEeC1mZYRUkEwUg" target="__KOC09eYEeCu-5XJkHVC4g">
  248. <children xsi:type="notation:DecorationNode" xmi:id="_ffRqsdpvEeC1mZYRUkEwUg" type="TransitionExpression">
  249. <styles xsi:type="notation:ShapeStyle" xmi:id="_ffRqstpvEeC1mZYRUkEwUg"/>
  250. <layoutConstraint xsi:type="notation:Location" xmi:id="_ffRqs9pvEeC1mZYRUkEwUg" y="40"/>
  251. </children>
  252. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ffRDodpvEeC1mZYRUkEwUg" lineColor="4210752"/>
  253. <styles xsi:type="notation:FontStyle" xmi:id="_ffRqsNpvEeC1mZYRUkEwUg" fontName="Arial" fontHeight="10"/>
  254. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ffRDotpvEeC1mZYRUkEwUg" points="[4, -10, -9, 188]$[85, -198, 72, 0]$[33, -198, 20, 0]"/>
  255. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_i0T0kNq2EeC1mZYRUkEwUg" id="(0.55,0.18181818181818182)"/>
  256. </edges>
  257. </notation:Diagram>
  258. </xmi:XMI>