HistoryWithoutInitialStep.sct 21 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236
  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="_PSA8cDA8EeKkkaVMi1n7-A" specification="&#xA;interface:&#xA;&#xA;&#x9;in event e1&#xA;&#x9;in event e2&#xA;" name="HistoryWithoutInitialStep">
  4. <regions xmi:id="_PSCKkjA8EeKkkaVMi1n7-A" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_PSIRMjA8EeKkkaVMi1n7-A">
  6. <outgoingTransitions xmi:id="_PSKtcTA8EeKkkaVMi1n7-A" target="_PSJfUDA8EeKkkaVMi1n7-A"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_PSJfUDA8EeKkkaVMi1n7-A" name="A" incomingTransitions="_PSKtcTA8EeKkkaVMi1n7-A _gRLMQDA8EeKkkaVMi1n7-A">
  9. <outgoingTransitions xmi:id="_a1PIADA8EeKkkaVMi1n7-A" specification="e1" target="_VCDBYDA8EeKkkaVMi1n7-A"/>
  10. <outgoingTransitions xmi:id="_oY0BwDA8EeKkkaVMi1n7-A" specification="e2" target="_fBxZ4DA8EeKkkaVMi1n7-A"/>
  11. </vertices>
  12. <vertices xsi:type="sgraph:State" xmi:id="_VCDBYDA8EeKkkaVMi1n7-A" name="B" incomingTransitions="_a1PIADA8EeKkkaVMi1n7-A">
  13. <outgoingTransitions xmi:id="_gRLMQDA8EeKkkaVMi1n7-A" specification="e1" target="_PSJfUDA8EeKkkaVMi1n7-A"/>
  14. <regions xmi:id="_VCDocDA8EeKkkaVMi1n7-A" name="r1">
  15. <vertices xsi:type="sgraph:Entry" xmi:id="_V3KrgDA8EeKkkaVMi1n7-A">
  16. <outgoingTransitions xmi:id="_bpsq0DA8EeKkkaVMi1n7-A" specification="" target="_YC2f8DA8EeKkkaVMi1n7-A"/>
  17. </vertices>
  18. <vertices xsi:type="sgraph:State" xmi:id="_YC2f8DA8EeKkkaVMi1n7-A" name="C" incomingTransitions="_bpsq0DA8EeKkkaVMi1n7-A _hx70YDA8EeKkkaVMi1n7-A">
  19. <outgoingTransitions xmi:id="_czQ68DA8EeKkkaVMi1n7-A" specification="e2" target="_ZKRbADA8EeKkkaVMi1n7-A"/>
  20. </vertices>
  21. <vertices xsi:type="sgraph:State" xmi:id="_ZKRbADA8EeKkkaVMi1n7-A" name="D" incomingTransitions="_czQ68DA8EeKkkaVMi1n7-A">
  22. <outgoingTransitions xmi:id="_hx70YDA8EeKkkaVMi1n7-A" specification="e2" target="_YC2f8DA8EeKkkaVMi1n7-A"/>
  23. </vertices>
  24. <vertices xsi:type="sgraph:Entry" xmi:id="_fBxZ4DA8EeKkkaVMi1n7-A" name="he" incomingTransitions="_oY0BwDA8EeKkkaVMi1n7-A" kind="SHALLOW_HISTORY"/>
  25. </regions>
  26. </vertices>
  27. </regions>
  28. </sgraph:Statechart>
  29. <notation:Diagram xmi:id="_PSCKkDA8EeKkkaVMi1n7-A" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_PSA8cDA8EeKkkaVMi1n7-A" measurementUnit="Pixel">
  30. <children xmi:id="_PSFN4DA8EeKkkaVMi1n7-A" type="Region" element="_PSCKkjA8EeKkkaVMi1n7-A">
  31. <children xsi:type="notation:DecorationNode" xmi:id="_PSHqIDA8EeKkkaVMi1n7-A" type="RegionName">
  32. <styles xsi:type="notation:ShapeStyle" xmi:id="_PSHqITA8EeKkkaVMi1n7-A"/>
  33. <layoutConstraint xsi:type="notation:Location" xmi:id="_PSHqIjA8EeKkkaVMi1n7-A"/>
  34. </children>
  35. <children xsi:type="notation:Shape" xmi:id="_PSHqIzA8EeKkkaVMi1n7-A" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  36. <children xmi:id="_PSIRMzA8EeKkkaVMi1n7-A" type="Entry" element="_PSIRMjA8EeKkkaVMi1n7-A">
  37. <children xmi:id="_PSI4QDA8EeKkkaVMi1n7-A" type="BorderItemLabelContainer">
  38. <children xsi:type="notation:DecorationNode" xmi:id="_PSI4QzA8EeKkkaVMi1n7-A" type="BorderItemLabel">
  39. <styles xsi:type="notation:ShapeStyle" xmi:id="_PSI4RDA8EeKkkaVMi1n7-A"/>
  40. <layoutConstraint xsi:type="notation:Location" xmi:id="_PSI4RTA8EeKkkaVMi1n7-A"/>
  41. </children>
  42. <styles xsi:type="notation:ShapeStyle" xmi:id="_PSI4QTA8EeKkkaVMi1n7-A" fontName="Verdana" lineColor="4210752"/>
  43. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSI4QjA8EeKkkaVMi1n7-A"/>
  44. </children>
  45. <styles xsi:type="notation:ShapeStyle" xmi:id="_PSIRNDA8EeKkkaVMi1n7-A" fontName="Verdana" lineColor="4210752"/>
  46. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSI4RjA8EeKkkaVMi1n7-A" x="70" y="20"/>
  47. </children>
  48. <children xmi:id="_PSJfUjA8EeKkkaVMi1n7-A" type="State" element="_PSJfUDA8EeKkkaVMi1n7-A">
  49. <children xsi:type="notation:DecorationNode" xmi:id="_PSKGYDA8EeKkkaVMi1n7-A" type="StateName">
  50. <styles xsi:type="notation:ShapeStyle" xmi:id="_PSKGYTA8EeKkkaVMi1n7-A"/>
  51. <layoutConstraint xsi:type="notation:Location" xmi:id="_PSKGYjA8EeKkkaVMi1n7-A"/>
  52. </children>
  53. <children xsi:type="notation:Compartment" xmi:id="_PSKGYzA8EeKkkaVMi1n7-A" type="StateTextCompartment">
  54. <children xsi:type="notation:Shape" xmi:id="_PSKGZDA8EeKkkaVMi1n7-A" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  55. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSKGZTA8EeKkkaVMi1n7-A"/>
  56. </children>
  57. </children>
  58. <children xsi:type="notation:Compartment" xmi:id="_PSKGZjA8EeKkkaVMi1n7-A" type="StateFigureCompartment"/>
  59. <styles xsi:type="notation:ShapeStyle" xmi:id="_PSJfUzA8EeKkkaVMi1n7-A" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  60. <styles xsi:type="notation:FontStyle" xmi:id="_PSJfVDA8EeKkkaVMi1n7-A"/>
  61. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_PSKGZzA8EeKkkaVMi1n7-A"/>
  62. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSKtcDA8EeKkkaVMi1n7-A" x="40" y="80"/>
  63. </children>
  64. <children xmi:id="_VCEPgDA8EeKkkaVMi1n7-A" type="State" element="_VCDBYDA8EeKkkaVMi1n7-A">
  65. <children xsi:type="notation:DecorationNode" xmi:id="_VCE2kDA8EeKkkaVMi1n7-A" type="StateName">
  66. <styles xsi:type="notation:ShapeStyle" xmi:id="_VCE2kTA8EeKkkaVMi1n7-A"/>
  67. <layoutConstraint xsi:type="notation:Location" xmi:id="_VCE2kjA8EeKkkaVMi1n7-A"/>
  68. </children>
  69. <children xsi:type="notation:Compartment" xmi:id="_VCE2kzA8EeKkkaVMi1n7-A" type="StateTextCompartment">
  70. <children xsi:type="notation:Shape" xmi:id="_VCE2lDA8EeKkkaVMi1n7-A" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  71. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_VCE2lTA8EeKkkaVMi1n7-A"/>
  72. </children>
  73. </children>
  74. <children xsi:type="notation:Compartment" xmi:id="_VCE2ljA8EeKkkaVMi1n7-A" type="StateFigureCompartment">
  75. <children xmi:id="_VCMLUDA8EeKkkaVMi1n7-A" type="Region" element="_VCDocDA8EeKkkaVMi1n7-A">
  76. <children xsi:type="notation:DecorationNode" xmi:id="_VCMyYDA8EeKkkaVMi1n7-A" type="RegionName">
  77. <styles xsi:type="notation:ShapeStyle" xmi:id="_VCMyYTA8EeKkkaVMi1n7-A"/>
  78. <layoutConstraint xsi:type="notation:Location" xmi:id="_VCMyYjA8EeKkkaVMi1n7-A"/>
  79. </children>
  80. <children xsi:type="notation:Shape" xmi:id="_VCNZcDA8EeKkkaVMi1n7-A" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  81. <children xmi:id="_V3L5oDA8EeKkkaVMi1n7-A" type="Entry" element="_V3KrgDA8EeKkkaVMi1n7-A">
  82. <children xmi:id="_V3L5ozA8EeKkkaVMi1n7-A" type="BorderItemLabelContainer">
  83. <children xsi:type="notation:DecorationNode" xmi:id="_V3MgsDA8EeKkkaVMi1n7-A" type="BorderItemLabel">
  84. <styles xsi:type="notation:ShapeStyle" xmi:id="_V3MgsTA8EeKkkaVMi1n7-A"/>
  85. <layoutConstraint xsi:type="notation:Location" xmi:id="_V3MgsjA8EeKkkaVMi1n7-A"/>
  86. </children>
  87. <styles xsi:type="notation:ShapeStyle" xmi:id="_V3L5pDA8EeKkkaVMi1n7-A" fontName="Verdana" lineColor="4210752"/>
  88. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_V3L5pTA8EeKkkaVMi1n7-A"/>
  89. </children>
  90. <styles xsi:type="notation:ShapeStyle" xmi:id="_V3L5oTA8EeKkkaVMi1n7-A" fontName="Verdana" lineColor="4210752"/>
  91. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_V3L5ojA8EeKkkaVMi1n7-A" x="34" y="33"/>
  92. </children>
  93. <children xmi:id="_YC3uEDA8EeKkkaVMi1n7-A" type="State" element="_YC2f8DA8EeKkkaVMi1n7-A">
  94. <children xsi:type="notation:DecorationNode" xmi:id="_YC3uFDA8EeKkkaVMi1n7-A" type="StateName">
  95. <styles xsi:type="notation:ShapeStyle" xmi:id="_YC3uFTA8EeKkkaVMi1n7-A"/>
  96. <layoutConstraint xsi:type="notation:Location" xmi:id="_YC3uFjA8EeKkkaVMi1n7-A"/>
  97. </children>
  98. <children xsi:type="notation:Compartment" xmi:id="_YC3uFzA8EeKkkaVMi1n7-A" type="StateTextCompartment">
  99. <children xsi:type="notation:Shape" xmi:id="_YC3uGDA8EeKkkaVMi1n7-A" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  100. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YC3uGTA8EeKkkaVMi1n7-A"/>
  101. </children>
  102. </children>
  103. <children xsi:type="notation:Compartment" xmi:id="_YC4VIDA8EeKkkaVMi1n7-A" type="StateFigureCompartment"/>
  104. <styles xsi:type="notation:ShapeStyle" xmi:id="_YC3uETA8EeKkkaVMi1n7-A" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  105. <styles xsi:type="notation:FontStyle" xmi:id="_YC3uEjA8EeKkkaVMi1n7-A"/>
  106. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_YC4VITA8EeKkkaVMi1n7-A"/>
  107. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YC3uEzA8EeKkkaVMi1n7-A" x="24" y="101"/>
  108. </children>
  109. <children xmi:id="_ZKSCEDA8EeKkkaVMi1n7-A" type="State" element="_ZKRbADA8EeKkkaVMi1n7-A">
  110. <children xsi:type="notation:DecorationNode" xmi:id="_ZKSCFDA8EeKkkaVMi1n7-A" type="StateName">
  111. <styles xsi:type="notation:ShapeStyle" xmi:id="_ZKSCFTA8EeKkkaVMi1n7-A"/>
  112. <layoutConstraint xsi:type="notation:Location" xmi:id="_ZKSpIDA8EeKkkaVMi1n7-A"/>
  113. </children>
  114. <children xsi:type="notation:Compartment" xmi:id="_ZKSpITA8EeKkkaVMi1n7-A" type="StateTextCompartment">
  115. <children xsi:type="notation:Shape" xmi:id="_ZKSpIjA8EeKkkaVMi1n7-A" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  116. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ZKSpIzA8EeKkkaVMi1n7-A"/>
  117. </children>
  118. </children>
  119. <children xsi:type="notation:Compartment" xmi:id="_ZKSpJDA8EeKkkaVMi1n7-A" type="StateFigureCompartment"/>
  120. <styles xsi:type="notation:ShapeStyle" xmi:id="_ZKSCETA8EeKkkaVMi1n7-A" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  121. <styles xsi:type="notation:FontStyle" xmi:id="_ZKSCEjA8EeKkkaVMi1n7-A"/>
  122. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_ZKSpJTA8EeKkkaVMi1n7-A"/>
  123. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ZKSCEzA8EeKkkaVMi1n7-A" x="114" y="101"/>
  124. </children>
  125. <children xmi:id="_fByA8DA8EeKkkaVMi1n7-A" type="ShallowHistory" element="_fBxZ4DA8EeKkkaVMi1n7-A">
  126. <children xmi:id="_fByoADA8EeKkkaVMi1n7-A" type="BorderItemLabelContainer">
  127. <children xsi:type="notation:DecorationNode" xmi:id="_fByoAzA8EeKkkaVMi1n7-A" type="BorderItemLabel">
  128. <styles xsi:type="notation:ShapeStyle" xmi:id="_fByoBDA8EeKkkaVMi1n7-A"/>
  129. <layoutConstraint xsi:type="notation:Location" xmi:id="_fByoBTA8EeKkkaVMi1n7-A"/>
  130. </children>
  131. <styles xsi:type="notation:ShapeStyle" xmi:id="_fByoATA8EeKkkaVMi1n7-A" fontName="Verdana" lineColor="4210752"/>
  132. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_fByoAjA8EeKkkaVMi1n7-A" x="19" y="2"/>
  133. </children>
  134. <styles xsi:type="notation:ShapeStyle" xmi:id="_fByA8TA8EeKkkaVMi1n7-A" fontName="Verdana" lineColor="4210752"/>
  135. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_fByA8jA8EeKkkaVMi1n7-A" x="24" y="193"/>
  136. </children>
  137. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_VCNZcTA8EeKkkaVMi1n7-A"/>
  138. </children>
  139. <styles xsi:type="notation:ShapeStyle" xmi:id="_VCMLUTA8EeKkkaVMi1n7-A" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  140. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_VCMLUjA8EeKkkaVMi1n7-A"/>
  141. </children>
  142. </children>
  143. <styles xsi:type="notation:ShapeStyle" xmi:id="_VCEPgTA8EeKkkaVMi1n7-A" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  144. <styles xsi:type="notation:FontStyle" xmi:id="_VCEPgjA8EeKkkaVMi1n7-A"/>
  145. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_VCE2lzA8EeKkkaVMi1n7-A"/>
  146. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_VCEPgzA8EeKkkaVMi1n7-A" x="141" y="23" width="225" height="309"/>
  147. </children>
  148. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSIRMDA8EeKkkaVMi1n7-A"/>
  149. </children>
  150. <styles xsi:type="notation:ShapeStyle" xmi:id="_PSFN4TA8EeKkkaVMi1n7-A" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  151. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSIRMTA8EeKkkaVMi1n7-A" x="220" y="10" width="400" height="400"/>
  152. </children>
  153. <children xsi:type="notation:Shape" xmi:id="_PSL7kzA8EeKkkaVMi1n7-A" type="StatechartText" fontName="Verdana" lineColor="4210752">
  154. <children xsi:type="notation:DecorationNode" xmi:id="_PSL7lTA8EeKkkaVMi1n7-A" type="StatechartName">
  155. <styles xsi:type="notation:ShapeStyle" xmi:id="_PSL7ljA8EeKkkaVMi1n7-A"/>
  156. <layoutConstraint xsi:type="notation:Location" xmi:id="_PSL7lzA8EeKkkaVMi1n7-A"/>
  157. </children>
  158. <children xsi:type="notation:Shape" xmi:id="_PSL7mDA8EeKkkaVMi1n7-A" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  159. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSL7mTA8EeKkkaVMi1n7-A"/>
  160. </children>
  161. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSMioDA8EeKkkaVMi1n7-A" x="10" y="10" width="200" height="400"/>
  162. </children>
  163. <styles xsi:type="notation:DiagramStyle" xmi:id="_PSCKkTA8EeKkkaVMi1n7-A"/>
  164. <edges xmi:id="_PSLUgDA8EeKkkaVMi1n7-A" type="Transition" element="_PSKtcTA8EeKkkaVMi1n7-A" source="_PSIRMzA8EeKkkaVMi1n7-A" target="_PSJfUjA8EeKkkaVMi1n7-A">
  165. <children xsi:type="notation:DecorationNode" xmi:id="_PSL7kDA8EeKkkaVMi1n7-A" type="TransitionExpression">
  166. <styles xsi:type="notation:ShapeStyle" xmi:id="_PSL7kTA8EeKkkaVMi1n7-A"/>
  167. <layoutConstraint xsi:type="notation:Location" xmi:id="_PSL7kjA8EeKkkaVMi1n7-A" y="10"/>
  168. </children>
  169. <styles xsi:type="notation:ConnectorStyle" xmi:id="_PSLUgTA8EeKkkaVMi1n7-A" lineColor="4210752"/>
  170. <styles xsi:type="notation:FontStyle" xmi:id="_PSLUgzA8EeKkkaVMi1n7-A" fontName="Verdana"/>
  171. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_PSLUgjA8EeKkkaVMi1n7-A" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  172. </edges>
  173. <edges xmi:id="_a1QWIDA8EeKkkaVMi1n7-A" type="Transition" element="_a1PIADA8EeKkkaVMi1n7-A" source="_PSJfUjA8EeKkkaVMi1n7-A" target="_VCEPgDA8EeKkkaVMi1n7-A">
  174. <children xsi:type="notation:DecorationNode" xmi:id="_a1QWJDA8EeKkkaVMi1n7-A" type="TransitionExpression">
  175. <styles xsi:type="notation:ShapeStyle" xmi:id="_a1QWJTA8EeKkkaVMi1n7-A"/>
  176. <layoutConstraint xsi:type="notation:Location" xmi:id="_a1QWJjA8EeKkkaVMi1n7-A" x="-2" y="-7"/>
  177. </children>
  178. <styles xsi:type="notation:ConnectorStyle" xmi:id="_a1QWITA8EeKkkaVMi1n7-A" lineColor="4210752"/>
  179. <styles xsi:type="notation:FontStyle" xmi:id="_a1QWIzA8EeKkkaVMi1n7-A" fontName="Verdana"/>
  180. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_a1QWIjA8EeKkkaVMi1n7-A" points="[18, -9, -111, 58]$[131, -83, 2, -16]"/>
  181. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_tGHeYDA8EeKkkaVMi1n7-A" id="(0.775,0.22413793103448276)"/>
  182. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_a1SyYDA8EeKkkaVMi1n7-A" id="(0.022222222222222223,0.2297734627831715)"/>
  183. </edges>
  184. <edges xmi:id="_bpt48DA8EeKkkaVMi1n7-A" type="Transition" element="_bpsq0DA8EeKkkaVMi1n7-A" source="_V3L5oDA8EeKkkaVMi1n7-A" target="_YC3uEDA8EeKkkaVMi1n7-A">
  185. <children xsi:type="notation:DecorationNode" xmi:id="_bpt49DA8EeKkkaVMi1n7-A" type="TransitionExpression">
  186. <styles xsi:type="notation:ShapeStyle" xmi:id="_bpt49TA8EeKkkaVMi1n7-A"/>
  187. <layoutConstraint xsi:type="notation:Location" xmi:id="_bpt49jA8EeKkkaVMi1n7-A" y="10"/>
  188. </children>
  189. <styles xsi:type="notation:ConnectorStyle" xmi:id="_bpt48TA8EeKkkaVMi1n7-A" lineColor="4210752"/>
  190. <styles xsi:type="notation:FontStyle" xmi:id="_bpt48zA8EeKkkaVMi1n7-A" fontName="Verdana"/>
  191. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_bpt48jA8EeKkkaVMi1n7-A" points="[1, 7, -18, -83]$[21, 81, 2, -9]"/>
  192. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_bpvuIDA8EeKkkaVMi1n7-A" id="(0.35,0.1724137931034483)"/>
  193. </edges>
  194. <edges xmi:id="_czRiADA8EeKkkaVMi1n7-A" type="Transition" element="_czQ68DA8EeKkkaVMi1n7-A" source="_YC3uEDA8EeKkkaVMi1n7-A" target="_ZKSCEDA8EeKkkaVMi1n7-A">
  195. <children xsi:type="notation:DecorationNode" xmi:id="_czSJETA8EeKkkaVMi1n7-A" type="TransitionExpression">
  196. <styles xsi:type="notation:ShapeStyle" xmi:id="_czSJEjA8EeKkkaVMi1n7-A"/>
  197. <layoutConstraint xsi:type="notation:Location" xmi:id="_czSJEzA8EeKkkaVMi1n7-A" y="10"/>
  198. </children>
  199. <styles xsi:type="notation:ConnectorStyle" xmi:id="_czRiATA8EeKkkaVMi1n7-A" lineColor="4210752"/>
  200. <styles xsi:type="notation:FontStyle" xmi:id="_czSJEDA8EeKkkaVMi1n7-A" fontName="Verdana"/>
  201. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_czRiAjA8EeKkkaVMi1n7-A" points="[18, -2, -72, -2]$[91, -26, 1, -26]"/>
  202. </edges>
  203. <edges xmi:id="_gRMaYDA8EeKkkaVMi1n7-A" type="Transition" element="_gRLMQDA8EeKkkaVMi1n7-A" source="_VCEPgDA8EeKkkaVMi1n7-A" target="_PSJfUjA8EeKkkaVMi1n7-A">
  204. <children xsi:type="notation:DecorationNode" xmi:id="_gRMaZDA8EeKkkaVMi1n7-A" type="TransitionExpression">
  205. <styles xsi:type="notation:ShapeStyle" xmi:id="_gRMaZTA8EeKkkaVMi1n7-A"/>
  206. <layoutConstraint xsi:type="notation:Location" xmi:id="_gRMaZjA8EeKkkaVMi1n7-A" y="10"/>
  207. </children>
  208. <styles xsi:type="notation:ConnectorStyle" xmi:id="_gRMaYTA8EeKkkaVMi1n7-A" lineColor="4210752"/>
  209. <styles xsi:type="notation:FontStyle" xmi:id="_gRMaYzA8EeKkkaVMi1n7-A" fontName="Verdana"/>
  210. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_gRMaYjA8EeKkkaVMi1n7-A" points="[-1, 1, 84, -3]$[-67, 19, 18, 15]"/>
  211. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_gROPkDA8EeKkkaVMi1n7-A" id="(0.008888888888888889,0.343042071197411)"/>
  212. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_qeXZADA8EeKkkaVMi1n7-A" id="(0.75,0.7586206896551724)"/>
  213. </edges>
  214. <edges xmi:id="_hx8bcDA8EeKkkaVMi1n7-A" type="Transition" element="_hx70YDA8EeKkkaVMi1n7-A" source="_ZKSCEDA8EeKkkaVMi1n7-A" target="_YC3uEDA8EeKkkaVMi1n7-A">
  215. <children xsi:type="notation:DecorationNode" xmi:id="_hx9CgTA8EeKkkaVMi1n7-A" type="TransitionExpression">
  216. <styles xsi:type="notation:ShapeStyle" xmi:id="_hx9CgjA8EeKkkaVMi1n7-A"/>
  217. <layoutConstraint xsi:type="notation:Location" xmi:id="_hx9CgzA8EeKkkaVMi1n7-A" y="-12"/>
  218. </children>
  219. <styles xsi:type="notation:ConnectorStyle" xmi:id="_hx8bcTA8EeKkkaVMi1n7-A" lineColor="4210752"/>
  220. <styles xsi:type="notation:FontStyle" xmi:id="_hx9CgDA8EeKkkaVMi1n7-A" fontName="Verdana"/>
  221. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_hx8bcjA8EeKkkaVMi1n7-A" points="[-12, 10, 69, 5]$[-77, 13, 4, 8]"/>
  222. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_hx-3sDA8EeKkkaVMi1n7-A" id="(0.35,0.7586206896551724)"/>
  223. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_hx-3sTA8EeKkkaVMi1n7-A" id="(0.625,0.8620689655172413)"/>
  224. </edges>
  225. <edges xmi:id="_oY1P4DA8EeKkkaVMi1n7-A" type="Transition" element="_oY0BwDA8EeKkkaVMi1n7-A" source="_PSJfUjA8EeKkkaVMi1n7-A" target="_fByA8DA8EeKkkaVMi1n7-A">
  226. <children xsi:type="notation:DecorationNode" xmi:id="_oY128TA8EeKkkaVMi1n7-A" type="TransitionExpression">
  227. <styles xsi:type="notation:ShapeStyle" xmi:id="_oY128jA8EeKkkaVMi1n7-A"/>
  228. <layoutConstraint xsi:type="notation:Location" xmi:id="_oY128zA8EeKkkaVMi1n7-A" y="10"/>
  229. </children>
  230. <styles xsi:type="notation:ConnectorStyle" xmi:id="_oY1P4TA8EeKkkaVMi1n7-A" lineColor="4210752"/>
  231. <styles xsi:type="notation:FontStyle" xmi:id="_oY128DA8EeKkkaVMi1n7-A" fontName="Verdana"/>
  232. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_oY1P4jA8EeKkkaVMi1n7-A" points="[18, 23, -119, -157]$[145, 180, 8, 0]"/>
  233. </edges>
  234. </notation:Diagram>
  235. </xmi:XMI>