SC23-StartingPoint/exercises/D.ysc

<?xml version="1.0" encoding="UTF-8"?>
<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">
  <sgraph:Statechart xmi:id="_Zj_B0I-JEe6T3aFB4BWOHg" specification="@EventDriven&#xA;@SuperSteps(no)&#xA;&#xA;interface:&#xA;&#x9;var x: integer = 0" name="D">
    <regions xmi:id="_N9tACY_MEe6T3aFB4BWOHg" name="main region">
      <vertices xsi:type="sgraph:State" xmi:id="_QsHt0I_MEe6T3aFB4BWOHg" name="Orthogonal" incomingTransitions="_k403sI_MEe6T3aFB4BWOHg">
        <regions xmi:id="_QsIU4o_MEe6T3aFB4BWOHg" name="r1">
          <vertices xsi:type="sgraph:State" xmi:id="_N9tACo_MEe6T3aFB4BWOHg" name="Temp" incomingTransitions="_N9tm54_MEe6T3aFB4BWOHg">
            <outgoingTransitions xmi:id="_N9tm0Y_MEe6T3aFB4BWOHg" specification="[x==0]" target="_N9tm34_MEe6T3aFB4BWOHg"/>
            <outgoingTransitions xmi:id="_N9tm2I_MEe6T3aFB4BWOHg" specification="[x==1]" target="_N9tm4Y_MEe6T3aFB4BWOHg"/>
          </vertices>
          <vertices xsi:type="sgraph:Entry" xmi:id="_N9tm44_MEe6T3aFB4BWOHg">
            <outgoingTransitions xmi:id="_N9tm5I_MEe6T3aFB4BWOHg" specification="" target="_N9tm5Y_MEe6T3aFB4BWOHg"/>
          </vertices>
          <vertices xsi:type="sgraph:State" xmi:id="_N9tm4Y_MEe6T3aFB4BWOHg" name="One" incomingTransitions="_N9tm2I_MEe6T3aFB4BWOHg"/>
          <vertices xsi:type="sgraph:State" xmi:id="_N9tm5Y_MEe6T3aFB4BWOHg" name="Initial" incomingTransitions="_N9tm5I_MEe6T3aFB4BWOHg">
            <outgoingTransitions xmi:id="_N9tm54_MEe6T3aFB4BWOHg" specification="after 1s / x += 1" target="_N9tACo_MEe6T3aFB4BWOHg"/>
          </vertices>
          <vertices xsi:type="sgraph:State" xmi:id="_N9tm34_MEe6T3aFB4BWOHg" name="Zero" incomingTransitions="_N9tm0Y_MEe6T3aFB4BWOHg"/>
        </regions>
        <regions xmi:id="_QsIU44_MEe6T3aFB4BWOHg" name="r2">
          <vertices xsi:type="sgraph:State" xmi:id="_TQfIAI_MEe6T3aFB4BWOHg" name="S" incomingTransitions="_TwoAoI_MEe6T3aFB4BWOHg">
            <outgoingTransitions xmi:id="_U0c1II_MEe6T3aFB4BWOHg" specification="after 5s" target="_WFfmQI_MEe6T3aFB4BWOHg"/>
          </vertices>
          <vertices xsi:type="sgraph:Entry" xmi:id="_TdK5II_MEe6T3aFB4BWOHg">
            <outgoingTransitions xmi:id="_TwoAoI_MEe6T3aFB4BWOHg" specification="" target="_TQfIAI_MEe6T3aFB4BWOHg"/>
          </vertices>
          <vertices xsi:type="sgraph:State" xmi:id="_WFfmQI_MEe6T3aFB4BWOHg" name="T" incomingTransitions="_U0c1II_MEe6T3aFB4BWOHg"/>
        </regions>
      </vertices>
      <vertices xsi:type="sgraph:Entry" xmi:id="_kkXqoI_MEe6T3aFB4BWOHg">
        <outgoingTransitions xmi:id="_k403sI_MEe6T3aFB4BWOHg" specification="" target="_QsHt0I_MEe6T3aFB4BWOHg"/>
      </vertices>
    </regions>
  </sgraph:Statechart>
  <notation:Diagram xmi:id="_ZkIy0I-JEe6T3aFB4BWOHg" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_Zj_B0I-JEe6T3aFB4BWOHg" measurementUnit="Pixel">
    <children xsi:type="notation:Shape" xmi:id="_ZkIy-4-JEe6T3aFB4BWOHg" type="StatechartText" fontName="Verdana" lineColor="4210752">
      <children xsi:type="notation:DecorationNode" xmi:id="_ZkIy_I-JEe6T3aFB4BWOHg" type="StatechartName">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_ZkIy_Y-JEe6T3aFB4BWOHg"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_ZkIy_o-JEe6T3aFB4BWOHg"/>
      </children>
      <children xsi:type="notation:Shape" xmi:id="_ZkIy_4-JEe6T3aFB4BWOHg" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ZkIzAI-JEe6T3aFB4BWOHg"/>
      </children>
      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ZkIzAY-JEe6T3aFB4BWOHg" x="10" y="10" width="200" height="400"/>
    </children>
    <children xmi:id="_N9s_wY_MEe6T3aFB4BWOHg" type="Region" element="_N9tACY_MEe6T3aFB4BWOHg">
      <children xsi:type="notation:DecorationNode" xmi:id="_N9s_wo_MEe6T3aFB4BWOHg" type="RegionName">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_N9s_w4_MEe6T3aFB4BWOHg"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_N9s_xI_MEe6T3aFB4BWOHg"/>
      </children>
      <children xsi:type="notation:Shape" xmi:id="_N9s_xY_MEe6T3aFB4BWOHg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
        <children xsi:type="notation:Shape" xmi:id="_N9tAAI_MEe6T3aFB4BWOHg" type="Note" fontName="Verdana" description="1) Run the simulation. What happens at time == 5s ?&#xA;2) Explain." fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
          <children xsi:type="notation:BasicDecorationNode" xmi:id="_N9tAAY_MEe6T3aFB4BWOHg" type="DiagramName">
            <element xsi:nil="true"/>
          </children>
          <children xsi:type="notation:BasicDecorationNode" xmi:id="_N9tAAo_MEe6T3aFB4BWOHg" type="Description">
            <element xsi:nil="true"/>
          </children>
          <styles xsi:type="notation:TextStyle" xmi:id="_N9tAA4_MEe6T3aFB4BWOHg"/>
          <styles xsi:type="notation:LineTypeStyle" xmi:id="_N9tABI_MEe6T3aFB4BWOHg"/>
          <element xsi:nil="true"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_N9tABY_MEe6T3aFB4BWOHg" x="424" y="411" width="337" height="88"/>
        </children>
        <children xmi:id="_QsI78I_MEe6T3aFB4BWOHg" type="State" element="_QsHt0I_MEe6T3aFB4BWOHg">
          <children xsi:type="notation:DecorationNode" xmi:id="_QsJjAI_MEe6T3aFB4BWOHg" type="StateName">
            <styles xsi:type="notation:ShapeStyle" xmi:id="_QsJjAY_MEe6T3aFB4BWOHg"/>
            <layoutConstraint xsi:type="notation:Location" xmi:id="_QsJjAo_MEe6T3aFB4BWOHg"/>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_QsJjA4_MEe6T3aFB4BWOHg" type="StateTextCompartment">
            <children xsi:type="notation:Shape" xmi:id="_QsJjBI_MEe6T3aFB4BWOHg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_QsJjBY_MEe6T3aFB4BWOHg"/>
            </children>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_QsJjBo_MEe6T3aFB4BWOHg" type="StateFigureCompartment">
            <children xmi:id="_QsKxII_MEe6T3aFB4BWOHg" type="Region" element="_QsIU4o_MEe6T3aFB4BWOHg">
              <children xsi:type="notation:DecorationNode" xmi:id="_QsKxI4_MEe6T3aFB4BWOHg" type="RegionName">
                <styles xsi:type="notation:ShapeStyle" xmi:id="_QsLYMI_MEe6T3aFB4BWOHg"/>
                <layoutConstraint xsi:type="notation:Location" xmi:id="_QsLYMY_MEe6T3aFB4BWOHg"/>
              </children>
              <children xsi:type="notation:Shape" xmi:id="_QsLYMo_MEe6T3aFB4BWOHg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
                <children xmi:id="_N9s_xo_MEe6T3aFB4BWOHg" type="State" element="_N9tACo_MEe6T3aFB4BWOHg">
                  <children xsi:type="notation:DecorationNode" xmi:id="_N9s_x4_MEe6T3aFB4BWOHg" type="StateName">
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_N9s_yI_MEe6T3aFB4BWOHg"/>
                    <layoutConstraint xsi:type="notation:Location" xmi:id="_N9s_yY_MEe6T3aFB4BWOHg"/>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_N9s_yo_MEe6T3aFB4BWOHg" type="StateTextCompartment">
                    <children xsi:type="notation:Shape" xmi:id="_N9s_y4_MEe6T3aFB4BWOHg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_N9s_zI_MEe6T3aFB4BWOHg"/>
                    </children>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_N9s_zY_MEe6T3aFB4BWOHg" type="StateFigureCompartment"/>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_N9s_zo_MEe6T3aFB4BWOHg" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
                  <styles xsi:type="notation:FontStyle" xmi:id="_N9s_z4_MEe6T3aFB4BWOHg"/>
                  <styles xsi:type="notation:BooleanValueStyle" xmi:id="_N9s_0I_MEe6T3aFB4BWOHg" name="isHorizontal" booleanValue="true"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_N9s_0Y_MEe6T3aFB4BWOHg" x="236" y="88" width="68" height="53"/>
                </children>
                <children xmi:id="_N9s_6o_MEe6T3aFB4BWOHg" type="Entry" element="_N9tm44_MEe6T3aFB4BWOHg">
                  <children xmi:id="_N9s_64_MEe6T3aFB4BWOHg" type="BorderItemLabelContainer">
                    <children xsi:type="notation:DecorationNode" xmi:id="_N9s_7I_MEe6T3aFB4BWOHg" type="BorderItemLabel">
                      <styles xsi:type="notation:ShapeStyle" xmi:id="_N9s_7Y_MEe6T3aFB4BWOHg"/>
                      <layoutConstraint xsi:type="notation:Location" xmi:id="_N9s_7o_MEe6T3aFB4BWOHg"/>
                    </children>
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_N9s_74_MEe6T3aFB4BWOHg" fontName="Verdana" lineColor="4210752"/>
                    <layoutConstraint xsi:type="notation:Bounds" xmi:id="_N9s_8I_MEe6T3aFB4BWOHg"/>
                  </children>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_N9s_8Y_MEe6T3aFB4BWOHg" fontName="Verdana" fillColor="0" lineColor="16777215"/>
                  <styles xsi:type="notation:NamedStyle" xmi:id="_N9s_8o_MEe6T3aFB4BWOHg" name="allowColors"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_N9s_84_MEe6T3aFB4BWOHg" x="27" y="29" width="15" height="15"/>
                </children>
                <children xmi:id="_N9s_3o_MEe6T3aFB4BWOHg" type="State" element="_N9tm4Y_MEe6T3aFB4BWOHg">
                  <children xsi:type="notation:DecorationNode" xmi:id="_N9s_34_MEe6T3aFB4BWOHg" type="StateName">
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_N9s_4I_MEe6T3aFB4BWOHg"/>
                    <layoutConstraint xsi:type="notation:Location" xmi:id="_N9s_4Y_MEe6T3aFB4BWOHg"/>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_N9s_4o_MEe6T3aFB4BWOHg" type="StateTextCompartment">
                    <children xsi:type="notation:Shape" xmi:id="_N9s_44_MEe6T3aFB4BWOHg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_N9s_5I_MEe6T3aFB4BWOHg"/>
                    </children>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_N9s_5Y_MEe6T3aFB4BWOHg" type="StateFigureCompartment"/>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_N9s_5o_MEe6T3aFB4BWOHg" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
                  <styles xsi:type="notation:FontStyle" xmi:id="_N9s_54_MEe6T3aFB4BWOHg"/>
                  <styles xsi:type="notation:BooleanValueStyle" xmi:id="_N9s_6I_MEe6T3aFB4BWOHg" name="isHorizontal" booleanValue="true"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_N9s_6Y_MEe6T3aFB4BWOHg" x="457" y="161" width="40" height="53"/>
                </children>
                <children xmi:id="_N9s_9I_MEe6T3aFB4BWOHg" type="State" element="_N9tm5Y_MEe6T3aFB4BWOHg">
                  <children xsi:type="notation:DecorationNode" xmi:id="_N9s_9Y_MEe6T3aFB4BWOHg" type="StateName">
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_N9s_9o_MEe6T3aFB4BWOHg"/>
                    <layoutConstraint xsi:type="notation:Location" xmi:id="_N9s_94_MEe6T3aFB4BWOHg"/>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_N9s_-I_MEe6T3aFB4BWOHg" type="StateTextCompartment">
                    <children xsi:type="notation:Shape" xmi:id="_N9s_-Y_MEe6T3aFB4BWOHg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_N9s_-o_MEe6T3aFB4BWOHg"/>
                    </children>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_N9s_-4_MEe6T3aFB4BWOHg" type="StateFigureCompartment"/>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_N9s__I_MEe6T3aFB4BWOHg" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
                  <styles xsi:type="notation:FontStyle" xmi:id="_N9s__Y_MEe6T3aFB4BWOHg"/>
                  <styles xsi:type="notation:BooleanValueStyle" xmi:id="_N9s__o_MEe6T3aFB4BWOHg" name="isHorizontal" booleanValue="true"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_N9s__4_MEe6T3aFB4BWOHg" x="22" y="81" width="50" height="53"/>
                </children>
                <children xmi:id="_N9s_0o_MEe6T3aFB4BWOHg" type="State" element="_N9tm34_MEe6T3aFB4BWOHg">
                  <children xsi:type="notation:DecorationNode" xmi:id="_N9s_04_MEe6T3aFB4BWOHg" type="StateName">
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_N9s_1I_MEe6T3aFB4BWOHg"/>
                    <layoutConstraint xsi:type="notation:Location" xmi:id="_N9s_1Y_MEe6T3aFB4BWOHg"/>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_N9s_1o_MEe6T3aFB4BWOHg" type="StateTextCompartment">
                    <children xsi:type="notation:Shape" xmi:id="_N9s_14_MEe6T3aFB4BWOHg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_N9s_2I_MEe6T3aFB4BWOHg"/>
                    </children>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_N9s_2Y_MEe6T3aFB4BWOHg" type="StateFigureCompartment"/>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_N9s_2o_MEe6T3aFB4BWOHg" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
                  <styles xsi:type="notation:FontStyle" xmi:id="_N9s_24_MEe6T3aFB4BWOHg"/>
                  <styles xsi:type="notation:BooleanValueStyle" xmi:id="_N9s_3I_MEe6T3aFB4BWOHg" name="isHorizontal" booleanValue="true"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_N9s_3Y_MEe6T3aFB4BWOHg" x="452" y="49" width="40" height="53"/>
                </children>
                <layoutConstraint xsi:type="notation:Bounds" xmi:id="_QsLYM4_MEe6T3aFB4BWOHg"/>
              </children>
              <styles xsi:type="notation:ShapeStyle" xmi:id="_QsKxIY_MEe6T3aFB4BWOHg" fontName="Verdana" fillColor="16448250" lineColor="12632256"/>
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_QsKxIo_MEe6T3aFB4BWOHg"/>
            </children>
            <children xmi:id="_QsLYNI_MEe6T3aFB4BWOHg" type="Region" element="_QsIU44_MEe6T3aFB4BWOHg">
              <children xsi:type="notation:DecorationNode" xmi:id="_QsLYN4_MEe6T3aFB4BWOHg" type="RegionName">
                <styles xsi:type="notation:ShapeStyle" xmi:id="_QsLYOI_MEe6T3aFB4BWOHg"/>
                <layoutConstraint xsi:type="notation:Location" xmi:id="_QsLYOY_MEe6T3aFB4BWOHg"/>
              </children>
              <children xsi:type="notation:Shape" xmi:id="_QsLYOo_MEe6T3aFB4BWOHg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
                <children xmi:id="_TQfvEI_MEe6T3aFB4BWOHg" type="State" element="_TQfIAI_MEe6T3aFB4BWOHg">
                  <children xsi:type="notation:DecorationNode" xmi:id="_TQfvFI_MEe6T3aFB4BWOHg" type="StateName">
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_TQfvFY_MEe6T3aFB4BWOHg"/>
                    <layoutConstraint xsi:type="notation:Location" xmi:id="_TQfvFo_MEe6T3aFB4BWOHg"/>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_TQfvF4_MEe6T3aFB4BWOHg" type="StateTextCompartment">
                    <children xsi:type="notation:Shape" xmi:id="_TQfvGI_MEe6T3aFB4BWOHg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_TQfvGY_MEe6T3aFB4BWOHg"/>
                    </children>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_TQfvGo_MEe6T3aFB4BWOHg" type="StateFigureCompartment"/>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_TQfvEY_MEe6T3aFB4BWOHg" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
                  <styles xsi:type="notation:FontStyle" xmi:id="_TQfvEo_MEe6T3aFB4BWOHg"/>
                  <styles xsi:type="notation:BooleanValueStyle" xmi:id="_TQfvG4_MEe6T3aFB4BWOHg" name="isHorizontal" booleanValue="true"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_TQfvE4_MEe6T3aFB4BWOHg" x="110" y="84" width="40" height="53"/>
                </children>
                <children xmi:id="_TdMHQI_MEe6T3aFB4BWOHg" type="Entry" element="_TdK5II_MEe6T3aFB4BWOHg">
                  <children xmi:id="_TdMHRI_MEe6T3aFB4BWOHg" type="BorderItemLabelContainer">
                    <children xsi:type="notation:DecorationNode" xmi:id="_TdMHR4_MEe6T3aFB4BWOHg" type="BorderItemLabel">
                      <styles xsi:type="notation:ShapeStyle" xmi:id="_TdMHSI_MEe6T3aFB4BWOHg"/>
                      <layoutConstraint xsi:type="notation:Location" xmi:id="_TdMHSY_MEe6T3aFB4BWOHg"/>
                    </children>
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_TdMHRY_MEe6T3aFB4BWOHg" fontName="Verdana" lineColor="4210752"/>
                    <layoutConstraint xsi:type="notation:Bounds" xmi:id="_TdMHRo_MEe6T3aFB4BWOHg"/>
                  </children>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_TdMHQY_MEe6T3aFB4BWOHg" fontName="Verdana" fillColor="0" lineColor="16777215"/>
                  <styles xsi:type="notation:NamedStyle" xmi:id="_TdMHQo_MEe6T3aFB4BWOHg" name="allowColors"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_TdMHQ4_MEe6T3aFB4BWOHg" x="122" y="48" width="15" height="15"/>
                </children>
                <children xmi:id="_WFgNUI_MEe6T3aFB4BWOHg" type="State" element="_WFfmQI_MEe6T3aFB4BWOHg">
                  <children xsi:type="notation:DecorationNode" xmi:id="_WFg0YI_MEe6T3aFB4BWOHg" type="StateName">
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_WFg0YY_MEe6T3aFB4BWOHg"/>
                    <layoutConstraint xsi:type="notation:Location" xmi:id="_WFg0Yo_MEe6T3aFB4BWOHg"/>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_WFg0Y4_MEe6T3aFB4BWOHg" type="StateTextCompartment">
                    <children xsi:type="notation:Shape" xmi:id="_WFg0ZI_MEe6T3aFB4BWOHg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WFg0ZY_MEe6T3aFB4BWOHg"/>
                    </children>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_WFg0Zo_MEe6T3aFB4BWOHg" type="StateFigureCompartment"/>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_WFgNUY_MEe6T3aFB4BWOHg" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
                  <styles xsi:type="notation:FontStyle" xmi:id="_WFgNUo_MEe6T3aFB4BWOHg"/>
                  <styles xsi:type="notation:BooleanValueStyle" xmi:id="_WFg0Z4_MEe6T3aFB4BWOHg" name="isHorizontal" booleanValue="true"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WFgNU4_MEe6T3aFB4BWOHg" x="110" y="196" width="40" height="53"/>
                </children>
                <layoutConstraint xsi:type="notation:Bounds" xmi:id="_QsLYO4_MEe6T3aFB4BWOHg"/>
              </children>
              <styles xsi:type="notation:ShapeStyle" xmi:id="_QsLYNY_MEe6T3aFB4BWOHg" fontName="Verdana" fillColor="16448250" lineColor="12632256"/>
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_QsLYNo_MEe6T3aFB4BWOHg"/>
            </children>
          </children>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_QsI78Y_MEe6T3aFB4BWOHg" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
          <styles xsi:type="notation:FontStyle" xmi:id="_QsI78o_MEe6T3aFB4BWOHg"/>
          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_QsJjB4_MEe6T3aFB4BWOHg" name="isHorizontal" booleanValue="true"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_QsI784_MEe6T3aFB4BWOHg" x="80" y="9" width="1046" height="365"/>
        </children>
        <children xmi:id="_kkY4wI_MEe6T3aFB4BWOHg" type="Entry" element="_kkXqoI_MEe6T3aFB4BWOHg">
          <children xmi:id="_kkY4xI_MEe6T3aFB4BWOHg" type="BorderItemLabelContainer">
            <children xsi:type="notation:DecorationNode" xmi:id="_kkY4x4_MEe6T3aFB4BWOHg" type="BorderItemLabel">
              <styles xsi:type="notation:ShapeStyle" xmi:id="_kkY4yI_MEe6T3aFB4BWOHg"/>
              <layoutConstraint xsi:type="notation:Location" xmi:id="_kkZf0I_MEe6T3aFB4BWOHg"/>
            </children>
            <styles xsi:type="notation:ShapeStyle" xmi:id="_kkY4xY_MEe6T3aFB4BWOHg" fontName="Verdana" lineColor="4210752"/>
            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_kkY4xo_MEe6T3aFB4BWOHg"/>
          </children>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_kkY4wY_MEe6T3aFB4BWOHg" fontName="Verdana" fillColor="0" lineColor="16777215"/>
          <styles xsi:type="notation:NamedStyle" xmi:id="_kkY4wo_MEe6T3aFB4BWOHg" name="allowColors"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_kkY4w4_MEe6T3aFB4BWOHg" x="34" y="42"/>
        </children>
        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_N9tABo_MEe6T3aFB4BWOHg"/>
      </children>
      <styles xsi:type="notation:ShapeStyle" xmi:id="_N9tAB4_MEe6T3aFB4BWOHg" fontName="Verdana" fillColor="16448250" lineColor="12632256"/>
      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_N9tACI_MEe6T3aFB4BWOHg" x="66" y="24" width="1228" height="586"/>
    </children>
    <styles xsi:type="notation:BooleanValueStyle" xmi:id="_ZkIzAo-JEe6T3aFB4BWOHg" name="inlineDefinitionSection"/>
    <styles xsi:type="notation:DiagramStyle" xmi:id="_ZkIzA4-JEe6T3aFB4BWOHg"/>
    <edges xmi:id="_N9uN4I_MEe6T3aFB4BWOHg" type="Transition" element="_N9tm5I_MEe6T3aFB4BWOHg" source="_N9s_6o_MEe6T3aFB4BWOHg" target="_N9s_9I_MEe6T3aFB4BWOHg">
      <children xsi:type="notation:DecorationNode" xmi:id="_N9uN4Y_MEe6T3aFB4BWOHg" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_N9uN4o_MEe6T3aFB4BWOHg"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_N9uN44_MEe6T3aFB4BWOHg" x="6"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_N9uN5I_MEe6T3aFB4BWOHg" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_N9uN5Y_MEe6T3aFB4BWOHg" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_N9uN5o_MEe6T3aFB4BWOHg" points="[1, 6, -12, -65]$[1, 45, -12, -26]"/>
    </edges>
    <edges xmi:id="_N9uN54_MEe6T3aFB4BWOHg" type="Transition" element="_N9tm0Y_MEe6T3aFB4BWOHg" source="_N9s_xo_MEe6T3aFB4BWOHg" target="_N9s_0o_MEe6T3aFB4BWOHg">
      <children xsi:type="notation:DecorationNode" xmi:id="_N9uN6I_MEe6T3aFB4BWOHg" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_N9uN6Y_MEe6T3aFB4BWOHg"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_N9uN6o_MEe6T3aFB4BWOHg" x="13" y="-35"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_N9uN64_MEe6T3aFB4BWOHg" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_N9uN7I_MEe6T3aFB4BWOHg" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_N9uN7Y_MEe6T3aFB4BWOHg" points="[5, -5, -164, 45]$[78, -5, -91, 45]$[78, -54, -91, -4]$[153, -54, -16, -4]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_N9uN7o_MEe6T3aFB4BWOHg" id="(0.94,0.39622641509433965)"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_N9uN74_MEe6T3aFB4BWOHg" id="(0.4,0.18867924528301888)"/>
    </edges>
    <edges xmi:id="_N9uN8I_MEe6T3aFB4BWOHg" type="Transition" element="_N9tm2I_MEe6T3aFB4BWOHg" source="_N9s_xo_MEe6T3aFB4BWOHg" target="_N9s_3o_MEe6T3aFB4BWOHg">
      <children xsi:type="notation:DecorationNode" xmi:id="_N9uN8Y_MEe6T3aFB4BWOHg" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_N9uN8o_MEe6T3aFB4BWOHg"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_N9uN84_MEe6T3aFB4BWOHg" x="12" y="30"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_N9uN9I_MEe6T3aFB4BWOHg" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_N9uN9Y_MEe6T3aFB4BWOHg" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_N9uN9o_MEe6T3aFB4BWOHg" points="[10, -2, -173, -63]$[85, -2, -98, -63]$[85, 46, -98, -15]$[163, 46, -20, -15]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_N9uN94_MEe6T3aFB4BWOHg" id="(0.86,0.7169811320754716)"/>
    </edges>
    <edges xmi:id="_N9uN-I_MEe6T3aFB4BWOHg" type="Transition" element="_N9tm54_MEe6T3aFB4BWOHg" source="_N9s_9I_MEe6T3aFB4BWOHg" target="_N9s_xo_MEe6T3aFB4BWOHg">
      <children xsi:type="notation:DecorationNode" xmi:id="_N9uN-Y_MEe6T3aFB4BWOHg" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_N9uN-o_MEe6T3aFB4BWOHg"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_N9uN-4_MEe6T3aFB4BWOHg" x="10" y="-17"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_N9uN_I_MEe6T3aFB4BWOHg" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_N9uN_Y_MEe6T3aFB4BWOHg" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_N9uN_o_MEe6T3aFB4BWOHg" points="[4, -2, -198, -7]$[168, -2, -34, -7]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_N9uN_4_MEe6T3aFB4BWOHg" id="(0.92,0.5283018867924528)"/>
    </edges>
    <edges xmi:id="_TwpOwI_MEe6T3aFB4BWOHg" type="Transition" element="_TwoAoI_MEe6T3aFB4BWOHg" source="_TdMHQI_MEe6T3aFB4BWOHg" target="_TQfvEI_MEe6T3aFB4BWOHg">
      <children xsi:type="notation:DecorationNode" xmi:id="_Twp10I_MEe6T3aFB4BWOHg" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_Twp10Y_MEe6T3aFB4BWOHg"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_Twp10o_MEe6T3aFB4BWOHg" x="-10" y="6"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_TwpOwY_MEe6T3aFB4BWOHg" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_TwpOw4_MEe6T3aFB4BWOHg" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_TwpOwo_MEe6T3aFB4BWOHg" points="[1, 6, -9, -33]$[1, 29, -9, -10]"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_TwrD8I_MEe6T3aFB4BWOHg" id="(0.7377049180327869,0.18867924528301888)"/>
    </edges>
    <edges xmi:id="_U0eDQI_MEe6T3aFB4BWOHg" type="Transition" element="_U0c1II_MEe6T3aFB4BWOHg" source="_TQfvEI_MEe6T3aFB4BWOHg" target="_WFgNUI_MEe6T3aFB4BWOHg">
      <children xsi:type="notation:DecorationNode" xmi:id="_U0eDRI_MEe6T3aFB4BWOHg" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_U0eDRY_MEe6T3aFB4BWOHg"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_U0eDRo_MEe6T3aFB4BWOHg" x="-1" y="42"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_U0eDQY_MEe6T3aFB4BWOHg" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_U0eDQ4_MEe6T3aFB4BWOHg" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_U0eDQo_MEe6T3aFB4BWOHg" points="[-12, 9, -1, -85]$[-12, 68, -1, -26]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_U0fRYI_MEe6T3aFB4BWOHg" id="(0.775,0.8301886792452831)"/>
    </edges>
    <edges xmi:id="_k403sY_MEe6T3aFB4BWOHg" type="Transition" element="_k403sI_MEe6T3aFB4BWOHg" source="_kkY4wI_MEe6T3aFB4BWOHg" target="_QsI78I_MEe6T3aFB4BWOHg">
      <children xsi:type="notation:DecorationNode" xmi:id="_k41ewI_MEe6T3aFB4BWOHg" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_k41ewY_MEe6T3aFB4BWOHg"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_k41ewo_MEe6T3aFB4BWOHg" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_k403so_MEe6T3aFB4BWOHg" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_k403tI_MEe6T3aFB4BWOHg" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_k403s4_MEe6T3aFB4BWOHg" points="[5, -5, -57, 0]$[39, -12, -23, -7]"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_k42F0I_MEe6T3aFB4BWOHg" id="(0.02198852772466539,0.0958904109589041)"/>
    </edges>
  </notation:Diagram>
</xmi:XMI>