SyncJoin.sct 29 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328
  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="_0Png4KimEeG5WeGhg2moBQ" specification="&#xA;interface :&#xA;&#x9;in event e : void&#xA;&#x9;in event f : void&#xA;&#x9;in event jc&#xA;&#x9;in event jd&#xA;&#x9;&#xA;&#x9;var x : integer = 0" name="SyncJoin">
  4. <regions xmi:id="_0PovAqimEeG5WeGhg2moBQ" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_0PtngaimEeG5WeGhg2moBQ">
  6. <outgoingTransitions xmi:id="_0PwDw6imEeG5WeGhg2moBQ" target="_tiWiMKinEeG5WeGhg2moBQ"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_0PuOl6imEeG5WeGhg2moBQ" specification="entry / x +=1 " name="A" incomingTransitions="_Eg6IoKioEeG5WeGhg2moBQ">
  9. <outgoingTransitions xmi:id="_j3fnoKjBEeG5WeGhg2moBQ" specification="e,f" target="_tiWiMKinEeG5WeGhg2moBQ"/>
  10. </vertices>
  11. <vertices xsi:type="sgraph:State" xmi:id="_tiWiMKinEeG5WeGhg2moBQ" name="B" incomingTransitions="_0PwDw6imEeG5WeGhg2moBQ _j3fnoKjBEeG5WeGhg2moBQ">
  12. <regions xmi:id="_tiZlgKinEeG5WeGhg2moBQ" name="r1">
  13. <vertices xsi:type="sgraph:Entry" xmi:id="_10MckKinEeG5WeGhg2moBQ">
  14. <outgoingTransitions xmi:id="_5vhCoKinEeG5WeGhg2moBQ" specification="" target="_3SNSsKinEeG5WeGhg2moBQ"/>
  15. </vertices>
  16. <vertices xsi:type="sgraph:State" xmi:id="_3SNSsKinEeG5WeGhg2moBQ" name="C1" incomingTransitions="_5vhCoKinEeG5WeGhg2moBQ">
  17. <outgoingTransitions xmi:id="_IFECgKjBEeG5WeGhg2moBQ" specification="e" target="_G_gIoKjBEeG5WeGhg2moBQ"/>
  18. </vertices>
  19. <vertices xsi:type="sgraph:State" xmi:id="_G_gIoKjBEeG5WeGhg2moBQ" name="C2" incomingTransitions="_IFECgKjBEeG5WeGhg2moBQ">
  20. <outgoingTransitions xmi:id="_OkRhoKjBEeG5WeGhg2moBQ" specification="jc" target="_DBjOsKioEeG5WeGhg2moBQ"/>
  21. </vertices>
  22. </regions>
  23. <regions xmi:id="_wOuB0KinEeG5WeGhg2moBQ" name="r2">
  24. <vertices xsi:type="sgraph:Entry" xmi:id="_zHlFUKinEeG5WeGhg2moBQ">
  25. <outgoingTransitions xmi:id="_83T6AKinEeG5WeGhg2moBQ" specification="" target="_66ZhYKinEeG5WeGhg2moBQ"/>
  26. </vertices>
  27. <vertices xsi:type="sgraph:State" xmi:id="_66ZhYKinEeG5WeGhg2moBQ" name="D1" incomingTransitions="_83T6AKinEeG5WeGhg2moBQ">
  28. <outgoingTransitions xmi:id="_Lr3KEKjBEeG5WeGhg2moBQ" specification="f" target="_LrdhcKjBEeG5WeGhg2moBQ"/>
  29. </vertices>
  30. <vertices xsi:type="sgraph:State" xmi:id="_LrdhcKjBEeG5WeGhg2moBQ" name="D2" incomingTransitions="_Lr3KEKjBEeG5WeGhg2moBQ">
  31. <outgoingTransitions xmi:id="_FO34gKjBEeG5WeGhg2moBQ" specification="jd" target="_DBjOsKioEeG5WeGhg2moBQ"/>
  32. </vertices>
  33. </regions>
  34. </vertices>
  35. <vertices xsi:type="sgraph:Synchronization" xmi:id="_DBjOsKioEeG5WeGhg2moBQ" incomingTransitions="_FO34gKjBEeG5WeGhg2moBQ _OkRhoKjBEeG5WeGhg2moBQ">
  36. <outgoingTransitions xmi:id="_Eg6IoKioEeG5WeGhg2moBQ" specification="always" target="_0PuOl6imEeG5WeGhg2moBQ"/>
  37. </vertices>
  38. </regions>
  39. </sgraph:Statechart>
  40. <notation:Diagram xmi:id="_0PovAKimEeG5WeGhg2moBQ" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_0Png4KimEeG5WeGhg2moBQ" measurementUnit="Pixel">
  41. <children xmi:id="_0PqkMKimEeG5WeGhg2moBQ" type="Region" element="_0PovAqimEeG5WeGhg2moBQ">
  42. <children xsi:type="notation:DecorationNode" xmi:id="_0PsZYKimEeG5WeGhg2moBQ" type="RegionName">
  43. <styles xsi:type="notation:ShapeStyle" xmi:id="_0PsZYaimEeG5WeGhg2moBQ"/>
  44. <layoutConstraint xsi:type="notation:Location" xmi:id="_0PtAcKimEeG5WeGhg2moBQ"/>
  45. </children>
  46. <children xsi:type="notation:Shape" xmi:id="_0PtAcaimEeG5WeGhg2moBQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  47. <children xmi:id="_0PtngqimEeG5WeGhg2moBQ" type="Entry" element="_0PtngaimEeG5WeGhg2moBQ">
  48. <children xmi:id="_0PuOkKimEeG5WeGhg2moBQ" type="BorderItemLabelContainer">
  49. <children xsi:type="notation:DecorationNode" xmi:id="_0PuOk6imEeG5WeGhg2moBQ" type="BorderItemLabel">
  50. <styles xsi:type="notation:ShapeStyle" xmi:id="_0PuOlKimEeG5WeGhg2moBQ"/>
  51. <layoutConstraint xsi:type="notation:Location" xmi:id="_0PuOlaimEeG5WeGhg2moBQ"/>
  52. </children>
  53. <styles xsi:type="notation:ShapeStyle" xmi:id="_0PuOkaimEeG5WeGhg2moBQ" fontName="Verdana" lineColor="4210752"/>
  54. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_0PuOkqimEeG5WeGhg2moBQ"/>
  55. </children>
  56. <styles xsi:type="notation:ShapeStyle" xmi:id="_0Ptng6imEeG5WeGhg2moBQ" fontName="Verdana" lineColor="4210752"/>
  57. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_0PuOlqimEeG5WeGhg2moBQ" x="13" y="14"/>
  58. </children>
  59. <children xmi:id="_0Pu1oaimEeG5WeGhg2moBQ" type="State" element="_0PuOl6imEeG5WeGhg2moBQ">
  60. <children xsi:type="notation:DecorationNode" xmi:id="_0PvcsKimEeG5WeGhg2moBQ" type="StateName">
  61. <styles xsi:type="notation:ShapeStyle" xmi:id="_0PvcsaimEeG5WeGhg2moBQ"/>
  62. <layoutConstraint xsi:type="notation:Location" xmi:id="_0PvcsqimEeG5WeGhg2moBQ"/>
  63. </children>
  64. <children xsi:type="notation:Compartment" xmi:id="_0Pvcs6imEeG5WeGhg2moBQ" type="StateTextCompartment">
  65. <children xsi:type="notation:Shape" xmi:id="_0PvctKimEeG5WeGhg2moBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  66. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_0PvctaimEeG5WeGhg2moBQ"/>
  67. </children>
  68. </children>
  69. <children xsi:type="notation:Compartment" xmi:id="_0PwDwKimEeG5WeGhg2moBQ" type="StateFigureCompartment"/>
  70. <styles xsi:type="notation:ShapeStyle" xmi:id="_0Pu1oqimEeG5WeGhg2moBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  71. <styles xsi:type="notation:FontStyle" xmi:id="_0Pu1o6imEeG5WeGhg2moBQ"/>
  72. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_0PwDwqimEeG5WeGhg2moBQ" x="381" y="195"/>
  73. </children>
  74. <children xmi:id="_tijWgKinEeG5WeGhg2moBQ" type="State" element="_tiWiMKinEeG5WeGhg2moBQ">
  75. <children xsi:type="notation:DecorationNode" xmi:id="_tij9kKinEeG5WeGhg2moBQ" type="StateName">
  76. <styles xsi:type="notation:ShapeStyle" xmi:id="_tij9kainEeG5WeGhg2moBQ"/>
  77. <layoutConstraint xsi:type="notation:Location" xmi:id="_tij9kqinEeG5WeGhg2moBQ"/>
  78. </children>
  79. <children xsi:type="notation:Compartment" xmi:id="_tij9k6inEeG5WeGhg2moBQ" type="StateTextCompartment">
  80. <children xsi:type="notation:Shape" xmi:id="_tij9lKinEeG5WeGhg2moBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  81. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_tij9lainEeG5WeGhg2moBQ"/>
  82. </children>
  83. </children>
  84. <children xsi:type="notation:Compartment" xmi:id="_tikkoKinEeG5WeGhg2moBQ" type="StateFigureCompartment">
  85. <children xmi:id="_tiqrQKinEeG5WeGhg2moBQ" type="Region" element="_tiZlgKinEeG5WeGhg2moBQ">
  86. <children xsi:type="notation:DecorationNode" xmi:id="_tirSUKinEeG5WeGhg2moBQ" type="RegionName">
  87. <styles xsi:type="notation:ShapeStyle" xmi:id="_tirSUainEeG5WeGhg2moBQ"/>
  88. <layoutConstraint xsi:type="notation:Location" xmi:id="_tirSUqinEeG5WeGhg2moBQ"/>
  89. </children>
  90. <children xsi:type="notation:Shape" xmi:id="_tir5YKinEeG5WeGhg2moBQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  91. <children xmi:id="_10WNkKinEeG5WeGhg2moBQ" type="Entry" element="_10MckKinEeG5WeGhg2moBQ">
  92. <children xmi:id="_10W0oKinEeG5WeGhg2moBQ" type="BorderItemLabelContainer">
  93. <children xsi:type="notation:DecorationNode" xmi:id="_10W0o6inEeG5WeGhg2moBQ" type="BorderItemLabel">
  94. <styles xsi:type="notation:ShapeStyle" xmi:id="_10W0pKinEeG5WeGhg2moBQ"/>
  95. <layoutConstraint xsi:type="notation:Location" xmi:id="_10W0painEeG5WeGhg2moBQ"/>
  96. </children>
  97. <styles xsi:type="notation:ShapeStyle" xmi:id="_10W0oainEeG5WeGhg2moBQ" fontName="Verdana" lineColor="4210752"/>
  98. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_10W0oqinEeG5WeGhg2moBQ"/>
  99. </children>
  100. <styles xsi:type="notation:ShapeStyle" xmi:id="_10WNkainEeG5WeGhg2moBQ" fontName="Verdana" lineColor="4210752"/>
  101. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_10WNkqinEeG5WeGhg2moBQ" x="3" y="12"/>
  102. </children>
  103. <children xmi:id="_3Sb8MKinEeG5WeGhg2moBQ" type="State" element="_3SNSsKinEeG5WeGhg2moBQ">
  104. <children xsi:type="notation:DecorationNode" xmi:id="_3ScjQKinEeG5WeGhg2moBQ" type="StateName">
  105. <styles xsi:type="notation:ShapeStyle" xmi:id="_3ScjQainEeG5WeGhg2moBQ"/>
  106. <layoutConstraint xsi:type="notation:Location" xmi:id="_3ScjQqinEeG5WeGhg2moBQ"/>
  107. </children>
  108. <children xsi:type="notation:Compartment" xmi:id="_3ScjQ6inEeG5WeGhg2moBQ" type="StateTextCompartment">
  109. <children xsi:type="notation:Shape" xmi:id="_3ScjRKinEeG5WeGhg2moBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  110. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_3ScjRainEeG5WeGhg2moBQ"/>
  111. </children>
  112. </children>
  113. <children xsi:type="notation:Compartment" xmi:id="_3SdKUKinEeG5WeGhg2moBQ" type="StateFigureCompartment"/>
  114. <styles xsi:type="notation:ShapeStyle" xmi:id="_3Sb8MainEeG5WeGhg2moBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  115. <styles xsi:type="notation:FontStyle" xmi:id="_3Sb8MqinEeG5WeGhg2moBQ"/>
  116. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_3Sb8M6inEeG5WeGhg2moBQ" x="31" y="26"/>
  117. </children>
  118. <children xmi:id="_G_ndYKjBEeG5WeGhg2moBQ" type="State" element="_G_gIoKjBEeG5WeGhg2moBQ">
  119. <children xsi:type="notation:DecorationNode" xmi:id="_G_oEcKjBEeG5WeGhg2moBQ" type="StateName">
  120. <styles xsi:type="notation:ShapeStyle" xmi:id="_G_oEcajBEeG5WeGhg2moBQ"/>
  121. <layoutConstraint xsi:type="notation:Location" xmi:id="_G_oEcqjBEeG5WeGhg2moBQ"/>
  122. </children>
  123. <children xsi:type="notation:Compartment" xmi:id="_G_oEc6jBEeG5WeGhg2moBQ" type="StateTextCompartment" collapsed="true">
  124. <children xsi:type="notation:Shape" xmi:id="_G_orgKjBEeG5WeGhg2moBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  125. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_G_orgajBEeG5WeGhg2moBQ"/>
  126. </children>
  127. </children>
  128. <children xsi:type="notation:Compartment" xmi:id="_G_orgqjBEeG5WeGhg2moBQ" type="StateFigureCompartment"/>
  129. <styles xsi:type="notation:ShapeStyle" xmi:id="_G_ndYajBEeG5WeGhg2moBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  130. <styles xsi:type="notation:FontStyle" xmi:id="_G_ndYqjBEeG5WeGhg2moBQ"/>
  131. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_G_ndY6jBEeG5WeGhg2moBQ" x="139" y="26"/>
  132. </children>
  133. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_tir5YainEeG5WeGhg2moBQ"/>
  134. </children>
  135. <styles xsi:type="notation:ShapeStyle" xmi:id="_tiqrQainEeG5WeGhg2moBQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  136. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_tiqrQqinEeG5WeGhg2moBQ"/>
  137. </children>
  138. <children xmi:id="_wO8EQKinEeG5WeGhg2moBQ" type="Region" element="_wOuB0KinEeG5WeGhg2moBQ">
  139. <children xsi:type="notation:DecorationNode" xmi:id="_wO8rUKinEeG5WeGhg2moBQ" type="RegionName">
  140. <styles xsi:type="notation:ShapeStyle" xmi:id="_wO8rUainEeG5WeGhg2moBQ"/>
  141. <layoutConstraint xsi:type="notation:Location" xmi:id="_wO8rUqinEeG5WeGhg2moBQ"/>
  142. </children>
  143. <children xsi:type="notation:Shape" xmi:id="_wO8rU6inEeG5WeGhg2moBQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  144. <children xmi:id="_zHvdYKinEeG5WeGhg2moBQ" type="Entry" element="_zHlFUKinEeG5WeGhg2moBQ">
  145. <children xmi:id="_zHwEcKinEeG5WeGhg2moBQ" type="BorderItemLabelContainer">
  146. <children xsi:type="notation:DecorationNode" xmi:id="_zHwrgKinEeG5WeGhg2moBQ" type="BorderItemLabel">
  147. <styles xsi:type="notation:ShapeStyle" xmi:id="_zHwrgainEeG5WeGhg2moBQ"/>
  148. <layoutConstraint xsi:type="notation:Location" xmi:id="_zHwrgqinEeG5WeGhg2moBQ"/>
  149. </children>
  150. <styles xsi:type="notation:ShapeStyle" xmi:id="_zHwEcainEeG5WeGhg2moBQ" fontName="Verdana" lineColor="4210752"/>
  151. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_zHwEcqinEeG5WeGhg2moBQ"/>
  152. </children>
  153. <styles xsi:type="notation:ShapeStyle" xmi:id="_zHvdYainEeG5WeGhg2moBQ" fontName="Verdana" lineColor="4210752"/>
  154. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_zHvdYqinEeG5WeGhg2moBQ" x="6" y="11"/>
  155. </children>
  156. <children xmi:id="_66luoKinEeG5WeGhg2moBQ" type="State" element="_66ZhYKinEeG5WeGhg2moBQ">
  157. <children xsi:type="notation:DecorationNode" xmi:id="_66mVsKinEeG5WeGhg2moBQ" type="StateName">
  158. <styles xsi:type="notation:ShapeStyle" xmi:id="_66mVsainEeG5WeGhg2moBQ"/>
  159. <layoutConstraint xsi:type="notation:Location" xmi:id="_66mVsqinEeG5WeGhg2moBQ"/>
  160. </children>
  161. <children xsi:type="notation:Compartment" xmi:id="_66m8wKinEeG5WeGhg2moBQ" type="StateTextCompartment">
  162. <children xsi:type="notation:Shape" xmi:id="_66m8wainEeG5WeGhg2moBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  163. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_66m8wqinEeG5WeGhg2moBQ"/>
  164. </children>
  165. </children>
  166. <children xsi:type="notation:Compartment" xmi:id="_66m8w6inEeG5WeGhg2moBQ" type="StateFigureCompartment"/>
  167. <styles xsi:type="notation:ShapeStyle" xmi:id="_66luoainEeG5WeGhg2moBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  168. <styles xsi:type="notation:FontStyle" xmi:id="_66luoqinEeG5WeGhg2moBQ"/>
  169. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_66luo6inEeG5WeGhg2moBQ" x="35" y="11"/>
  170. </children>
  171. <children xmi:id="_Lrk2MKjBEeG5WeGhg2moBQ" type="State" element="_LrdhcKjBEeG5WeGhg2moBQ">
  172. <children xsi:type="notation:DecorationNode" xmi:id="_LrldQKjBEeG5WeGhg2moBQ" type="StateName">
  173. <styles xsi:type="notation:ShapeStyle" xmi:id="_LrldQajBEeG5WeGhg2moBQ"/>
  174. <layoutConstraint xsi:type="notation:Location" xmi:id="_LrldQqjBEeG5WeGhg2moBQ"/>
  175. </children>
  176. <children xsi:type="notation:Compartment" xmi:id="_LrldQ6jBEeG5WeGhg2moBQ" type="StateTextCompartment" collapsed="true">
  177. <children xsi:type="notation:Shape" xmi:id="_LrmEUKjBEeG5WeGhg2moBQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  178. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_LrmEUajBEeG5WeGhg2moBQ"/>
  179. </children>
  180. </children>
  181. <children xsi:type="notation:Compartment" xmi:id="_LrmEUqjBEeG5WeGhg2moBQ" type="StateFigureCompartment"/>
  182. <styles xsi:type="notation:ShapeStyle" xmi:id="_Lrk2MajBEeG5WeGhg2moBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  183. <styles xsi:type="notation:FontStyle" xmi:id="_Lrk2MqjBEeG5WeGhg2moBQ"/>
  184. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Lrk2M6jBEeG5WeGhg2moBQ" x="135" y="11"/>
  185. </children>
  186. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wO8rVKinEeG5WeGhg2moBQ"/>
  187. </children>
  188. <styles xsi:type="notation:ShapeStyle" xmi:id="_wO8EQainEeG5WeGhg2moBQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  189. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wO8EQqinEeG5WeGhg2moBQ"/>
  190. </children>
  191. </children>
  192. <styles xsi:type="notation:ShapeStyle" xmi:id="_tijWgainEeG5WeGhg2moBQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  193. <styles xsi:type="notation:FontStyle" xmi:id="_tijWgqinEeG5WeGhg2moBQ"/>
  194. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_nphfQLCjEeKU5OA2dZMWpA" name="isHorizontal"/>
  195. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_tijWg6inEeG5WeGhg2moBQ" x="4" y="47" width="279" height="321"/>
  196. </children>
  197. <children xsi:type="notation:Shape" xmi:id="_DBsYoKioEeG5WeGhg2moBQ" type="Synchronization" element="_DBjOsKioEeG5WeGhg2moBQ" fontName="Verdana" lineColor="4210752">
  198. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_DBsYoaioEeG5WeGhg2moBQ" x="333" y="203"/>
  199. </children>
  200. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_0PtAcqimEeG5WeGhg2moBQ"/>
  201. </children>
  202. <styles xsi:type="notation:ShapeStyle" xmi:id="_0PqkMaimEeG5WeGhg2moBQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  203. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_0PtngKimEeG5WeGhg2moBQ" x="152" y="10" width="497" height="411"/>
  204. </children>
  205. <children xsi:type="notation:Shape" xmi:id="_0Px486imEeG5WeGhg2moBQ" type="StatechartText" fontName="Verdana" lineColor="4210752">
  206. <children xsi:type="notation:DecorationNode" xmi:id="_0Px49aimEeG5WeGhg2moBQ" type="StatechartName">
  207. <styles xsi:type="notation:ShapeStyle" xmi:id="_0PygAKimEeG5WeGhg2moBQ"/>
  208. <layoutConstraint xsi:type="notation:Location" xmi:id="_0PygAaimEeG5WeGhg2moBQ"/>
  209. </children>
  210. <children xsi:type="notation:Shape" xmi:id="_0PygAqimEeG5WeGhg2moBQ" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  211. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_0PygA6imEeG5WeGhg2moBQ"/>
  212. </children>
  213. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_0PygBKimEeG5WeGhg2moBQ" x="10" y="10" width="143" height="411"/>
  214. </children>
  215. <children xsi:type="notation:Shape" xmi:id="_qVmTgKjBEeG5WeGhg2moBQ" type="Note" fontName="Verdana" description="A join allows the synchonzation from a state configuration into another state configuration that substitutes the previos state configuration. When states C2 and D2 is active and enevts e and f were raised than a transition to A occurs." fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
  216. <children xsi:type="notation:BasicDecorationNode" xmi:id="_qVm6kKjBEeG5WeGhg2moBQ" type="DiagramName">
  217. <element xsi:nil="true"/>
  218. </children>
  219. <children xsi:type="notation:BasicDecorationNode" xmi:id="_qVm6kajBEeG5WeGhg2moBQ" type="Description">
  220. <element xsi:nil="true"/>
  221. </children>
  222. <styles xsi:type="notation:TextStyle" xmi:id="_qVmTgajBEeG5WeGhg2moBQ"/>
  223. <styles xsi:type="notation:LineTypeStyle" xmi:id="_qVmTgqjBEeG5WeGhg2moBQ"/>
  224. <element xsi:nil="true"/>
  225. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_qVmTg6jBEeG5WeGhg2moBQ" x="676" y="44" width="307" height="110"/>
  226. </children>
  227. <children xsi:type="notation:Shape" xmi:id="_EJ2_0GPPEeKx-Z4zmFgvdg" type="Note" fontName="Verdana" description="the entry action should be executed only once" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
  228. <children xsi:type="notation:BasicDecorationNode" xmi:id="_EJ3m4GPPEeKx-Z4zmFgvdg" type="DiagramName">
  229. <element xsi:nil="true"/>
  230. </children>
  231. <children xsi:type="notation:BasicDecorationNode" xmi:id="_EJ4N8GPPEeKx-Z4zmFgvdg" type="Description">
  232. <element xsi:nil="true"/>
  233. </children>
  234. <styles xsi:type="notation:TextStyle" xmi:id="_EJ2_0WPPEeKx-Z4zmFgvdg"/>
  235. <styles xsi:type="notation:LineTypeStyle" xmi:id="_EJ2_0mPPEeKx-Z4zmFgvdg"/>
  236. <element xsi:nil="true"/>
  237. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EJ2_02PPEeKx-Z4zmFgvdg" x="676" y="248" height="34"/>
  238. </children>
  239. <styles xsi:type="notation:DiagramStyle" xmi:id="_0PovAaimEeG5WeGhg2moBQ"/>
  240. <edges xmi:id="_0PxR4KimEeG5WeGhg2moBQ" type="Transition" element="_0PwDw6imEeG5WeGhg2moBQ" source="_0PtngqimEeG5WeGhg2moBQ" target="_tijWgKinEeG5WeGhg2moBQ">
  241. <children xsi:type="notation:DecorationNode" xmi:id="_0Px48KimEeG5WeGhg2moBQ" type="TransitionExpression">
  242. <styles xsi:type="notation:ShapeStyle" xmi:id="_0Px48aimEeG5WeGhg2moBQ"/>
  243. <layoutConstraint xsi:type="notation:Location" xmi:id="_0Px48qimEeG5WeGhg2moBQ" y="10"/>
  244. </children>
  245. <styles xsi:type="notation:ConnectorStyle" xmi:id="_0PxR4aimEeG5WeGhg2moBQ" lineColor="4210752"/>
  246. <styles xsi:type="notation:FontStyle" xmi:id="_0PxR46imEeG5WeGhg2moBQ" fontName="Verdana"/>
  247. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_0PxR4qimEeG5WeGhg2moBQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  248. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_-sZzYKinEeG5WeGhg2moBQ" id="(0.07537688442211055,0.07219251336898395)"/>
  249. </edges>
  250. <edges xmi:id="_5vplgKinEeG5WeGhg2moBQ" type="Transition" element="_5vhCoKinEeG5WeGhg2moBQ" source="_10WNkKinEeG5WeGhg2moBQ" target="_3Sb8MKinEeG5WeGhg2moBQ">
  251. <children xsi:type="notation:DecorationNode" xmi:id="_5vplhKinEeG5WeGhg2moBQ" type="TransitionExpression">
  252. <styles xsi:type="notation:ShapeStyle" xmi:id="_5vplhainEeG5WeGhg2moBQ"/>
  253. <layoutConstraint xsi:type="notation:Location" xmi:id="_5vqMkKinEeG5WeGhg2moBQ" y="10"/>
  254. </children>
  255. <styles xsi:type="notation:ConnectorStyle" xmi:id="_5vplgainEeG5WeGhg2moBQ" lineColor="4210752"/>
  256. <styles xsi:type="notation:FontStyle" xmi:id="_5vplg6inEeG5WeGhg2moBQ" fontName="Verdana"/>
  257. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_5vplgqinEeG5WeGhg2moBQ" points="[5, 5, -57, -53]$[64, 82, 2, 24]"/>
  258. </edges>
  259. <edges xmi:id="_83ansKinEeG5WeGhg2moBQ" type="Transition" element="_83T6AKinEeG5WeGhg2moBQ" source="_zHvdYKinEeG5WeGhg2moBQ" target="_66luoKinEeG5WeGhg2moBQ">
  260. <children xsi:type="notation:DecorationNode" xmi:id="_83bOwainEeG5WeGhg2moBQ" type="TransitionExpression">
  261. <styles xsi:type="notation:ShapeStyle" xmi:id="_83bOwqinEeG5WeGhg2moBQ"/>
  262. <layoutConstraint xsi:type="notation:Location" xmi:id="_83bOw6inEeG5WeGhg2moBQ" y="10"/>
  263. </children>
  264. <styles xsi:type="notation:ConnectorStyle" xmi:id="_83ansainEeG5WeGhg2moBQ" lineColor="4210752"/>
  265. <styles xsi:type="notation:FontStyle" xmi:id="_83bOwKinEeG5WeGhg2moBQ" fontName="Verdana"/>
  266. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_83ansqinEeG5WeGhg2moBQ" points="[5, 5, -49, -51]$[59, 32, 5, -24]"/>
  267. </edges>
  268. <edges xmi:id="_EhA2UKioEeG5WeGhg2moBQ" type="Transition" element="_Eg6IoKioEeG5WeGhg2moBQ" source="_DBsYoKioEeG5WeGhg2moBQ" target="_0Pu1oaimEeG5WeGhg2moBQ">
  269. <children xsi:type="notation:DecorationNode" xmi:id="_EhBdYKioEeG5WeGhg2moBQ" type="TransitionExpression">
  270. <styles xsi:type="notation:ShapeStyle" xmi:id="_EhBdYaioEeG5WeGhg2moBQ"/>
  271. <layoutConstraint xsi:type="notation:Location" xmi:id="_EhBdYqioEeG5WeGhg2moBQ" y="10"/>
  272. </children>
  273. <styles xsi:type="notation:ConnectorStyle" xmi:id="_EhA2UaioEeG5WeGhg2moBQ" lineColor="4210752"/>
  274. <styles xsi:type="notation:FontStyle" xmi:id="_EhA2U6ioEeG5WeGhg2moBQ" fontName="Verdana"/>
  275. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_EhA2UqioEeG5WeGhg2moBQ" points="[8, -3, -63, 13]$[69, -40, -2, -24]"/>
  276. </edges>
  277. <edges xmi:id="_FO-mMKjBEeG5WeGhg2moBQ" type="Transition" element="_FO34gKjBEeG5WeGhg2moBQ" source="_Lrk2MKjBEeG5WeGhg2moBQ" target="_DBsYoKioEeG5WeGhg2moBQ">
  278. <children xsi:type="notation:DecorationNode" xmi:id="_FO-mNKjBEeG5WeGhg2moBQ" type="TransitionExpression">
  279. <styles xsi:type="notation:ShapeStyle" xmi:id="_FO-mNajBEeG5WeGhg2moBQ"/>
  280. <layoutConstraint xsi:type="notation:Location" xmi:id="_FO-mNqjBEeG5WeGhg2moBQ" x="-18" y="15"/>
  281. </children>
  282. <styles xsi:type="notation:ConnectorStyle" xmi:id="_FO-mMajBEeG5WeGhg2moBQ" lineColor="4210752"/>
  283. <styles xsi:type="notation:FontStyle" xmi:id="_FO-mM6jBEeG5WeGhg2moBQ" fontName="Verdana"/>
  284. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_FO-mMqjBEeG5WeGhg2moBQ" points="[18, -6, -335, 118]$[353, -108, 0, 16]"/>
  285. </edges>
  286. <edges xmi:id="_IFIT8KjBEeG5WeGhg2moBQ" type="Transition" element="_IFECgKjBEeG5WeGhg2moBQ" source="_3Sb8MKinEeG5WeGhg2moBQ" target="_G_ndYKjBEeG5WeGhg2moBQ">
  287. <children xsi:type="notation:DecorationNode" xmi:id="_IFI7AajBEeG5WeGhg2moBQ" type="TransitionExpression">
  288. <styles xsi:type="notation:ShapeStyle" xmi:id="_IFI7AqjBEeG5WeGhg2moBQ"/>
  289. <layoutConstraint xsi:type="notation:Location" xmi:id="_IFI7A6jBEeG5WeGhg2moBQ" y="10"/>
  290. </children>
  291. <styles xsi:type="notation:ConnectorStyle" xmi:id="_IFIT8ajBEeG5WeGhg2moBQ" lineColor="4210752"/>
  292. <styles xsi:type="notation:FontStyle" xmi:id="_IFI7AKjBEeG5WeGhg2moBQ" fontName="Verdana"/>
  293. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_IFIT8qjBEeG5WeGhg2moBQ" points="[28, -3, -123, -7]$[150, -20, -1, -24]"/>
  294. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_IFRd4KjBEeG5WeGhg2moBQ" id="(0.2,0.41509433962264153)"/>
  295. </edges>
  296. <edges xmi:id="_Lr9QsKjBEeG5WeGhg2moBQ" type="Transition" element="_Lr3KEKjBEeG5WeGhg2moBQ" source="_66luoKinEeG5WeGhg2moBQ" target="_Lrk2MKjBEeG5WeGhg2moBQ">
  297. <children xsi:type="notation:DecorationNode" xmi:id="_Lr9QtKjBEeG5WeGhg2moBQ" type="TransitionExpression">
  298. <styles xsi:type="notation:ShapeStyle" xmi:id="_Lr9QtajBEeG5WeGhg2moBQ"/>
  299. <layoutConstraint xsi:type="notation:Location" xmi:id="_Lr9QtqjBEeG5WeGhg2moBQ" y="10"/>
  300. </children>
  301. <styles xsi:type="notation:ConnectorStyle" xmi:id="_Lr9QsajBEeG5WeGhg2moBQ" lineColor="4210752"/>
  302. <styles xsi:type="notation:FontStyle" xmi:id="_Lr9Qs6jBEeG5WeGhg2moBQ" fontName="Verdana"/>
  303. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Lr9QsqjBEeG5WeGhg2moBQ" points="[-17, -23, 42, 54]$[-57, -74, 2, 3]"/>
  304. </edges>
  305. <edges xmi:id="_OkVzEKjBEeG5WeGhg2moBQ" type="Transition" element="_OkRhoKjBEeG5WeGhg2moBQ" source="_G_ndYKjBEeG5WeGhg2moBQ" target="_DBsYoKioEeG5WeGhg2moBQ">
  306. <children xsi:type="notation:DecorationNode" xmi:id="_OkVzFKjBEeG5WeGhg2moBQ" type="TransitionExpression">
  307. <styles xsi:type="notation:ShapeStyle" xmi:id="_OkVzFajBEeG5WeGhg2moBQ"/>
  308. <layoutConstraint xsi:type="notation:Location" xmi:id="_OkWaIKjBEeG5WeGhg2moBQ" x="-26" y="9"/>
  309. </children>
  310. <styles xsi:type="notation:ConnectorStyle" xmi:id="_OkVzEajBEeG5WeGhg2moBQ" lineColor="4210752"/>
  311. <styles xsi:type="notation:FontStyle" xmi:id="_OkVzE6jBEeG5WeGhg2moBQ" fontName="Verdana"/>
  312. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_OkVzEqjBEeG5WeGhg2moBQ" points="[35, 4, -235, -28]$[266, 31, -4, -1]"/>
  313. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Okdu4KjBEeG5WeGhg2moBQ" id="(0.0,0.5660377358490566)"/>
  314. </edges>
  315. <edges xmi:id="_j3iq8KjBEeG5WeGhg2moBQ" type="Transition" element="_j3fnoKjBEeG5WeGhg2moBQ" source="_0Pu1oaimEeG5WeGhg2moBQ" target="_tijWgKinEeG5WeGhg2moBQ">
  316. <children xsi:type="notation:DecorationNode" xmi:id="_j3jSAKjBEeG5WeGhg2moBQ" type="TransitionExpression">
  317. <styles xsi:type="notation:ShapeStyle" xmi:id="_j3jSAajBEeG5WeGhg2moBQ"/>
  318. <layoutConstraint xsi:type="notation:Location" xmi:id="_j3jSAqjBEeG5WeGhg2moBQ" x="7" y="15"/>
  319. </children>
  320. <styles xsi:type="notation:ConnectorStyle" xmi:id="_j3iq8ajBEeG5WeGhg2moBQ" lineColor="4210752"/>
  321. <styles xsi:type="notation:FontStyle" xmi:id="_j3iq86jBEeG5WeGhg2moBQ" fontName="Verdana"/>
  322. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_j3iq8qjBEeG5WeGhg2moBQ" points="[0, -55, 161, 133]$[0, -179, 161, 9]$[-141, -179, 20, 9]"/>
  323. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_j3oxkKjBEeG5WeGhg2moBQ" id="(0.45,1.0)"/>
  324. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_j3oxkajBEeG5WeGhg2moBQ" id="(0.9283154121863799,0.04984423676012461)"/>
  325. </edges>
  326. </notation:Diagram>
  327. </xmi:XMI>