StringExpressions.sct 54 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571
  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="_GAg-QMUEEeGBt-G4bU7TpQ" specification="interface:&#xD;&#xA;var stringA :string = &quot;A&quot;&#xD;&#xA;var stringA2 :string = &quot;A&quot;&#xD;&#xA;var stringB : string = &quot;B&quot;&#xD;&#xA;&#xD;&#xA;var quotedStringX : string = '&quot;X&quot;'&#xD;&#xA;var quotedStringY : string = &quot;\&quot;Y\&quot;&quot;&#xD;&#xA;&#xD;&#xA;var stringVarEqual : boolean&#xD;&#xA;var stringVarNotEqual : boolean&#xD;&#xA;&#xD;&#xA;var guardStringNotEqual : boolean&#xD;&#xA;var guardStringEqual : boolean&#xD;&#xA;&#xD;&#xA;in event e &#xD;&#xA;" name="StringExpressions">
  4. <regions xmi:id="_GAg-Q8UEEeGBt-G4bU7TpQ" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_GCmo9sUEEeGBt-G4bU7TpQ">
  6. <outgoingTransitions xmi:id="_GCmpEMUEEeGBt-G4bU7TpQ" target="_GCmpAcUEEeGBt-G4bU7TpQ"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_GCmpAcUEEeGBt-G4bU7TpQ" specification="entry / &#xA;stringVarNotEqual = ! stringA == stringB;&#xA;stringVarEqual = ! stringA != stringA2" name="AssignmentChecked" incomingTransitions="_GCmpEMUEEeGBt-G4bU7TpQ">
  9. <outgoingTransitions xmi:id="_8i7lkASXEeSwkvJRsasmHw" specification="e / stringVarEqual = stringA == stringA2&#xA;" target="_7LWuoASXEeSwkvJRsasmHw"/>
  10. </vertices>
  11. <vertices xsi:type="sgraph:State" xmi:id="_6o46wASXEeSwkvJRsasmHw" specification="" name="Failed" incomingTransitions="_aMjV0ASYEeSwkvJRsasmHw _bERA8ASYEeSwkvJRsasmHw _fYZvoASYEeSwkvJRsasmHw _bE1ncAVCEeSwkvJRsasmHw"/>
  12. <vertices xsi:type="sgraph:Choice" xmi:id="_7LWuoASXEeSwkvJRsasmHw" incomingTransitions="_8i7lkASXEeSwkvJRsasmHw">
  13. <outgoingTransitions xmi:id="_aMjV0ASYEeSwkvJRsasmHw" specification="" target="_6o46wASXEeSwkvJRsasmHw"/>
  14. <outgoingTransitions xmi:id="_sjex8AeaEeSfhcT_1ck-KA" specification="e / stringVarNotEqual = stringA != stringB&#xA;" target="_KUhGIASYEeSwkvJRsasmHw"/>
  15. </vertices>
  16. <vertices xsi:type="sgraph:Choice" xmi:id="_KUhGIASYEeSwkvJRsasmHw" incomingTransitions="_sjex8AeaEeSfhcT_1ck-KA">
  17. <outgoingTransitions xmi:id="_bERA8ASYEeSwkvJRsasmHw" specification="" target="_6o46wASXEeSwkvJRsasmHw"/>
  18. <outgoingTransitions xmi:id="_eYfKwASYEeSwkvJRsasmHw" specification="e [stringA == stringA2] / guardStringEqual = stringA == stringA2&#xA;" target="_ciyNYASYEeSwkvJRsasmHw"/>
  19. </vertices>
  20. <vertices xsi:type="sgraph:Choice" xmi:id="_ciyNYASYEeSwkvJRsasmHw" incomingTransitions="_eYfKwASYEeSwkvJRsasmHw">
  21. <outgoingTransitions xmi:id="_fYZvoASYEeSwkvJRsasmHw" specification="" target="_6o46wASXEeSwkvJRsasmHw"/>
  22. <outgoingTransitions xmi:id="_pnmukASYEeSwkvJRsasmHw" specification="e [stringA != stringB] / guardStringNotEqual = stringA != stringB&#xA;" target="_vJitIASYEeSwkvJRsasmHw"/>
  23. </vertices>
  24. <vertices xsi:type="sgraph:State" xmi:id="_vJitIASYEeSwkvJRsasmHw" name="VarToVarCompareSucceeded" incomingTransitions="_pnmukASYEeSwkvJRsasmHw">
  25. <outgoingTransitions xmi:id="_S-q9YQSZEeSwkvJRsasmHw" specification="e / stringVarEqual = stringA == &quot;A&quot;" target="_S-rkcwSZEeSwkvJRsasmHw"/>
  26. </vertices>
  27. <vertices xsi:type="sgraph:Choice" xmi:id="_S-rkcwSZEeSwkvJRsasmHw" incomingTransitions="_S-q9YQSZEeSwkvJRsasmHw">
  28. <outgoingTransitions xmi:id="_S-rkdASZEeSwkvJRsasmHw" specification="e / stringVarNotEqual = stringA != &quot;B&quot;" target="_S-sLgASZEeSwkvJRsasmHw"/>
  29. <outgoingTransitions xmi:id="_S-rkdQSZEeSwkvJRsasmHw" specification="" target="_he3QYASZEeSwkvJRsasmHw"/>
  30. </vertices>
  31. <vertices xsi:type="sgraph:Choice" xmi:id="_S-sLgASZEeSwkvJRsasmHw" incomingTransitions="_S-rkdASZEeSwkvJRsasmHw">
  32. <outgoingTransitions xmi:id="_S-sLgQSZEeSwkvJRsasmHw" specification="" target="_he3QYASZEeSwkvJRsasmHw"/>
  33. <outgoingTransitions xmi:id="_S-sLggSZEeSwkvJRsasmHw" specification="e [stringA == &quot;A&quot;] / guardStringEqual = stringA == &quot;A&quot;" target="_S-sLgwSZEeSwkvJRsasmHw"/>
  34. </vertices>
  35. <vertices xsi:type="sgraph:Choice" xmi:id="_S-sLgwSZEeSwkvJRsasmHw" incomingTransitions="_S-sLggSZEeSwkvJRsasmHw">
  36. <outgoingTransitions xmi:id="_S-sLhASZEeSwkvJRsasmHw" specification="" target="_he3QYASZEeSwkvJRsasmHw"/>
  37. <outgoingTransitions xmi:id="_S-sLhQSZEeSwkvJRsasmHw" specification="e [stringA != &quot;B&quot;] / guardStringNotEqual = stringA != &quot;B&quot;" target="_S-sLhgSZEeSwkvJRsasmHw"/>
  38. </vertices>
  39. <vertices xsi:type="sgraph:State" xmi:id="_S-sLhgSZEeSwkvJRsasmHw" name="VarToConstCompareSucceeded" incomingTransitions="_S-sLhQSZEeSwkvJRsasmHw">
  40. <outgoingTransitions xmi:id="_ihLIEQVAEeSwkvJRsasmHw" specification="e / stringVarEqual = &quot;A&quot; == stringA" target="_ihTD4AVAEeSwkvJRsasmHw"/>
  41. </vertices>
  42. <vertices xsi:type="sgraph:Choice" xmi:id="_he3QYASZEeSwkvJRsasmHw" incomingTransitions="_S-rkdQSZEeSwkvJRsasmHw _S-sLgQSZEeSwkvJRsasmHw _S-sLhASZEeSwkvJRsasmHw _691rQAVAEeSwkvJRsasmHw">
  43. <outgoingTransitions xmi:id="_bE1ncAVCEeSwkvJRsasmHw" specification="" target="_6o46wASXEeSwkvJRsasmHw"/>
  44. </vertices>
  45. <vertices xsi:type="sgraph:Choice" xmi:id="_ihTD4AVAEeSwkvJRsasmHw" incomingTransitions="_ihLIEQVAEeSwkvJRsasmHw">
  46. <outgoingTransitions xmi:id="_ihTD4QVAEeSwkvJRsasmHw" specification="e / stringVarNotEqual = &quot;A&quot; != stringB" target="_ihTD4wVAEeSwkvJRsasmHw"/>
  47. <outgoingTransitions xmi:id="_ihTD4gVAEeSwkvJRsasmHw" specification="" target="_ihTq8QVAEeSwkvJRsasmHw"/>
  48. </vertices>
  49. <vertices xsi:type="sgraph:Choice" xmi:id="_ihTD4wVAEeSwkvJRsasmHw" incomingTransitions="_ihTD4QVAEeSwkvJRsasmHw">
  50. <outgoingTransitions xmi:id="_ihTD5AVAEeSwkvJRsasmHw" specification="" target="_ihTq8QVAEeSwkvJRsasmHw"/>
  51. <outgoingTransitions xmi:id="_ihTD5QVAEeSwkvJRsasmHw" specification="e [&quot;A&quot; == stringA] / guardStringEqual = &quot;A&quot; == stringA" target="_ihTD5gVAEeSwkvJRsasmHw"/>
  52. </vertices>
  53. <vertices xsi:type="sgraph:Choice" xmi:id="_ihTD5gVAEeSwkvJRsasmHw" incomingTransitions="_ihTD5QVAEeSwkvJRsasmHw">
  54. <outgoingTransitions xmi:id="_ihTD5wVAEeSwkvJRsasmHw" specification="" target="_ihTq8QVAEeSwkvJRsasmHw"/>
  55. <outgoingTransitions xmi:id="_ihTD6AVAEeSwkvJRsasmHw" specification="e [&quot;A&quot; != stringB] / guardStringNotEqual = &quot;A&quot; != stringB" target="_ihTD6QVAEeSwkvJRsasmHw"/>
  56. </vertices>
  57. <vertices xsi:type="sgraph:State" xmi:id="_ihTD6QVAEeSwkvJRsasmHw" name="ConstToVarCompareSucceeded" incomingTransitions="_ihTD6AVAEeSwkvJRsasmHw">
  58. <outgoingTransitions xmi:id="__elSkQVAEeSwkvJRsasmHw" specification="e / stringVarEqual = &quot;A&quot; == &quot;A&quot;" target="__elSkwVAEeSwkvJRsasmHw"/>
  59. </vertices>
  60. <vertices xsi:type="sgraph:Choice" xmi:id="_ihTq8QVAEeSwkvJRsasmHw" incomingTransitions="_ihTD4gVAEeSwkvJRsasmHw _ihTD5AVAEeSwkvJRsasmHw _ihTD5wVAEeSwkvJRsasmHw _FRr5oAVBEeSwkvJRsasmHw">
  61. <outgoingTransitions xmi:id="_691rQAVAEeSwkvJRsasmHw" specification="" target="_he3QYASZEeSwkvJRsasmHw"/>
  62. </vertices>
  63. <vertices xsi:type="sgraph:Choice" xmi:id="__elSkwVAEeSwkvJRsasmHw" incomingTransitions="__elSkQVAEeSwkvJRsasmHw">
  64. <outgoingTransitions xmi:id="__elSlAVAEeSwkvJRsasmHw" specification="e / stringVarNotEqual = &quot;A&quot; != &quot;B&quot;" target="__elSlgVAEeSwkvJRsasmHw"/>
  65. <outgoingTransitions xmi:id="__elSlQVAEeSwkvJRsasmHw" specification="" target="__el5pQVAEeSwkvJRsasmHw"/>
  66. </vertices>
  67. <vertices xsi:type="sgraph:Choice" xmi:id="__elSlgVAEeSwkvJRsasmHw" incomingTransitions="__elSlAVAEeSwkvJRsasmHw">
  68. <outgoingTransitions xmi:id="__elSlwVAEeSwkvJRsasmHw" specification="" target="__el5pQVAEeSwkvJRsasmHw"/>
  69. <outgoingTransitions xmi:id="__elSmAVAEeSwkvJRsasmHw" specification="e [&quot;A&quot; == &quot;A&quot;] / guardStringEqual = &quot;A&quot; == &quot;A&quot;" target="__el5oAVAEeSwkvJRsasmHw"/>
  70. </vertices>
  71. <vertices xsi:type="sgraph:Choice" xmi:id="__el5oAVAEeSwkvJRsasmHw" incomingTransitions="__elSmAVAEeSwkvJRsasmHw">
  72. <outgoingTransitions xmi:id="__el5oQVAEeSwkvJRsasmHw" specification="" target="__el5pQVAEeSwkvJRsasmHw"/>
  73. <outgoingTransitions xmi:id="__el5ogVAEeSwkvJRsasmHw" specification="e [&quot;A&quot; != &quot;B&quot;] / guardStringNotEqual = &quot;A&quot; != &quot;B&quot;" target="__el5owVAEeSwkvJRsasmHw"/>
  74. </vertices>
  75. <vertices xsi:type="sgraph:State" xmi:id="__el5owVAEeSwkvJRsasmHw" name="ConstToConstCompareSucceeded" incomingTransitions="__el5ogVAEeSwkvJRsasmHw"/>
  76. <vertices xsi:type="sgraph:Choice" xmi:id="__el5pQVAEeSwkvJRsasmHw" incomingTransitions="__elSlQVAEeSwkvJRsasmHw __elSlwVAEeSwkvJRsasmHw __el5oQVAEeSwkvJRsasmHw">
  77. <outgoingTransitions xmi:id="_FRr5oAVBEeSwkvJRsasmHw" specification="" target="_ihTq8QVAEeSwkvJRsasmHw"/>
  78. </vertices>
  79. </regions>
  80. </sgraph:Statechart>
  81. <notation:Diagram xmi:id="_GAg-QcUEEeGBt-G4bU7TpQ" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_GAg-QMUEEeGBt-G4bU7TpQ" measurementUnit="Pixel">
  82. <children xmi:id="_GAg-RMUEEeGBt-G4bU7TpQ" type="Region" element="_GAg-Q8UEEeGBt-G4bU7TpQ">
  83. <children xsi:type="notation:DecorationNode" xmi:id="_GCmo8MUEEeGBt-G4bU7TpQ" type="RegionName">
  84. <styles xsi:type="notation:ShapeStyle" xmi:id="_GCmo8cUEEeGBt-G4bU7TpQ"/>
  85. <layoutConstraint xsi:type="notation:Location" xmi:id="_GCmo8sUEEeGBt-G4bU7TpQ"/>
  86. </children>
  87. <children xsi:type="notation:Shape" xmi:id="_GCmo88UEEeGBt-G4bU7TpQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  88. <children xmi:id="_GCmo98UEEeGBt-G4bU7TpQ" type="Entry" element="_GCmo9sUEEeGBt-G4bU7TpQ">
  89. <children xmi:id="_GCmo-sUEEeGBt-G4bU7TpQ" type="BorderItemLabelContainer">
  90. <children xsi:type="notation:DecorationNode" xmi:id="_GCmo_cUEEeGBt-G4bU7TpQ" type="BorderItemLabel">
  91. <styles xsi:type="notation:ShapeStyle" xmi:id="_GCmo_sUEEeGBt-G4bU7TpQ"/>
  92. <layoutConstraint xsi:type="notation:Location" xmi:id="_GCmo_8UEEeGBt-G4bU7TpQ"/>
  93. </children>
  94. <styles xsi:type="notation:ShapeStyle" xmi:id="_GCmo-8UEEeGBt-G4bU7TpQ" fontName="Verdana" lineColor="4210752"/>
  95. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_GCmo_MUEEeGBt-G4bU7TpQ"/>
  96. </children>
  97. <styles xsi:type="notation:ShapeStyle" xmi:id="_GCmo-MUEEeGBt-G4bU7TpQ" fontName="Verdana" lineColor="4210752"/>
  98. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_GCmpAMUEEeGBt-G4bU7TpQ" x="86" y="-4"/>
  99. </children>
  100. <children xmi:id="_GCmpA8UEEeGBt-G4bU7TpQ" type="State" element="_GCmpAcUEEeGBt-G4bU7TpQ">
  101. <children xsi:type="notation:DecorationNode" xmi:id="_GCmpB8UEEeGBt-G4bU7TpQ" type="StateName">
  102. <styles xsi:type="notation:ShapeStyle" xmi:id="_GCmpCMUEEeGBt-G4bU7TpQ"/>
  103. <layoutConstraint xsi:type="notation:Location" xmi:id="_GCmpCcUEEeGBt-G4bU7TpQ"/>
  104. </children>
  105. <children xsi:type="notation:Compartment" xmi:id="_GCmpCsUEEeGBt-G4bU7TpQ" type="StateTextCompartment">
  106. <children xsi:type="notation:Shape" xmi:id="_GCmpC8UEEeGBt-G4bU7TpQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  107. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_GCmpDMUEEeGBt-G4bU7TpQ"/>
  108. </children>
  109. </children>
  110. <children xsi:type="notation:Compartment" xmi:id="_GCmpDcUEEeGBt-G4bU7TpQ" type="StateFigureCompartment"/>
  111. <styles xsi:type="notation:ShapeStyle" xmi:id="_GCmpBMUEEeGBt-G4bU7TpQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  112. <styles xsi:type="notation:FontStyle" xmi:id="_GCmpBcUEEeGBt-G4bU7TpQ"/>
  113. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_GCmpD8UEEeGBt-G4bU7TpQ" x="-15" y="39"/>
  114. </children>
  115. <children xsi:type="notation:Shape" xmi:id="_1R8RsMUPEeGfjbriQ9CjYQ" type="Note" fontName="Verdana" description="Expectation:&#xD;&#xA;&#xD;&#xA;equal = false&#xD;&#xA;notEqual = true" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
  116. <children xsi:type="notation:BasicDecorationNode" xmi:id="_1R8RtMUPEeGfjbriQ9CjYQ" type="DiagramName">
  117. <element xsi:nil="true"/>
  118. </children>
  119. <children xsi:type="notation:BasicDecorationNode" xmi:id="_1R8RtcUPEeGfjbriQ9CjYQ" type="Description">
  120. <element xsi:nil="true"/>
  121. </children>
  122. <styles xsi:type="notation:TextStyle" xmi:id="_1R8RscUPEeGfjbriQ9CjYQ"/>
  123. <styles xsi:type="notation:LineTypeStyle" xmi:id="_1R8RssUPEeGfjbriQ9CjYQ"/>
  124. <element xsi:nil="true"/>
  125. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_1R8Rs8UPEeGfjbriQ9CjYQ" x="13" y="452" width="121" height="82"/>
  126. </children>
  127. <children xmi:id="_6o7XAASXEeSwkvJRsasmHw" type="State" element="_6o46wASXEeSwkvJRsasmHw">
  128. <children xsi:type="notation:DecorationNode" xmi:id="_6o9zQASXEeSwkvJRsasmHw" type="StateName">
  129. <styles xsi:type="notation:ShapeStyle" xmi:id="_6o9zQQSXEeSwkvJRsasmHw"/>
  130. <layoutConstraint xsi:type="notation:Location" xmi:id="_6o9zQgSXEeSwkvJRsasmHw"/>
  131. </children>
  132. <children xsi:type="notation:Compartment" xmi:id="_6o-aUASXEeSwkvJRsasmHw" type="StateTextCompartment" collapsed="true">
  133. <children xsi:type="notation:Shape" xmi:id="_6o-aUQSXEeSwkvJRsasmHw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  134. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_6o-aUgSXEeSwkvJRsasmHw"/>
  135. </children>
  136. </children>
  137. <children xsi:type="notation:Compartment" xmi:id="_6o_BYASXEeSwkvJRsasmHw" type="StateFigureCompartment"/>
  138. <styles xsi:type="notation:ShapeStyle" xmi:id="_6o7XAQSXEeSwkvJRsasmHw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  139. <styles xsi:type="notation:FontStyle" xmi:id="_6o7XAgSXEeSwkvJRsasmHw"/>
  140. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_6o_BYQSXEeSwkvJRsasmHw" name="isHorizontal" booleanValue="true"/>
  141. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_6o7XAwSXEeSwkvJRsasmHw" x="37" y="111" width="48"/>
  142. </children>
  143. <children xsi:type="notation:Shape" xmi:id="_7LXVsASXEeSwkvJRsasmHw" type="Choice" element="_7LWuoASXEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  144. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_7LXVsQSXEeSwkvJRsasmHw" x="197" y="107"/>
  145. </children>
  146. <children xsi:type="notation:Shape" xmi:id="_KUhtMASYEeSwkvJRsasmHw" type="Choice" element="_KUhGIASYEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  147. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_KUhtMQSYEeSwkvJRsasmHw" x="197" y="155"/>
  148. </children>
  149. <children xsi:type="notation:Shape" xmi:id="_ciy0cASYEeSwkvJRsasmHw" type="Choice" element="_ciyNYASYEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  150. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ciy0cQSYEeSwkvJRsasmHw" x="197" y="187"/>
  151. </children>
  152. <children xmi:id="_vJj7QASYEeSwkvJRsasmHw" type="State" element="_vJitIASYEeSwkvJRsasmHw">
  153. <children xsi:type="notation:DecorationNode" xmi:id="_vJj7RASYEeSwkvJRsasmHw" type="StateName">
  154. <styles xsi:type="notation:ShapeStyle" xmi:id="_vJj7RQSYEeSwkvJRsasmHw"/>
  155. <layoutConstraint xsi:type="notation:Location" xmi:id="_vJj7RgSYEeSwkvJRsasmHw"/>
  156. </children>
  157. <children xsi:type="notation:Compartment" xmi:id="_vJj7RwSYEeSwkvJRsasmHw" type="StateTextCompartment">
  158. <children xsi:type="notation:Shape" xmi:id="_vJkiUASYEeSwkvJRsasmHw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  159. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_vJkiUQSYEeSwkvJRsasmHw"/>
  160. </children>
  161. </children>
  162. <children xsi:type="notation:Compartment" xmi:id="_vJkiUgSYEeSwkvJRsasmHw" type="StateFigureCompartment"/>
  163. <styles xsi:type="notation:ShapeStyle" xmi:id="_vJj7QQSYEeSwkvJRsasmHw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  164. <styles xsi:type="notation:FontStyle" xmi:id="_vJj7QgSYEeSwkvJRsasmHw"/>
  165. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_vJkiUwSYEeSwkvJRsasmHw" name="isHorizontal" booleanValue="true"/>
  166. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_vJj7QwSYEeSwkvJRsasmHw" x="149" y="241"/>
  167. </children>
  168. <children xsi:type="notation:Shape" xmi:id="_S-qWUASZEeSwkvJRsasmHw" type="Choice" element="_S-rkcwSZEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  169. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_S-qWUQSZEeSwkvJRsasmHw" x="365" y="291"/>
  170. </children>
  171. <children xsi:type="notation:Shape" xmi:id="_S-qWUgSZEeSwkvJRsasmHw" type="Choice" element="_S-sLgASZEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  172. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_S-qWUwSZEeSwkvJRsasmHw" x="365" y="324"/>
  173. </children>
  174. <children xsi:type="notation:Shape" xmi:id="_S-qWVASZEeSwkvJRsasmHw" type="Choice" element="_S-sLgwSZEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  175. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_S-qWVQSZEeSwkvJRsasmHw" x="365" y="356"/>
  176. </children>
  177. <children xmi:id="_S-qWVgSZEeSwkvJRsasmHw" type="State" element="_S-sLhgSZEeSwkvJRsasmHw">
  178. <children xsi:type="notation:DecorationNode" xmi:id="_S-qWVwSZEeSwkvJRsasmHw" type="StateName">
  179. <styles xsi:type="notation:ShapeStyle" xmi:id="_S-qWWASZEeSwkvJRsasmHw"/>
  180. <layoutConstraint xsi:type="notation:Location" xmi:id="_S-qWWQSZEeSwkvJRsasmHw"/>
  181. </children>
  182. <children xsi:type="notation:Compartment" xmi:id="_S-qWWgSZEeSwkvJRsasmHw" type="StateTextCompartment">
  183. <children xsi:type="notation:Shape" xmi:id="_S-qWWwSZEeSwkvJRsasmHw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  184. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_S-qWXASZEeSwkvJRsasmHw"/>
  185. </children>
  186. </children>
  187. <children xsi:type="notation:Compartment" xmi:id="_S-qWXQSZEeSwkvJRsasmHw" type="StateFigureCompartment"/>
  188. <styles xsi:type="notation:ShapeStyle" xmi:id="_S-qWXgSZEeSwkvJRsasmHw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  189. <styles xsi:type="notation:FontStyle" xmi:id="_S-qWXwSZEeSwkvJRsasmHw"/>
  190. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_S-qWYASZEeSwkvJRsasmHw" name="isHorizontal" booleanValue="true"/>
  191. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_S-qWYQSZEeSwkvJRsasmHw" x="317" y="396"/>
  192. </children>
  193. <children xsi:type="notation:Shape" xmi:id="_he33cASZEeSwkvJRsasmHw" type="Choice" element="_he3QYASZEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  194. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_he33cQSZEeSwkvJRsasmHw" x="162" y="331"/>
  195. </children>
  196. <children xsi:type="notation:Shape" xmi:id="_ihJ5_AVAEeSwkvJRsasmHw" type="Choice" element="_ihTD4AVAEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  197. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ihJ5_QVAEeSwkvJRsasmHw" x="533" y="446"/>
  198. </children>
  199. <children xsi:type="notation:Shape" xmi:id="_ihKhAAVAEeSwkvJRsasmHw" type="Choice" element="_ihTD4wVAEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  200. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ihKhAQVAEeSwkvJRsasmHw" x="533" y="479"/>
  201. </children>
  202. <children xsi:type="notation:Shape" xmi:id="_ihKhAgVAEeSwkvJRsasmHw" type="Choice" element="_ihTD5gVAEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  203. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ihKhAwVAEeSwkvJRsasmHw" x="533" y="511"/>
  204. </children>
  205. <children xmi:id="_ihKhBAVAEeSwkvJRsasmHw" type="State" element="_ihTD6QVAEeSwkvJRsasmHw">
  206. <children xsi:type="notation:DecorationNode" xmi:id="_ihKhBQVAEeSwkvJRsasmHw" type="StateName">
  207. <styles xsi:type="notation:ShapeStyle" xmi:id="_ihKhBgVAEeSwkvJRsasmHw"/>
  208. <layoutConstraint xsi:type="notation:Location" xmi:id="_ihKhBwVAEeSwkvJRsasmHw"/>
  209. </children>
  210. <children xsi:type="notation:Compartment" xmi:id="_ihKhCAVAEeSwkvJRsasmHw" type="StateTextCompartment">
  211. <children xsi:type="notation:Shape" xmi:id="_ihKhCQVAEeSwkvJRsasmHw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  212. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ihKhCgVAEeSwkvJRsasmHw"/>
  213. </children>
  214. </children>
  215. <children xsi:type="notation:Compartment" xmi:id="_ihKhCwVAEeSwkvJRsasmHw" type="StateFigureCompartment"/>
  216. <styles xsi:type="notation:ShapeStyle" xmi:id="_ihKhDAVAEeSwkvJRsasmHw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  217. <styles xsi:type="notation:FontStyle" xmi:id="_ihKhDQVAEeSwkvJRsasmHw"/>
  218. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_ihKhDgVAEeSwkvJRsasmHw" name="isHorizontal" booleanValue="true"/>
  219. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ihKhDwVAEeSwkvJRsasmHw" x="485" y="551"/>
  220. </children>
  221. <children xsi:type="notation:Shape" xmi:id="_ihKhEAVAEeSwkvJRsasmHw" type="Choice" element="_ihTq8QVAEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  222. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ihKhEQVAEeSwkvJRsasmHw" x="330" y="486"/>
  223. </children>
  224. <children xsi:type="notation:Shape" xmi:id="__ekEfAVAEeSwkvJRsasmHw" type="Choice" element="__elSkwVAEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  225. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__ekEfQVAEeSwkvJRsasmHw" x="699" y="599"/>
  226. </children>
  227. <children xsi:type="notation:Shape" xmi:id="__ekrgAVAEeSwkvJRsasmHw" type="Choice" element="__elSlgVAEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  228. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__ekrgQVAEeSwkvJRsasmHw" x="699" y="632"/>
  229. </children>
  230. <children xsi:type="notation:Shape" xmi:id="__ekrggVAEeSwkvJRsasmHw" type="Choice" element="__el5oAVAEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  231. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__ekrgwVAEeSwkvJRsasmHw" x="699" y="664"/>
  232. </children>
  233. <children xmi:id="__ekrhAVAEeSwkvJRsasmHw" type="State" element="__el5owVAEeSwkvJRsasmHw">
  234. <children xsi:type="notation:DecorationNode" xmi:id="__ekrhQVAEeSwkvJRsasmHw" type="StateName">
  235. <styles xsi:type="notation:ShapeStyle" xmi:id="__ekrhgVAEeSwkvJRsasmHw"/>
  236. <layoutConstraint xsi:type="notation:Location" xmi:id="__ekrhwVAEeSwkvJRsasmHw"/>
  237. </children>
  238. <children xsi:type="notation:Compartment" xmi:id="__ekriAVAEeSwkvJRsasmHw" type="StateTextCompartment">
  239. <children xsi:type="notation:Shape" xmi:id="__ekriQVAEeSwkvJRsasmHw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  240. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__ekrigVAEeSwkvJRsasmHw"/>
  241. </children>
  242. </children>
  243. <children xsi:type="notation:Compartment" xmi:id="__ekriwVAEeSwkvJRsasmHw" type="StateFigureCompartment"/>
  244. <styles xsi:type="notation:ShapeStyle" xmi:id="__ekrjAVAEeSwkvJRsasmHw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  245. <styles xsi:type="notation:FontStyle" xmi:id="__ekrjQVAEeSwkvJRsasmHw"/>
  246. <styles xsi:type="notation:BooleanValueStyle" xmi:id="__ekrjgVAEeSwkvJRsasmHw" name="isHorizontal" booleanValue="true"/>
  247. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__ekrjwVAEeSwkvJRsasmHw" x="651" y="704"/>
  248. </children>
  249. <children xsi:type="notation:Shape" xmi:id="__ekrkAVAEeSwkvJRsasmHw" type="Choice" element="__el5pQVAEeSwkvJRsasmHw" fontName="Verdana" lineColor="4210752">
  250. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__ekrkQVAEeSwkvJRsasmHw" x="496" y="639"/>
  251. </children>
  252. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_GCmo9MUEEeGBt-G4bU7TpQ"/>
  253. </children>
  254. <styles xsi:type="notation:ShapeStyle" xmi:id="_GAg-RcUEEeGBt-G4bU7TpQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  255. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_GCmo9cUEEeGBt-G4bU7TpQ" x="452" y="20" width="989" height="837"/>
  256. </children>
  257. <children xsi:type="notation:Shape" xmi:id="_GCmpGMUEEeGBt-G4bU7TpQ" type="StatechartText" fontName="Verdana" fontHeight="12" lineColor="4210752">
  258. <children xsi:type="notation:DecorationNode" xmi:id="_GCmpGsUEEeGBt-G4bU7TpQ" type="StatechartName">
  259. <styles xsi:type="notation:ShapeStyle" xmi:id="_GCmpG8UEEeGBt-G4bU7TpQ"/>
  260. <layoutConstraint xsi:type="notation:Location" xmi:id="_GCmpHMUEEeGBt-G4bU7TpQ"/>
  261. </children>
  262. <children xsi:type="notation:Shape" xmi:id="_GCmpHcUEEeGBt-G4bU7TpQ" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  263. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_GCmpHsUEEeGBt-G4bU7TpQ"/>
  264. </children>
  265. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_GCmpH8UEEeGBt-G4bU7TpQ" x="8" y="5" width="433" height="764"/>
  266. </children>
  267. <styles xsi:type="notation:DiagramStyle" xmi:id="_GAg-QsUEEeGBt-G4bU7TpQ"/>
  268. <edges xmi:id="_GCmpEcUEEeGBt-G4bU7TpQ" type="Transition" element="_GCmpEMUEEeGBt-G4bU7TpQ" source="_GCmo98UEEeGBt-G4bU7TpQ" target="_GCmpA8UEEeGBt-G4bU7TpQ">
  269. <children xsi:type="notation:DecorationNode" xmi:id="_GCmpFcUEEeGBt-G4bU7TpQ" type="TransitionExpression">
  270. <styles xsi:type="notation:ShapeStyle" xmi:id="_GCmpFsUEEeGBt-G4bU7TpQ"/>
  271. <layoutConstraint xsi:type="notation:Location" xmi:id="_GCmpF8UEEeGBt-G4bU7TpQ" y="10"/>
  272. </children>
  273. <styles xsi:type="notation:ConnectorStyle" xmi:id="_GCmpEsUEEeGBt-G4bU7TpQ" lineColor="4210752"/>
  274. <styles xsi:type="notation:FontStyle" xmi:id="_GCmpFMUEEeGBt-G4bU7TpQ" fontName="Verdana"/>
  275. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_GCmpE8UEEeGBt-G4bU7TpQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  276. </edges>
  277. <edges xmi:id="_8i-B0ASXEeSwkvJRsasmHw" type="Transition" element="_8i7lkASXEeSwkvJRsasmHw" source="_GCmpA8UEEeGBt-G4bU7TpQ" target="_7LXVsASXEeSwkvJRsasmHw">
  278. <children xsi:type="notation:DecorationNode" xmi:id="_8i-B1ASXEeSwkvJRsasmHw" type="TransitionExpression">
  279. <styles xsi:type="notation:ShapeStyle" xmi:id="_8i-B1QSXEeSwkvJRsasmHw"/>
  280. <layoutConstraint xsi:type="notation:Location" xmi:id="_8i-o4ASXEeSwkvJRsasmHw" x="-44" y="-97"/>
  281. </children>
  282. <styles xsi:type="notation:ConnectorStyle" xmi:id="_8i-B0QSXEeSwkvJRsasmHw" lineColor="4210752"/>
  283. <styles xsi:type="notation:FontStyle" xmi:id="_8i-B0wSXEeSwkvJRsasmHw" fontName="Verdana"/>
  284. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_8i-B0gSXEeSwkvJRsasmHw" points="[7, 10, -54, -31]$[61, 10, 0, -31]$[61, 34, 0, -7]"/>
  285. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_8jBFIASXEeSwkvJRsasmHw" id="(0.940677966101695,0.2830188679245283)"/>
  286. </edges>
  287. <edges xmi:id="_aMkj8ASYEeSwkvJRsasmHw" type="Transition" element="_aMjV0ASYEeSwkvJRsasmHw" source="_7LXVsASXEeSwkvJRsasmHw" target="_6o7XAASXEeSwkvJRsasmHw">
  288. <children xsi:type="notation:DecorationNode" xmi:id="_aMlLAASYEeSwkvJRsasmHw" type="TransitionExpression">
  289. <styles xsi:type="notation:ShapeStyle" xmi:id="_aMlLAQSYEeSwkvJRsasmHw"/>
  290. <layoutConstraint xsi:type="notation:Location" xmi:id="_aMlLAgSYEeSwkvJRsasmHw" y="10"/>
  291. </children>
  292. <styles xsi:type="notation:ConnectorStyle" xmi:id="_aMkj8QSYEeSwkvJRsasmHw" lineColor="4210752"/>
  293. <styles xsi:type="notation:FontStyle" xmi:id="_aMkj8wSYEeSwkvJRsasmHw" fontName="Verdana"/>
  294. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_aMkj8gSYEeSwkvJRsasmHw" points="[-7, 3, 132, -51]$[-117, 50, 22, -4]"/>
  295. </edges>
  296. <edges xmi:id="_bESPEASYEeSwkvJRsasmHw" type="Transition" element="_bERA8ASYEeSwkvJRsasmHw" source="_KUhtMASYEeSwkvJRsasmHw" target="_6o7XAASXEeSwkvJRsasmHw">
  297. <children xsi:type="notation:DecorationNode" xmi:id="_bES2IASYEeSwkvJRsasmHw" type="TransitionExpression">
  298. <styles xsi:type="notation:ShapeStyle" xmi:id="_bES2IQSYEeSwkvJRsasmHw"/>
  299. <layoutConstraint xsi:type="notation:Location" xmi:id="_bES2IgSYEeSwkvJRsasmHw" y="10"/>
  300. </children>
  301. <styles xsi:type="notation:ConnectorStyle" xmi:id="_bESPEQSYEeSwkvJRsasmHw" lineColor="4210752"/>
  302. <styles xsi:type="notation:FontStyle" xmi:id="_bESPEwSYEeSwkvJRsasmHw" fontName="Verdana"/>
  303. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_bESPEgSYEeSwkvJRsasmHw" points="[-7, 1, 132, -20]$[-117, 21, 22, 0]"/>
  304. </edges>
  305. <edges xmi:id="_eYfx0ASYEeSwkvJRsasmHw" type="Transition" element="_eYfKwASYEeSwkvJRsasmHw" source="_KUhtMASYEeSwkvJRsasmHw" target="_ciy0cASYEeSwkvJRsasmHw">
  306. <children xsi:type="notation:DecorationNode" xmi:id="_eYgY4QSYEeSwkvJRsasmHw" type="TransitionExpression">
  307. <styles xsi:type="notation:ShapeStyle" xmi:id="_eYgY4gSYEeSwkvJRsasmHw"/>
  308. <layoutConstraint xsi:type="notation:Location" xmi:id="_eYgY4wSYEeSwkvJRsasmHw" y="-159"/>
  309. </children>
  310. <styles xsi:type="notation:ConnectorStyle" xmi:id="_eYfx0QSYEeSwkvJRsasmHw" lineColor="4210752"/>
  311. <styles xsi:type="notation:FontStyle" xmi:id="_eYgY4ASYEeSwkvJRsasmHw" fontName="Verdana"/>
  312. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_eYfx0gSYEeSwkvJRsasmHw" points="[0, 8, 0, -24]$[0, 40, 0, 8]"/>
  313. </edges>
  314. <edges xmi:id="_fYaWsASYEeSwkvJRsasmHw" type="Transition" element="_fYZvoASYEeSwkvJRsasmHw" source="_ciy0cASYEeSwkvJRsasmHw" target="_6o7XAASXEeSwkvJRsasmHw">
  315. <children xsi:type="notation:DecorationNode" xmi:id="_fYa9wQSYEeSwkvJRsasmHw" type="TransitionExpression">
  316. <styles xsi:type="notation:ShapeStyle" xmi:id="_fYa9wgSYEeSwkvJRsasmHw"/>
  317. <layoutConstraint xsi:type="notation:Location" xmi:id="_fYa9wwSYEeSwkvJRsasmHw" y="10"/>
  318. </children>
  319. <styles xsi:type="notation:ConnectorStyle" xmi:id="_fYaWsQSYEeSwkvJRsasmHw" lineColor="4210752"/>
  320. <styles xsi:type="notation:FontStyle" xmi:id="_fYa9wASYEeSwkvJRsasmHw" fontName="Verdana"/>
  321. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_fYaWsgSYEeSwkvJRsasmHw" points="[-7, -7, 139, 4]$[-124, -7, 22, 4]"/>
  322. </edges>
  323. <edges xmi:id="_pnnVoASYEeSwkvJRsasmHw" type="Transition" element="_pnmukASYEeSwkvJRsasmHw" source="_ciy0cASYEeSwkvJRsasmHw" target="_vJj7QASYEeSwkvJRsasmHw">
  324. <children xsi:type="notation:DecorationNode" xmi:id="_pnn8sQSYEeSwkvJRsasmHw" type="TransitionExpression">
  325. <styles xsi:type="notation:ShapeStyle" xmi:id="_pnn8sgSYEeSwkvJRsasmHw"/>
  326. <layoutConstraint xsi:type="notation:Location" xmi:id="_pnn8swSYEeSwkvJRsasmHw" y="-160"/>
  327. </children>
  328. <styles xsi:type="notation:ConnectorStyle" xmi:id="_pnnVoQSYEeSwkvJRsasmHw" lineColor="4210752"/>
  329. <styles xsi:type="notation:FontStyle" xmi:id="_pnn8sASYEeSwkvJRsasmHw" fontName="Verdana"/>
  330. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_pnnVogSYEeSwkvJRsasmHw" points="[-5, 8, 0, -33]$[-5, 19, 0, -22]$[-5, 33, 0, -8]"/>
  331. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_3Ew3QASYEeSwkvJRsasmHw" id="(0.8666666666666667,0.6666666666666666)"/>
  332. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_pnpx4ASYEeSwkvJRsasmHw" id="(0.3225806451612903,0.16981132075471697)"/>
  333. </edges>
  334. <edges xmi:id="_S-sykASZEeSwkvJRsasmHw" type="Transition" element="_S-q9YQSZEeSwkvJRsasmHw" source="_vJj7QASYEeSwkvJRsasmHw" target="_S-qWUASZEeSwkvJRsasmHw">
  335. <children xsi:type="notation:DecorationNode" xmi:id="_S-sykQSZEeSwkvJRsasmHw" type="TransitionExpression">
  336. <styles xsi:type="notation:ShapeStyle" xmi:id="_S-sykgSZEeSwkvJRsasmHw"/>
  337. <layoutConstraint xsi:type="notation:Location" xmi:id="_S-sykwSZEeSwkvJRsasmHw" x="110" y="14"/>
  338. </children>
  339. <styles xsi:type="notation:ConnectorStyle" xmi:id="_S-sylASZEeSwkvJRsasmHw" lineColor="4210752"/>
  340. <styles xsi:type="notation:FontStyle" xmi:id="_S-sylQSZEeSwkvJRsasmHw" fontName="Verdana"/>
  341. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_S-sylgSZEeSwkvJRsasmHw" points="[13, 8, -67, -38]$[80, 8, 0, -38]$[80, 39, 0, -7]"/>
  342. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_S-sylwSZEeSwkvJRsasmHw" id="(0.9192546583850931,0.24528301886792453)"/>
  343. </edges>
  344. <edges xmi:id="_S-symASZEeSwkvJRsasmHw" type="Transition" element="_S-rkdASZEeSwkvJRsasmHw" source="_S-qWUASZEeSwkvJRsasmHw" target="_S-qWUgSZEeSwkvJRsasmHw">
  345. <children xsi:type="notation:DecorationNode" xmi:id="_S-symQSZEeSwkvJRsasmHw" type="TransitionExpression">
  346. <styles xsi:type="notation:ShapeStyle" xmi:id="_S-symgSZEeSwkvJRsasmHw"/>
  347. <layoutConstraint xsi:type="notation:Location" xmi:id="_S-symwSZEeSwkvJRsasmHw" x="-4" y="-95"/>
  348. </children>
  349. <styles xsi:type="notation:ConnectorStyle" xmi:id="_S-synASZEeSwkvJRsasmHw" lineColor="4210752"/>
  350. <styles xsi:type="notation:FontStyle" xmi:id="_S-synQSZEeSwkvJRsasmHw" fontName="Verdana"/>
  351. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_S-syngSZEeSwkvJRsasmHw" points="[0, 8, 0, -25]$[0, 41, 0, 8]"/>
  352. </edges>
  353. <edges xmi:id="_S-synwSZEeSwkvJRsasmHw" type="Transition" element="_S-rkdQSZEeSwkvJRsasmHw" source="_S-qWUASZEeSwkvJRsasmHw" target="_he33cASZEeSwkvJRsasmHw">
  354. <children xsi:type="notation:DecorationNode" xmi:id="_S-syoASZEeSwkvJRsasmHw" type="TransitionExpression">
  355. <styles xsi:type="notation:ShapeStyle" xmi:id="_S-syoQSZEeSwkvJRsasmHw"/>
  356. <layoutConstraint xsi:type="notation:Location" xmi:id="_S-syogSZEeSwkvJRsasmHw" y="10"/>
  357. </children>
  358. <styles xsi:type="notation:ConnectorStyle" xmi:id="_S-syowSZEeSwkvJRsasmHw" lineColor="4210752"/>
  359. <styles xsi:type="notation:FontStyle" xmi:id="_S-sypASZEeSwkvJRsasmHw" fontName="Verdana"/>
  360. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_S-tZoASZEeSwkvJRsasmHw" points="[-7, 3, 132, -51]$[-117, 50, 22, -4]"/>
  361. </edges>
  362. <edges xmi:id="_S-tZoQSZEeSwkvJRsasmHw" type="Transition" element="_S-sLgQSZEeSwkvJRsasmHw" source="_S-qWUgSZEeSwkvJRsasmHw" target="_he33cASZEeSwkvJRsasmHw">
  363. <children xsi:type="notation:DecorationNode" xmi:id="_S-tZogSZEeSwkvJRsasmHw" type="TransitionExpression">
  364. <styles xsi:type="notation:ShapeStyle" xmi:id="_S-tZowSZEeSwkvJRsasmHw"/>
  365. <layoutConstraint xsi:type="notation:Location" xmi:id="_S-tZpASZEeSwkvJRsasmHw" y="10"/>
  366. </children>
  367. <styles xsi:type="notation:ConnectorStyle" xmi:id="_S-tZpQSZEeSwkvJRsasmHw" lineColor="4210752"/>
  368. <styles xsi:type="notation:FontStyle" xmi:id="_S-tZpgSZEeSwkvJRsasmHw" fontName="Verdana"/>
  369. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_S-tZpwSZEeSwkvJRsasmHw" points="[-7, 1, 132, -20]$[-117, 21, 22, 0]"/>
  370. </edges>
  371. <edges xmi:id="_S-tZqASZEeSwkvJRsasmHw" type="Transition" element="_S-sLggSZEeSwkvJRsasmHw" source="_S-qWUgSZEeSwkvJRsasmHw" target="_S-qWVASZEeSwkvJRsasmHw">
  372. <children xsi:type="notation:DecorationNode" xmi:id="_S-tZqQSZEeSwkvJRsasmHw" type="TransitionExpression">
  373. <styles xsi:type="notation:ShapeStyle" xmi:id="_S-tZqgSZEeSwkvJRsasmHw"/>
  374. <layoutConstraint xsi:type="notation:Location" xmi:id="_S-tZqwSZEeSwkvJRsasmHw" x="-4" y="-137"/>
  375. </children>
  376. <styles xsi:type="notation:ConnectorStyle" xmi:id="_S-tZrASZEeSwkvJRsasmHw" lineColor="4210752"/>
  377. <styles xsi:type="notation:FontStyle" xmi:id="_S-tZrQSZEeSwkvJRsasmHw" fontName="Verdana"/>
  378. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_S-tZrgSZEeSwkvJRsasmHw" points="[0, 8, 0, -24]$[0, 40, 0, 8]"/>
  379. </edges>
  380. <edges xmi:id="_S-uAsASZEeSwkvJRsasmHw" type="Transition" element="_S-sLhASZEeSwkvJRsasmHw" source="_S-qWVASZEeSwkvJRsasmHw" target="_he33cASZEeSwkvJRsasmHw">
  381. <children xsi:type="notation:DecorationNode" xmi:id="_S-uAsQSZEeSwkvJRsasmHw" type="TransitionExpression">
  382. <styles xsi:type="notation:ShapeStyle" xmi:id="_S-uAsgSZEeSwkvJRsasmHw"/>
  383. <layoutConstraint xsi:type="notation:Location" xmi:id="_S-uAswSZEeSwkvJRsasmHw" y="10"/>
  384. </children>
  385. <styles xsi:type="notation:ConnectorStyle" xmi:id="_S-uAtASZEeSwkvJRsasmHw" lineColor="4210752"/>
  386. <styles xsi:type="notation:FontStyle" xmi:id="_S-uAtQSZEeSwkvJRsasmHw" fontName="Verdana"/>
  387. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_S-uAtgSZEeSwkvJRsasmHw" points="[-7, -7, 139, 4]$[-124, -7, 22, 4]"/>
  388. </edges>
  389. <edges xmi:id="_S-uAtwSZEeSwkvJRsasmHw" type="Transition" element="_S-sLhQSZEeSwkvJRsasmHw" source="_S-qWVASZEeSwkvJRsasmHw" target="_S-qWVgSZEeSwkvJRsasmHw">
  390. <children xsi:type="notation:DecorationNode" xmi:id="_S-uAuASZEeSwkvJRsasmHw" type="TransitionExpression">
  391. <styles xsi:type="notation:ShapeStyle" xmi:id="_S-uAuQSZEeSwkvJRsasmHw"/>
  392. <layoutConstraint xsi:type="notation:Location" xmi:id="_S-uAugSZEeSwkvJRsasmHw" x="-8" y="-146"/>
  393. </children>
  394. <styles xsi:type="notation:ConnectorStyle" xmi:id="_S-uAuwSZEeSwkvJRsasmHw" lineColor="4210752"/>
  395. <styles xsi:type="notation:FontStyle" xmi:id="_S-uAvASZEeSwkvJRsasmHw" fontName="Verdana"/>
  396. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_S-uAvQSZEeSwkvJRsasmHw" points="[-5, 8, 0, -33]$[-5, 19, 0, -22]$[-5, 33, 0, -8]"/>
  397. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_S-uAvgSZEeSwkvJRsasmHw" id="(0.8666666666666667,0.6666666666666666)"/>
  398. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_S-uAvwSZEeSwkvJRsasmHw" id="(0.3225806451612903,0.16981132075471697)"/>
  399. </edges>
  400. <edges xmi:id="_ihTq8wVAEeSwkvJRsasmHw" type="Transition" element="_ihLIEQVAEeSwkvJRsasmHw" source="_S-qWVgSZEeSwkvJRsasmHw" target="_ihJ5_AVAEeSwkvJRsasmHw">
  401. <children xsi:type="notation:DecorationNode" xmi:id="_ihTq9AVAEeSwkvJRsasmHw" type="TransitionExpression">
  402. <styles xsi:type="notation:ShapeStyle" xmi:id="_ihTq9QVAEeSwkvJRsasmHw"/>
  403. <layoutConstraint xsi:type="notation:Location" xmi:id="_ihTq9gVAEeSwkvJRsasmHw" x="110" y="14"/>
  404. </children>
  405. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ihTq9wVAEeSwkvJRsasmHw" lineColor="4210752"/>
  406. <styles xsi:type="notation:FontStyle" xmi:id="_ihTq-AVAEeSwkvJRsasmHw" fontName="Verdana"/>
  407. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ihTq-QVAEeSwkvJRsasmHw" points="[13, 8, -67, -38]$[80, 8, 0, -38]$[80, 39, 0, -7]"/>
  408. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_ihTq-gVAEeSwkvJRsasmHw" id="(0.872093023255814,0.33962264150943394)"/>
  409. </edges>
  410. <edges xmi:id="_ihTq-wVAEeSwkvJRsasmHw" type="Transition" element="_ihTD4QVAEeSwkvJRsasmHw" source="_ihJ5_AVAEeSwkvJRsasmHw" target="_ihKhAAVAEeSwkvJRsasmHw">
  411. <children xsi:type="notation:DecorationNode" xmi:id="_ihTq_AVAEeSwkvJRsasmHw" type="TransitionExpression">
  412. <styles xsi:type="notation:ShapeStyle" xmi:id="_ihTq_QVAEeSwkvJRsasmHw"/>
  413. <layoutConstraint xsi:type="notation:Location" xmi:id="_ihTq_gVAEeSwkvJRsasmHw" x="-4" y="-105"/>
  414. </children>
  415. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ihUSAAVAEeSwkvJRsasmHw" lineColor="4210752"/>
  416. <styles xsi:type="notation:FontStyle" xmi:id="_ihUSAQVAEeSwkvJRsasmHw" fontName="Verdana"/>
  417. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ihUSAgVAEeSwkvJRsasmHw" points="[0, 8, 0, -25]$[0, 41, 0, 8]"/>
  418. </edges>
  419. <edges xmi:id="_ihUSAwVAEeSwkvJRsasmHw" type="Transition" element="_ihTD4gVAEeSwkvJRsasmHw" source="_ihJ5_AVAEeSwkvJRsasmHw" target="_ihKhEAVAEeSwkvJRsasmHw">
  420. <children xsi:type="notation:DecorationNode" xmi:id="_ihUSBAVAEeSwkvJRsasmHw" type="TransitionExpression">
  421. <styles xsi:type="notation:ShapeStyle" xmi:id="_ihUSBQVAEeSwkvJRsasmHw"/>
  422. <layoutConstraint xsi:type="notation:Location" xmi:id="_ihUSBgVAEeSwkvJRsasmHw" y="10"/>
  423. </children>
  424. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ihUSBwVAEeSwkvJRsasmHw" lineColor="4210752"/>
  425. <styles xsi:type="notation:FontStyle" xmi:id="_ihUSCAVAEeSwkvJRsasmHw" fontName="Verdana"/>
  426. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ihUSCQVAEeSwkvJRsasmHw" points="[-7, 3, 132, -51]$[-117, 50, 22, -4]"/>
  427. </edges>
  428. <edges xmi:id="_ihU5EAVAEeSwkvJRsasmHw" type="Transition" element="_ihTD5AVAEeSwkvJRsasmHw" source="_ihKhAAVAEeSwkvJRsasmHw" target="_ihKhEAVAEeSwkvJRsasmHw">
  429. <children xsi:type="notation:DecorationNode" xmi:id="_ihU5EQVAEeSwkvJRsasmHw" type="TransitionExpression">
  430. <styles xsi:type="notation:ShapeStyle" xmi:id="_ihU5EgVAEeSwkvJRsasmHw"/>
  431. <layoutConstraint xsi:type="notation:Location" xmi:id="_ihU5EwVAEeSwkvJRsasmHw" y="10"/>
  432. </children>
  433. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ihU5FAVAEeSwkvJRsasmHw" lineColor="4210752"/>
  434. <styles xsi:type="notation:FontStyle" xmi:id="_ihU5FQVAEeSwkvJRsasmHw" fontName="Verdana"/>
  435. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ihU5FgVAEeSwkvJRsasmHw" points="[-7, 1, 132, -20]$[-117, 21, 22, 0]"/>
  436. </edges>
  437. <edges xmi:id="_ihU5FwVAEeSwkvJRsasmHw" type="Transition" element="_ihTD5QVAEeSwkvJRsasmHw" source="_ihKhAAVAEeSwkvJRsasmHw" target="_ihKhAgVAEeSwkvJRsasmHw">
  438. <children xsi:type="notation:DecorationNode" xmi:id="_ihU5GAVAEeSwkvJRsasmHw" type="TransitionExpression">
  439. <styles xsi:type="notation:ShapeStyle" xmi:id="_ihU5GQVAEeSwkvJRsasmHw"/>
  440. <layoutConstraint xsi:type="notation:Location" xmi:id="_ihU5GgVAEeSwkvJRsasmHw" x="-4" y="-137"/>
  441. </children>
  442. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ihU5GwVAEeSwkvJRsasmHw" lineColor="4210752"/>
  443. <styles xsi:type="notation:FontStyle" xmi:id="_ihU5HAVAEeSwkvJRsasmHw" fontName="Verdana"/>
  444. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ihU5HQVAEeSwkvJRsasmHw" points="[0, 8, 0, -24]$[0, 40, 0, 8]"/>
  445. </edges>
  446. <edges xmi:id="_ihU5HgVAEeSwkvJRsasmHw" type="Transition" element="_ihTD5wVAEeSwkvJRsasmHw" source="_ihKhAgVAEeSwkvJRsasmHw" target="_ihKhEAVAEeSwkvJRsasmHw">
  447. <children xsi:type="notation:DecorationNode" xmi:id="_ihU5HwVAEeSwkvJRsasmHw" type="TransitionExpression">
  448. <styles xsi:type="notation:ShapeStyle" xmi:id="_ihU5IAVAEeSwkvJRsasmHw"/>
  449. <layoutConstraint xsi:type="notation:Location" xmi:id="_ihU5IQVAEeSwkvJRsasmHw" y="10"/>
  450. </children>
  451. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ihU5IgVAEeSwkvJRsasmHw" lineColor="4210752"/>
  452. <styles xsi:type="notation:FontStyle" xmi:id="_ihU5IwVAEeSwkvJRsasmHw" fontName="Verdana"/>
  453. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ihU5JAVAEeSwkvJRsasmHw" points="[-7, -7, 139, 4]$[-124, -7, 22, 4]"/>
  454. </edges>
  455. <edges xmi:id="_ihVgIAVAEeSwkvJRsasmHw" type="Transition" element="_ihTD6AVAEeSwkvJRsasmHw" source="_ihKhAgVAEeSwkvJRsasmHw" target="_ihKhBAVAEeSwkvJRsasmHw">
  456. <children xsi:type="notation:DecorationNode" xmi:id="_ihVgIQVAEeSwkvJRsasmHw" type="TransitionExpression">
  457. <styles xsi:type="notation:ShapeStyle" xmi:id="_ihVgIgVAEeSwkvJRsasmHw"/>
  458. <layoutConstraint xsi:type="notation:Location" xmi:id="_ihVgIwVAEeSwkvJRsasmHw" x="-8" y="-146"/>
  459. </children>
  460. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ihVgJAVAEeSwkvJRsasmHw" lineColor="4210752"/>
  461. <styles xsi:type="notation:FontStyle" xmi:id="_ihVgJQVAEeSwkvJRsasmHw" fontName="Verdana"/>
  462. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ihVgJgVAEeSwkvJRsasmHw" points="[-5, 8, 0, -33]$[-5, 19, 0, -22]$[-5, 33, 0, -8]"/>
  463. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_ihVgJwVAEeSwkvJRsasmHw" id="(0.8666666666666667,0.6666666666666666)"/>
  464. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_ihVgKAVAEeSwkvJRsasmHw" id="(0.3225806451612903,0.16981132075471697)"/>
  465. </edges>
  466. <edges xmi:id="_6925YAVAEeSwkvJRsasmHw" type="Transition" element="_691rQAVAEeSwkvJRsasmHw" source="_ihKhEAVAEeSwkvJRsasmHw" target="_he33cASZEeSwkvJRsasmHw">
  467. <children xsi:type="notation:DecorationNode" xmi:id="_6925ZAVAEeSwkvJRsasmHw" type="TransitionExpression">
  468. <styles xsi:type="notation:ShapeStyle" xmi:id="_6925ZQVAEeSwkvJRsasmHw"/>
  469. <layoutConstraint xsi:type="notation:Location" xmi:id="_6925ZgVAEeSwkvJRsasmHw" y="10"/>
  470. </children>
  471. <styles xsi:type="notation:ConnectorStyle" xmi:id="_6925YQVAEeSwkvJRsasmHw" lineColor="4210752"/>
  472. <styles xsi:type="notation:FontStyle" xmi:id="_6925YwVAEeSwkvJRsasmHw" fontName="Verdana"/>
  473. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_6925YgVAEeSwkvJRsasmHw" points="[-7, 0, 161, 155]$[-168, 0, 0, 155]$[-168, -147, 0, 8]"/>
  474. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_sJ0n4AVBEeSwkvJRsasmHw" id="(0.26666666666666666,0.13333333333333333)"/>
  475. </edges>
  476. <edges xmi:id="__el5pwVAEeSwkvJRsasmHw" type="Transition" element="__elSkQVAEeSwkvJRsasmHw" source="_ihKhBAVAEeSwkvJRsasmHw" target="__ekEfAVAEeSwkvJRsasmHw">
  477. <children xsi:type="notation:DecorationNode" xmi:id="__el5qAVAEeSwkvJRsasmHw" type="TransitionExpression">
  478. <styles xsi:type="notation:ShapeStyle" xmi:id="__el5qQVAEeSwkvJRsasmHw"/>
  479. <layoutConstraint xsi:type="notation:Location" xmi:id="__el5qgVAEeSwkvJRsasmHw" x="110" y="14"/>
  480. </children>
  481. <styles xsi:type="notation:ConnectorStyle" xmi:id="__el5qwVAEeSwkvJRsasmHw" lineColor="4210752"/>
  482. <styles xsi:type="notation:FontStyle" xmi:id="__el5rAVAEeSwkvJRsasmHw" fontName="Verdana"/>
  483. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="__el5rQVAEeSwkvJRsasmHw" points="[13, 8, -67, -38]$[80, 8, 0, -38]$[80, 39, 0, -7]"/>
  484. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="__el5rgVAEeSwkvJRsasmHw" id="(0.8313953488372093,0.2641509433962264)"/>
  485. </edges>
  486. <edges xmi:id="__emgsAVAEeSwkvJRsasmHw" type="Transition" element="__elSlAVAEeSwkvJRsasmHw" source="__ekEfAVAEeSwkvJRsasmHw" target="__ekrgAVAEeSwkvJRsasmHw">
  487. <children xsi:type="notation:DecorationNode" xmi:id="__emgsQVAEeSwkvJRsasmHw" type="TransitionExpression">
  488. <styles xsi:type="notation:ShapeStyle" xmi:id="__emgsgVAEeSwkvJRsasmHw"/>
  489. <layoutConstraint xsi:type="notation:Location" xmi:id="__emgswVAEeSwkvJRsasmHw" x="-4" y="-95"/>
  490. </children>
  491. <styles xsi:type="notation:ConnectorStyle" xmi:id="__emgtAVAEeSwkvJRsasmHw" lineColor="4210752"/>
  492. <styles xsi:type="notation:FontStyle" xmi:id="__enHwAVAEeSwkvJRsasmHw" fontName="Verdana"/>
  493. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="__enHwQVAEeSwkvJRsasmHw" points="[0, 8, 0, -25]$[0, 41, 0, 8]"/>
  494. </edges>
  495. <edges xmi:id="__enu0AVAEeSwkvJRsasmHw" type="Transition" element="__elSlQVAEeSwkvJRsasmHw" source="__ekEfAVAEeSwkvJRsasmHw" target="__ekrkAVAEeSwkvJRsasmHw">
  496. <children xsi:type="notation:DecorationNode" xmi:id="__enu0QVAEeSwkvJRsasmHw" type="TransitionExpression">
  497. <styles xsi:type="notation:ShapeStyle" xmi:id="__enu0gVAEeSwkvJRsasmHw"/>
  498. <layoutConstraint xsi:type="notation:Location" xmi:id="__enu0wVAEeSwkvJRsasmHw" y="10"/>
  499. </children>
  500. <styles xsi:type="notation:ConnectorStyle" xmi:id="__enu1AVAEeSwkvJRsasmHw" lineColor="4210752"/>
  501. <styles xsi:type="notation:FontStyle" xmi:id="__enu1QVAEeSwkvJRsasmHw" fontName="Verdana"/>
  502. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="__enu1gVAEeSwkvJRsasmHw" points="[-7, 3, 132, -51]$[-117, 50, 22, -4]"/>
  503. </edges>
  504. <edges xmi:id="__enu1wVAEeSwkvJRsasmHw" type="Transition" element="__elSlwVAEeSwkvJRsasmHw" source="__ekrgAVAEeSwkvJRsasmHw" target="__ekrkAVAEeSwkvJRsasmHw">
  505. <children xsi:type="notation:DecorationNode" xmi:id="__enu2AVAEeSwkvJRsasmHw" type="TransitionExpression">
  506. <styles xsi:type="notation:ShapeStyle" xmi:id="__enu2QVAEeSwkvJRsasmHw"/>
  507. <layoutConstraint xsi:type="notation:Location" xmi:id="__enu2gVAEeSwkvJRsasmHw" y="10"/>
  508. </children>
  509. <styles xsi:type="notation:ConnectorStyle" xmi:id="__enu2wVAEeSwkvJRsasmHw" lineColor="4210752"/>
  510. <styles xsi:type="notation:FontStyle" xmi:id="__enu3AVAEeSwkvJRsasmHw" fontName="Verdana"/>
  511. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="__enu3QVAEeSwkvJRsasmHw" points="[-7, 1, 132, -20]$[-117, 21, 22, 0]"/>
  512. </edges>
  513. <edges xmi:id="__enu3gVAEeSwkvJRsasmHw" type="Transition" element="__elSmAVAEeSwkvJRsasmHw" source="__ekrgAVAEeSwkvJRsasmHw" target="__ekrggVAEeSwkvJRsasmHw">
  514. <children xsi:type="notation:DecorationNode" xmi:id="__enu3wVAEeSwkvJRsasmHw" type="TransitionExpression">
  515. <styles xsi:type="notation:ShapeStyle" xmi:id="__enu4AVAEeSwkvJRsasmHw"/>
  516. <layoutConstraint xsi:type="notation:Location" xmi:id="__enu4QVAEeSwkvJRsasmHw" x="-4" y="-137"/>
  517. </children>
  518. <styles xsi:type="notation:ConnectorStyle" xmi:id="__enu4gVAEeSwkvJRsasmHw" lineColor="4210752"/>
  519. <styles xsi:type="notation:FontStyle" xmi:id="__enu4wVAEeSwkvJRsasmHw" fontName="Verdana"/>
  520. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="__enu5AVAEeSwkvJRsasmHw" points="[0, 8, 0, -24]$[0, 40, 0, 8]"/>
  521. </edges>
  522. <edges xmi:id="__eoV4AVAEeSwkvJRsasmHw" type="Transition" element="__el5oQVAEeSwkvJRsasmHw" source="__ekrggVAEeSwkvJRsasmHw" target="__ekrkAVAEeSwkvJRsasmHw">
  523. <children xsi:type="notation:DecorationNode" xmi:id="__eoV4QVAEeSwkvJRsasmHw" type="TransitionExpression">
  524. <styles xsi:type="notation:ShapeStyle" xmi:id="__eoV4gVAEeSwkvJRsasmHw"/>
  525. <layoutConstraint xsi:type="notation:Location" xmi:id="__eoV4wVAEeSwkvJRsasmHw" y="10"/>
  526. </children>
  527. <styles xsi:type="notation:ConnectorStyle" xmi:id="__eoV5AVAEeSwkvJRsasmHw" lineColor="4210752"/>
  528. <styles xsi:type="notation:FontStyle" xmi:id="__eoV5QVAEeSwkvJRsasmHw" fontName="Verdana"/>
  529. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="__eoV5gVAEeSwkvJRsasmHw" points="[-7, -7, 139, 4]$[-124, -7, 22, 4]"/>
  530. </edges>
  531. <edges xmi:id="__eoV5wVAEeSwkvJRsasmHw" type="Transition" element="__el5ogVAEeSwkvJRsasmHw" source="__ekrggVAEeSwkvJRsasmHw" target="__ekrhAVAEeSwkvJRsasmHw">
  532. <children xsi:type="notation:DecorationNode" xmi:id="__eoV6AVAEeSwkvJRsasmHw" type="TransitionExpression">
  533. <styles xsi:type="notation:ShapeStyle" xmi:id="__eoV6QVAEeSwkvJRsasmHw"/>
  534. <layoutConstraint xsi:type="notation:Location" xmi:id="__eoV6gVAEeSwkvJRsasmHw" x="-8" y="-146"/>
  535. </children>
  536. <styles xsi:type="notation:ConnectorStyle" xmi:id="__eoV6wVAEeSwkvJRsasmHw" lineColor="4210752"/>
  537. <styles xsi:type="notation:FontStyle" xmi:id="__eoV7AVAEeSwkvJRsasmHw" fontName="Verdana"/>
  538. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="__eoV7QVAEeSwkvJRsasmHw" points="[-5, 8, 0, -33]$[-5, 19, 0, -22]$[-5, 33, 0, -8]"/>
  539. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="__eoV7gVAEeSwkvJRsasmHw" id="(0.8666666666666667,0.6666666666666666)"/>
  540. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="__eoV7wVAEeSwkvJRsasmHw" id="(0.3225806451612903,0.16981132075471697)"/>
  541. </edges>
  542. <edges xmi:id="_FRuV4AVBEeSwkvJRsasmHw" type="Transition" element="_FRr5oAVBEeSwkvJRsasmHw" source="__ekrkAVAEeSwkvJRsasmHw" target="_ihKhEAVAEeSwkvJRsasmHw">
  543. <children xsi:type="notation:DecorationNode" xmi:id="_FRuV5AVBEeSwkvJRsasmHw" type="TransitionExpression">
  544. <styles xsi:type="notation:ShapeStyle" xmi:id="_FRuV5QVBEeSwkvJRsasmHw"/>
  545. <layoutConstraint xsi:type="notation:Location" xmi:id="_FRuV5gVBEeSwkvJRsasmHw" y="10"/>
  546. </children>
  547. <styles xsi:type="notation:ConnectorStyle" xmi:id="_FRuV4QVBEeSwkvJRsasmHw" lineColor="4210752"/>
  548. <styles xsi:type="notation:FontStyle" xmi:id="_FRuV4wVBEeSwkvJRsasmHw" fontName="Verdana"/>
  549. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_FRuV4gVBEeSwkvJRsasmHw" points="[-7, 0, 163, 153]$[-170, 0, 0, 153]$[-170, -145, 0, 8]"/>
  550. </edges>
  551. <edges xmi:id="_bE4DsAVCEeSwkvJRsasmHw" type="Transition" element="_bE1ncAVCEeSwkvJRsasmHw" source="_he33cASZEeSwkvJRsasmHw" target="_6o7XAASXEeSwkvJRsasmHw">
  552. <children xsi:type="notation:DecorationNode" xmi:id="_bE4DtAVCEeSwkvJRsasmHw" type="TransitionExpression">
  553. <styles xsi:type="notation:ShapeStyle" xmi:id="_bE4DtQVCEeSwkvJRsasmHw"/>
  554. <layoutConstraint xsi:type="notation:Location" xmi:id="_bE4DtgVCEeSwkvJRsasmHw" y="10"/>
  555. </children>
  556. <styles xsi:type="notation:ConnectorStyle" xmi:id="_bE4DsQVCEeSwkvJRsasmHw" lineColor="4210752"/>
  557. <styles xsi:type="notation:FontStyle" xmi:id="_bE4DswVCEeSwkvJRsasmHw" fontName="Verdana"/>
  558. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_bE4DsgVCEeSwkvJRsasmHw" points="[-6, -7, 105, 134]$[-112, -117, -1, 24]"/>
  559. </edges>
  560. <edges xmi:id="_sjfZAAeaEeSfhcT_1ck-KA" type="Transition" element="_sjex8AeaEeSfhcT_1ck-KA" source="_7LXVsASXEeSwkvJRsasmHw" target="_KUhtMASYEeSwkvJRsasmHw">
  561. <children xsi:type="notation:DecorationNode" xmi:id="_sjfZBAeaEeSfhcT_1ck-KA" type="TransitionExpression">
  562. <styles xsi:type="notation:ShapeStyle" xmi:id="_sjfZBQeaEeSfhcT_1ck-KA"/>
  563. <layoutConstraint xsi:type="notation:Location" xmi:id="_sjfZBgeaEeSfhcT_1ck-KA" x="-7" y="-91"/>
  564. </children>
  565. <styles xsi:type="notation:ConnectorStyle" xmi:id="_sjfZAQeaEeSfhcT_1ck-KA" lineColor="4210752"/>
  566. <styles xsi:type="notation:FontStyle" xmi:id="_sjfZAweaEeSfhcT_1ck-KA" fontName="Verdana"/>
  567. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_sjfZAgeaEeSfhcT_1ck-KA" points="[0, 8, 0, -73]$[0, 74, 0, -7]"/>
  568. </edges>
  569. </notation:Diagram>
  570. </xmi:XMI>