TA147

Ejecicios y trabajos prácticos de la materia Taller de Sistemas Digitales (TA147)
Index Commits Files Refs
tps/1/statechart/statechart.ysc (21781B)
   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="_gi9EEDh5EfG1qtRGopny_Q" specification="// Use the event driven execution model.&#xA;// Switch to cycle based behavior&#xA;// by specifying '@CycleBased(200)'.&#xA;@EventDriven&#xA;&#xA;// Use @SuperSteps(yes) to enable&#xA;// super step semantics.&#xA;@SuperSteps(no)&#xA;&#xA;interface:&#xA;&#x9;// Define events and variables here. &#xA;&#x9;// Use CTRL + Space for content assist.&#xA;&#x9;in event myEvent&#xA;&#xA;internal:&#xA;    var RED_GREEN_S:     integer = 30&#xA;    var YELLOW_S: integer = 3&#xA;" name="Statechart">
   4     <regions xmi:id="_gjDKszh5EfG1qtRGopny_Q" name="main region">
   5       <vertices xsi:type="sgraph:Entry" xmi:id="_gjDKtDh5EfG1qtRGopny_Q">
   6         <outgoingTransitions xmi:id="_R00mQDh6EfG1qtRGopny_Q" specification="" target="_Kij5kDh6EfG1qtRGopny_Q"/>
   7       </vertices>
   8       <vertices xsi:type="sgraph:State" xmi:id="_gjGOAzh5EfG1qtRGopny_Q" name="state_1r_2y" incomingTransitions="_TPUOUDh6EfG1qtRGopny_Q">
   9         <outgoingTransitions xmi:id="_Upvk8Dh6EfG1qtRGopny_Q" specification="after YELLOW_S  s" target="_JDQqADh6EfG1qtRGopny_Q"/>
  10       </vertices>
  11       <vertices xsi:type="sgraph:State" xmi:id="_JDQqADh6EfG1qtRGopny_Q" name="state_1ry_2r" incomingTransitions="_Upvk8Dh6EfG1qtRGopny_Q">
  12         <outgoingTransitions xmi:id="_uN0VYDqZEfG2H8hrWiFWzA" specification="after YELLOW_S  s" target="_rUIygDqZEfG2H8hrWiFWzA"/>
  13       </vertices>
  14       <vertices xsi:type="sgraph:State" xmi:id="_Kij5kDh6EfG1qtRGopny_Q" name="state_1r_2g" incomingTransitions="_R00mQDh6EfG1qtRGopny_Q _vbaw8DqZEfG2H8hrWiFWzA">
  15         <outgoingTransitions xmi:id="_TPUOUDh6EfG1qtRGopny_Q" specification="after RED_GREEN_S s" target="_gjGOAzh5EfG1qtRGopny_Q"/>
  16       </vertices>
  17       <vertices xsi:type="sgraph:State" xmi:id="_qmJrLDqZEfG2H8hrWiFWzA" name="state_1y_2r" incomingTransitions="_u6z-QDqZEfG2H8hrWiFWzA">
  18         <outgoingTransitions xmi:id="_VMV_gDqaEfG2H8hrWiFWzA" specification="after YELLOW_S  s" target="_qmK5QDqZEfG2H8hrWiFWzA"/>
  19       </vertices>
  20       <vertices xsi:type="sgraph:State" xmi:id="_qmK5QDqZEfG2H8hrWiFWzA" name="state_1r_2ry" incomingTransitions="_VMV_gDqaEfG2H8hrWiFWzA">
  21         <outgoingTransitions xmi:id="_vbaw8DqZEfG2H8hrWiFWzA" specification="after YELLOW_S  s" target="_Kij5kDh6EfG1qtRGopny_Q"/>
  22       </vertices>
  23       <vertices xsi:type="sgraph:State" xmi:id="_rUIygDqZEfG2H8hrWiFWzA" name="state_1g_2r" incomingTransitions="_uN0VYDqZEfG2H8hrWiFWzA">
  24         <outgoingTransitions xmi:id="_u6z-QDqZEfG2H8hrWiFWzA" specification="after RED_GREEN_S s" target="_qmJrLDqZEfG2H8hrWiFWzA"/>
  25       </vertices>
  26     </regions>
  27   </sgraph:Statechart>
  28   <notation:Diagram xmi:id="_gjIqQDh5EfG1qtRGopny_Q" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_gi9EEDh5EfG1qtRGopny_Q" measurementUnit="Pixel">
  29     <children xmi:id="_gjIqQTh5EfG1qtRGopny_Q" type="Region" element="_gjDKszh5EfG1qtRGopny_Q">
  30       <children xsi:type="notation:DecorationNode" xmi:id="_gjIqQjh5EfG1qtRGopny_Q" type="RegionName">
  31         <styles xsi:type="notation:ShapeStyle" xmi:id="_gjIqQzh5EfG1qtRGopny_Q"/>
  32         <layoutConstraint xsi:type="notation:Location" xmi:id="_gjIqRDh5EfG1qtRGopny_Q"/>
  33       </children>
  34       <children xsi:type="notation:Shape" xmi:id="_gjIqRTh5EfG1qtRGopny_Q" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  35         <children xmi:id="_gjIqRjh5EfG1qtRGopny_Q" type="Entry" element="_gjDKtDh5EfG1qtRGopny_Q">
  36           <children xmi:id="_gjIqRzh5EfG1qtRGopny_Q" type="BorderItemLabelContainer">
  37             <children xsi:type="notation:DecorationNode" xmi:id="_gjIqSDh5EfG1qtRGopny_Q" type="BorderItemLabel">
  38               <styles xsi:type="notation:ShapeStyle" xmi:id="_gjIqSTh5EfG1qtRGopny_Q"/>
  39               <layoutConstraint xsi:type="notation:Location" xmi:id="_gjIqSjh5EfG1qtRGopny_Q"/>
  40             </children>
  41             <styles xsi:type="notation:ShapeStyle" xmi:id="_gjIqSzh5EfG1qtRGopny_Q" fontName="Verdana" lineColor="4210752"/>
  42             <layoutConstraint xsi:type="notation:Bounds" xmi:id="_gjIqTDh5EfG1qtRGopny_Q"/>
  43           </children>
  44           <styles xsi:type="notation:ShapeStyle" xmi:id="_gjIqTTh5EfG1qtRGopny_Q" fontName="Verdana" fillColor="0" lineColor="16777215"/>
  45           <styles xsi:type="notation:NamedStyle" xmi:id="_gjIqTjh5EfG1qtRGopny_Q" name="allowColors"/>
  46           <layoutConstraint xsi:type="notation:Bounds" xmi:id="_gjIqTzh5EfG1qtRGopny_Q" x="32" y="202" width="15" height="15"/>
  47         </children>
  48         <children xmi:id="_gjIqXDh5EfG1qtRGopny_Q" type="State" element="_gjGOAzh5EfG1qtRGopny_Q">
  49           <children xsi:type="notation:DecorationNode" xmi:id="_gjIqXTh5EfG1qtRGopny_Q" type="StateName">
  50             <styles xsi:type="notation:ShapeStyle" xmi:id="_gjIqXjh5EfG1qtRGopny_Q"/>
  51             <layoutConstraint xsi:type="notation:Location" xmi:id="_gjIqXzh5EfG1qtRGopny_Q"/>
  52           </children>
  53           <children xsi:type="notation:Compartment" xmi:id="_gjIqYDh5EfG1qtRGopny_Q" type="StateTextCompartment">
  54             <children xsi:type="notation:Shape" xmi:id="_gjIqYTh5EfG1qtRGopny_Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  55               <layoutConstraint xsi:type="notation:Bounds" xmi:id="_gjIqYjh5EfG1qtRGopny_Q"/>
  56             </children>
  57           </children>
  58           <children xsi:type="notation:Compartment" xmi:id="_gjIqYzh5EfG1qtRGopny_Q" type="StateFigureCompartment"/>
  59           <styles xsi:type="notation:ShapeStyle" xmi:id="_gjIqZDh5EfG1qtRGopny_Q" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
  60           <styles xsi:type="notation:FontStyle" xmi:id="_gjIqZTh5EfG1qtRGopny_Q"/>
  61           <styles xsi:type="notation:BooleanValueStyle" xmi:id="_gjIqZjh5EfG1qtRGopny_Q" name="isHorizontal" booleanValue="true"/>
  62           <layoutConstraint xsi:type="notation:Bounds" xmi:id="_gjIqZzh5EfG1qtRGopny_Q" x="359" y="183" width="144" height="53"/>
  63         </children>
  64         <children xmi:id="_JDPb4Dh6EfG1qtRGopny_Q" type="State" element="_JDQqADh6EfG1qtRGopny_Q">
  65           <children xsi:type="notation:DecorationNode" xmi:id="_JDPb4Th6EfG1qtRGopny_Q" type="StateName">
  66             <styles xsi:type="notation:ShapeStyle" xmi:id="_JDPb4jh6EfG1qtRGopny_Q"/>
  67             <layoutConstraint xsi:type="notation:Location" xmi:id="_JDPb4zh6EfG1qtRGopny_Q"/>
  68           </children>
  69           <children xsi:type="notation:Compartment" xmi:id="_JDPb5Dh6EfG1qtRGopny_Q" type="StateTextCompartment">
  70             <children xsi:type="notation:Shape" xmi:id="_JDPb5Th6EfG1qtRGopny_Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  71               <layoutConstraint xsi:type="notation:Bounds" xmi:id="_JDPb5jh6EfG1qtRGopny_Q"/>
  72             </children>
  73           </children>
  74           <children xsi:type="notation:Compartment" xmi:id="_JDPb5zh6EfG1qtRGopny_Q" type="StateFigureCompartment"/>
  75           <styles xsi:type="notation:ShapeStyle" xmi:id="_JDPb6Dh6EfG1qtRGopny_Q" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
  76           <styles xsi:type="notation:FontStyle" xmi:id="_JDPb6Th6EfG1qtRGopny_Q"/>
  77           <styles xsi:type="notation:BooleanValueStyle" xmi:id="_JDPb6jh6EfG1qtRGopny_Q" name="isHorizontal" booleanValue="true"/>
  78           <layoutConstraint xsi:type="notation:Bounds" xmi:id="_JDPb6zh6EfG1qtRGopny_Q" x="726" y="177" width="105" height="53"/>
  79         </children>
  80         <children xmi:id="_KijSgDh6EfG1qtRGopny_Q" type="State" element="_Kij5kDh6EfG1qtRGopny_Q">
  81           <children xsi:type="notation:DecorationNode" xmi:id="_KijSgTh6EfG1qtRGopny_Q" type="StateName">
  82             <styles xsi:type="notation:ShapeStyle" xmi:id="_KijSgjh6EfG1qtRGopny_Q"/>
  83             <layoutConstraint xsi:type="notation:Location" xmi:id="_KijSgzh6EfG1qtRGopny_Q"/>
  84           </children>
  85           <children xsi:type="notation:Compartment" xmi:id="_KijShDh6EfG1qtRGopny_Q" type="StateTextCompartment">
  86             <children xsi:type="notation:Shape" xmi:id="_KijShTh6EfG1qtRGopny_Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  87               <layoutConstraint xsi:type="notation:Bounds" xmi:id="_KijShjh6EfG1qtRGopny_Q"/>
  88             </children>
  89           </children>
  90           <children xsi:type="notation:Compartment" xmi:id="_KijShzh6EfG1qtRGopny_Q" type="StateFigureCompartment"/>
  91           <styles xsi:type="notation:ShapeStyle" xmi:id="_KijSiDh6EfG1qtRGopny_Q" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
  92           <styles xsi:type="notation:FontStyle" xmi:id="_KijSiTh6EfG1qtRGopny_Q"/>
  93           <styles xsi:type="notation:BooleanValueStyle" xmi:id="_KijSijh6EfG1qtRGopny_Q" name="isHorizontal" booleanValue="true"/>
  94           <layoutConstraint xsi:type="notation:Bounds" xmi:id="_KijSizh6EfG1qtRGopny_Q" x="83" y="183" width="105" height="53"/>
  95         </children>
  96         <children xmi:id="_qmJEEDqZEfG2H8hrWiFWzA" type="State" element="_qmJrLDqZEfG2H8hrWiFWzA">
  97           <children xsi:type="notation:DecorationNode" xmi:id="_qmJEETqZEfG2H8hrWiFWzA" type="StateName">
  98             <styles xsi:type="notation:ShapeStyle" xmi:id="_qmJEEjqZEfG2H8hrWiFWzA"/>
  99             <layoutConstraint xsi:type="notation:Location" xmi:id="_qmJEEzqZEfG2H8hrWiFWzA"/>
 100           </children>
 101           <children xsi:type="notation:Compartment" xmi:id="_qmJEFDqZEfG2H8hrWiFWzA" type="StateTextCompartment">
 102             <children xsi:type="notation:Shape" xmi:id="_qmJEFTqZEfG2H8hrWiFWzA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
 103               <layoutConstraint xsi:type="notation:Bounds" xmi:id="_qmJEFjqZEfG2H8hrWiFWzA"/>
 104             </children>
 105           </children>
 106           <children xsi:type="notation:Compartment" xmi:id="_qmJEFzqZEfG2H8hrWiFWzA" type="StateFigureCompartment"/>
 107           <styles xsi:type="notation:ShapeStyle" xmi:id="_qmJEGDqZEfG2H8hrWiFWzA" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
 108           <styles xsi:type="notation:FontStyle" xmi:id="_qmJEGTqZEfG2H8hrWiFWzA"/>
 109           <styles xsi:type="notation:BooleanValueStyle" xmi:id="_qmJEGjqZEfG2H8hrWiFWzA" name="isHorizontal" booleanValue="true"/>
 110           <layoutConstraint xsi:type="notation:Bounds" xmi:id="_qmJEGzqZEfG2H8hrWiFWzA" x="359" y="303" width="144" height="53"/>
 111         </children>
 112         <children xmi:id="_qmJrIDqZEfG2H8hrWiFWzA" type="State" element="_qmK5QDqZEfG2H8hrWiFWzA">
 113           <children xsi:type="notation:DecorationNode" xmi:id="_qmJrITqZEfG2H8hrWiFWzA" type="StateName">
 114             <styles xsi:type="notation:ShapeStyle" xmi:id="_qmJrIjqZEfG2H8hrWiFWzA"/>
 115             <layoutConstraint xsi:type="notation:Location" xmi:id="_qmJrIzqZEfG2H8hrWiFWzA"/>
 116           </children>
 117           <children xsi:type="notation:Compartment" xmi:id="_qmJrJDqZEfG2H8hrWiFWzA" type="StateTextCompartment">
 118             <children xsi:type="notation:Shape" xmi:id="_qmJrJTqZEfG2H8hrWiFWzA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
 119               <layoutConstraint xsi:type="notation:Bounds" xmi:id="_qmJrJjqZEfG2H8hrWiFWzA"/>
 120             </children>
 121           </children>
 122           <children xsi:type="notation:Compartment" xmi:id="_qmJrJzqZEfG2H8hrWiFWzA" type="StateFigureCompartment"/>
 123           <styles xsi:type="notation:ShapeStyle" xmi:id="_qmJrKDqZEfG2H8hrWiFWzA" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
 124           <styles xsi:type="notation:FontStyle" xmi:id="_qmJrKTqZEfG2H8hrWiFWzA"/>
 125           <styles xsi:type="notation:BooleanValueStyle" xmi:id="_qmJrKjqZEfG2H8hrWiFWzA" name="isHorizontal" booleanValue="true"/>
 126           <layoutConstraint xsi:type="notation:Bounds" xmi:id="_qmJrKzqZEfG2H8hrWiFWzA" x="83" y="303" width="105" height="53"/>
 127         </children>
 128         <children xmi:id="_rUILcTqZEfG2H8hrWiFWzA" type="State" element="_rUIygDqZEfG2H8hrWiFWzA">
 129           <children xsi:type="notation:DecorationNode" xmi:id="_rUILcjqZEfG2H8hrWiFWzA" type="StateName">
 130             <styles xsi:type="notation:ShapeStyle" xmi:id="_rUILczqZEfG2H8hrWiFWzA"/>
 131             <layoutConstraint xsi:type="notation:Location" xmi:id="_rUILdDqZEfG2H8hrWiFWzA"/>
 132           </children>
 133           <children xsi:type="notation:Compartment" xmi:id="_rUILdTqZEfG2H8hrWiFWzA" type="StateTextCompartment">
 134             <children xsi:type="notation:Shape" xmi:id="_rUILdjqZEfG2H8hrWiFWzA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
 135               <layoutConstraint xsi:type="notation:Bounds" xmi:id="_rUILdzqZEfG2H8hrWiFWzA"/>
 136             </children>
 137           </children>
 138           <children xsi:type="notation:Compartment" xmi:id="_rUILeDqZEfG2H8hrWiFWzA" type="StateFigureCompartment"/>
 139           <styles xsi:type="notation:ShapeStyle" xmi:id="_rUILeTqZEfG2H8hrWiFWzA" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
 140           <styles xsi:type="notation:FontStyle" xmi:id="_rUILejqZEfG2H8hrWiFWzA"/>
 141           <styles xsi:type="notation:BooleanValueStyle" xmi:id="_rUILezqZEfG2H8hrWiFWzA" name="isHorizontal" booleanValue="true"/>
 142           <layoutConstraint xsi:type="notation:Bounds" xmi:id="_rUILfDqZEfG2H8hrWiFWzA" x="726" y="303" width="105" height="53"/>
 143         </children>
 144         <layoutConstraint xsi:type="notation:Bounds" xmi:id="_gjIqaDh5EfG1qtRGopny_Q"/>
 145       </children>
 146       <styles xsi:type="notation:ShapeStyle" xmi:id="_gjIqaTh5EfG1qtRGopny_Q" fontName="Verdana" fillColor="16448250" lineColor="12632256"/>
 147       <layoutConstraint xsi:type="notation:Bounds" xmi:id="_gjIqajh5EfG1qtRGopny_Q" x="278" width="957" height="703"/>
 148     </children>
 149     <children xsi:type="notation:Shape" xmi:id="_gjIqazh5EfG1qtRGopny_Q" type="StatechartText" fontName="Verdana" lineColor="4210752">
 150       <children xsi:type="notation:DecorationNode" xmi:id="_gjIqbDh5EfG1qtRGopny_Q" type="StatechartName">
 151         <styles xsi:type="notation:ShapeStyle" xmi:id="_gjIqbTh5EfG1qtRGopny_Q"/>
 152         <layoutConstraint xsi:type="notation:Location" xmi:id="_gjIqbjh5EfG1qtRGopny_Q"/>
 153       </children>
 154       <children xsi:type="notation:Shape" xmi:id="_gjIqbzh5EfG1qtRGopny_Q" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
 155         <layoutConstraint xsi:type="notation:Bounds" xmi:id="_gjIqcDh5EfG1qtRGopny_Q"/>
 156       </children>
 157       <layoutConstraint xsi:type="notation:Bounds" xmi:id="_gjIqcTh5EfG1qtRGopny_Q" x="13" width="200" height="400"/>
 158     </children>
 159     <styles xsi:type="notation:BooleanValueStyle" xmi:id="_gjIqcjh5EfG1qtRGopny_Q" name="inlineDefinitionSection"/>
 160     <styles xsi:type="notation:DiagramStyle" xmi:id="_gjIqczh5EfG1qtRGopny_Q"/>
 161     <edges xmi:id="_R0-XQDh6EfG1qtRGopny_Q" type="Transition" element="_R00mQDh6EfG1qtRGopny_Q" source="_gjIqRjh5EfG1qtRGopny_Q" target="_KijSgDh6EfG1qtRGopny_Q">
 162       <children xsi:type="notation:DecorationNode" xmi:id="_R1AzgDh6EfG1qtRGopny_Q" type="TransitionExpression">
 163         <styles xsi:type="notation:ShapeStyle" xmi:id="_R1AzgTh6EfG1qtRGopny_Q"/>
 164         <layoutConstraint xsi:type="notation:Location" xmi:id="_R1BakDh6EfG1qtRGopny_Q" x="-6" y="10"/>
 165       </children>
 166       <styles xsi:type="notation:ConnectorStyle" xmi:id="_R0-XQTh6EfG1qtRGopny_Q" routing="Rectilinear" lineColor="4210752"/>
 167       <styles xsi:type="notation:FontStyle" xmi:id="_R0_lYDh6EfG1qtRGopny_Q" fontName="Verdana"/>
 168       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_R0-XQjh6EfG1qtRGopny_Q" points="[12, 6, -63, -3]$[49, 6, -26, -3]"/>
 169       <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_R1IIQDh6EfG1qtRGopny_Q" id="(0.13333333333333333,0.06666666666666667)"/>
 170       <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_R1IIQTh6EfG1qtRGopny_Q" id="(0.24761904761904763,0.5471698113207547)"/>
 171     </edges>
 172     <edges xmi:id="_TPWqkDh6EfG1qtRGopny_Q" type="Transition" element="_TPUOUDh6EfG1qtRGopny_Q" source="_KijSgDh6EfG1qtRGopny_Q" target="_gjIqXDh5EfG1qtRGopny_Q">
 173       <children xsi:type="notation:DecorationNode" xmi:id="_TPXRoTh6EfG1qtRGopny_Q" type="TransitionExpression">
 174         <styles xsi:type="notation:ShapeStyle" xmi:id="_TPXRojh6EfG1qtRGopny_Q" fontName="Monospace" fontHeight="8"/>
 175         <layoutConstraint xsi:type="notation:Location" xmi:id="_TPX4sDh6EfG1qtRGopny_Q" x="-5" y="-18"/>
 176       </children>
 177       <styles xsi:type="notation:ConnectorStyle" xmi:id="_TPWqkTh6EfG1qtRGopny_Q" routing="Rectilinear" lineColor="4210752"/>
 178       <styles xsi:type="notation:FontStyle" xmi:id="_TPXRoDh6EfG1qtRGopny_Q" fontName="Verdana"/>
 179       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_TPWqkjh6EfG1qtRGopny_Q" points="[1, -2, -243, 1]$[172, -2, -72, 1]"/>
 180       <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_TPbjEDh6EfG1qtRGopny_Q" id="(0.9904761904761905,0.5471698113207547)"/>
 181     </edges>
 182     <edges xmi:id="_UpxaIDh6EfG1qtRGopny_Q" type="Transition" element="_Upvk8Dh6EfG1qtRGopny_Q" source="_gjIqXDh5EfG1qtRGopny_Q" target="_JDPb4Dh6EfG1qtRGopny_Q">
 183       <children xsi:type="notation:DecorationNode" xmi:id="_UpyBMTh6EfG1qtRGopny_Q" type="TransitionExpression">
 184         <styles xsi:type="notation:ShapeStyle" xmi:id="_UpyBMjh6EfG1qtRGopny_Q"/>
 185         <layoutConstraint xsi:type="notation:Location" xmi:id="_UpyBMzh6EfG1qtRGopny_Q" x="-4" y="-13"/>
 186       </children>
 187       <styles xsi:type="notation:ConnectorStyle" xmi:id="_UpxaITh6EfG1qtRGopny_Q" routing="Rectilinear" lineColor="4210752"/>
 188       <styles xsi:type="notation:FontStyle" xmi:id="_UpyBMDh6EfG1qtRGopny_Q" fontName="Verdana"/>
 189       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_UpxaIjh6EfG1qtRGopny_Q" points="[5, -4, -233, 4]$[228, -4, -10, 4]"/>
 190       <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Up2SoDh6EfG1qtRGopny_Q" id="(0.9714285714285714,0.49056603773584906)"/>
 191       <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Up2SoTh6EfG1qtRGopny_Q" id="(0.09523809523809523,0.4528301886792453)"/>
 192     </edges>
 193     <edges xmi:id="_uN2xoDqZEfG2H8hrWiFWzA" type="Transition" element="_uN0VYDqZEfG2H8hrWiFWzA" source="_JDPb4Dh6EfG1qtRGopny_Q" target="_rUILcTqZEfG2H8hrWiFWzA">
 194       <children xsi:type="notation:DecorationNode" xmi:id="_uN2xpDqZEfG2H8hrWiFWzA" type="TransitionExpression">
 195         <styles xsi:type="notation:ShapeStyle" xmi:id="_uN2xpTqZEfG2H8hrWiFWzA"/>
 196         <layoutConstraint xsi:type="notation:Location" xmi:id="_uN3YsDqZEfG2H8hrWiFWzA" x="-7" y="94"/>
 197       </children>
 198       <styles xsi:type="notation:ConnectorStyle" xmi:id="_uN2xoTqZEfG2H8hrWiFWzA" routing="Rectilinear" lineColor="4210752"/>
 199       <styles xsi:type="notation:FontStyle" xmi:id="_uN2xozqZEfG2H8hrWiFWzA" fontName="Verdana"/>
 200       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_uN2xojqZEfG2H8hrWiFWzA" points="[0, 0, 7, -129]$[-11, 163, -4, 34]"/>
 201       <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_uN3_wDqZEfG2H8hrWiFWzA" id="(0.5523809523809524,1.0)"/>
 202     </edges>
 203     <edges xmi:id="_u60lUDqZEfG2H8hrWiFWzA" type="Transition" element="_u6z-QDqZEfG2H8hrWiFWzA" source="_rUILcTqZEfG2H8hrWiFWzA" target="_qmJEEDqZEfG2H8hrWiFWzA">
 204       <children xsi:type="notation:DecorationNode" xmi:id="_u61MYTqZEfG2H8hrWiFWzA" type="TransitionExpression">
 205         <styles xsi:type="notation:ShapeStyle" xmi:id="_u61MYjqZEfG2H8hrWiFWzA"/>
 206         <layoutConstraint xsi:type="notation:Location" xmi:id="_u61MYzqZEfG2H8hrWiFWzA" y="10"/>
 207       </children>
 208       <styles xsi:type="notation:ConnectorStyle" xmi:id="_u60lUTqZEfG2H8hrWiFWzA" routing="Rectilinear" lineColor="4210752"/>
 209       <styles xsi:type="notation:FontStyle" xmi:id="_u61MYDqZEfG2H8hrWiFWzA" fontName="Verdana"/>
 210       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_u60lUjqZEfG2H8hrWiFWzA" points="[-68, -2, 383, -2]$[-358, -2, 93, -2]"/>
 211     </edges>
 212     <edges xmi:id="_vbb_EDqZEfG2H8hrWiFWzA" type="Transition" element="_vbaw8DqZEfG2H8hrWiFWzA" source="_qmJrIDqZEfG2H8hrWiFWzA" target="_KijSgDh6EfG1qtRGopny_Q">
 213       <children xsi:type="notation:DecorationNode" xmi:id="_vbb_FDqZEfG2H8hrWiFWzA" type="TransitionExpression">
 214         <styles xsi:type="notation:ShapeStyle" xmi:id="_vbb_FTqZEfG2H8hrWiFWzA"/>
 215         <layoutConstraint xsi:type="notation:Location" xmi:id="_vbb_FjqZEfG2H8hrWiFWzA" x="7" y="85"/>
 216       </children>
 217       <styles xsi:type="notation:ConnectorStyle" xmi:id="_vbb_ETqZEfG2H8hrWiFWzA" routing="Rectilinear" lineColor="4210752"/>
 218       <styles xsi:type="notation:FontStyle" xmi:id="_vbb_EzqZEfG2H8hrWiFWzA" fontName="Verdana"/>
 219       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_vbb_EjqZEfG2H8hrWiFWzA" points="[2, -35, 2, 121]$[2, -122, 2, 34]"/>
 220     </edges>
 221     <edges xmi:id="_VMWmkDqaEfG2H8hrWiFWzA" type="Transition" element="_VMV_gDqaEfG2H8hrWiFWzA" source="_qmJEEDqZEfG2H8hrWiFWzA" target="_qmJrIDqZEfG2H8hrWiFWzA">
 222       <children xsi:type="notation:DecorationNode" xmi:id="_VMWmlDqaEfG2H8hrWiFWzA" type="TransitionExpression">
 223         <styles xsi:type="notation:ShapeStyle" xmi:id="_VMWmlTqaEfG2H8hrWiFWzA"/>
 224         <layoutConstraint xsi:type="notation:Location" xmi:id="_VMWmljqaEfG2H8hrWiFWzA" y="10"/>
 225       </children>
 226       <styles xsi:type="notation:ConnectorStyle" xmi:id="_VMWmkTqaEfG2H8hrWiFWzA" routing="Rectilinear" lineColor="4210752"/>
 227       <styles xsi:type="notation:FontStyle" xmi:id="_VMWmkzqaEfG2H8hrWiFWzA" fontName="Verdana"/>
 228       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_VMWmkjqaEfG2H8hrWiFWzA" points="[-40, 8, 291, 3]$[-321, 39, 10, 34]"/>
 229       <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_VMX0sDqaEfG2H8hrWiFWzA" id="(0.2152777777777778,0.4339622641509434)"/>
 230     </edges>
 231   </notation:Diagram>
 232 </xmi:XMI>