Home Explore Help
Sign In
jexelmans
/
yakindu-examples
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0
Tree: f6e38b017d
Branches Tags
yakindu-exam...
/
microwave
/
YAKINDU_WORKSPACE
/
20_Door
/
Statechart.ysc

Statechart.ysc 17 KB
History Raw

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182 
  1. <?xml version="1.0" encoding="UTF-8"?>
    2. 

  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. 

  3.   <sgraph:Statechart xmi:id="_D1f2kKxEEe2zPcKEzbpeTQ" specification="@EventDriven&#xA;@SuperSteps(no)&#xA;@ParentFirstExecution&#xA;&#xA;interface:&#xA;&#x9;in event startPressed&#xA;&#x9;in event stopPressed&#xA;&#x9;in event increaseTimePressed&#xA;&#x9;&#xA;&#x9;in event doorOpened&#xA;&#x9;in event doorClosed&#xA;&#x9;&#xA;&#x9;&#xA;&#x9;&#xA;&#x9;out event turnMagnetronOn&#xA;&#x9;out event turnMagnetronOff&#xA;&#x9;&#xA;&#x9;out event setDisplayedTime: integer&#xA;&#x9;&#xA;&#x9;out event ringBell&#xA;" name="Statechart">
    4. 

  4.     <regions xmi:id="_zSmQgKWYEe-staW3g3l-2A" name="main region">
    5. 

  5.       <vertices xsi:type="sgraph:State" xmi:id="_zSmQgaWYEe-staW3g3l-2A" name="MagnetronOff" incomingTransitions="_zSm3lKWYEe-staW3g3l-2A _zSm3l6WYEe-staW3g3l-2A _zSneqKWYEe-staW3g3l-2A">
    6. 

  6.         <outgoingTransitions xmi:id="_zSmQg6WYEe-staW3g3l-2A" specification="startPressed&#xA;/ raise turnMagnetronOn" target="_zSm3laWYEe-staW3g3l-2A"/>
    7. 

  7.         <outgoingTransitions xmi:id="_zSmQiqWYEe-staW3g3l-2A" specification="doorOpened" target="_zSnepqWYEe-staW3g3l-2A"/>
    8. 

  8.       </vertices>
    9. 

  9.       <vertices xsi:type="sgraph:Entry" xmi:id="_zSm3k6WYEe-staW3g3l-2A">
    10. 

  10.         <outgoingTransitions xmi:id="_zSm3lKWYEe-staW3g3l-2A" specification="" target="_zSmQgaWYEe-staW3g3l-2A"/>
    11. 

  11.       </vertices>
    12. 

  12.       <vertices xsi:type="sgraph:State" xmi:id="_zSm3laWYEe-staW3g3l-2A" specification="" name="MagnetronOn" incomingTransitions="_zSmQg6WYEe-staW3g3l-2A">
    13. 

  13.         <outgoingTransitions xmi:id="_zSm3l6WYEe-staW3g3l-2A" specification="stopPressed&#xA; / raise turnMagnetronOff" target="_zSmQgaWYEe-staW3g3l-2A"/>
    14. 

  14.         <outgoingTransitions xmi:id="_zSm3nqWYEe-staW3g3l-2A" specification="doorOpened&#xA; / raise turnMagnetronOff" target="_zSnepqWYEe-staW3g3l-2A"/>
    15. 

  15.       </vertices>
    16. 

  16.       <vertices xsi:type="sgraph:State" xmi:id="_zSnepqWYEe-staW3g3l-2A" name="DoorOpen" incomingTransitions="_zSm3nqWYEe-staW3g3l-2A _zSmQiqWYEe-staW3g3l-2A">
    17. 

  17.         <outgoingTransitions xmi:id="_zSneqKWYEe-staW3g3l-2A" specification="doorClosed" target="_zSmQgaWYEe-staW3g3l-2A"/>
    18. 

  18.       </vertices>
    19. 

  19.     </regions>
    20. 

  20.   </sgraph:Statechart>
    21. 

  21.   <notation:Diagram xmi:id="_D1kICKxEEe2zPcKEzbpeTQ" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_D1f2kKxEEe2zPcKEzbpeTQ" measurementUnit="Pixel">
    22. 

  22.     <children xsi:type="notation:Shape" xmi:id="_D1kIM6xEEe2zPcKEzbpeTQ" type="StatechartText" fontName="Verdana" lineColor="4210752">
    23. 

  23.       <children xsi:type="notation:DecorationNode" xmi:id="_D1kINKxEEe2zPcKEzbpeTQ" type="StatechartName">
    24. 

  24.         <styles xsi:type="notation:ShapeStyle" xmi:id="_D1kINaxEEe2zPcKEzbpeTQ"/>
    25. 

  25.         <layoutConstraint xsi:type="notation:Location" xmi:id="_D1kINqxEEe2zPcKEzbpeTQ"/>
    26. 

  26.       </children>
    27. 

  27.       <children xsi:type="notation:Shape" xmi:id="_D1kIN6xEEe2zPcKEzbpeTQ" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
    28. 

  28.         <layoutConstraint xsi:type="notation:Bounds" xmi:id="_D1kIOKxEEe2zPcKEzbpeTQ"/>
    29. 

  29.       </children>
    30. 

  30.       <layoutConstraint xsi:type="notation:Bounds" xmi:id="_D1kIOaxEEe2zPcKEzbpeTQ" x="10" y="10" width="200" height="400"/>
    31. 

  31.     </children>
    32. 

  32.     <children xmi:id="_zSlpcKWYEe-staW3g3l-2A" type="Region" element="_zSmQgKWYEe-staW3g3l-2A">
    33. 

  33.       <children xsi:type="notation:DecorationNode" xmi:id="_zSlpcaWYEe-staW3g3l-2A" type="RegionName">
    34. 

  34.         <styles xsi:type="notation:ShapeStyle" xmi:id="_zSlpcqWYEe-staW3g3l-2A"/>
    35. 

  35.         <layoutConstraint xsi:type="notation:Location" xmi:id="_zSlpc6WYEe-staW3g3l-2A"/>
    36. 

  36.       </children>
    37. 

  37.       <children xsi:type="notation:Shape" xmi:id="_zSlpdKWYEe-staW3g3l-2A" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
    38. 

  38.         <children xmi:id="_zSlpdaWYEe-staW3g3l-2A" type="State" element="_zSmQgaWYEe-staW3g3l-2A">
    39. 

  39.           <children xsi:type="notation:DecorationNode" xmi:id="_zSlpdqWYEe-staW3g3l-2A" type="StateName">
    40. 

  40.             <styles xsi:type="notation:ShapeStyle" xmi:id="_zSlpd6WYEe-staW3g3l-2A"/>
    41. 

  41.             <layoutConstraint xsi:type="notation:Location" xmi:id="_zSlpeKWYEe-staW3g3l-2A"/>
    42. 

  42.           </children>
    43. 

  43.           <children xsi:type="notation:Compartment" xmi:id="_zSlpeaWYEe-staW3g3l-2A" type="StateTextCompartment">
    44. 

  44.             <children xsi:type="notation:Shape" xmi:id="_zSlpeqWYEe-staW3g3l-2A" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
    45. 

  45.               <layoutConstraint xsi:type="notation:Bounds" xmi:id="_zSlpe6WYEe-staW3g3l-2A"/>
    46. 

  46.             </children>
    47. 

  47.           </children>
    48. 

  48.           <children xsi:type="notation:Compartment" xmi:id="_zSlpfKWYEe-staW3g3l-2A" type="StateFigureCompartment"/>
    49. 

  49.           <styles xsi:type="notation:ShapeStyle" xmi:id="_zSlpfaWYEe-staW3g3l-2A" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
    50. 

  50.           <styles xsi:type="notation:FontStyle" xmi:id="_zSlpfqWYEe-staW3g3l-2A"/>
    51. 

  51.           <styles xsi:type="notation:BooleanValueStyle" xmi:id="_zSlpf6WYEe-staW3g3l-2A" name="isHorizontal" booleanValue="true"/>
    52. 

  52.           <layoutConstraint xsi:type="notation:Bounds" xmi:id="_zSlpgKWYEe-staW3g3l-2A" x="116" y="125" width="157" height="53"/>
    53. 

  53.         </children>
    54. 

  54.         <children xmi:id="_zSlpgaWYEe-staW3g3l-2A" type="Entry" element="_zSm3k6WYEe-staW3g3l-2A">
    55. 

  55.           <children xmi:id="_zSlpgqWYEe-staW3g3l-2A" type="BorderItemLabelContainer">
    56. 

  56.             <children xsi:type="notation:DecorationNode" xmi:id="_zSlpg6WYEe-staW3g3l-2A" type="BorderItemLabel">
    57. 

  57.               <styles xsi:type="notation:ShapeStyle" xmi:id="_zSlphKWYEe-staW3g3l-2A"/>
    58. 

  58.               <layoutConstraint xsi:type="notation:Location" xmi:id="_zSlphaWYEe-staW3g3l-2A"/>
    59. 

  59.             </children>
    60. 

  60.             <styles xsi:type="notation:ShapeStyle" xmi:id="_zSlphqWYEe-staW3g3l-2A" fontName="Verdana" lineColor="4210752"/>
    61. 

  61.             <layoutConstraint xsi:type="notation:Bounds" xmi:id="_zSlph6WYEe-staW3g3l-2A"/>
    62. 

  62.           </children>
    63. 

  63.           <styles xsi:type="notation:ShapeStyle" xmi:id="_zSlpiKWYEe-staW3g3l-2A" fontName="Verdana" fillColor="0" lineColor="16777215"/>
    64. 

  64.           <styles xsi:type="notation:NamedStyle" xmi:id="_zSlpiaWYEe-staW3g3l-2A" name="allowColors"/>
    65. 

  65.           <layoutConstraint xsi:type="notation:Bounds" xmi:id="_zSlpiqWYEe-staW3g3l-2A" x="147" y="84"/>
    66. 

  66.         </children>
    67. 

  67.         <children xmi:id="_zSlpi6WYEe-staW3g3l-2A" type="State" element="_zSm3laWYEe-staW3g3l-2A">
    68. 

  68.           <children xsi:type="notation:DecorationNode" xmi:id="_zSlpjKWYEe-staW3g3l-2A" type="StateName">
    69. 

  69.             <styles xsi:type="notation:ShapeStyle" xmi:id="_zSlpjaWYEe-staW3g3l-2A"/>
    70. 

  70.             <layoutConstraint xsi:type="notation:Location" xmi:id="_zSlpjqWYEe-staW3g3l-2A"/>
    71. 

  71.           </children>
    72. 

  72.           <children xsi:type="notation:Compartment" xmi:id="_zSlpj6WYEe-staW3g3l-2A" type="StateTextCompartment">
    73. 

  73.             <children xsi:type="notation:Shape" xmi:id="_zSlpkKWYEe-staW3g3l-2A" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
    74. 

  74.               <layoutConstraint xsi:type="notation:Bounds" xmi:id="_zSlpkaWYEe-staW3g3l-2A"/>
    75. 

  75.             </children>
    76. 

  76.           </children>
    77. 

  77.           <children xsi:type="notation:Compartment" xmi:id="_zSlpkqWYEe-staW3g3l-2A" type="StateFigureCompartment"/>
    78. 

  78.           <styles xsi:type="notation:ShapeStyle" xmi:id="_zSlpk6WYEe-staW3g3l-2A" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
    79. 

  79.           <styles xsi:type="notation:FontStyle" xmi:id="_zSlplKWYEe-staW3g3l-2A"/>
    80. 

  80.           <styles xsi:type="notation:BooleanValueStyle" xmi:id="_zSlplaWYEe-staW3g3l-2A" name="isHorizontal" booleanValue="true"/>
    81. 

  81.           <layoutConstraint xsi:type="notation:Bounds" xmi:id="_zSlplqWYEe-staW3g3l-2A" x="106" y="313" width="150" height="53"/>
    82. 

  82.         </children>
    83. 

  83.         <children xsi:type="notation:Shape" xmi:id="_zSlpl6WYEe-staW3g3l-2A" type="Note" fontName="Verdana" description="Opening the door stops&#xA;the magnetron" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
    84. 

  84.           <children xsi:type="notation:BasicDecorationNode" xmi:id="_zSlpmKWYEe-staW3g3l-2A" type="DiagramName">
    85. 

  85.             <element xsi:nil="true"/>
    86. 

  86.           </children>
    87. 

  87.           <children xsi:type="notation:BasicDecorationNode" xmi:id="_zSlpmaWYEe-staW3g3l-2A" type="Description">
    88. 

  88.             <element xsi:nil="true"/>
    89. 

  89.           </children>
    90. 

  90.           <styles xsi:type="notation:TextStyle" xmi:id="_zSlpmqWYEe-staW3g3l-2A"/>
    91. 

  91.           <styles xsi:type="notation:LineTypeStyle" xmi:id="_zSlpm6WYEe-staW3g3l-2A"/>
    92. 

  92.           <element xsi:nil="true"/>
    93. 

  93.           <layoutConstraint xsi:type="notation:Bounds" xmi:id="_zSlpnKWYEe-staW3g3l-2A" x="508" y="29" width="175" height="56"/>
    94. 

  94.         </children>
    95. 

  95.         <children xmi:id="_zSlpnaWYEe-staW3g3l-2A" type="State" element="_zSnepqWYEe-staW3g3l-2A">
    96. 

  96.           <children xsi:type="notation:DecorationNode" xmi:id="_zSlpnqWYEe-staW3g3l-2A" type="StateName">
    97. 

  97.             <styles xsi:type="notation:ShapeStyle" xmi:id="_zSlpn6WYEe-staW3g3l-2A"/>
    98. 

  98.             <layoutConstraint xsi:type="notation:Location" xmi:id="_zSlpoKWYEe-staW3g3l-2A"/>
    99. 

  99.           </children>
    100. 

  100.           <children xsi:type="notation:Compartment" xmi:id="_zSlpoaWYEe-staW3g3l-2A" type="StateTextCompartment">
    101. 

  101.             <children xsi:type="notation:Shape" xmi:id="_zSlpoqWYEe-staW3g3l-2A" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
    102. 

  102.               <layoutConstraint xsi:type="notation:Bounds" xmi:id="_zSlpo6WYEe-staW3g3l-2A"/>
    103. 

  103.             </children>
    104. 

  104.           </children>
    105. 

  105.           <children xsi:type="notation:Compartment" xmi:id="_zSlppKWYEe-staW3g3l-2A" type="StateFigureCompartment"/>
    106. 

  106.           <styles xsi:type="notation:ShapeStyle" xmi:id="_zSlppaWYEe-staW3g3l-2A" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
    107. 

  107.           <styles xsi:type="notation:FontStyle" xmi:id="_zSlppqWYEe-staW3g3l-2A"/>
    108. 

  108.           <styles xsi:type="notation:BooleanValueStyle" xmi:id="_zSlpp6WYEe-staW3g3l-2A" name="isHorizontal" booleanValue="true"/>
    109. 

  109.           <layoutConstraint xsi:type="notation:Bounds" xmi:id="_zSlpqKWYEe-staW3g3l-2A" x="531" y="313" width="74" height="53"/>
    110. 

  110.         </children>
    111. 

  111.         <layoutConstraint xsi:type="notation:Bounds" xmi:id="_zSlpqaWYEe-staW3g3l-2A"/>
    112. 

  112.       </children>
    113. 

  113.       <styles xsi:type="notation:ShapeStyle" xmi:id="_zSlpqqWYEe-staW3g3l-2A" fontName="Verdana" fillColor="16448250" lineColor="12632256"/>
    114. 

  114.       <layoutConstraint xsi:type="notation:Bounds" xmi:id="_zSlpq6WYEe-staW3g3l-2A" x="7" y="9" width="725" height="502"/>
    115. 

  115.     </children>
    116. 

  116.     <styles xsi:type="notation:BooleanValueStyle" xmi:id="_D1kIOqxEEe2zPcKEzbpeTQ" name="inlineDefinitionSection"/>
    117. 

  117.     <styles xsi:type="notation:DiagramStyle" xmi:id="_D1kIO6xEEe2zPcKEzbpeTQ"/>
    118. 

  118.     <edges xmi:id="_zSoswKWYEe-staW3g3l-2A" type="Transition" element="_zSm3lKWYEe-staW3g3l-2A" source="_zSlpgaWYEe-staW3g3l-2A" target="_zSlpdaWYEe-staW3g3l-2A">
    119. 

  119.       <children xsi:type="notation:DecorationNode" xmi:id="_zSoswaWYEe-staW3g3l-2A" type="TransitionExpression">
    120. 

  120.         <styles xsi:type="notation:ShapeStyle" xmi:id="_zSoswqWYEe-staW3g3l-2A"/>
    121. 

  121.         <layoutConstraint xsi:type="notation:Location" xmi:id="_zSosw6WYEe-staW3g3l-2A" x="-2" y="10"/>
    122. 

  122.       </children>
    123. 

  123.       <styles xsi:type="notation:ConnectorStyle" xmi:id="_zSosxKWYEe-staW3g3l-2A" routing="Rectilinear" lineColor="4210752"/>
    124. 

  124.       <styles xsi:type="notation:FontStyle" xmi:id="_zSosxaWYEe-staW3g3l-2A" fontName="Verdana"/>
    125. 

  125.       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_zSosxqWYEe-staW3g3l-2A" points="[2, 6, -38, -54]$[2, 34, -38, -26]"/>
    126. 

  126.     </edges>
    127. 

  127.     <edges xmi:id="_zSosx6WYEe-staW3g3l-2A" type="Transition" element="_zSmQg6WYEe-staW3g3l-2A" source="_zSlpdaWYEe-staW3g3l-2A" target="_zSlpi6WYEe-staW3g3l-2A">
    128. 

  128.       <children xsi:type="notation:DecorationNode" xmi:id="_zSosyKWYEe-staW3g3l-2A" type="TransitionExpression">
    129. 

  129.         <styles xsi:type="notation:ShapeStyle" xmi:id="_zSosyaWYEe-staW3g3l-2A"/>
    130. 

  130.         <layoutConstraint xsi:type="notation:Location" xmi:id="_zSosyqWYEe-staW3g3l-2A" x="1" y="-76"/>
    131. 

  131.       </children>
    132. 

  132.       <styles xsi:type="notation:ConnectorStyle" xmi:id="_zSosy6WYEe-staW3g3l-2A" routing="Rectilinear" lineColor="4210752"/>
    133. 

  133.       <styles xsi:type="notation:FontStyle" xmi:id="_zSoszKWYEe-staW3g3l-2A" fontName="Verdana"/>
    134. 

  134.       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_zSoszaWYEe-staW3g3l-2A" points="[-55, 16, -32, -177]$[-55, 151, -32, -42]"/>
    135. 

  135.       <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_zSoszqWYEe-staW3g3l-2A" id="(0.8518518518518519,0.6981132075471698)"/>
    136. 

  136.       <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_zSosz6WYEe-staW3g3l-2A" id="(0.8037383177570093,0.7924528301886793)"/>
    137. 

  137.     </edges>
    138. 

  138.     <edges xmi:id="_zSos0KWYEe-staW3g3l-2A" type="Transition" element="_zSm3l6WYEe-staW3g3l-2A" source="_zSlpi6WYEe-staW3g3l-2A" target="_zSlpdaWYEe-staW3g3l-2A">
    139. 

  139.       <children xsi:type="notation:DecorationNode" xmi:id="_zSos0aWYEe-staW3g3l-2A" type="TransitionExpression">
    140. 

  140.         <styles xsi:type="notation:ShapeStyle" xmi:id="_zSos0qWYEe-staW3g3l-2A"/>
    141. 

  141.         <layoutConstraint xsi:type="notation:Location" xmi:id="_zSos06WYEe-staW3g3l-2A" x="-3" y="-55"/>
    142. 

  142.       </children>
    143. 

  143.       <styles xsi:type="notation:ConnectorStyle" xmi:id="_zSos1KWYEe-staW3g3l-2A" routing="Rectilinear" lineColor="4210752"/>
    144. 

  144.       <styles xsi:type="notation:FontStyle" xmi:id="_zSos1aWYEe-staW3g3l-2A" fontName="Verdana"/>
    145. 

  145.       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_zSos1qWYEe-staW3g3l-2A" points="[-5, -4, -64, 162]$[-5, -139, -64, 27]"/>
    146. 

  146.       <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_zSos16WYEe-staW3g3l-2A" id="(0.19626168224299065,0.07547169811320754)"/>
    147. 

  147.     </edges>
    148. 

  148.     <edges xmi:id="_zSos2KWYEe-staW3g3l-2A" type="Transition" element="_zSm3nqWYEe-staW3g3l-2A" source="_zSlpi6WYEe-staW3g3l-2A" target="_zSlpnaWYEe-staW3g3l-2A">
    149. 

  149.       <children xsi:type="notation:DecorationNode" xmi:id="_zSos2aWYEe-staW3g3l-2A" type="TransitionExpression">
    150. 

  150.         <styles xsi:type="notation:ShapeStyle" xmi:id="_zSos2qWYEe-staW3g3l-2A"/>
    151. 

  151.         <layoutConstraint xsi:type="notation:Location" xmi:id="_zSos26WYEe-staW3g3l-2A" x="5" y="28"/>
    152. 

  152.       </children>
    153. 

  153.       <styles xsi:type="notation:ConnectorStyle" xmi:id="_zSos3KWYEe-staW3g3l-2A" routing="Rectilinear" lineColor="4210752"/>
    154. 

  154.       <styles xsi:type="notation:FontStyle" xmi:id="_zSos3aWYEe-staW3g3l-2A" fontName="Verdana"/>
    155. 

  155.       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_zSos3qWYEe-staW3g3l-2A" points="[4, -1, -281, -26]$[279, -1, -6, -26]"/>
    156. 

  156.       <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_zSos36WYEe-staW3g3l-2A" id="(0.9787234042553191,0.3125)"/>
    157. 

  157.       <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_zSos4KWYEe-staW3g3l-2A" id="(0.08108108108108109,0.7735849056603774)"/>
    158. 

  158.     </edges>
    159. 

  159.     <edges xmi:id="_zSpT0KWYEe-staW3g3l-2A" type="Transition" element="_zSmQiqWYEe-staW3g3l-2A" source="_zSlpdaWYEe-staW3g3l-2A" target="_zSlpnaWYEe-staW3g3l-2A">
    160. 

  160.       <children xsi:type="notation:DecorationNode" xmi:id="_zSpT0aWYEe-staW3g3l-2A" type="TransitionExpression">
    161. 

  161.         <styles xsi:type="notation:ShapeStyle" xmi:id="_zSpT0qWYEe-staW3g3l-2A"/>
    162. 

  162.         <layoutConstraint xsi:type="notation:Location" xmi:id="_zSpT06WYEe-staW3g3l-2A" x="-90" y="-11"/>
    163. 

  163.       </children>
    164. 

  164.       <styles xsi:type="notation:ConnectorStyle" xmi:id="_zSpT1KWYEe-staW3g3l-2A" routing="Rectilinear" lineColor="4210752"/>
    165. 

  165.       <styles xsi:type="notation:FontStyle" xmi:id="_zSpT1aWYEe-staW3g3l-2A" fontName="Verdana"/>
    166. 

  166.       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_zSpT1qWYEe-staW3g3l-2A" points="[15, 22, -295, -170]$[287, 22, -23, -170]$[287, 166, -23, -26]"/>
    167. 

  167.       <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_zSpT16WYEe-staW3g3l-2A" id="(0.9081632653061225,0.41509433962264153)"/>
    168. 

  168.     </edges>
    169. 

  169.     <edges xmi:id="_zSpT2KWYEe-staW3g3l-2A" type="Transition" element="_zSneqKWYEe-staW3g3l-2A" source="_zSlpnaWYEe-staW3g3l-2A" target="_zSlpdaWYEe-staW3g3l-2A">
    170. 

  170.       <children xsi:type="notation:DecorationNode" xmi:id="_zSpT2aWYEe-staW3g3l-2A" type="TransitionExpression">
    171. 

  171.         <styles xsi:type="notation:ShapeStyle" xmi:id="_zSpT2qWYEe-staW3g3l-2A"/>
    172. 

  172.         <layoutConstraint xsi:type="notation:Location" xmi:id="_zSpT26WYEe-staW3g3l-2A" x="89" y="10"/>
    173. 

  173.       </children>
    174. 

  174.       <styles xsi:type="notation:ConnectorStyle" xmi:id="_zSpT3KWYEe-staW3g3l-2A" routing="Rectilinear" lineColor="4210752"/>
    175. 

  175.       <styles xsi:type="notation:FontStyle" xmi:id="_zSpT3aWYEe-staW3g3l-2A" fontName="Verdana"/>
    176. 

  176.       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_zSpT3qWYEe-staW3g3l-2A" points="[21, -3, 380, 186]$[21, -181, 380, 8]$[-301, -181, 58, 8]"/>
    177. 

  177.       <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_zSpT36WYEe-staW3g3l-2A" id="(0.581081081081081,0.05660377358490566)"/>
    178. 

  178.       <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_zSpT4KWYEe-staW3g3l-2A" id="(0.6326530612244898,0.03773584905660377)"/>
    179. 

  179.     </edges>
    180. 

  180.   </notation:Diagram>
    181. 

  181. </xmi:XMI>
    182. 

  182.