ParentFirstOrthogonalReactions.sct 42 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458
  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="_WbIqMFgXEeeNwJt_ornpOA" specification="namespace executionorder&#xA;&#xA;@ParentFirstExecution&#xA;&#xA;&#xA;interface:&#xA;&#xA;var a_local : integer = 0&#xA;var c_local : integer = 0&#xA;var aa_local : integer = 0&#xA;var ac_local : integer = 0&#xA;var aaa_local : integer = 0 &#xA;var aac_local : integer = 0&#xA;&#xA;var a_check : integer = 0&#xA;var aa_check : integer = 0&#xA;var aaa_check : integer = 0&#xA;var aac_check : integer = 0&#xA;var ac_check : integer = 0&#xA;var c_check : integer = 0&#xA;&#xA;&#xA;var sm_local : integer = 0&#xA;&#xA;operation next() : integer&#xA;operation check(id:string) : boolean&#xA;&#xA;internal :&#xA;&#xA;always / sm_local = next&#xA;" namespace="executionorder" name="ParentFirstOrthogonalReactions">
  4. <regions xmi:id="_WbJ4UlgXEeeNwJt_ornpOA" name="r">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_WbZv8VgXEeeNwJt_ornpOA">
  6. <outgoingTransitions xmi:id="_WbcMMlgXEeeNwJt_ornpOA" target="_Wba-EVgXEeeNwJt_ornpOA"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_Wba-EVgXEeeNwJt_ornpOA" specification="always / a_local = next" name="A" incomingTransitions="_WbcMMlgXEeeNwJt_ornpOA">
  9. <outgoingTransitions xmi:id="_n4jjUFgXEeeNwJt_ornpOA" specification="[check('A')]" target="_lgGeMFgXEeeNwJt_ornpOA"/>
  10. <regions xmi:id="_euckTVgXEeeNwJt_ornpOA" name="r">
  11. <vertices xsi:type="sgraph:Entry" xmi:id="_euckTlgXEeeNwJt_ornpOA">
  12. <outgoingTransitions xmi:id="_euckT1gXEeeNwJt_ornpOA" specification="" target="_euckUFgXEeeNwJt_ornpOA"/>
  13. </vertices>
  14. <vertices xsi:type="sgraph:State" xmi:id="_euckUFgXEeeNwJt_ornpOA" specification="always / aa_local = next" name="AA" incomingTransitions="_euckT1gXEeeNwJt_ornpOA">
  15. <outgoingTransitions xmi:id="_rKGMkFgXEeeNwJt_ornpOA" specification="[check('AA')] " target="_lgGeMFgXEeeNwJt_ornpOA"/>
  16. <regions xmi:id="_fjqU8FgXEeeNwJt_ornpOA" name="r">
  17. <vertices xsi:type="sgraph:Entry" xmi:id="_fjqU8VgXEeeNwJt_ornpOA">
  18. <outgoingTransitions xmi:id="_fjqU8lgXEeeNwJt_ornpOA" specification="" target="_fjqU81gXEeeNwJt_ornpOA"/>
  19. </vertices>
  20. <vertices xsi:type="sgraph:State" xmi:id="_fjqU81gXEeeNwJt_ornpOA" specification="always / aaa_local = next" name="AAA" incomingTransitions="_fjqU8lgXEeeNwJt_ornpOA">
  21. <outgoingTransitions xmi:id="_p3XZYFgXEeeNwJt_ornpOA" specification="[check('AAA')]" target="_lgGeMFgXEeeNwJt_ornpOA"/>
  22. </vertices>
  23. </regions>
  24. <regions xmi:id="_8MjkjVyrEeexYulqhdY-Pw" name="">
  25. <vertices xsi:type="sgraph:Entry" xmi:id="_8MjkjlyrEeexYulqhdY-Pw">
  26. <outgoingTransitions xmi:id="_8Mjkj1yrEeexYulqhdY-Pw" specification="" target="_8MjkkFyrEeexYulqhdY-Pw"/>
  27. </vertices>
  28. <vertices xsi:type="sgraph:State" xmi:id="_8MjkkFyrEeexYulqhdY-Pw" specification="always / aac_local = next" name="AAC" incomingTransitions="_8Mjkj1yrEeexYulqhdY-Pw">
  29. <outgoingTransitions xmi:id="_On9hAF12EeeJ_JhPFJUluA" specification="[check('AAC')]" target="_lgGeMFgXEeeNwJt_ornpOA"/>
  30. </vertices>
  31. </regions>
  32. </vertices>
  33. </regions>
  34. <regions xmi:id="_96dQzVyrEeexYulqhdY-Pw" name="r2">
  35. <vertices xsi:type="sgraph:Entry" xmi:id="_96dQzlyrEeexYulqhdY-Pw">
  36. <outgoingTransitions xmi:id="_96dQz1yrEeexYulqhdY-Pw" specification="" target="_96d3wFyrEeexYulqhdY-Pw"/>
  37. </vertices>
  38. <vertices xsi:type="sgraph:State" xmi:id="_96d3wFyrEeexYulqhdY-Pw" specification="always / ac_local = next" name="AC" incomingTransitions="_96dQz1yrEeexYulqhdY-Pw">
  39. <outgoingTransitions xmi:id="_YneeIF12EeeJ_JhPFJUluA" specification="[check('AC')]" target="_lgGeMFgXEeeNwJt_ornpOA"/>
  40. </vertices>
  41. </regions>
  42. </vertices>
  43. <vertices xsi:type="sgraph:State" xmi:id="_lgGeMFgXEeeNwJt_ornpOA" name="B" incomingTransitions="_n4jjUFgXEeeNwJt_ornpOA _p3XZYFgXEeeNwJt_ornpOA _rKGMkFgXEeeNwJt_ornpOA _On9hAF12EeeJ_JhPFJUluA _YneeIF12EeeJ_JhPFJUluA"/>
  44. </regions>
  45. <regions xmi:id="_nMaygFyrEeexYulqhdY-Pw" name="r2">
  46. <vertices xsi:type="sgraph:Entry" xmi:id="_o_Eb4FyrEeexYulqhdY-Pw">
  47. <outgoingTransitions xmi:id="_rzbZ4FyrEeexYulqhdY-Pw" specification="" target="_pdGbsFyrEeexYulqhdY-Pw"/>
  48. </vertices>
  49. <vertices xsi:type="sgraph:State" xmi:id="_pdGbsFyrEeexYulqhdY-Pw" specification="always / c_local = next" name="C" incomingTransitions="_rzbZ4FyrEeexYulqhdY-Pw">
  50. <outgoingTransitions xmi:id="_ja9O0F12EeeJ_JhPFJUluA" specification="[check('C')]" target="_ja16EF12EeeJ_JhPFJUluA"/>
  51. </vertices>
  52. <vertices xsi:type="sgraph:State" xmi:id="_ja16EF12EeeJ_JhPFJUluA" name="D" incomingTransitions="_ja9O0F12EeeJ_JhPFJUluA"/>
  53. </regions>
  54. </sgraph:Statechart>
  55. <notation:Diagram xmi:id="_WbJ4UFgXEeeNwJt_ornpOA" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_WbIqMFgXEeeNwJt_ornpOA" measurementUnit="Pixel">
  56. <children xmi:id="_WbM7oFgXEeeNwJt_ornpOA" type="Region" element="_WbJ4UlgXEeeNwJt_ornpOA">
  57. <children xsi:type="notation:DecorationNode" xmi:id="_WbYh0FgXEeeNwJt_ornpOA" type="RegionName">
  58. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbYh0VgXEeeNwJt_ornpOA"/>
  59. <layoutConstraint xsi:type="notation:Location" xmi:id="_WbYh0lgXEeeNwJt_ornpOA"/>
  60. </children>
  61. <children xsi:type="notation:Shape" xmi:id="_WbYh01gXEeeNwJt_ornpOA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  62. <children xmi:id="_WbZv8lgXEeeNwJt_ornpOA" type="Entry" element="_WbZv8VgXEeeNwJt_ornpOA">
  63. <children xmi:id="_WbaXAFgXEeeNwJt_ornpOA" type="BorderItemLabelContainer">
  64. <children xsi:type="notation:DecorationNode" xmi:id="_WbaXA1gXEeeNwJt_ornpOA" type="BorderItemLabel">
  65. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbaXBFgXEeeNwJt_ornpOA"/>
  66. <layoutConstraint xsi:type="notation:Location" xmi:id="_WbaXBVgXEeeNwJt_ornpOA"/>
  67. </children>
  68. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbaXAVgXEeeNwJt_ornpOA" fontName="Verdana" lineColor="4210752"/>
  69. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbaXAlgXEeeNwJt_ornpOA"/>
  70. </children>
  71. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbZv81gXEeeNwJt_ornpOA" fontName="Verdana" fillColor="0" lineColor="16777215"/>
  72. <styles xsi:type="notation:NamedStyle" xmi:id="_WbZv9FgXEeeNwJt_ornpOA" name="allowColors"/>
  73. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Wba-EFgXEeeNwJt_ornpOA" x="50" y="5" width="15" height="15"/>
  74. </children>
  75. <children xmi:id="_Wba-FFgXEeeNwJt_ornpOA" type="State" element="_Wba-EVgXEeeNwJt_ornpOA">
  76. <children xsi:type="notation:DecorationNode" xmi:id="_WbblIFgXEeeNwJt_ornpOA" type="StateName">
  77. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbblIVgXEeeNwJt_ornpOA"/>
  78. <layoutConstraint xsi:type="notation:Location" xmi:id="_WbblIlgXEeeNwJt_ornpOA"/>
  79. </children>
  80. <children xsi:type="notation:Compartment" xmi:id="_WbblI1gXEeeNwJt_ornpOA" type="StateTextCompartment">
  81. <children xsi:type="notation:Shape" xmi:id="_WbblJFgXEeeNwJt_ornpOA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  82. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbblJVgXEeeNwJt_ornpOA"/>
  83. </children>
  84. </children>
  85. <children xsi:type="notation:Compartment" xmi:id="_WbblJlgXEeeNwJt_ornpOA" type="StateFigureCompartment">
  86. <children xmi:id="_lIf2gFgXEeeNwJt_ornpOA" type="Region" element="_euckTVgXEeeNwJt_ornpOA">
  87. <children xsi:type="notation:DecorationNode" xmi:id="_lIf2gVgXEeeNwJt_ornpOA" type="RegionName">
  88. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2glgXEeeNwJt_ornpOA"/>
  89. <layoutConstraint xsi:type="notation:Location" xmi:id="_lIf2g1gXEeeNwJt_ornpOA"/>
  90. </children>
  91. <children xsi:type="notation:Shape" xmi:id="_lIf2hFgXEeeNwJt_ornpOA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  92. <children xmi:id="_lIf2hVgXEeeNwJt_ornpOA" type="Entry" element="_euckTlgXEeeNwJt_ornpOA">
  93. <children xmi:id="_lIf2hlgXEeeNwJt_ornpOA" type="BorderItemLabelContainer">
  94. <children xsi:type="notation:DecorationNode" xmi:id="_lIf2h1gXEeeNwJt_ornpOA" type="BorderItemLabel">
  95. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2iFgXEeeNwJt_ornpOA"/>
  96. <layoutConstraint xsi:type="notation:Location" xmi:id="_lIf2iVgXEeeNwJt_ornpOA"/>
  97. </children>
  98. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2ilgXEeeNwJt_ornpOA" fontName="Verdana" lineColor="4210752"/>
  99. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2i1gXEeeNwJt_ornpOA"/>
  100. </children>
  101. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2jFgXEeeNwJt_ornpOA" fontName="Verdana" lineColor="4210752"/>
  102. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2jVgXEeeNwJt_ornpOA" x="32" y="4" width="15" height="15"/>
  103. </children>
  104. <children xmi:id="_lIf2jlgXEeeNwJt_ornpOA" type="State" element="_euckUFgXEeeNwJt_ornpOA">
  105. <children xsi:type="notation:DecorationNode" xmi:id="_lIf2j1gXEeeNwJt_ornpOA" type="StateName">
  106. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2kFgXEeeNwJt_ornpOA"/>
  107. <layoutConstraint xsi:type="notation:Location" xmi:id="_lIf2kVgXEeeNwJt_ornpOA"/>
  108. </children>
  109. <children xsi:type="notation:Compartment" xmi:id="_lIf2klgXEeeNwJt_ornpOA" type="StateTextCompartment">
  110. <children xsi:type="notation:Shape" xmi:id="_lIf2k1gXEeeNwJt_ornpOA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  111. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2lFgXEeeNwJt_ornpOA"/>
  112. </children>
  113. </children>
  114. <children xsi:type="notation:Compartment" xmi:id="_lIf2lVgXEeeNwJt_ornpOA" type="StateFigureCompartment">
  115. <children xmi:id="_lIf2llgXEeeNwJt_ornpOA" type="Region" element="_fjqU8FgXEeeNwJt_ornpOA">
  116. <children xsi:type="notation:DecorationNode" xmi:id="_lIf2l1gXEeeNwJt_ornpOA" type="RegionName">
  117. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2mFgXEeeNwJt_ornpOA"/>
  118. <layoutConstraint xsi:type="notation:Location" xmi:id="_lIf2mVgXEeeNwJt_ornpOA"/>
  119. </children>
  120. <children xsi:type="notation:Shape" xmi:id="_lIf2mlgXEeeNwJt_ornpOA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  121. <children xmi:id="_lIf2m1gXEeeNwJt_ornpOA" type="Entry" element="_fjqU8VgXEeeNwJt_ornpOA">
  122. <children xmi:id="_lIf2nFgXEeeNwJt_ornpOA" type="BorderItemLabelContainer">
  123. <children xsi:type="notation:DecorationNode" xmi:id="_lIf2nVgXEeeNwJt_ornpOA" type="BorderItemLabel">
  124. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2nlgXEeeNwJt_ornpOA"/>
  125. <layoutConstraint xsi:type="notation:Location" xmi:id="_lIf2n1gXEeeNwJt_ornpOA"/>
  126. </children>
  127. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2oFgXEeeNwJt_ornpOA" fontName="Verdana" lineColor="4210752"/>
  128. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2oVgXEeeNwJt_ornpOA"/>
  129. </children>
  130. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2olgXEeeNwJt_ornpOA" fontName="Verdana" lineColor="4210752"/>
  131. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2o1gXEeeNwJt_ornpOA" x="25" y="13"/>
  132. </children>
  133. <children xmi:id="_lIf2pFgXEeeNwJt_ornpOA" type="State" element="_fjqU81gXEeeNwJt_ornpOA">
  134. <children xsi:type="notation:DecorationNode" xmi:id="_lIf2pVgXEeeNwJt_ornpOA" type="StateName">
  135. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2plgXEeeNwJt_ornpOA"/>
  136. <layoutConstraint xsi:type="notation:Location" xmi:id="_lIf2p1gXEeeNwJt_ornpOA"/>
  137. </children>
  138. <children xsi:type="notation:Compartment" xmi:id="_lIf2qFgXEeeNwJt_ornpOA" type="StateTextCompartment">
  139. <children xsi:type="notation:Shape" xmi:id="_lIf2qVgXEeeNwJt_ornpOA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  140. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2qlgXEeeNwJt_ornpOA"/>
  141. </children>
  142. </children>
  143. <children xsi:type="notation:Compartment" xmi:id="_lIf2q1gXEeeNwJt_ornpOA" type="StateFigureCompartment"/>
  144. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2rFgXEeeNwJt_ornpOA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  145. <styles xsi:type="notation:FontStyle" xmi:id="_lIf2rVgXEeeNwJt_ornpOA"/>
  146. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_lIf2rlgXEeeNwJt_ornpOA" name="isHorizontal" booleanValue="true"/>
  147. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2r1gXEeeNwJt_ornpOA" x="20" y="47"/>
  148. </children>
  149. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2sFgXEeeNwJt_ornpOA"/>
  150. </children>
  151. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2sVgXEeeNwJt_ornpOA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  152. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2slgXEeeNwJt_ornpOA" x="90" y="10"/>
  153. </children>
  154. <children xmi:id="_8MjkcFyrEeexYulqhdY-Pw" type="Region" element="_8MjkjVyrEeexYulqhdY-Pw">
  155. <children xsi:type="notation:DecorationNode" xmi:id="_8MjkcVyrEeexYulqhdY-Pw" type="RegionName">
  156. <styles xsi:type="notation:ShapeStyle" xmi:id="_8MjkclyrEeexYulqhdY-Pw"/>
  157. <layoutConstraint xsi:type="notation:Location" xmi:id="_8Mjkc1yrEeexYulqhdY-Pw"/>
  158. </children>
  159. <children xsi:type="notation:Shape" xmi:id="_8MjkdFyrEeexYulqhdY-Pw" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  160. <children xmi:id="_8MjkdVyrEeexYulqhdY-Pw" type="Entry" element="_8MjkjlyrEeexYulqhdY-Pw">
  161. <children xmi:id="_8MjkdlyrEeexYulqhdY-Pw" type="BorderItemLabelContainer">
  162. <children xsi:type="notation:DecorationNode" xmi:id="_8Mjkd1yrEeexYulqhdY-Pw" type="BorderItemLabel">
  163. <styles xsi:type="notation:ShapeStyle" xmi:id="_8MjkeFyrEeexYulqhdY-Pw"/>
  164. <layoutConstraint xsi:type="notation:Location" xmi:id="_8MjkeVyrEeexYulqhdY-Pw"/>
  165. </children>
  166. <styles xsi:type="notation:ShapeStyle" xmi:id="_8MjkelyrEeexYulqhdY-Pw" fontName="Verdana" lineColor="4210752"/>
  167. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_8Mjke1yrEeexYulqhdY-Pw"/>
  168. </children>
  169. <styles xsi:type="notation:ShapeStyle" xmi:id="_8MjkfFyrEeexYulqhdY-Pw" fontName="Verdana" lineColor="4210752"/>
  170. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_8MjkfVyrEeexYulqhdY-Pw" x="39" y="12"/>
  171. </children>
  172. <children xmi:id="_8MjkflyrEeexYulqhdY-Pw" type="State" element="_8MjkkFyrEeexYulqhdY-Pw">
  173. <children xsi:type="notation:DecorationNode" xmi:id="_8Mjkf1yrEeexYulqhdY-Pw" type="StateName">
  174. <styles xsi:type="notation:ShapeStyle" xmi:id="_8MjkgFyrEeexYulqhdY-Pw"/>
  175. <layoutConstraint xsi:type="notation:Location" xmi:id="_8MjkgVyrEeexYulqhdY-Pw"/>
  176. </children>
  177. <children xsi:type="notation:Compartment" xmi:id="_8MjkglyrEeexYulqhdY-Pw" type="StateTextCompartment">
  178. <children xsi:type="notation:Shape" xmi:id="_8Mjkg1yrEeexYulqhdY-Pw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  179. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_8MjkhFyrEeexYulqhdY-Pw"/>
  180. </children>
  181. </children>
  182. <children xsi:type="notation:Compartment" xmi:id="_8MjkhVyrEeexYulqhdY-Pw" type="StateFigureCompartment"/>
  183. <styles xsi:type="notation:ShapeStyle" xmi:id="_8MjkhlyrEeexYulqhdY-Pw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  184. <styles xsi:type="notation:FontStyle" xmi:id="_8Mjkh1yrEeexYulqhdY-Pw"/>
  185. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_8MjkiFyrEeexYulqhdY-Pw" name="isHorizontal" booleanValue="true"/>
  186. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_8MjkiVyrEeexYulqhdY-Pw" x="20" y="47"/>
  187. </children>
  188. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_8MjkilyrEeexYulqhdY-Pw"/>
  189. </children>
  190. <styles xsi:type="notation:ShapeStyle" xmi:id="_8Mjki1yrEeexYulqhdY-Pw" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  191. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_8MjkjFyrEeexYulqhdY-Pw" x="90" y="10"/>
  192. </children>
  193. </children>
  194. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2s1gXEeeNwJt_ornpOA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  195. <styles xsi:type="notation:FontStyle" xmi:id="_lIf2tFgXEeeNwJt_ornpOA"/>
  196. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_lIf2tVgXEeeNwJt_ornpOA" name="isHorizontal" booleanValue="true"/>
  197. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2tlgXEeeNwJt_ornpOA" x="20" y="47"/>
  198. </children>
  199. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2t1gXEeeNwJt_ornpOA"/>
  200. </children>
  201. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2uFgXEeeNwJt_ornpOA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  202. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2uVgXEeeNwJt_ornpOA" x="90" y="10"/>
  203. </children>
  204. <children xmi:id="_96dQsFyrEeexYulqhdY-Pw" type="Region" element="_96dQzVyrEeexYulqhdY-Pw">
  205. <children xsi:type="notation:DecorationNode" xmi:id="_96dQsVyrEeexYulqhdY-Pw" type="RegionName">
  206. <styles xsi:type="notation:ShapeStyle" xmi:id="_96dQslyrEeexYulqhdY-Pw"/>
  207. <layoutConstraint xsi:type="notation:Location" xmi:id="_96dQs1yrEeexYulqhdY-Pw"/>
  208. </children>
  209. <children xsi:type="notation:Shape" xmi:id="_96dQtFyrEeexYulqhdY-Pw" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  210. <children xmi:id="_96dQtVyrEeexYulqhdY-Pw" type="Entry" element="_96dQzlyrEeexYulqhdY-Pw">
  211. <children xmi:id="_96dQtlyrEeexYulqhdY-Pw" type="BorderItemLabelContainer">
  212. <children xsi:type="notation:DecorationNode" xmi:id="_96dQt1yrEeexYulqhdY-Pw" type="BorderItemLabel">
  213. <styles xsi:type="notation:ShapeStyle" xmi:id="_96dQuFyrEeexYulqhdY-Pw"/>
  214. <layoutConstraint xsi:type="notation:Location" xmi:id="_96dQuVyrEeexYulqhdY-Pw"/>
  215. </children>
  216. <styles xsi:type="notation:ShapeStyle" xmi:id="_96dQulyrEeexYulqhdY-Pw" fontName="Verdana" lineColor="4210752"/>
  217. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_96dQu1yrEeexYulqhdY-Pw"/>
  218. </children>
  219. <styles xsi:type="notation:ShapeStyle" xmi:id="_96dQvFyrEeexYulqhdY-Pw" fontName="Verdana" lineColor="4210752"/>
  220. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_96dQvVyrEeexYulqhdY-Pw" x="39" y="12"/>
  221. </children>
  222. <children xmi:id="_96dQvlyrEeexYulqhdY-Pw" type="State" element="_96d3wFyrEeexYulqhdY-Pw">
  223. <children xsi:type="notation:DecorationNode" xmi:id="_96dQv1yrEeexYulqhdY-Pw" type="StateName">
  224. <styles xsi:type="notation:ShapeStyle" xmi:id="_96dQwFyrEeexYulqhdY-Pw"/>
  225. <layoutConstraint xsi:type="notation:Location" xmi:id="_96dQwVyrEeexYulqhdY-Pw"/>
  226. </children>
  227. <children xsi:type="notation:Compartment" xmi:id="_96dQwlyrEeexYulqhdY-Pw" type="StateTextCompartment">
  228. <children xsi:type="notation:Shape" xmi:id="_96dQw1yrEeexYulqhdY-Pw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  229. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_96dQxFyrEeexYulqhdY-Pw"/>
  230. </children>
  231. </children>
  232. <children xsi:type="notation:Compartment" xmi:id="_96dQxVyrEeexYulqhdY-Pw" type="StateFigureCompartment"/>
  233. <styles xsi:type="notation:ShapeStyle" xmi:id="_96dQxlyrEeexYulqhdY-Pw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  234. <styles xsi:type="notation:FontStyle" xmi:id="_96dQx1yrEeexYulqhdY-Pw"/>
  235. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_96dQyFyrEeexYulqhdY-Pw" name="isHorizontal" booleanValue="true"/>
  236. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_96dQyVyrEeexYulqhdY-Pw" x="45" y="37"/>
  237. </children>
  238. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_96dQylyrEeexYulqhdY-Pw"/>
  239. </children>
  240. <styles xsi:type="notation:ShapeStyle" xmi:id="_96dQy1yrEeexYulqhdY-Pw" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  241. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_96dQzFyrEeexYulqhdY-Pw" x="90" y="10"/>
  242. </children>
  243. </children>
  244. <styles xsi:type="notation:ShapeStyle" xmi:id="_Wba-FVgXEeeNwJt_ornpOA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  245. <styles xsi:type="notation:FontStyle" xmi:id="_Wba-FlgXEeeNwJt_ornpOA"/>
  246. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_WbcMMFgXEeeNwJt_ornpOA" name="isHorizontal" booleanValue="true"/>
  247. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbcMMVgXEeeNwJt_ornpOA" x="50" y="125" width="677" height="352"/>
  248. </children>
  249. <children xmi:id="_lgHsUFgXEeeNwJt_ornpOA" type="State" element="_lgGeMFgXEeeNwJt_ornpOA">
  250. <children xsi:type="notation:DecorationNode" xmi:id="_lgITYFgXEeeNwJt_ornpOA" type="StateName">
  251. <styles xsi:type="notation:ShapeStyle" xmi:id="_lgITYVgXEeeNwJt_ornpOA"/>
  252. <layoutConstraint xsi:type="notation:Location" xmi:id="_lgITYlgXEeeNwJt_ornpOA"/>
  253. </children>
  254. <children xsi:type="notation:Compartment" xmi:id="_lgITY1gXEeeNwJt_ornpOA" type="StateTextCompartment">
  255. <children xsi:type="notation:Shape" xmi:id="_lgITZFgXEeeNwJt_ornpOA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  256. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lgITZVgXEeeNwJt_ornpOA"/>
  257. </children>
  258. </children>
  259. <children xsi:type="notation:Compartment" xmi:id="_lgI6cFgXEeeNwJt_ornpOA" type="StateFigureCompartment"/>
  260. <styles xsi:type="notation:ShapeStyle" xmi:id="_lgHsUVgXEeeNwJt_ornpOA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  261. <styles xsi:type="notation:FontStyle" xmi:id="_lgHsUlgXEeeNwJt_ornpOA"/>
  262. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_lgI6cVgXEeeNwJt_ornpOA" name="isHorizontal" booleanValue="true"/>
  263. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lgHsU1gXEeeNwJt_ornpOA" x="823" y="125" width="104" height="53"/>
  264. </children>
  265. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbYh1FgXEeeNwJt_ornpOA"/>
  266. </children>
  267. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbM7oVgXEeeNwJt_ornpOA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  268. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbZv8FgXEeeNwJt_ornpOA" x="220" y="10" width="963" height="638"/>
  269. </children>
  270. <children xsi:type="notation:Shape" xmi:id="_WbeBYFgXEeeNwJt_ornpOA" type="StatechartText" fontName="Verdana" lineColor="4210752">
  271. <children xsi:type="notation:DecorationNode" xmi:id="_WbeBYlgXEeeNwJt_ornpOA" type="StatechartName">
  272. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbeBY1gXEeeNwJt_ornpOA"/>
  273. <layoutConstraint xsi:type="notation:Location" xmi:id="_WbeBZFgXEeeNwJt_ornpOA"/>
  274. </children>
  275. <children xsi:type="notation:Shape" xmi:id="_WbeBZVgXEeeNwJt_ornpOA" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  276. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbeBZlgXEeeNwJt_ornpOA"/>
  277. </children>
  278. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbeocFgXEeeNwJt_ornpOA" x="10" y="10" width="200" height="575"/>
  279. </children>
  280. <children xmi:id="_nMd10FyrEeexYulqhdY-Pw" type="Region" element="_nMaygFyrEeexYulqhdY-Pw">
  281. <children xsi:type="notation:DecorationNode" xmi:id="_nMzNAFyrEeexYulqhdY-Pw" type="RegionName">
  282. <styles xsi:type="notation:ShapeStyle" xmi:id="_nMzNAVyrEeexYulqhdY-Pw"/>
  283. <layoutConstraint xsi:type="notation:Location" xmi:id="_nMz0EFyrEeexYulqhdY-Pw"/>
  284. </children>
  285. <children xsi:type="notation:Shape" xmi:id="_nMz0EVyrEeexYulqhdY-Pw" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  286. <children xmi:id="_o_HfMFyrEeexYulqhdY-Pw" type="Entry" element="_o_Eb4FyrEeexYulqhdY-Pw">
  287. <children xmi:id="_o_IGQFyrEeexYulqhdY-Pw" type="BorderItemLabelContainer">
  288. <children xsi:type="notation:DecorationNode" xmi:id="_o_IGQ1yrEeexYulqhdY-Pw" type="BorderItemLabel">
  289. <styles xsi:type="notation:ShapeStyle" xmi:id="_o_IGRFyrEeexYulqhdY-Pw"/>
  290. <layoutConstraint xsi:type="notation:Location" xmi:id="_o_IGRVyrEeexYulqhdY-Pw"/>
  291. </children>
  292. <styles xsi:type="notation:ShapeStyle" xmi:id="_o_IGQVyrEeexYulqhdY-Pw" fontName="Verdana" lineColor="4210752"/>
  293. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_o_IGQlyrEeexYulqhdY-Pw"/>
  294. </children>
  295. <styles xsi:type="notation:ShapeStyle" xmi:id="_o_HfMVyrEeexYulqhdY-Pw" fontName="Verdana" fillColor="0" lineColor="16777215"/>
  296. <styles xsi:type="notation:NamedStyle" xmi:id="_o_HfMlyrEeexYulqhdY-Pw" name="allowColors"/>
  297. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_o_HfM1yrEeexYulqhdY-Pw" x="70" y="28"/>
  298. </children>
  299. <children xmi:id="_pdHp0FyrEeexYulqhdY-Pw" type="State" element="_pdGbsFyrEeexYulqhdY-Pw">
  300. <children xsi:type="notation:DecorationNode" xmi:id="_pdIQ4FyrEeexYulqhdY-Pw" type="StateName">
  301. <styles xsi:type="notation:ShapeStyle" xmi:id="_pdIQ4VyrEeexYulqhdY-Pw"/>
  302. <layoutConstraint xsi:type="notation:Location" xmi:id="_pdIQ4lyrEeexYulqhdY-Pw"/>
  303. </children>
  304. <children xsi:type="notation:Compartment" xmi:id="_pdIQ41yrEeexYulqhdY-Pw" type="StateTextCompartment">
  305. <children xsi:type="notation:Shape" xmi:id="_pdIQ5FyrEeexYulqhdY-Pw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  306. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_pdIQ5VyrEeexYulqhdY-Pw"/>
  307. </children>
  308. </children>
  309. <children xsi:type="notation:Compartment" xmi:id="_pdI38FyrEeexYulqhdY-Pw" type="StateFigureCompartment"/>
  310. <styles xsi:type="notation:ShapeStyle" xmi:id="_pdHp0VyrEeexYulqhdY-Pw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  311. <styles xsi:type="notation:FontStyle" xmi:id="_pdHp0lyrEeexYulqhdY-Pw"/>
  312. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_pdI38VyrEeexYulqhdY-Pw" name="isHorizontal" booleanValue="true"/>
  313. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_pdHp01yrEeexYulqhdY-Pw" x="125" y="12"/>
  314. </children>
  315. <children xmi:id="_ja3vQF12EeeJ_JhPFJUluA" type="State" element="_ja16EF12EeeJ_JhPFJUluA">
  316. <children xsi:type="notation:DecorationNode" xmi:id="_ja4WUF12EeeJ_JhPFJUluA" type="StateName">
  317. <styles xsi:type="notation:ShapeStyle" xmi:id="_ja4WUV12EeeJ_JhPFJUluA"/>
  318. <layoutConstraint xsi:type="notation:Location" xmi:id="_ja4WUl12EeeJ_JhPFJUluA"/>
  319. </children>
  320. <children xsi:type="notation:Compartment" xmi:id="_ja49YF12EeeJ_JhPFJUluA" type="StateTextCompartment">
  321. <children xsi:type="notation:Shape" xmi:id="_ja49YV12EeeJ_JhPFJUluA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  322. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ja49Yl12EeeJ_JhPFJUluA"/>
  323. </children>
  324. </children>
  325. <children xsi:type="notation:Compartment" xmi:id="_ja49Y112EeeJ_JhPFJUluA" type="StateFigureCompartment"/>
  326. <styles xsi:type="notation:ShapeStyle" xmi:id="_ja3vQV12EeeJ_JhPFJUluA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  327. <styles xsi:type="notation:FontStyle" xmi:id="_ja3vQl12EeeJ_JhPFJUluA"/>
  328. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_ja49ZF12EeeJ_JhPFJUluA" name="isHorizontal" booleanValue="true"/>
  329. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ja3vQ112EeeJ_JhPFJUluA" x="357" y="12"/>
  330. </children>
  331. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_nMz0ElyrEeexYulqhdY-Pw"/>
  332. </children>
  333. <styles xsi:type="notation:ShapeStyle" xmi:id="_nMd10VyrEeexYulqhdY-Pw" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  334. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_nMd10lyrEeexYulqhdY-Pw" x="220" y="656" width="685" height="115"/>
  335. </children>
  336. <styles xsi:type="notation:DiagramStyle" xmi:id="_WbJ4UVgXEeeNwJt_ornpOA"/>
  337. <edges xmi:id="_WbdaUFgXEeeNwJt_ornpOA" type="Transition" element="_WbcMMlgXEeeNwJt_ornpOA" source="_WbZv8lgXEeeNwJt_ornpOA" target="_Wba-FFgXEeeNwJt_ornpOA">
  338. <children xsi:type="notation:DecorationNode" xmi:id="_WbdaVFgXEeeNwJt_ornpOA" type="TransitionExpression">
  339. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbdaVVgXEeeNwJt_ornpOA"/>
  340. <layoutConstraint xsi:type="notation:Location" xmi:id="_WbdaVlgXEeeNwJt_ornpOA" y="10"/>
  341. </children>
  342. <styles xsi:type="notation:ConnectorStyle" xmi:id="_WbdaUVgXEeeNwJt_ornpOA" routing="Rectilinear" lineColor="4210752"/>
  343. <styles xsi:type="notation:FontStyle" xmi:id="_WbdaU1gXEeeNwJt_ornpOA" fontName="Verdana"/>
  344. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_WbdaUlgXEeeNwJt_ornpOA" points="[7, 3, -83, -337]$[0, 3, -90, -337]$[0, 161, -90, -179]"/>
  345. </edges>
  346. <edges xmi:id="_eudLQlgXEeeNwJt_ornpOA" type="Transition" element="_euckT1gXEeeNwJt_ornpOA" source="_lIf2hVgXEeeNwJt_ornpOA" target="_lIf2jlgXEeeNwJt_ornpOA">
  347. <children xsi:type="notation:DecorationNode" xmi:id="_eudLQ1gXEeeNwJt_ornpOA" type="TransitionExpression">
  348. <styles xsi:type="notation:ShapeStyle" xmi:id="_eudLRFgXEeeNwJt_ornpOA"/>
  349. <layoutConstraint xsi:type="notation:Location" xmi:id="_eudLRVgXEeeNwJt_ornpOA" y="10"/>
  350. </children>
  351. <styles xsi:type="notation:ConnectorStyle" xmi:id="_eudLRlgXEeeNwJt_ornpOA" routing="Rectilinear" lineColor="4210752"/>
  352. <styles xsi:type="notation:FontStyle" xmi:id="_eudLR1gXEeeNwJt_ornpOA" fontName="Verdana"/>
  353. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_eudLSFgXEeeNwJt_ornpOA" points="[5, 5, -21, -56]$[5, 23, -21, -38]$[7, 23, -19, -38]$[7, 36, -19, -25]"/>
  354. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_eudLSVgXEeeNwJt_ornpOA" id="(0.32,0.1509433962264151)"/>
  355. </edges>
  356. <edges xmi:id="_fjq8AFgXEeeNwJt_ornpOA" type="Transition" element="_fjqU8lgXEeeNwJt_ornpOA" source="_lIf2m1gXEeeNwJt_ornpOA" target="_lIf2pFgXEeeNwJt_ornpOA">
  357. <children xsi:type="notation:DecorationNode" xmi:id="_fjq8AVgXEeeNwJt_ornpOA" type="TransitionExpression">
  358. <styles xsi:type="notation:ShapeStyle" xmi:id="_fjq8AlgXEeeNwJt_ornpOA"/>
  359. <layoutConstraint xsi:type="notation:Location" xmi:id="_fjq8A1gXEeeNwJt_ornpOA" y="10"/>
  360. </children>
  361. <styles xsi:type="notation:ConnectorStyle" xmi:id="_fjq8BFgXEeeNwJt_ornpOA" routing="Rectilinear" lineColor="4210752"/>
  362. <styles xsi:type="notation:FontStyle" xmi:id="_fjq8BVgXEeeNwJt_ornpOA" fontName="Verdana"/>
  363. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_fjq8BlgXEeeNwJt_ornpOA" points="[7, 2, -94, -35]$[103, 30, 2, -7]"/>
  364. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_fjq8B1gXEeeNwJt_ornpOA" id="(0.32,0.1509433962264151)"/>
  365. </edges>
  366. <edges xmi:id="_n4kKYFgXEeeNwJt_ornpOA" type="Transition" element="_n4jjUFgXEeeNwJt_ornpOA" source="_Wba-FFgXEeeNwJt_ornpOA" target="_lgHsUFgXEeeNwJt_ornpOA">
  367. <children xsi:type="notation:DecorationNode" xmi:id="_n4kxcVgXEeeNwJt_ornpOA" type="TransitionExpression">
  368. <styles xsi:type="notation:ShapeStyle" xmi:id="_n4kxclgXEeeNwJt_ornpOA"/>
  369. <layoutConstraint xsi:type="notation:Location" xmi:id="_n4kxc1gXEeeNwJt_ornpOA" x="-2" y="18"/>
  370. </children>
  371. <styles xsi:type="notation:ConnectorStyle" xmi:id="_n4kKYVgXEeeNwJt_ornpOA" routing="Rectilinear" lineColor="4210752"/>
  372. <styles xsi:type="notation:FontStyle" xmi:id="_n4kxcFgXEeeNwJt_ornpOA" fontName="Verdana"/>
  373. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_n4kKYlgXEeeNwJt_ornpOA" points="[64, 11, -186, -46]$[222, 11, -28, -46]"/>
  374. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_n4mmoFgXEeeNwJt_ornpOA" id="(0.8835341365461847,0.046822742474916385)"/>
  375. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_n4mmoVgXEeeNwJt_ornpOA" id="(0.8,0.49056603773584906)"/>
  376. </edges>
  377. <edges xmi:id="_p3YngFgXEeeNwJt_ornpOA" type="Transition" element="_p3XZYFgXEeeNwJt_ornpOA" source="_lIf2pFgXEeeNwJt_ornpOA" target="_lgHsUFgXEeeNwJt_ornpOA">
  378. <children xsi:type="notation:DecorationNode" xmi:id="_p3YnhFgXEeeNwJt_ornpOA" type="TransitionExpression">
  379. <styles xsi:type="notation:ShapeStyle" xmi:id="_p3YnhVgXEeeNwJt_ornpOA"/>
  380. <layoutConstraint xsi:type="notation:Location" xmi:id="_p3YnhlgXEeeNwJt_ornpOA" x="121" y="10"/>
  381. </children>
  382. <styles xsi:type="notation:ConnectorStyle" xmi:id="_p3YngVgXEeeNwJt_ornpOA" routing="Rectilinear" lineColor="4210752"/>
  383. <styles xsi:type="notation:FontStyle" xmi:id="_p3Yng1gXEeeNwJt_ornpOA" fontName="Verdana"/>
  384. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_p3YnglgXEeeNwJt_ornpOA" points="[35, 24, -632, 216]$[35, 54, -632, 246]$[713, 54, 46, 246]$[713, -182, 46, 10]"/>
  385. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_0RI2YFxFEeexYulqhdY-Pw" id="(0.45,0.7924528301886793)"/>
  386. </edges>
  387. <edges xmi:id="_rKGzoFgXEeeNwJt_ornpOA" type="Transition" element="_rKGMkFgXEeeNwJt_ornpOA" source="_lIf2jlgXEeeNwJt_ornpOA" target="_lgHsUFgXEeeNwJt_ornpOA">
  388. <children xsi:type="notation:DecorationNode" xmi:id="_rKGzpFgXEeeNwJt_ornpOA" type="TransitionExpression">
  389. <styles xsi:type="notation:ShapeStyle" xmi:id="_rKGzpVgXEeeNwJt_ornpOA"/>
  390. <layoutConstraint xsi:type="notation:Location" xmi:id="_rKGzplgXEeeNwJt_ornpOA" x="12" y="-14"/>
  391. </children>
  392. <styles xsi:type="notation:ConnectorStyle" xmi:id="_rKGzoVgXEeeNwJt_ornpOA" routing="Rectilinear" lineColor="4210752"/>
  393. <styles xsi:type="notation:FontStyle" xmi:id="_rKGzo1gXEeeNwJt_ornpOA" fontName="Verdana"/>
  394. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_rKGzolgXEeeNwJt_ornpOA" points="[35, 73, -358, 163]$[420, 73, 27, 163]$[420, -79, 27, 11]"/>
  395. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_rKIBwFgXEeeNwJt_ornpOA" id="(0.9178082191780822,0.14285714285714285)"/>
  396. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_JiI2sF12EeeJ_JhPFJUluA" id="(0.4,0.7735849056603774)"/>
  397. </edges>
  398. <edges xmi:id="_rzcA8FyrEeexYulqhdY-Pw" type="Transition" element="_rzbZ4FyrEeexYulqhdY-Pw" source="_o_HfMFyrEeexYulqhdY-Pw" target="_pdHp0FyrEeexYulqhdY-Pw">
  399. <children xsi:type="notation:DecorationNode" xmi:id="_rzcA9FyrEeexYulqhdY-Pw" type="TransitionExpression">
  400. <styles xsi:type="notation:ShapeStyle" xmi:id="_rzcA9VyrEeexYulqhdY-Pw"/>
  401. <layoutConstraint xsi:type="notation:Location" xmi:id="_rzcA9lyrEeexYulqhdY-Pw" y="10"/>
  402. </children>
  403. <styles xsi:type="notation:ConnectorStyle" xmi:id="_rzcA8VyrEeexYulqhdY-Pw" routing="Rectilinear" lineColor="4210752"/>
  404. <styles xsi:type="notation:FontStyle" xmi:id="_rzcA81yrEeexYulqhdY-Pw" fontName="Verdana"/>
  405. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_rzcA8lyrEeexYulqhdY-Pw" points="[7, 2, -79, -15]$[84, 41, -2, 24]"/>
  406. </edges>
  407. <edges xmi:id="_8MkLglyrEeexYulqhdY-Pw" type="Transition" element="_8Mjkj1yrEeexYulqhdY-Pw" source="_8MjkdVyrEeexYulqhdY-Pw" target="_8MjkflyrEeexYulqhdY-Pw">
  408. <children xsi:type="notation:DecorationNode" xmi:id="_8MkLg1yrEeexYulqhdY-Pw" type="TransitionExpression">
  409. <styles xsi:type="notation:ShapeStyle" xmi:id="_8MkLhFyrEeexYulqhdY-Pw"/>
  410. <layoutConstraint xsi:type="notation:Location" xmi:id="_8MkLhVyrEeexYulqhdY-Pw" y="10"/>
  411. </children>
  412. <styles xsi:type="notation:ConnectorStyle" xmi:id="_8MkLhlyrEeexYulqhdY-Pw" routing="Rectilinear" lineColor="4210752"/>
  413. <styles xsi:type="notation:FontStyle" xmi:id="_8MkLh1yrEeexYulqhdY-Pw" fontName="Verdana"/>
  414. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_8MkLiFyrEeexYulqhdY-Pw" points="[7, 2, -94, -35]$[103, 30, 2, -7]"/>
  415. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_8MkLiVyrEeexYulqhdY-Pw" id="(0.32,0.1509433962264151)"/>
  416. </edges>
  417. <edges xmi:id="_96d3w1yrEeexYulqhdY-Pw" type="Transition" element="_96dQz1yrEeexYulqhdY-Pw" source="_96dQtVyrEeexYulqhdY-Pw" target="_96dQvlyrEeexYulqhdY-Pw">
  418. <children xsi:type="notation:DecorationNode" xmi:id="_96d3xFyrEeexYulqhdY-Pw" type="TransitionExpression">
  419. <styles xsi:type="notation:ShapeStyle" xmi:id="_96d3xVyrEeexYulqhdY-Pw"/>
  420. <layoutConstraint xsi:type="notation:Location" xmi:id="_96d3xlyrEeexYulqhdY-Pw" y="10"/>
  421. </children>
  422. <styles xsi:type="notation:ConnectorStyle" xmi:id="_96d3x1yrEeexYulqhdY-Pw" routing="Rectilinear" lineColor="4210752"/>
  423. <styles xsi:type="notation:FontStyle" xmi:id="_96d3yFyrEeexYulqhdY-Pw" fontName="Verdana"/>
  424. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_96d3yVyrEeexYulqhdY-Pw" points="[7, 2, -94, -35]$[103, 30, 2, -7]"/>
  425. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_96d3ylyrEeexYulqhdY-Pw" id="(0.32,0.1509433962264151)"/>
  426. </edges>
  427. <edges xmi:id="_On_9QF12EeeJ_JhPFJUluA" type="Transition" element="_On9hAF12EeeJ_JhPFJUluA" source="_8MjkflyrEeexYulqhdY-Pw" target="_lgHsUFgXEeeNwJt_ornpOA">
  428. <children xsi:type="notation:DecorationNode" xmi:id="_OoCZgF12EeeJ_JhPFJUluA" type="TransitionExpression">
  429. <styles xsi:type="notation:ShapeStyle" xmi:id="_OoCZgV12EeeJ_JhPFJUluA"/>
  430. <layoutConstraint xsi:type="notation:Location" xmi:id="_OoCZgl12EeeJ_JhPFJUluA" x="20" y="11"/>
  431. </children>
  432. <styles xsi:type="notation:ConnectorStyle" xmi:id="_On_9QV12EeeJ_JhPFJUluA" routing="Rectilinear" lineColor="4210752"/>
  433. <styles xsi:type="notation:FontStyle" xmi:id="_OoAkUF12EeeJ_JhPFJUluA" fontName="Verdana"/>
  434. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_On_9Ql12EeeJ_JhPFJUluA" points="[117, 35, -387, 272]$[533, 35, 29, 272]$[533, -213, 29, 24]"/>
  435. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_OoFc0F12EeeJ_JhPFJUluA" id="(0.2682926829268293,0.0)"/>
  436. </edges>
  437. <edges xmi:id="_YnfFMF12EeeJ_JhPFJUluA" type="Transition" element="_YneeIF12EeeJ_JhPFJUluA" source="_96dQvlyrEeexYulqhdY-Pw" target="_lgHsUFgXEeeNwJt_ornpOA">
  438. <children xsi:type="notation:DecorationNode" xmi:id="_YnfFNF12EeeJ_JhPFJUluA" type="TransitionExpression">
  439. <styles xsi:type="notation:ShapeStyle" xmi:id="_YnfFNV12EeeJ_JhPFJUluA"/>
  440. <layoutConstraint xsi:type="notation:Location" xmi:id="_YnfFNl12EeeJ_JhPFJUluA" y="10"/>
  441. </children>
  442. <styles xsi:type="notation:ConnectorStyle" xmi:id="_YnfFMV12EeeJ_JhPFJUluA" routing="Rectilinear" lineColor="4210752"/>
  443. <styles xsi:type="notation:FontStyle" xmi:id="_YnfFM112EeeJ_JhPFJUluA" fontName="Verdana"/>
  444. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_YnfFMl12EeeJ_JhPFJUluA" points="[35, -14, -216, 85]$[220, -14, -31, 85]$[220, -75, -31, 24]"/>
  445. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_YnhhcF12EeeJ_JhPFJUluA" id="(0.0,0.6415094339622641)"/>
  446. </edges>
  447. <edges xmi:id="_ja914F12EeeJ_JhPFJUluA" type="Transition" element="_ja9O0F12EeeJ_JhPFJUluA" source="_pdHp0FyrEeexYulqhdY-Pw" target="_ja3vQF12EeeJ_JhPFJUluA">
  448. <children xsi:type="notation:DecorationNode" xmi:id="_ja915F12EeeJ_JhPFJUluA" type="TransitionExpression">
  449. <styles xsi:type="notation:ShapeStyle" xmi:id="_ja915V12EeeJ_JhPFJUluA"/>
  450. <layoutConstraint xsi:type="notation:Location" xmi:id="_ja915l12EeeJ_JhPFJUluA" y="10"/>
  451. </children>
  452. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ja914V12EeeJ_JhPFJUluA" routing="Rectilinear" lineColor="4210752"/>
  453. <styles xsi:type="notation:FontStyle" xmi:id="_ja914112EeeJ_JhPFJUluA" fontName="Verdana"/>
  454. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ja914l12EeeJ_JhPFJUluA" points="[-17, -5, 128, 34]$[-142, -38, 3, 1]"/>
  455. </edges>
  456. </notation:Diagram>
  457. </xmi:XMI>