DSMTP-SC/traffic_light_basic/model/TrafficLightCtrl.sct

<?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="_Kl0RwBYbEeee7sC6Py90Ig" specification="interface:&#xA;  out event displayRed&#xA;  out event displayGreen&#xA;  out event displayYellow" name="TrafficLightCtrl">
    <regions xmi:id="_KmaHoBYbEeee7sC6Py90Ig" name="main region">
      <vertices xsi:type="sgraph:State" xmi:id="_P8Pj4BYbEeee7sC6Py90Ig" specification="entry / raise displayYellow" name="Yellow" incomingTransitions="_P8XfxBYbEeee7sC6Py90Ig">
        <outgoingTransitions xmi:id="_P8RZJBYbEeee7sC6Py90Ig" specification="after 5s" target="_P8bxIBYbEeee7sC6Py90Ig"/>
      </vertices>
      <vertices xsi:type="sgraph:State" xmi:id="_P8WRkBYbEeee7sC6Py90Ig" specification="entry / raise displayGreen" name="Green" incomingTransitions="_P8c_VBYbEeee7sC6Py90Ig">
        <outgoingTransitions xmi:id="_P8XfxBYbEeee7sC6Py90Ig" specification="after 55s" target="_P8Pj4BYbEeee7sC6Py90Ig"/>
      </vertices>
      <vertices xsi:type="sgraph:Entry" xmi:id="_P8bKEBYbEeee7sC6Py90Ig">
        <outgoingTransitions xmi:id="_P8bKERYbEeee7sC6Py90Ig" target="_P8bxIBYbEeee7sC6Py90Ig"/>
      </vertices>
      <vertices xsi:type="sgraph:State" xmi:id="_P8bxIBYbEeee7sC6Py90Ig" specification="entry / raise displayRed" name="Red" incomingTransitions="_P8bKERYbEeee7sC6Py90Ig _P8RZJBYbEeee7sC6Py90Ig">
        <outgoingTransitions xmi:id="_P8c_VBYbEeee7sC6Py90Ig" specification="after 60s" target="_P8WRkBYbEeee7sC6Py90Ig"/>
      </vertices>
    </regions>
  </sgraph:Statechart>
  <notation:Diagram xmi:id="_KmZgkBYbEeee7sC6Py90Ig" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_Kl0RwBYbEeee7sC6Py90Ig" measurementUnit="Pixel">
    <children xmi:id="_KmbVwBYbEeee7sC6Py90Ig" type="Region" element="_KmaHoBYbEeee7sC6Py90Ig">
      <children xsi:type="notation:DecorationNode" xmi:id="_KmdyABYbEeee7sC6Py90Ig" type="RegionName">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_KmdyARYbEeee7sC6Py90Ig"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_KmdyAhYbEeee7sC6Py90Ig"/>
      </children>
      <children xsi:type="notation:Shape" xmi:id="_KmeZEBYbEeee7sC6Py90Ig" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
        <children xmi:id="_P8NusBYbEeee7sC6Py90Ig" type="State" element="_P8Pj4BYbEeee7sC6Py90Ig">
          <children xsi:type="notation:DecorationNode" xmi:id="_P8NusRYbEeee7sC6Py90Ig" type="StateName">
            <styles xsi:type="notation:ShapeStyle" xmi:id="_P8NushYbEeee7sC6Py90Ig"/>
            <layoutConstraint xsi:type="notation:Location" xmi:id="_P8NusxYbEeee7sC6Py90Ig"/>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_P8NutBYbEeee7sC6Py90Ig" type="StateTextCompartment">
            <children xsi:type="notation:Shape" xmi:id="_P8NutRYbEeee7sC6Py90Ig" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_P8NuthYbEeee7sC6Py90Ig"/>
            </children>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_P8NutxYbEeee7sC6Py90Ig" type="StateFigureCompartment"/>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_P8NuuBYbEeee7sC6Py90Ig" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
          <styles xsi:type="notation:FontStyle" xmi:id="_P8NuuRYbEeee7sC6Py90Ig"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_P8NuuhYbEeee7sC6Py90Ig" x="34" y="195" width="229" height="54"/>
        </children>
        <children xmi:id="_P8O80BYbEeee7sC6Py90Ig" type="State" element="_P8WRkBYbEeee7sC6Py90Ig">
          <children xsi:type="notation:DecorationNode" xmi:id="_P8O80RYbEeee7sC6Py90Ig" type="StateName">
            <styles xsi:type="notation:ShapeStyle" xmi:id="_P8O80hYbEeee7sC6Py90Ig"/>
            <layoutConstraint xsi:type="notation:Location" xmi:id="_P8O80xYbEeee7sC6Py90Ig"/>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_P8O81BYbEeee7sC6Py90Ig" type="StateTextCompartment">
            <children xsi:type="notation:Shape" xmi:id="_P8O81RYbEeee7sC6Py90Ig" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_P8O81hYbEeee7sC6Py90Ig"/>
            </children>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_P8O81xYbEeee7sC6Py90Ig" type="StateFigureCompartment"/>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_P8O82BYbEeee7sC6Py90Ig" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
          <styles xsi:type="notation:FontStyle" xmi:id="_P8O82RYbEeee7sC6Py90Ig"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_P8O82hYbEeee7sC6Py90Ig" x="33" y="111" width="230" height="53"/>
        </children>
        <children xmi:id="_P8O82xYbEeee7sC6Py90Ig" type="Entry" element="_P8bKEBYbEeee7sC6Py90Ig">
          <children xmi:id="_P8O83BYbEeee7sC6Py90Ig" type="BorderItemLabelContainer">
            <children xsi:type="notation:DecorationNode" xmi:id="_P8O83RYbEeee7sC6Py90Ig" type="BorderItemLabel">
              <styles xsi:type="notation:ShapeStyle" xmi:id="_P8O83hYbEeee7sC6Py90Ig"/>
              <layoutConstraint xsi:type="notation:Location" xmi:id="_P8O83xYbEeee7sC6Py90Ig"/>
            </children>
            <styles xsi:type="notation:ShapeStyle" xmi:id="_P8O84BYbEeee7sC6Py90Ig" fontName="Verdana" lineColor="4210752"/>
            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_P8O84RYbEeee7sC6Py90Ig"/>
          </children>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_P8O84hYbEeee7sC6Py90Ig" fontName="Verdana" lineColor="4210752"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_P8O84xYbEeee7sC6Py90Ig" x="151" y="-7" width="15" height="15"/>
        </children>
        <children xmi:id="_P8O85BYbEeee7sC6Py90Ig" type="State" element="_P8bxIBYbEeee7sC6Py90Ig">
          <children xsi:type="notation:DecorationNode" xmi:id="_P8O85RYbEeee7sC6Py90Ig" type="StateName">
            <styles xsi:type="notation:ShapeStyle" xmi:id="_P8O85hYbEeee7sC6Py90Ig"/>
            <layoutConstraint xsi:type="notation:Location" xmi:id="_P8O85xYbEeee7sC6Py90Ig"/>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_P8O86BYbEeee7sC6Py90Ig" type="StateTextCompartment">
            <children xsi:type="notation:Shape" xmi:id="_P8O86RYbEeee7sC6Py90Ig" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_P8O86hYbEeee7sC6Py90Ig"/>
            </children>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_P8O86xYbEeee7sC6Py90Ig" type="StateFigureCompartment"/>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_P8O87BYbEeee7sC6Py90Ig" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
          <styles xsi:type="notation:FontStyle" xmi:id="_P8O87RYbEeee7sC6Py90Ig"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_P8O87hYbEeee7sC6Py90Ig" x="31" y="24" width="234" height="57"/>
        </children>
        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_KmeZERYbEeee7sC6Py90Ig"/>
      </children>
      <styles xsi:type="notation:ShapeStyle" xmi:id="_KmbVwRYbEeee7sC6Py90Ig" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_KmfnMBYbEeee7sC6Py90Ig" x="216" y="10" width="400" height="363"/>
    </children>
    <children xsi:type="notation:Shape" xmi:id="_Kmws8BYbEeee7sC6Py90Ig" type="StatechartText" fontName="Verdana" lineColor="4210752">
      <children xsi:type="notation:DecorationNode" xmi:id="_KmxUABYbEeee7sC6Py90Ig" type="StatechartName">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_KmxUARYbEeee7sC6Py90Ig"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_KmxUAhYbEeee7sC6Py90Ig"/>
      </children>
      <children xsi:type="notation:Shape" xmi:id="_KmxUAxYbEeee7sC6Py90Ig" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_KmxUBBYbEeee7sC6Py90Ig"/>
      </children>
      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Kmx7EBYbEeee7sC6Py90Ig" x="10" y="10" width="200" height="363"/>
    </children>
    <styles xsi:type="notation:DiagramStyle" xmi:id="_KmZgkRYbEeee7sC6Py90Ig"/>
    <edges xmi:id="_P8gpoBYbEeee7sC6Py90Ig" type="Transition" element="_P8bKERYbEeee7sC6Py90Ig" source="_P8O82xYbEeee7sC6Py90Ig" target="_P8O85BYbEeee7sC6Py90Ig">
      <children xsi:type="notation:DecorationNode" xmi:id="_P8gpoRYbEeee7sC6Py90Ig" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_P8gpohYbEeee7sC6Py90Ig"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_P8gpoxYbEeee7sC6Py90Ig" y="40"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_P8gppBYbEeee7sC6Py90Ig" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_P8gppRYbEeee7sC6Py90Ig" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_P8gpphYbEeee7sC6Py90Ig" points="[7, 0, -124, -1]$[127, 0, -4, -1]"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_P8gppxYbEeee7sC6Py90Ig" id="(0.5854700854700855,0.0)"/>
    </edges>
    <edges xmi:id="_P8hQsBYbEeee7sC6Py90Ig" type="Transition" element="_P8c_VBYbEeee7sC6Py90Ig" source="_P8O85BYbEeee7sC6Py90Ig" target="_P8O80BYbEeee7sC6Py90Ig">
      <children xsi:type="notation:DecorationNode" xmi:id="_P8hQsRYbEeee7sC6Py90Ig" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_P8hQshYbEeee7sC6Py90Ig"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_P8hQsxYbEeee7sC6Py90Ig" x="4" y="-40"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_P8hQtBYbEeee7sC6Py90Ig" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_P8hQtRYbEeee7sC6Py90Ig" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_P8hQthYbEeee7sC6Py90Ig" points="[5, 6, -3, -50]$[5, 27, -3, -29]$[5, 50, -3, -6]$[4, 51, -4, -5]$[4, 52, -4, -4]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_P8hQtxYbEeee7sC6Py90Ig" id="(0.452991452991453,0.9478260869565217)"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_P8hQuBYbEeee7sC6Py90Ig" id="(0.48484848484848486,0.0684931506849315)"/>
    </edges>
    <edges xmi:id="_P8hQuRYbEeee7sC6Py90Ig" type="Transition" element="_P8XfxBYbEeee7sC6Py90Ig" source="_P8O80BYbEeee7sC6Py90Ig" target="_P8NusBYbEeee7sC6Py90Ig">
      <children xsi:type="notation:DecorationNode" xmi:id="_P8hQuhYbEeee7sC6Py90Ig" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_P8hQuxYbEeee7sC6Py90Ig"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_P8hQvBYbEeee7sC6Py90Ig" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_P8hQvRYbEeee7sC6Py90Ig" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_P8hQvhYbEeee7sC6Py90Ig" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_P8hQvxYbEeee7sC6Py90Ig" points="[72, 68, 62, -65]$[72, 132, 62, -1]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_P8hQwBYbEeee7sC6Py90Ig" id="(0.15151515151515152,0.0)"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_P8hQwRYbEeee7sC6Py90Ig" id="(0.19213973799126638,0.03389830508474576)"/>
    </edges>
    <edges xmi:id="_P8hQwhYbEeee7sC6Py90Ig" type="Transition" element="_P8RZJBYbEeee7sC6Py90Ig" source="_P8NusBYbEeee7sC6Py90Ig" target="_P8O85BYbEeee7sC6Py90Ig">
      <children xsi:type="notation:DecorationNode" xmi:id="_P8hQwxYbEeee7sC6Py90Ig" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_P8hQxBYbEeee7sC6Py90Ig"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_P8hQxRYbEeee7sC6Py90Ig" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_P8hQxhYbEeee7sC6Py90Ig" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_P8hQxxYbEeee7sC6Py90Ig" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_P8hQyBYbEeee7sC6Py90Ig" points="[3, 13, 4, 190]$[58, 13, 59, 190]$[58, -182, 59, -5]$[5, -182, 6, -5]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_P8hQyRYbEeee7sC6Py90Ig" id="(0.9868995633187773,0.48148148148148145)"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_P8hQyhYbEeee7sC6Py90Ig" id="(0.9743589743589743,0.3391304347826087)"/>
    </edges>
  </notation:Diagram>
</xmi:XMI>