Просмотр исходного кода

created testcases for parallel states handling tests - some still fail due to incomplete implementation

jos.itemis@gmail.com 14 лет назад
Родитель
Сommit
c665087c98

+ 484 - 438
TestScenarios/TestModels/Test_ParallelRegions.sct

@@ -1,438 +1,484 @@
-<?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="_dtyMUPZlEeCSetPXFd1ZUw" name="Test_ParallelRegions" specification="interface:&#xA;&#xA;in event event1&#xA;in event event2&#xA;in event event3&#xA;in event event4&#xA;in event event5&#xA;in event event6&#xA;&#xA;">
-    <regions xmi:id="_dtyzYvZlEeCSetPXFd1ZUw" name="main region">
-      <vertices xsi:type="sgraph:Entry" xmi:id="_dt0BhPZlEeCSetPXFd1ZUw">
-        <outgoingTransitions xmi:id="_dt2dyfZlEeCSetPXFd1ZUw" specification="" target="_dt1PovZlEeCSetPXFd1ZUw"/>
-      </vertices>
-      <vertices xsi:type="sgraph:State" xmi:id="_dt1PovZlEeCSetPXFd1ZUw" name="State1" incomingTransitions="_dt2dyfZlEeCSetPXFd1ZUw">
-        <outgoingTransitions xmi:id="_l-UpUPiNEeCdY7qI3rL1gA" specification="event1" target="_jGVvkPiNEeCdY7qI3rL1gA"/>
-      </vertices>
-      <vertices xsi:type="sgraph:State" xmi:id="_jGVvkPiNEeCdY7qI3rL1gA" name="State2" incomingTransitions="_l-UpUPiNEeCdY7qI3rL1gA">
-        <regions xmi:id="_syj9QPiNEeCdY7qI3rL1gA" name="Region1">
-          <vertices xsi:type="sgraph:State" xmi:id="_3z8nEPiNEeCdY7qI3rL1gA" name="State3" incomingTransitions="_K-qvgPiOEeCdY7qI3rL1gA">
-            <outgoingTransitions xmi:id="_PGReEPiOEeCdY7qI3rL1gA" specification="event2" target="_I7OREPiOEeCdY7qI3rL1gA"/>
-          </vertices>
-          <vertices xsi:type="sgraph:State" xmi:id="_I7OREPiOEeCdY7qI3rL1gA" name="State4" incomingTransitions="_PGReEPiOEeCdY7qI3rL1gA">
-            <regions xmi:id="_TLNTIPiOEeCdY7qI3rL1gA" name="Region2">
-              <vertices xsi:type="sgraph:State" xmi:id="_VAk5UPiOEeCdY7qI3rL1gA" name="State5" incomingTransitions="_bKalYPiOEeCdY7qI3rL1gA _eOCucPiOEeCdY7qI3rL1gA">
-                <outgoingTransitions xmi:id="_cSIbYPiOEeCdY7qI3rL1gA" specification="event3" target="_Wan1cPiOEeCdY7qI3rL1gA"/>
-              </vertices>
-              <vertices xsi:type="sgraph:State" xmi:id="_Wan1cPiOEeCdY7qI3rL1gA" name="State6" incomingTransitions="_cSIbYPiOEeCdY7qI3rL1gA">
-                <outgoingTransitions xmi:id="_eOCucPiOEeCdY7qI3rL1gA" specification="event4" target="_VAk5UPiOEeCdY7qI3rL1gA"/>
-              </vertices>
-              <vertices xsi:type="sgraph:Entry" xmi:id="_aOE48PiOEeCdY7qI3rL1gA">
-                <outgoingTransitions xmi:id="_bKalYPiOEeCdY7qI3rL1gA" target="_VAk5UPiOEeCdY7qI3rL1gA"/>
-              </vertices>
-            </regions>
-            <regions xmi:id="_DvXhIPiXEeC4at_AzcYiGg" name="Region4">
-              <vertices xsi:type="sgraph:State" xmi:id="_Fcth0PiZEeC4at_AzcYiGg" name="State9" incomingTransitions="_RSOh0PiaEeC4at_AzcYiGg"/>
-              <vertices xsi:type="sgraph:Entry" xmi:id="_QLrwgPiaEeC4at_AzcYiGg">
-                <outgoingTransitions xmi:id="_RSOh0PiaEeC4at_AzcYiGg" specification="" target="_Fcth0PiZEeC4at_AzcYiGg"/>
-              </vertices>
-            </regions>
-          </vertices>
-          <vertices xsi:type="sgraph:Entry" xmi:id="_KLsacPiOEeCdY7qI3rL1gA">
-            <outgoingTransitions xmi:id="_K-qvgPiOEeCdY7qI3rL1gA" target="_3z8nEPiNEeCdY7qI3rL1gA"/>
-          </vertices>
-        </regions>
-        <regions xmi:id="_9VgLIPiNEeCdY7qI3rL1gA" name="Region3">
-          <vertices xsi:type="sgraph:Entry" xmi:id="_iC_mwPiOEeCdY7qI3rL1gA">
-            <outgoingTransitions xmi:id="_scwP4PiOEeCdY7qI3rL1gA" target="_jxK_0PiOEeCdY7qI3rL1gA"/>
-          </vertices>
-          <vertices xsi:type="sgraph:State" xmi:id="_jxK_0PiOEeCdY7qI3rL1gA" name="State7" incomingTransitions="_scwP4PiOEeCdY7qI3rL1gA _1T-IMPiOEeCdY7qI3rL1gA">
-            <outgoingTransitions xmi:id="_xv5kgPiOEeCdY7qI3rL1gA" specification="event5, event3" target="_wBkacPiOEeCdY7qI3rL1gA"/>
-          </vertices>
-          <vertices xsi:type="sgraph:State" xmi:id="_wBkacPiOEeCdY7qI3rL1gA" name="State8" incomingTransitions="_xv5kgPiOEeCdY7qI3rL1gA">
-            <outgoingTransitions xmi:id="_1T-IMPiOEeCdY7qI3rL1gA" specification="event6" target="_jxK_0PiOEeCdY7qI3rL1gA"/>
-          </vertices>
-        </regions>
-      </vertices>
-    </regions>
-  </sgraph:Statechart>
-  <notation:Diagram xmi:id="_dtyzYPZlEeCSetPXFd1ZUw" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_dtyMUPZlEeCSetPXFd1ZUw" measurementUnit="Pixel">
-    <children xmi:id="_dtyzY_ZlEeCSetPXFd1ZUw" type="Region" element="_dtyzYvZlEeCSetPXFd1ZUw">
-      <children xsi:type="notation:DecorationNode" xmi:id="_dtzacfZlEeCSetPXFd1ZUw" type="RegionName">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_dtzacvZlEeCSetPXFd1ZUw"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_dt0BgPZlEeCSetPXFd1ZUw"/>
-      </children>
-      <children xsi:type="notation:Shape" xmi:id="_dt0BgfZlEeCSetPXFd1ZUw" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
-        <children xmi:id="_dt0BhfZlEeCSetPXFd1ZUw" type="Entry" element="_dt0BhPZlEeCSetPXFd1ZUw">
-          <children xmi:id="_dt0okPZlEeCSetPXFd1ZUw" type="BorderItemLabelContainer">
-            <children xsi:type="notation:DecorationNode" xmi:id="_dt0ok_ZlEeCSetPXFd1ZUw" type="BorderItemLabel">
-              <styles xsi:type="notation:ShapeStyle" xmi:id="_dt0olPZlEeCSetPXFd1ZUw"/>
-              <layoutConstraint xsi:type="notation:Location" xmi:id="_dt1PoPZlEeCSetPXFd1ZUw"/>
-            </children>
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_dt0okfZlEeCSetPXFd1ZUw" fontName="Verdana" lineColor="4210752"/>
-            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dt0okvZlEeCSetPXFd1ZUw"/>
-          </children>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_dt0BhvZlEeCSetPXFd1ZUw" fontName="Verdana" lineColor="4210752"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dt1PofZlEeCSetPXFd1ZUw" x="70" y="20"/>
-        </children>
-        <children xmi:id="_dt12sPZlEeCSetPXFd1ZUw" type="State" element="_dt1PovZlEeCSetPXFd1ZUw">
-          <children xsi:type="notation:DecorationNode" xmi:id="_dt2dwPZlEeCSetPXFd1ZUw" type="StateName">
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_dt2dwfZlEeCSetPXFd1ZUw"/>
-            <layoutConstraint xsi:type="notation:Location" xmi:id="_dt2dwvZlEeCSetPXFd1ZUw"/>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_dt2dw_ZlEeCSetPXFd1ZUw" type="StateTextCompartment">
-            <children xsi:type="notation:Shape" xmi:id="_dt2dxPZlEeCSetPXFd1ZUw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dt2dxfZlEeCSetPXFd1ZUw"/>
-            </children>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_dt2dxvZlEeCSetPXFd1ZUw" type="StateFigureCompartment"/>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_dt12sfZlEeCSetPXFd1ZUw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-          <styles xsi:type="notation:FontStyle" xmi:id="_dt12svZlEeCSetPXFd1ZUw"/>
-          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_dt2dx_ZlEeCSetPXFd1ZUw"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dt2dyPZlEeCSetPXFd1ZUw" x="189"/>
-        </children>
-        <children xmi:id="_jGdEUPiNEeCdY7qI3rL1gA" type="State" element="_jGVvkPiNEeCdY7qI3rL1gA">
-          <children xsi:type="notation:DecorationNode" xmi:id="_jGfgkPiNEeCdY7qI3rL1gA" type="StateName">
-            <styles xsi:type="notation:ShapeStyle" xmi:id="_jGfgkfiNEeCdY7qI3rL1gA"/>
-            <layoutConstraint xsi:type="notation:Location" xmi:id="_jGfgkviNEeCdY7qI3rL1gA"/>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_jGgHoPiNEeCdY7qI3rL1gA" type="StateTextCompartment">
-            <children xsi:type="notation:Shape" xmi:id="_jGgusPiNEeCdY7qI3rL1gA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jGgusfiNEeCdY7qI3rL1gA"/>
-            </children>
-          </children>
-          <children xsi:type="notation:Compartment" xmi:id="_jGhVwPiNEeCdY7qI3rL1gA" type="StateFigureCompartment">
-            <children xmi:id="_sylLYPiNEeCdY7qI3rL1gA" type="Region" element="_syj9QPiNEeCdY7qI3rL1gA">
-              <children xsi:type="notation:DecorationNode" xmi:id="_sylycPiNEeCdY7qI3rL1gA" type="RegionName">
-                <styles xsi:type="notation:ShapeStyle" xmi:id="_sylycfiNEeCdY7qI3rL1gA"/>
-                <layoutConstraint xsi:type="notation:Location" xmi:id="_sylycviNEeCdY7qI3rL1gA"/>
-              </children>
-              <children xsi:type="notation:Shape" xmi:id="_sylyc_iNEeCdY7qI3rL1gA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
-                <children xmi:id="_3z91MPiNEeCdY7qI3rL1gA" type="State" element="_3z8nEPiNEeCdY7qI3rL1gA">
-                  <children xsi:type="notation:DecorationNode" xmi:id="_3z91NPiNEeCdY7qI3rL1gA" type="StateName">
-                    <styles xsi:type="notation:ShapeStyle" xmi:id="_3z-cQPiNEeCdY7qI3rL1gA"/>
-                    <layoutConstraint xsi:type="notation:Location" xmi:id="_3z-cQfiNEeCdY7qI3rL1gA"/>
-                  </children>
-                  <children xsi:type="notation:Compartment" xmi:id="_3z-cQviNEeCdY7qI3rL1gA" type="StateTextCompartment">
-                    <children xsi:type="notation:Shape" xmi:id="_3z-cQ_iNEeCdY7qI3rL1gA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_3z-cRPiNEeCdY7qI3rL1gA"/>
-                    </children>
-                  </children>
-                  <children xsi:type="notation:Compartment" xmi:id="_3z_DUPiNEeCdY7qI3rL1gA" type="StateFigureCompartment"/>
-                  <styles xsi:type="notation:ShapeStyle" xmi:id="_3z91MfiNEeCdY7qI3rL1gA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-                  <styles xsi:type="notation:FontStyle" xmi:id="_3z91MviNEeCdY7qI3rL1gA"/>
-                  <styles xsi:type="notation:BooleanValueStyle" xmi:id="_3z_DUfiNEeCdY7qI3rL1gA"/>
-                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_3z91M_iNEeCdY7qI3rL1gA" x="23" y="3" width="113" height="53"/>
-                </children>
-                <children xmi:id="_I7PfMPiOEeCdY7qI3rL1gA" type="State" element="_I7OREPiOEeCdY7qI3rL1gA">
-                  <children xsi:type="notation:DecorationNode" xmi:id="_I7QGQPiOEeCdY7qI3rL1gA" type="StateName">
-                    <styles xsi:type="notation:ShapeStyle" xmi:id="_I7QGQfiOEeCdY7qI3rL1gA"/>
-                    <layoutConstraint xsi:type="notation:Location" xmi:id="_I7QGQviOEeCdY7qI3rL1gA"/>
-                  </children>
-                  <children xsi:type="notation:Compartment" xmi:id="_I7QGQ_iOEeCdY7qI3rL1gA" type="StateTextCompartment">
-                    <children xsi:type="notation:Shape" xmi:id="_I7QGRPiOEeCdY7qI3rL1gA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_I7QGRfiOEeCdY7qI3rL1gA"/>
-                    </children>
-                  </children>
-                  <children xsi:type="notation:Compartment" xmi:id="_I7RUYPiOEeCdY7qI3rL1gA" type="StateFigureCompartment">
-                    <children xmi:id="_DvcZoPiXEeC4at_AzcYiGg" type="Region" element="_DvXhIPiXEeC4at_AzcYiGg">
-                      <children xsi:type="notation:DecorationNode" xmi:id="_DvdAsPiXEeC4at_AzcYiGg" type="RegionName">
-                        <styles xsi:type="notation:ShapeStyle" xmi:id="_DvdAsfiXEeC4at_AzcYiGg"/>
-                        <layoutConstraint xsi:type="notation:Location" xmi:id="_DvdAsviXEeC4at_AzcYiGg"/>
-                      </children>
-                      <children xsi:type="notation:Shape" xmi:id="_DvdAs_iXEeC4at_AzcYiGg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
-                        <children xmi:id="_FcuI4fiZEeC4at_AzcYiGg" type="State" element="_Fcth0PiZEeC4at_AzcYiGg">
-                          <children xsi:type="notation:DecorationNode" xmi:id="_Fcuv8viZEeC4at_AzcYiGg" type="StateName">
-                            <styles xsi:type="notation:ShapeStyle" xmi:id="_Fcuv8_iZEeC4at_AzcYiGg"/>
-                            <layoutConstraint xsi:type="notation:Location" xmi:id="_Fcuv9PiZEeC4at_AzcYiGg"/>
-                          </children>
-                          <children xsi:type="notation:Compartment" xmi:id="_Fcuv9fiZEeC4at_AzcYiGg" type="StateTextCompartment">
-                            <children xsi:type="notation:Shape" xmi:id="_Fcuv9viZEeC4at_AzcYiGg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-                              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Fcuv9_iZEeC4at_AzcYiGg"/>
-                            </children>
-                          </children>
-                          <children xsi:type="notation:Compartment" xmi:id="_FcvXAPiZEeC4at_AzcYiGg" type="StateFigureCompartment"/>
-                          <styles xsi:type="notation:ShapeStyle" xmi:id="_FcuI4viZEeC4at_AzcYiGg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-                          <styles xsi:type="notation:FontStyle" xmi:id="_Fcuv8PiZEeC4at_AzcYiGg"/>
-                          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_FcvXAfiZEeC4at_AzcYiGg"/>
-                          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Fcuv8fiZEeC4at_AzcYiGg" x="178" y="-9"/>
-                        </children>
-                        <children xmi:id="_QLsXkPiaEeC4at_AzcYiGg" type="Entry" element="_QLrwgPiaEeC4at_AzcYiGg">
-                          <children xmi:id="_QLsXk_iaEeC4at_AzcYiGg" type="BorderItemLabelContainer">
-                            <children xsi:type="notation:DecorationNode" xmi:id="_QLs-oPiaEeC4at_AzcYiGg" type="BorderItemLabel">
-                              <styles xsi:type="notation:ShapeStyle" xmi:id="_QLs-ofiaEeC4at_AzcYiGg"/>
-                              <layoutConstraint xsi:type="notation:Location" xmi:id="_QLs-oviaEeC4at_AzcYiGg"/>
-                            </children>
-                            <styles xsi:type="notation:ShapeStyle" xmi:id="_QLsXlPiaEeC4at_AzcYiGg" fontName="Verdana" lineColor="4210752"/>
-                            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_QLsXlfiaEeC4at_AzcYiGg"/>
-                          </children>
-                          <styles xsi:type="notation:ShapeStyle" xmi:id="_QLsXkfiaEeC4at_AzcYiGg" fontName="Verdana" lineColor="4210752"/>
-                          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_QLsXkviaEeC4at_AzcYiGg" x="25" y="8"/>
-                        </children>
-                        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_DvdAtPiXEeC4at_AzcYiGg"/>
-                      </children>
-                      <styles xsi:type="notation:ShapeStyle" xmi:id="_DvcZofiXEeC4at_AzcYiGg" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
-                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_DvcZoviXEeC4at_AzcYiGg"/>
-                    </children>
-                    <children xmi:id="_TLN6MPiOEeCdY7qI3rL1gA" type="Region" element="_TLNTIPiOEeCdY7qI3rL1gA">
-                      <children xsi:type="notation:DecorationNode" xmi:id="_TLOhQPiOEeCdY7qI3rL1gA" type="RegionName">
-                        <styles xsi:type="notation:ShapeStyle" xmi:id="_TLOhQfiOEeCdY7qI3rL1gA"/>
-                        <layoutConstraint xsi:type="notation:Location" xmi:id="_TLOhQviOEeCdY7qI3rL1gA"/>
-                      </children>
-                      <children xsi:type="notation:Shape" xmi:id="_TLOhQ_iOEeCdY7qI3rL1gA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
-                        <children xmi:id="_VAmHcPiOEeCdY7qI3rL1gA" type="State" element="_VAk5UPiOEeCdY7qI3rL1gA">
-                          <children xsi:type="notation:DecorationNode" xmi:id="_VAmHdPiOEeCdY7qI3rL1gA" type="StateName">
-                            <styles xsi:type="notation:ShapeStyle" xmi:id="_VAmHdfiOEeCdY7qI3rL1gA"/>
-                            <layoutConstraint xsi:type="notation:Location" xmi:id="_VAmugPiOEeCdY7qI3rL1gA"/>
-                          </children>
-                          <children xsi:type="notation:Compartment" xmi:id="_VAmugfiOEeCdY7qI3rL1gA" type="StateTextCompartment">
-                            <children xsi:type="notation:Shape" xmi:id="_VAmugviOEeCdY7qI3rL1gA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-                              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_VAmug_iOEeCdY7qI3rL1gA"/>
-                            </children>
-                          </children>
-                          <children xsi:type="notation:Compartment" xmi:id="_VAmuhPiOEeCdY7qI3rL1gA" type="StateFigureCompartment"/>
-                          <styles xsi:type="notation:ShapeStyle" xmi:id="_VAmHcfiOEeCdY7qI3rL1gA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-                          <styles xsi:type="notation:FontStyle" xmi:id="_VAmHcviOEeCdY7qI3rL1gA"/>
-                          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_VAmuhfiOEeCdY7qI3rL1gA"/>
-                          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_VAmHc_iOEeCdY7qI3rL1gA" x="118" y="12" width="65" height="62"/>
-                        </children>
-                        <children xmi:id="_WaocgPiOEeCdY7qI3rL1gA" type="State" element="_Wan1cPiOEeCdY7qI3rL1gA">
-                          <children xsi:type="notation:DecorationNode" xmi:id="_WapDkPiOEeCdY7qI3rL1gA" type="StateName">
-                            <styles xsi:type="notation:ShapeStyle" xmi:id="_WapDkfiOEeCdY7qI3rL1gA"/>
-                            <layoutConstraint xsi:type="notation:Location" xmi:id="_WapDkviOEeCdY7qI3rL1gA"/>
-                          </children>
-                          <children xsi:type="notation:Compartment" xmi:id="_WapDk_iOEeCdY7qI3rL1gA" type="StateTextCompartment">
-                            <children xsi:type="notation:Shape" xmi:id="_WapDlPiOEeCdY7qI3rL1gA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-                              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WapDlfiOEeCdY7qI3rL1gA"/>
-                            </children>
-                          </children>
-                          <children xsi:type="notation:Compartment" xmi:id="_WapDlviOEeCdY7qI3rL1gA" type="StateFigureCompartment"/>
-                          <styles xsi:type="notation:ShapeStyle" xmi:id="_WaocgfiOEeCdY7qI3rL1gA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-                          <styles xsi:type="notation:FontStyle" xmi:id="_WaocgviOEeCdY7qI3rL1gA"/>
-                          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_WapDl_iOEeCdY7qI3rL1gA"/>
-                          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Waocg_iOEeCdY7qI3rL1gA" x="293" y="11"/>
-                        </children>
-                        <children xmi:id="_aOFgAPiOEeCdY7qI3rL1gA" type="Entry" element="_aOE48PiOEeCdY7qI3rL1gA">
-                          <children xmi:id="_aOGHEPiOEeCdY7qI3rL1gA" type="BorderItemLabelContainer">
-                            <children xsi:type="notation:DecorationNode" xmi:id="_aOGuIPiOEeCdY7qI3rL1gA" type="BorderItemLabel">
-                              <styles xsi:type="notation:ShapeStyle" xmi:id="_aOGuIfiOEeCdY7qI3rL1gA"/>
-                              <layoutConstraint xsi:type="notation:Location" xmi:id="_aOGuIviOEeCdY7qI3rL1gA"/>
-                            </children>
-                            <styles xsi:type="notation:ShapeStyle" xmi:id="_aOGHEfiOEeCdY7qI3rL1gA" fontName="Verdana" lineColor="4210752"/>
-                            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_aOGHEviOEeCdY7qI3rL1gA"/>
-                          </children>
-                          <styles xsi:type="notation:ShapeStyle" xmi:id="_aOFgAfiOEeCdY7qI3rL1gA" fontName="Verdana" lineColor="4210752"/>
-                          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_aOFgAviOEeCdY7qI3rL1gA" x="13" y="29"/>
-                        </children>
-                        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_TLOhRPiOEeCdY7qI3rL1gA"/>
-                      </children>
-                      <styles xsi:type="notation:ShapeStyle" xmi:id="_TLN6MfiOEeCdY7qI3rL1gA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
-                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_TLN6MviOEeCdY7qI3rL1gA"/>
-                    </children>
-                  </children>
-                  <styles xsi:type="notation:ShapeStyle" xmi:id="_I7PfMfiOEeCdY7qI3rL1gA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-                  <styles xsi:type="notation:FontStyle" xmi:id="_I7PfMviOEeCdY7qI3rL1gA"/>
-                  <styles xsi:type="notation:BooleanValueStyle" xmi:id="_I7RUYfiOEeCdY7qI3rL1gA"/>
-                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_I7PfM_iOEeCdY7qI3rL1gA" x="207" y="3" width="473" height="269"/>
-                </children>
-                <children xmi:id="_KLtBgPiOEeCdY7qI3rL1gA" type="Entry" element="_KLsacPiOEeCdY7qI3rL1gA">
-                  <children xmi:id="_KLuPoPiOEeCdY7qI3rL1gA" type="BorderItemLabelContainer">
-                    <children xsi:type="notation:DecorationNode" xmi:id="_KLu2sPiOEeCdY7qI3rL1gA" type="BorderItemLabel">
-                      <styles xsi:type="notation:ShapeStyle" xmi:id="_KLu2sfiOEeCdY7qI3rL1gA"/>
-                      <layoutConstraint xsi:type="notation:Location" xmi:id="_KLu2sviOEeCdY7qI3rL1gA"/>
-                    </children>
-                    <styles xsi:type="notation:ShapeStyle" xmi:id="_KLuPofiOEeCdY7qI3rL1gA" fontName="Verdana" lineColor="4210752"/>
-                    <layoutConstraint xsi:type="notation:Bounds" xmi:id="_KLuPoviOEeCdY7qI3rL1gA"/>
-                  </children>
-                  <styles xsi:type="notation:ShapeStyle" xmi:id="_KLtBgfiOEeCdY7qI3rL1gA" fontName="Verdana" lineColor="4210752"/>
-                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_KLtBgviOEeCdY7qI3rL1gA" x="72" y="143"/>
-                </children>
-                <layoutConstraint xsi:type="notation:Bounds" xmi:id="_sylydPiNEeCdY7qI3rL1gA"/>
-              </children>
-              <styles xsi:type="notation:ShapeStyle" xmi:id="_sylLYfiNEeCdY7qI3rL1gA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_sylLYviNEeCdY7qI3rL1gA"/>
-            </children>
-            <children xmi:id="_9VjOcPiNEeCdY7qI3rL1gA" type="Region" element="_9VgLIPiNEeCdY7qI3rL1gA">
-              <children xsi:type="notation:DecorationNode" xmi:id="_9Vj1gPiNEeCdY7qI3rL1gA" type="RegionName">
-                <styles xsi:type="notation:ShapeStyle" xmi:id="_9Vj1gfiNEeCdY7qI3rL1gA"/>
-                <layoutConstraint xsi:type="notation:Location" xmi:id="_9Vj1gviNEeCdY7qI3rL1gA"/>
-              </children>
-              <children xsi:type="notation:Shape" xmi:id="_9Vj1g_iNEeCdY7qI3rL1gA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
-                <children xmi:id="_iDAN0PiOEeCdY7qI3rL1gA" type="Entry" element="_iC_mwPiOEeCdY7qI3rL1gA">
-                  <children xmi:id="_iDA04PiOEeCdY7qI3rL1gA" type="BorderItemLabelContainer">
-                    <children xsi:type="notation:DecorationNode" xmi:id="_iDA04_iOEeCdY7qI3rL1gA" type="BorderItemLabel">
-                      <styles xsi:type="notation:ShapeStyle" xmi:id="_iDA05PiOEeCdY7qI3rL1gA"/>
-                      <layoutConstraint xsi:type="notation:Location" xmi:id="_iDBb8PiOEeCdY7qI3rL1gA"/>
-                    </children>
-                    <styles xsi:type="notation:ShapeStyle" xmi:id="_iDA04fiOEeCdY7qI3rL1gA" fontName="Verdana" lineColor="4210752"/>
-                    <layoutConstraint xsi:type="notation:Bounds" xmi:id="_iDA04viOEeCdY7qI3rL1gA"/>
-                  </children>
-                  <styles xsi:type="notation:ShapeStyle" xmi:id="_iDAN0fiOEeCdY7qI3rL1gA" fontName="Verdana" lineColor="4210752"/>
-                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_iDAN0viOEeCdY7qI3rL1gA" x="55" y="38"/>
-                </children>
-                <children xmi:id="_jxLm4PiOEeCdY7qI3rL1gA" type="State" element="_jxK_0PiOEeCdY7qI3rL1gA">
-                  <children xsi:type="notation:DecorationNode" xmi:id="_jxMN8PiOEeCdY7qI3rL1gA" type="StateName">
-                    <styles xsi:type="notation:ShapeStyle" xmi:id="_jxMN8fiOEeCdY7qI3rL1gA"/>
-                    <layoutConstraint xsi:type="notation:Location" xmi:id="_jxMN8viOEeCdY7qI3rL1gA"/>
-                  </children>
-                  <children xsi:type="notation:Compartment" xmi:id="_jxMN8_iOEeCdY7qI3rL1gA" type="StateTextCompartment">
-                    <children xsi:type="notation:Shape" xmi:id="_jxMN9PiOEeCdY7qI3rL1gA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jxMN9fiOEeCdY7qI3rL1gA"/>
-                    </children>
-                  </children>
-                  <children xsi:type="notation:Compartment" xmi:id="_jxM1APiOEeCdY7qI3rL1gA" type="StateFigureCompartment"/>
-                  <styles xsi:type="notation:ShapeStyle" xmi:id="_jxLm4fiOEeCdY7qI3rL1gA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-                  <styles xsi:type="notation:FontStyle" xmi:id="_jxLm4viOEeCdY7qI3rL1gA"/>
-                  <styles xsi:type="notation:BooleanValueStyle" xmi:id="_jxM1AfiOEeCdY7qI3rL1gA"/>
-                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jxLm4_iOEeCdY7qI3rL1gA" x="162" y="14"/>
-                </children>
-                <children xmi:id="_wBlokPiOEeCdY7qI3rL1gA" type="State" element="_wBkacPiOEeCdY7qI3rL1gA">
-                  <children xsi:type="notation:DecorationNode" xmi:id="_wBlolPiOEeCdY7qI3rL1gA" type="StateName">
-                    <styles xsi:type="notation:ShapeStyle" xmi:id="_wBlolfiOEeCdY7qI3rL1gA"/>
-                    <layoutConstraint xsi:type="notation:Location" xmi:id="_wBlolviOEeCdY7qI3rL1gA"/>
-                  </children>
-                  <children xsi:type="notation:Compartment" xmi:id="_wBmPoPiOEeCdY7qI3rL1gA" type="StateTextCompartment">
-                    <children xsi:type="notation:Shape" xmi:id="_wBmPofiOEeCdY7qI3rL1gA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
-                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wBmPoviOEeCdY7qI3rL1gA"/>
-                    </children>
-                  </children>
-                  <children xsi:type="notation:Compartment" xmi:id="_wBmPo_iOEeCdY7qI3rL1gA" type="StateFigureCompartment"/>
-                  <styles xsi:type="notation:ShapeStyle" xmi:id="_wBlokfiOEeCdY7qI3rL1gA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-                  <styles xsi:type="notation:FontStyle" xmi:id="_wBlokviOEeCdY7qI3rL1gA"/>
-                  <styles xsi:type="notation:BooleanValueStyle" xmi:id="_wBmPpPiOEeCdY7qI3rL1gA"/>
-                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wBlok_iOEeCdY7qI3rL1gA" x="411" y="8"/>
-                </children>
-                <layoutConstraint xsi:type="notation:Bounds" xmi:id="_9Vj1hPiNEeCdY7qI3rL1gA"/>
-              </children>
-              <styles xsi:type="notation:ShapeStyle" xmi:id="_9VjOcfiNEeCdY7qI3rL1gA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
-              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_9VjOcviNEeCdY7qI3rL1gA"/>
-            </children>
-          </children>
-          <styles xsi:type="notation:ShapeStyle" xmi:id="_jGdrYPiNEeCdY7qI3rL1gA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
-          <styles xsi:type="notation:FontStyle" xmi:id="_jGdrYfiNEeCdY7qI3rL1gA"/>
-          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_jGhVwfiNEeCdY7qI3rL1gA"/>
-          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jGdrYviNEeCdY7qI3rL1gA" x="20" y="121" width="730" height="507"/>
-        </children>
-        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dt0BgvZlEeCSetPXFd1ZUw"/>
-      </children>
-      <styles xsi:type="notation:ShapeStyle" xmi:id="_dtyzZPZlEeCSetPXFd1ZUw" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
-      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dt0Bg_ZlEeCSetPXFd1ZUw" x="220" y="10" width="777" height="671"/>
-    </children>
-    <children xsi:type="notation:Shape" xmi:id="_dt46B_ZlEeCSetPXFd1ZUw" type="StatechartText" fontName="Verdana" lineColor="4210752">
-      <children xsi:type="notation:DecorationNode" xmi:id="_dt6IIPZlEeCSetPXFd1ZUw" type="StatechartName">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_dt6IIfZlEeCSetPXFd1ZUw"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_dt6IIvZlEeCSetPXFd1ZUw"/>
-      </children>
-      <children xsi:type="notation:Shape" xmi:id="_dt6II_ZlEeCSetPXFd1ZUw" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
-        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dt6IJPZlEeCSetPXFd1ZUw"/>
-      </children>
-      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dt6IJfZlEeCSetPXFd1ZUw" x="10" y="10" width="200" height="400"/>
-    </children>
-    <styles xsi:type="notation:DiagramStyle" xmi:id="_dtyzYfZlEeCSetPXFd1ZUw"/>
-    <edges xmi:id="_dt46APZlEeCSetPXFd1ZUw" type="Transition" element="_dt2dyfZlEeCSetPXFd1ZUw" source="_dt0BhfZlEeCSetPXFd1ZUw" target="_dt12sPZlEeCSetPXFd1ZUw">
-      <children xsi:type="notation:DecorationNode" xmi:id="_dt46BPZlEeCSetPXFd1ZUw" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_dt46BfZlEeCSetPXFd1ZUw"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_dt46BvZlEeCSetPXFd1ZUw" y="40"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_dt46AfZlEeCSetPXFd1ZUw" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_dt46A_ZlEeCSetPXFd1ZUw" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_dt46AvZlEeCSetPXFd1ZUw" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
-    </edges>
-    <edges xmi:id="_l-XFkPiNEeCdY7qI3rL1gA" type="Transition" element="_l-UpUPiNEeCdY7qI3rL1gA" source="_dt12sPZlEeCSetPXFd1ZUw" target="_jGdEUPiNEeCdY7qI3rL1gA">
-      <children xsi:type="notation:DecorationNode" xmi:id="_l-Y6wPiNEeCdY7qI3rL1gA" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_l-Y6wfiNEeCdY7qI3rL1gA"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_l-Y6wviNEeCdY7qI3rL1gA" x="-17" y="-28"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_l-XFkfiNEeCdY7qI3rL1gA" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_l-YTsPiNEeCdY7qI3rL1gA" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_l-XFkviNEeCdY7qI3rL1gA" points="[-25, 24, 99, -93]$[-115, 116, 9, -1]"/>
-      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_l_QdcPiNEeCdY7qI3rL1gA" id="(0.8235294117647058,0.47619047619047616)"/>
-    </edges>
-    <edges xmi:id="_K-rWkPiOEeCdY7qI3rL1gA" type="Transition" element="_K-qvgPiOEeCdY7qI3rL1gA" source="_KLtBgPiOEeCdY7qI3rL1gA" target="_3z91MPiNEeCdY7qI3rL1gA">
-      <children xsi:type="notation:DecorationNode" xmi:id="_K-r9ofiOEeCdY7qI3rL1gA" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_K-r9oviOEeCdY7qI3rL1gA"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_K-r9o_iOEeCdY7qI3rL1gA" y="40"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_K-rWkfiOEeCdY7qI3rL1gA" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_K-r9oPiOEeCdY7qI3rL1gA" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_K-rWkviOEeCdY7qI3rL1gA" points="[1, -7, -47, 101]$[-8, -103, -56, 5]"/>
-    </edges>
-    <edges xmi:id="_PGSFIPiOEeCdY7qI3rL1gA" type="Transition" element="_PGReEPiOEeCdY7qI3rL1gA" source="_3z91MPiNEeCdY7qI3rL1gA" target="_I7PfMPiOEeCdY7qI3rL1gA">
-      <children xsi:type="notation:DecorationNode" xmi:id="_PGSsMfiOEeCdY7qI3rL1gA" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_PGSsMviOEeCdY7qI3rL1gA"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_PGSsM_iOEeCdY7qI3rL1gA" x="-4" y="21"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_PGSFIfiOEeCdY7qI3rL1gA" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_PGSsMPiOEeCdY7qI3rL1gA" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_PGSFIviOEeCdY7qI3rL1gA" points="[11, 1, -87, 0]$[82, -6, -16, -7]"/>
-      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_PHC6IPiOEeCdY7qI3rL1gA" id="(0.9026548672566371,0.5471698113207547)"/>
-      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_PHC6IfiOEeCdY7qI3rL1gA" id="(0.03382663847780127,0.13100436681222707)"/>
-    </edges>
-    <edges xmi:id="_bKbzgPiOEeCdY7qI3rL1gA" type="Transition" element="_bKalYPiOEeCdY7qI3rL1gA" source="_aOFgAPiOEeCdY7qI3rL1gA" target="_VAmHcPiOEeCdY7qI3rL1gA">
-      <children xsi:type="notation:DecorationNode" xmi:id="_bKbzhPiOEeCdY7qI3rL1gA" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_bKbzhfiOEeCdY7qI3rL1gA"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_bKcakPiOEeCdY7qI3rL1gA" y="40"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_bKbzgfiOEeCdY7qI3rL1gA" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_bKbzg_iOEeCdY7qI3rL1gA" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_bKbzgviOEeCdY7qI3rL1gA" points="[7, 0, -123, -7]$[133, 38, 3, 31]"/>
-    </edges>
-    <edges xmi:id="_cSJCcPiOEeCdY7qI3rL1gA" type="Transition" element="_cSIbYPiOEeCdY7qI3rL1gA" source="_VAmHcPiOEeCdY7qI3rL1gA" target="_WaocgPiOEeCdY7qI3rL1gA">
-      <children xsi:type="notation:DecorationNode" xmi:id="_cSJpgPiOEeCdY7qI3rL1gA" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_cSJpgfiOEeCdY7qI3rL1gA"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_cSJpgviOEeCdY7qI3rL1gA" x="1" y="-20"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_cSJCcfiOEeCdY7qI3rL1gA" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_cSJCc_iOEeCdY7qI3rL1gA" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_cSJCcviOEeCdY7qI3rL1gA" points="[17, -2, -136, 0]$[153, -16, 0, -14]"/>
-      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_cS-I4PiOEeCdY7qI3rL1gA" id="(0.7384615384615385,0.24193548387096775)"/>
-      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_cS-I4fiOEeCdY7qI3rL1gA" id="(0.5098039215686274,0.2222222222222222)"/>
-    </edges>
-    <edges xmi:id="_eOD8kPiOEeCdY7qI3rL1gA" type="Transition" element="_eOCucPiOEeCdY7qI3rL1gA" source="_WaocgPiOEeCdY7qI3rL1gA" target="_VAmHcPiOEeCdY7qI3rL1gA">
-      <children xsi:type="notation:DecorationNode" xmi:id="_eOD8lPiOEeCdY7qI3rL1gA" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_eOD8lfiOEeCdY7qI3rL1gA"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_eOEjoPiOEeCdY7qI3rL1gA" x="-5" y="13"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_eOD8kfiOEeCdY7qI3rL1gA" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_eOD8k_iOEeCdY7qI3rL1gA" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_eOD8kviOEeCdY7qI3rL1gA" points="[-11, -3, 123, 0]$[-124, 8, 10, 11]"/>
-      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_eO1YoPiOEeCdY7qI3rL1gA" id="(0.21568627450980393,0.873015873015873)"/>
-      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_eO1YofiOEeCdY7qI3rL1gA" id="(0.8,0.8225806451612904)"/>
-    </edges>
-    <edges xmi:id="_scxeAPiOEeCdY7qI3rL1gA" type="Transition" element="_scwP4PiOEeCdY7qI3rL1gA" source="_iDAN0PiOEeCdY7qI3rL1gA" target="_jxLm4PiOEeCdY7qI3rL1gA">
-      <children xsi:type="notation:DecorationNode" xmi:id="_scyFEfiOEeCdY7qI3rL1gA" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_scyFEviOEeCdY7qI3rL1gA"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_scyFE_iOEeCdY7qI3rL1gA" y="40"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_scxeAfiOEeCdY7qI3rL1gA" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_scyFEPiOEeCdY7qI3rL1gA" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_scxeAviOEeCdY7qI3rL1gA" points="[7, 0, -110, 1]$[109, -5, -8, -4]"/>
-      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_sd9w0PiOEeCdY7qI3rL1gA" id="(0.12307692307692308,0.3492063492063492)"/>
-    </edges>
-    <edges xmi:id="_xv6LkPiOEeCdY7qI3rL1gA" type="Transition" element="_xv5kgPiOEeCdY7qI3rL1gA" source="_jxLm4PiOEeCdY7qI3rL1gA" target="_wBlokPiOEeCdY7qI3rL1gA">
-      <children xsi:type="notation:DecorationNode" xmi:id="_xv6yofiOEeCdY7qI3rL1gA" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_xv6yoviOEeCdY7qI3rL1gA"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_xv6yo_iOEeCdY7qI3rL1gA" x="-3" y="-18"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_xv6LkfiOEeCdY7qI3rL1gA" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_xv6yoPiOEeCdY7qI3rL1gA" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_xv6LkviOEeCdY7qI3rL1gA" points="[11, -4, -223, -10]$[228, -25, -6, -31]"/>
-      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_xwuD4PiOEeCdY7qI3rL1gA" id="(0.7843137254901961,0.30158730158730157)"/>
-    </edges>
-    <edges xmi:id="_1T-vQPiOEeCdY7qI3rL1gA" type="Transition" element="_1T-IMPiOEeCdY7qI3rL1gA" source="_wBlokPiOEeCdY7qI3rL1gA" target="_jxLm4PiOEeCdY7qI3rL1gA">
-      <children xsi:type="notation:DecorationNode" xmi:id="_1T_9YPiOEeCdY7qI3rL1gA" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_1T_9YfiOEeCdY7qI3rL1gA"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_1T_9YviOEeCdY7qI3rL1gA" y="-16"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_1T-vQfiOEeCdY7qI3rL1gA" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_1T_WUPiOEeCdY7qI3rL1gA" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_1T-vQviOEeCdY7qI3rL1gA" points="[-25, -6, 208, 0]$[-223, -2, 10, 4]"/>
-      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_1UyAgPiOEeCdY7qI3rL1gA" id="(0.49019607843137253,0.8095238095238095)"/>
-      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_1UyAgfiOEeCdY7qI3rL1gA" id="(0.803921568627451,0.6190476190476191)"/>
-    </edges>
-    <edges xmi:id="_RSPv8PiaEeC4at_AzcYiGg" type="Transition" element="_RSOh0PiaEeC4at_AzcYiGg" source="_QLsXkPiaEeC4at_AzcYiGg" target="_FcuI4fiZEeC4at_AzcYiGg">
-      <children xsi:type="notation:DecorationNode" xmi:id="_RSPv9PiaEeC4at_AzcYiGg" type="TransitionExpression">
-        <styles xsi:type="notation:ShapeStyle" xmi:id="_RSPv9fiaEeC4at_AzcYiGg"/>
-        <layoutConstraint xsi:type="notation:Location" xmi:id="_RSPv9viaEeC4at_AzcYiGg" y="40"/>
-      </children>
-      <styles xsi:type="notation:ConnectorStyle" xmi:id="_RSPv8fiaEeC4at_AzcYiGg" lineColor="4210752"/>
-      <styles xsi:type="notation:FontStyle" xmi:id="_RSPv8_iaEeC4at_AzcYiGg" fontName="Verdana"/>
-      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_RSPv8viaEeC4at_AzcYiGg" points="[7, 0, -155, 2]$[146, -12, -16, -10]"/>
-      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_RTno8PiaEeC4at_AzcYiGg" id="(0.24615384615384617,0.3492063492063492)"/>
-    </edges>
-  </notation:Diagram>
-</xmi:XMI>
+<?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="_dtyMUPZlEeCSetPXFd1ZUw" name="Test_ParallelRegions" specification="interface:&#xA;&#xA;in event event1&#xA;in event event2&#xA;in event event3&#xA;in event event4&#xA;in event event5&#xA;in event event6&#xA;in event event7&#xA;in event event8&#xA;in event event9&#xA;in event event10&#xA;&#xA;var reg3 : integer = -1&#xA;">
+    <regions xmi:id="_dtyzYvZlEeCSetPXFd1ZUw" name="main region">
+      <vertices xsi:type="sgraph:Entry" xmi:id="_dt0BhPZlEeCSetPXFd1ZUw">
+        <outgoingTransitions xmi:id="_dt2dyfZlEeCSetPXFd1ZUw" specification="" target="_dt1PovZlEeCSetPXFd1ZUw"/>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_dt1PovZlEeCSetPXFd1ZUw" name="State1" incomingTransitions="_dt2dyfZlEeCSetPXFd1ZUw _kSvT0DXvEeGVofhlERZOaA _p2mlADXvEeGVofhlERZOaA _2S3RYDXvEeGVofhlERZOaA _u_rFsDXxEeGVofhlERZOaA">
+        <outgoingTransitions xmi:id="_l-UpUPiNEeCdY7qI3rL1gA" specification="event1" target="_jGVvkPiNEeCdY7qI3rL1gA"/>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_jGVvkPiNEeCdY7qI3rL1gA" name="State2" incomingTransitions="_l-UpUPiNEeCdY7qI3rL1gA">
+        <outgoingTransitions xmi:id="_u_rFsDXxEeGVofhlERZOaA" specification="event10" target="_dt1PovZlEeCSetPXFd1ZUw"/>
+        <regions xmi:id="_syj9QPiNEeCdY7qI3rL1gA" name="Region1">
+          <vertices xsi:type="sgraph:State" xmi:id="_3z8nEPiNEeCdY7qI3rL1gA" name="State3" incomingTransitions="_K-qvgPiOEeCdY7qI3rL1gA">
+            <outgoingTransitions xmi:id="_PGReEPiOEeCdY7qI3rL1gA" specification="event2" target="_I7OREPiOEeCdY7qI3rL1gA"/>
+            <outgoingTransitions xmi:id="_kSvT0DXvEeGVofhlERZOaA" specification="event3,event9" target="_dt1PovZlEeCSetPXFd1ZUw"/>
+          </vertices>
+          <vertices xsi:type="sgraph:State" xmi:id="_I7OREPiOEeCdY7qI3rL1gA" name="State4" incomingTransitions="_PGReEPiOEeCdY7qI3rL1gA">
+            <regions xmi:id="_TLNTIPiOEeCdY7qI3rL1gA" name="Region2">
+              <vertices xsi:type="sgraph:State" xmi:id="_VAk5UPiOEeCdY7qI3rL1gA" name="State5" incomingTransitions="_bKalYPiOEeCdY7qI3rL1gA _eOCucPiOEeCdY7qI3rL1gA">
+                <outgoingTransitions xmi:id="_cSIbYPiOEeCdY7qI3rL1gA" specification="event3" target="_Wan1cPiOEeCdY7qI3rL1gA"/>
+              </vertices>
+              <vertices xsi:type="sgraph:State" xmi:id="_Wan1cPiOEeCdY7qI3rL1gA" name="State6" incomingTransitions="_cSIbYPiOEeCdY7qI3rL1gA">
+                <outgoingTransitions xmi:id="_eOCucPiOEeCdY7qI3rL1gA" specification="event4" target="_VAk5UPiOEeCdY7qI3rL1gA"/>
+              </vertices>
+              <vertices xsi:type="sgraph:Entry" xmi:id="_aOE48PiOEeCdY7qI3rL1gA">
+                <outgoingTransitions xmi:id="_bKalYPiOEeCdY7qI3rL1gA" target="_VAk5UPiOEeCdY7qI3rL1gA"/>
+              </vertices>
+            </regions>
+            <regions xmi:id="_DvXhIPiXEeC4at_AzcYiGg" name="Region4">
+              <vertices xsi:type="sgraph:State" xmi:id="_Fcth0PiZEeC4at_AzcYiGg" name="State9" incomingTransitions="_RSOh0PiaEeC4at_AzcYiGg">
+                <outgoingTransitions xmi:id="_p2mlADXvEeGVofhlERZOaA" specification="event8" target="_dt1PovZlEeCSetPXFd1ZUw"/>
+              </vertices>
+              <vertices xsi:type="sgraph:Entry" xmi:id="_QLrwgPiaEeC4at_AzcYiGg">
+                <outgoingTransitions xmi:id="_RSOh0PiaEeC4at_AzcYiGg" specification="" target="_Fcth0PiZEeC4at_AzcYiGg"/>
+              </vertices>
+            </regions>
+          </vertices>
+          <vertices xsi:type="sgraph:Entry" xmi:id="_KLsacPiOEeCdY7qI3rL1gA">
+            <outgoingTransitions xmi:id="_K-qvgPiOEeCdY7qI3rL1gA" target="_3z8nEPiNEeCdY7qI3rL1gA"/>
+          </vertices>
+        </regions>
+        <regions xmi:id="_9VgLIPiNEeCdY7qI3rL1gA" name="Region3">
+          <vertices xsi:type="sgraph:Entry" xmi:id="_iC_mwPiOEeCdY7qI3rL1gA">
+            <outgoingTransitions xmi:id="_scwP4PiOEeCdY7qI3rL1gA" target="_jxK_0PiOEeCdY7qI3rL1gA"/>
+          </vertices>
+          <vertices xsi:type="sgraph:State" xmi:id="_jxK_0PiOEeCdY7qI3rL1gA" specification="entry / reg3=7;&#xA;exit / reg3=-1;&#xA;" name="State7" incomingTransitions="_scwP4PiOEeCdY7qI3rL1gA _1T-IMPiOEeCdY7qI3rL1gA">
+            <outgoingTransitions xmi:id="_xv5kgPiOEeCdY7qI3rL1gA" specification="event5, event3" target="_wBkacPiOEeCdY7qI3rL1gA"/>
+            <outgoingTransitions xmi:id="_2S3RYDXvEeGVofhlERZOaA" specification="event7" target="_dt1PovZlEeCSetPXFd1ZUw"/>
+          </vertices>
+          <vertices xsi:type="sgraph:State" xmi:id="_wBkacPiOEeCdY7qI3rL1gA" specification="entry / reg3=8;&#xA;exit / reg3=-1;&#xA;" name="State8" incomingTransitions="_xv5kgPiOEeCdY7qI3rL1gA">
+            <outgoingTransitions xmi:id="_1T-IMPiOEeCdY7qI3rL1gA" specification="event6" target="_jxK_0PiOEeCdY7qI3rL1gA"/>
+          </vertices>
+        </regions>
+      </vertices>
+    </regions>
+  </sgraph:Statechart>
+  <notation:Diagram xmi:id="_dtyzYPZlEeCSetPXFd1ZUw" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_dtyMUPZlEeCSetPXFd1ZUw" measurementUnit="Pixel">
+    <children xmi:id="_dtyzY_ZlEeCSetPXFd1ZUw" type="Region" element="_dtyzYvZlEeCSetPXFd1ZUw">
+      <children xsi:type="notation:DecorationNode" xmi:id="_dtzacfZlEeCSetPXFd1ZUw" type="RegionName">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_dtzacvZlEeCSetPXFd1ZUw"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_dt0BgPZlEeCSetPXFd1ZUw"/>
+      </children>
+      <children xsi:type="notation:Shape" xmi:id="_dt0BgfZlEeCSetPXFd1ZUw" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
+        <children xmi:id="_dt0BhfZlEeCSetPXFd1ZUw" type="Entry" element="_dt0BhPZlEeCSetPXFd1ZUw">
+          <children xmi:id="_dt0okPZlEeCSetPXFd1ZUw" type="BorderItemLabelContainer">
+            <children xsi:type="notation:DecorationNode" xmi:id="_dt0ok_ZlEeCSetPXFd1ZUw" type="BorderItemLabel">
+              <styles xsi:type="notation:ShapeStyle" xmi:id="_dt0olPZlEeCSetPXFd1ZUw"/>
+              <layoutConstraint xsi:type="notation:Location" xmi:id="_dt1PoPZlEeCSetPXFd1ZUw"/>
+            </children>
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_dt0okfZlEeCSetPXFd1ZUw" fontName="Verdana" lineColor="4210752"/>
+            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dt0okvZlEeCSetPXFd1ZUw"/>
+          </children>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_dt0BhvZlEeCSetPXFd1ZUw" fontName="Verdana" lineColor="4210752"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dt1PofZlEeCSetPXFd1ZUw" x="70" y="20"/>
+        </children>
+        <children xmi:id="_dt12sPZlEeCSetPXFd1ZUw" type="State" element="_dt1PovZlEeCSetPXFd1ZUw">
+          <children xsi:type="notation:DecorationNode" xmi:id="_dt2dwPZlEeCSetPXFd1ZUw" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_dt2dwfZlEeCSetPXFd1ZUw"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_dt2dwvZlEeCSetPXFd1ZUw"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_dt2dw_ZlEeCSetPXFd1ZUw" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_dt2dxPZlEeCSetPXFd1ZUw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dt2dxfZlEeCSetPXFd1ZUw"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_dt2dxvZlEeCSetPXFd1ZUw" type="StateFigureCompartment"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_dt12sfZlEeCSetPXFd1ZUw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_dt12svZlEeCSetPXFd1ZUw"/>
+          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_dt2dx_ZlEeCSetPXFd1ZUw"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dt2dyPZlEeCSetPXFd1ZUw" x="189"/>
+        </children>
+        <children xmi:id="_jGdEUPiNEeCdY7qI3rL1gA" type="State" element="_jGVvkPiNEeCdY7qI3rL1gA">
+          <children xsi:type="notation:DecorationNode" xmi:id="_jGfgkPiNEeCdY7qI3rL1gA" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_jGfgkfiNEeCdY7qI3rL1gA"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_jGfgkviNEeCdY7qI3rL1gA"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_jGgHoPiNEeCdY7qI3rL1gA" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_jGgusPiNEeCdY7qI3rL1gA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jGgusfiNEeCdY7qI3rL1gA"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_jGhVwPiNEeCdY7qI3rL1gA" type="StateFigureCompartment">
+            <children xmi:id="_sylLYPiNEeCdY7qI3rL1gA" type="Region" element="_syj9QPiNEeCdY7qI3rL1gA">
+              <children xsi:type="notation:DecorationNode" xmi:id="_sylycPiNEeCdY7qI3rL1gA" type="RegionName">
+                <styles xsi:type="notation:ShapeStyle" xmi:id="_sylycfiNEeCdY7qI3rL1gA"/>
+                <layoutConstraint xsi:type="notation:Location" xmi:id="_sylycviNEeCdY7qI3rL1gA"/>
+              </children>
+              <children xsi:type="notation:Shape" xmi:id="_sylyc_iNEeCdY7qI3rL1gA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
+                <children xmi:id="_3z91MPiNEeCdY7qI3rL1gA" type="State" element="_3z8nEPiNEeCdY7qI3rL1gA">
+                  <children xsi:type="notation:DecorationNode" xmi:id="_3z91NPiNEeCdY7qI3rL1gA" type="StateName">
+                    <styles xsi:type="notation:ShapeStyle" xmi:id="_3z-cQPiNEeCdY7qI3rL1gA"/>
+                    <layoutConstraint xsi:type="notation:Location" xmi:id="_3z-cQfiNEeCdY7qI3rL1gA"/>
+                  </children>
+                  <children xsi:type="notation:Compartment" xmi:id="_3z-cQviNEeCdY7qI3rL1gA" type="StateTextCompartment">
+                    <children xsi:type="notation:Shape" xmi:id="_3z-cQ_iNEeCdY7qI3rL1gA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_3z-cRPiNEeCdY7qI3rL1gA"/>
+                    </children>
+                  </children>
+                  <children xsi:type="notation:Compartment" xmi:id="_3z_DUPiNEeCdY7qI3rL1gA" type="StateFigureCompartment"/>
+                  <styles xsi:type="notation:ShapeStyle" xmi:id="_3z91MfiNEeCdY7qI3rL1gA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+                  <styles xsi:type="notation:FontStyle" xmi:id="_3z91MviNEeCdY7qI3rL1gA"/>
+                  <styles xsi:type="notation:BooleanValueStyle" xmi:id="_3z_DUfiNEeCdY7qI3rL1gA"/>
+                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_3z91M_iNEeCdY7qI3rL1gA" x="23" y="3" width="113" height="53"/>
+                </children>
+                <children xmi:id="_I7PfMPiOEeCdY7qI3rL1gA" type="State" element="_I7OREPiOEeCdY7qI3rL1gA">
+                  <children xsi:type="notation:DecorationNode" xmi:id="_I7QGQPiOEeCdY7qI3rL1gA" type="StateName">
+                    <styles xsi:type="notation:ShapeStyle" xmi:id="_I7QGQfiOEeCdY7qI3rL1gA"/>
+                    <layoutConstraint xsi:type="notation:Location" xmi:id="_I7QGQviOEeCdY7qI3rL1gA"/>
+                  </children>
+                  <children xsi:type="notation:Compartment" xmi:id="_I7QGQ_iOEeCdY7qI3rL1gA" type="StateTextCompartment">
+                    <children xsi:type="notation:Shape" xmi:id="_I7QGRPiOEeCdY7qI3rL1gA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_I7QGRfiOEeCdY7qI3rL1gA"/>
+                    </children>
+                  </children>
+                  <children xsi:type="notation:Compartment" xmi:id="_I7RUYPiOEeCdY7qI3rL1gA" type="StateFigureCompartment">
+                    <children xmi:id="_DvcZoPiXEeC4at_AzcYiGg" type="Region" element="_DvXhIPiXEeC4at_AzcYiGg">
+                      <children xsi:type="notation:DecorationNode" xmi:id="_DvdAsPiXEeC4at_AzcYiGg" type="RegionName">
+                        <styles xsi:type="notation:ShapeStyle" xmi:id="_DvdAsfiXEeC4at_AzcYiGg"/>
+                        <layoutConstraint xsi:type="notation:Location" xmi:id="_DvdAsviXEeC4at_AzcYiGg"/>
+                      </children>
+                      <children xsi:type="notation:Shape" xmi:id="_DvdAs_iXEeC4at_AzcYiGg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
+                        <children xmi:id="_FcuI4fiZEeC4at_AzcYiGg" type="State" element="_Fcth0PiZEeC4at_AzcYiGg">
+                          <children xsi:type="notation:DecorationNode" xmi:id="_Fcuv8viZEeC4at_AzcYiGg" type="StateName">
+                            <styles xsi:type="notation:ShapeStyle" xmi:id="_Fcuv8_iZEeC4at_AzcYiGg"/>
+                            <layoutConstraint xsi:type="notation:Location" xmi:id="_Fcuv9PiZEeC4at_AzcYiGg"/>
+                          </children>
+                          <children xsi:type="notation:Compartment" xmi:id="_Fcuv9fiZEeC4at_AzcYiGg" type="StateTextCompartment">
+                            <children xsi:type="notation:Shape" xmi:id="_Fcuv9viZEeC4at_AzcYiGg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+                              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Fcuv9_iZEeC4at_AzcYiGg"/>
+                            </children>
+                          </children>
+                          <children xsi:type="notation:Compartment" xmi:id="_FcvXAPiZEeC4at_AzcYiGg" type="StateFigureCompartment"/>
+                          <styles xsi:type="notation:ShapeStyle" xmi:id="_FcuI4viZEeC4at_AzcYiGg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+                          <styles xsi:type="notation:FontStyle" xmi:id="_Fcuv8PiZEeC4at_AzcYiGg"/>
+                          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_FcvXAfiZEeC4at_AzcYiGg"/>
+                          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Fcuv8fiZEeC4at_AzcYiGg" x="178" y="-9"/>
+                        </children>
+                        <children xmi:id="_QLsXkPiaEeC4at_AzcYiGg" type="Entry" element="_QLrwgPiaEeC4at_AzcYiGg">
+                          <children xmi:id="_QLsXk_iaEeC4at_AzcYiGg" type="BorderItemLabelContainer">
+                            <children xsi:type="notation:DecorationNode" xmi:id="_QLs-oPiaEeC4at_AzcYiGg" type="BorderItemLabel">
+                              <styles xsi:type="notation:ShapeStyle" xmi:id="_QLs-ofiaEeC4at_AzcYiGg"/>
+                              <layoutConstraint xsi:type="notation:Location" xmi:id="_QLs-oviaEeC4at_AzcYiGg"/>
+                            </children>
+                            <styles xsi:type="notation:ShapeStyle" xmi:id="_QLsXlPiaEeC4at_AzcYiGg" fontName="Verdana" lineColor="4210752"/>
+                            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_QLsXlfiaEeC4at_AzcYiGg"/>
+                          </children>
+                          <styles xsi:type="notation:ShapeStyle" xmi:id="_QLsXkfiaEeC4at_AzcYiGg" fontName="Verdana" lineColor="4210752"/>
+                          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_QLsXkviaEeC4at_AzcYiGg" x="25" y="8"/>
+                        </children>
+                        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_DvdAtPiXEeC4at_AzcYiGg"/>
+                      </children>
+                      <styles xsi:type="notation:ShapeStyle" xmi:id="_DvcZofiXEeC4at_AzcYiGg" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
+                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_DvcZoviXEeC4at_AzcYiGg"/>
+                    </children>
+                    <children xmi:id="_TLN6MPiOEeCdY7qI3rL1gA" type="Region" element="_TLNTIPiOEeCdY7qI3rL1gA">
+                      <children xsi:type="notation:DecorationNode" xmi:id="_TLOhQPiOEeCdY7qI3rL1gA" type="RegionName">
+                        <styles xsi:type="notation:ShapeStyle" xmi:id="_TLOhQfiOEeCdY7qI3rL1gA"/>
+                        <layoutConstraint xsi:type="notation:Location" xmi:id="_TLOhQviOEeCdY7qI3rL1gA"/>
+                      </children>
+                      <children xsi:type="notation:Shape" xmi:id="_TLOhQ_iOEeCdY7qI3rL1gA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
+                        <children xmi:id="_VAmHcPiOEeCdY7qI3rL1gA" type="State" element="_VAk5UPiOEeCdY7qI3rL1gA">
+                          <children xsi:type="notation:DecorationNode" xmi:id="_VAmHdPiOEeCdY7qI3rL1gA" type="StateName">
+                            <styles xsi:type="notation:ShapeStyle" xmi:id="_VAmHdfiOEeCdY7qI3rL1gA"/>
+                            <layoutConstraint xsi:type="notation:Location" xmi:id="_VAmugPiOEeCdY7qI3rL1gA"/>
+                          </children>
+                          <children xsi:type="notation:Compartment" xmi:id="_VAmugfiOEeCdY7qI3rL1gA" type="StateTextCompartment">
+                            <children xsi:type="notation:Shape" xmi:id="_VAmugviOEeCdY7qI3rL1gA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+                              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_VAmug_iOEeCdY7qI3rL1gA"/>
+                            </children>
+                          </children>
+                          <children xsi:type="notation:Compartment" xmi:id="_VAmuhPiOEeCdY7qI3rL1gA" type="StateFigureCompartment"/>
+                          <styles xsi:type="notation:ShapeStyle" xmi:id="_VAmHcfiOEeCdY7qI3rL1gA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+                          <styles xsi:type="notation:FontStyle" xmi:id="_VAmHcviOEeCdY7qI3rL1gA"/>
+                          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_VAmuhfiOEeCdY7qI3rL1gA"/>
+                          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_VAmHc_iOEeCdY7qI3rL1gA" x="118" y="12" width="65" height="62"/>
+                        </children>
+                        <children xmi:id="_WaocgPiOEeCdY7qI3rL1gA" type="State" element="_Wan1cPiOEeCdY7qI3rL1gA">
+                          <children xsi:type="notation:DecorationNode" xmi:id="_WapDkPiOEeCdY7qI3rL1gA" type="StateName">
+                            <styles xsi:type="notation:ShapeStyle" xmi:id="_WapDkfiOEeCdY7qI3rL1gA"/>
+                            <layoutConstraint xsi:type="notation:Location" xmi:id="_WapDkviOEeCdY7qI3rL1gA"/>
+                          </children>
+                          <children xsi:type="notation:Compartment" xmi:id="_WapDk_iOEeCdY7qI3rL1gA" type="StateTextCompartment">
+                            <children xsi:type="notation:Shape" xmi:id="_WapDlPiOEeCdY7qI3rL1gA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+                              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WapDlfiOEeCdY7qI3rL1gA"/>
+                            </children>
+                          </children>
+                          <children xsi:type="notation:Compartment" xmi:id="_WapDlviOEeCdY7qI3rL1gA" type="StateFigureCompartment"/>
+                          <styles xsi:type="notation:ShapeStyle" xmi:id="_WaocgfiOEeCdY7qI3rL1gA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+                          <styles xsi:type="notation:FontStyle" xmi:id="_WaocgviOEeCdY7qI3rL1gA"/>
+                          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_WapDl_iOEeCdY7qI3rL1gA"/>
+                          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Waocg_iOEeCdY7qI3rL1gA" x="293" y="11"/>
+                        </children>
+                        <children xmi:id="_aOFgAPiOEeCdY7qI3rL1gA" type="Entry" element="_aOE48PiOEeCdY7qI3rL1gA">
+                          <children xmi:id="_aOGHEPiOEeCdY7qI3rL1gA" type="BorderItemLabelContainer">
+                            <children xsi:type="notation:DecorationNode" xmi:id="_aOGuIPiOEeCdY7qI3rL1gA" type="BorderItemLabel">
+                              <styles xsi:type="notation:ShapeStyle" xmi:id="_aOGuIfiOEeCdY7qI3rL1gA"/>
+                              <layoutConstraint xsi:type="notation:Location" xmi:id="_aOGuIviOEeCdY7qI3rL1gA"/>
+                            </children>
+                            <styles xsi:type="notation:ShapeStyle" xmi:id="_aOGHEfiOEeCdY7qI3rL1gA" fontName="Verdana" lineColor="4210752"/>
+                            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_aOGHEviOEeCdY7qI3rL1gA"/>
+                          </children>
+                          <styles xsi:type="notation:ShapeStyle" xmi:id="_aOFgAfiOEeCdY7qI3rL1gA" fontName="Verdana" lineColor="4210752"/>
+                          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_aOFgAviOEeCdY7qI3rL1gA" x="13" y="29"/>
+                        </children>
+                        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_TLOhRPiOEeCdY7qI3rL1gA"/>
+                      </children>
+                      <styles xsi:type="notation:ShapeStyle" xmi:id="_TLN6MfiOEeCdY7qI3rL1gA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
+                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_TLN6MviOEeCdY7qI3rL1gA"/>
+                    </children>
+                  </children>
+                  <styles xsi:type="notation:ShapeStyle" xmi:id="_I7PfMfiOEeCdY7qI3rL1gA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+                  <styles xsi:type="notation:FontStyle" xmi:id="_I7PfMviOEeCdY7qI3rL1gA"/>
+                  <styles xsi:type="notation:BooleanValueStyle" xmi:id="_I7RUYfiOEeCdY7qI3rL1gA"/>
+                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_I7PfM_iOEeCdY7qI3rL1gA" x="207" y="3" width="473" height="269"/>
+                </children>
+                <children xmi:id="_KLtBgPiOEeCdY7qI3rL1gA" type="Entry" element="_KLsacPiOEeCdY7qI3rL1gA">
+                  <children xmi:id="_KLuPoPiOEeCdY7qI3rL1gA" type="BorderItemLabelContainer">
+                    <children xsi:type="notation:DecorationNode" xmi:id="_KLu2sPiOEeCdY7qI3rL1gA" type="BorderItemLabel">
+                      <styles xsi:type="notation:ShapeStyle" xmi:id="_KLu2sfiOEeCdY7qI3rL1gA"/>
+                      <layoutConstraint xsi:type="notation:Location" xmi:id="_KLu2sviOEeCdY7qI3rL1gA"/>
+                    </children>
+                    <styles xsi:type="notation:ShapeStyle" xmi:id="_KLuPofiOEeCdY7qI3rL1gA" fontName="Verdana" lineColor="4210752"/>
+                    <layoutConstraint xsi:type="notation:Bounds" xmi:id="_KLuPoviOEeCdY7qI3rL1gA"/>
+                  </children>
+                  <styles xsi:type="notation:ShapeStyle" xmi:id="_KLtBgfiOEeCdY7qI3rL1gA" fontName="Verdana" lineColor="4210752"/>
+                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_KLtBgviOEeCdY7qI3rL1gA" x="72" y="143"/>
+                </children>
+                <layoutConstraint xsi:type="notation:Bounds" xmi:id="_sylydPiNEeCdY7qI3rL1gA"/>
+              </children>
+              <styles xsi:type="notation:ShapeStyle" xmi:id="_sylLYfiNEeCdY7qI3rL1gA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_sylLYviNEeCdY7qI3rL1gA"/>
+            </children>
+            <children xmi:id="_9VjOcPiNEeCdY7qI3rL1gA" type="Region" element="_9VgLIPiNEeCdY7qI3rL1gA">
+              <children xsi:type="notation:DecorationNode" xmi:id="_9Vj1gPiNEeCdY7qI3rL1gA" type="RegionName">
+                <styles xsi:type="notation:ShapeStyle" xmi:id="_9Vj1gfiNEeCdY7qI3rL1gA"/>
+                <layoutConstraint xsi:type="notation:Location" xmi:id="_9Vj1gviNEeCdY7qI3rL1gA"/>
+              </children>
+              <children xsi:type="notation:Shape" xmi:id="_9Vj1g_iNEeCdY7qI3rL1gA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
+                <children xmi:id="_iDAN0PiOEeCdY7qI3rL1gA" type="Entry" element="_iC_mwPiOEeCdY7qI3rL1gA">
+                  <children xmi:id="_iDA04PiOEeCdY7qI3rL1gA" type="BorderItemLabelContainer">
+                    <children xsi:type="notation:DecorationNode" xmi:id="_iDA04_iOEeCdY7qI3rL1gA" type="BorderItemLabel">
+                      <styles xsi:type="notation:ShapeStyle" xmi:id="_iDA05PiOEeCdY7qI3rL1gA"/>
+                      <layoutConstraint xsi:type="notation:Location" xmi:id="_iDBb8PiOEeCdY7qI3rL1gA"/>
+                    </children>
+                    <styles xsi:type="notation:ShapeStyle" xmi:id="_iDA04fiOEeCdY7qI3rL1gA" fontName="Verdana" lineColor="4210752"/>
+                    <layoutConstraint xsi:type="notation:Bounds" xmi:id="_iDA04viOEeCdY7qI3rL1gA"/>
+                  </children>
+                  <styles xsi:type="notation:ShapeStyle" xmi:id="_iDAN0fiOEeCdY7qI3rL1gA" fontName="Verdana" lineColor="4210752"/>
+                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_iDAN0viOEeCdY7qI3rL1gA" x="55" y="38"/>
+                </children>
+                <children xmi:id="_jxLm4PiOEeCdY7qI3rL1gA" type="State" element="_jxK_0PiOEeCdY7qI3rL1gA">
+                  <children xsi:type="notation:DecorationNode" xmi:id="_jxMN8PiOEeCdY7qI3rL1gA" type="StateName">
+                    <styles xsi:type="notation:ShapeStyle" xmi:id="_jxMN8fiOEeCdY7qI3rL1gA"/>
+                    <layoutConstraint xsi:type="notation:Location" xmi:id="_jxMN8viOEeCdY7qI3rL1gA"/>
+                  </children>
+                  <children xsi:type="notation:Compartment" xmi:id="_jxMN8_iOEeCdY7qI3rL1gA" type="StateTextCompartment">
+                    <children xsi:type="notation:Shape" xmi:id="_jxMN9PiOEeCdY7qI3rL1gA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jxMN9fiOEeCdY7qI3rL1gA"/>
+                    </children>
+                  </children>
+                  <children xsi:type="notation:Compartment" xmi:id="_jxM1APiOEeCdY7qI3rL1gA" type="StateFigureCompartment"/>
+                  <styles xsi:type="notation:ShapeStyle" xmi:id="_jxLm4fiOEeCdY7qI3rL1gA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+                  <styles xsi:type="notation:FontStyle" xmi:id="_jxLm4viOEeCdY7qI3rL1gA"/>
+                  <styles xsi:type="notation:BooleanValueStyle" xmi:id="_jxM1AfiOEeCdY7qI3rL1gA"/>
+                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jxLm4_iOEeCdY7qI3rL1gA" x="162" y="14"/>
+                </children>
+                <children xmi:id="_wBlokPiOEeCdY7qI3rL1gA" type="State" element="_wBkacPiOEeCdY7qI3rL1gA">
+                  <children xsi:type="notation:DecorationNode" xmi:id="_wBlolPiOEeCdY7qI3rL1gA" type="StateName">
+                    <styles xsi:type="notation:ShapeStyle" xmi:id="_wBlolfiOEeCdY7qI3rL1gA"/>
+                    <layoutConstraint xsi:type="notation:Location" xmi:id="_wBlolviOEeCdY7qI3rL1gA"/>
+                  </children>
+                  <children xsi:type="notation:Compartment" xmi:id="_wBmPoPiOEeCdY7qI3rL1gA" type="StateTextCompartment">
+                    <children xsi:type="notation:Shape" xmi:id="_wBmPofiOEeCdY7qI3rL1gA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wBmPoviOEeCdY7qI3rL1gA"/>
+                    </children>
+                  </children>
+                  <children xsi:type="notation:Compartment" xmi:id="_wBmPo_iOEeCdY7qI3rL1gA" type="StateFigureCompartment"/>
+                  <styles xsi:type="notation:ShapeStyle" xmi:id="_wBlokfiOEeCdY7qI3rL1gA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+                  <styles xsi:type="notation:FontStyle" xmi:id="_wBlokviOEeCdY7qI3rL1gA"/>
+                  <styles xsi:type="notation:BooleanValueStyle" xmi:id="_wBmPpPiOEeCdY7qI3rL1gA"/>
+                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wBlok_iOEeCdY7qI3rL1gA" x="411" y="8"/>
+                </children>
+                <layoutConstraint xsi:type="notation:Bounds" xmi:id="_9Vj1hPiNEeCdY7qI3rL1gA"/>
+              </children>
+              <styles xsi:type="notation:ShapeStyle" xmi:id="_9VjOcfiNEeCdY7qI3rL1gA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_9VjOcviNEeCdY7qI3rL1gA"/>
+            </children>
+          </children>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_jGdrYPiNEeCdY7qI3rL1gA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_jGdrYfiNEeCdY7qI3rL1gA"/>
+          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_jGhVwfiNEeCdY7qI3rL1gA"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jGdrYviNEeCdY7qI3rL1gA" x="20" y="121" width="730" height="507"/>
+        </children>
+        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dt0BgvZlEeCSetPXFd1ZUw"/>
+      </children>
+      <styles xsi:type="notation:ShapeStyle" xmi:id="_dtyzZPZlEeCSetPXFd1ZUw" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
+      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dt0Bg_ZlEeCSetPXFd1ZUw" x="220" y="10" width="777" height="671"/>
+    </children>
+    <children xsi:type="notation:Shape" xmi:id="_dt46B_ZlEeCSetPXFd1ZUw" type="StatechartText" fontName="Verdana" lineColor="4210752">
+      <children xsi:type="notation:DecorationNode" xmi:id="_dt6IIPZlEeCSetPXFd1ZUw" type="StatechartName">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_dt6IIfZlEeCSetPXFd1ZUw"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_dt6IIvZlEeCSetPXFd1ZUw"/>
+      </children>
+      <children xsi:type="notation:Shape" xmi:id="_dt6II_ZlEeCSetPXFd1ZUw" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
+        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dt6IJPZlEeCSetPXFd1ZUw"/>
+      </children>
+      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dt6IJfZlEeCSetPXFd1ZUw" x="10" y="10" width="200" height="400"/>
+    </children>
+    <styles xsi:type="notation:DiagramStyle" xmi:id="_dtyzYfZlEeCSetPXFd1ZUw"/>
+    <edges xmi:id="_dt46APZlEeCSetPXFd1ZUw" type="Transition" element="_dt2dyfZlEeCSetPXFd1ZUw" source="_dt0BhfZlEeCSetPXFd1ZUw" target="_dt12sPZlEeCSetPXFd1ZUw">
+      <children xsi:type="notation:DecorationNode" xmi:id="_dt46BPZlEeCSetPXFd1ZUw" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_dt46BfZlEeCSetPXFd1ZUw"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_dt46BvZlEeCSetPXFd1ZUw" y="40"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_dt46AfZlEeCSetPXFd1ZUw" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_dt46A_ZlEeCSetPXFd1ZUw" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_dt46AvZlEeCSetPXFd1ZUw" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
+    </edges>
+    <edges xmi:id="_l-XFkPiNEeCdY7qI3rL1gA" type="Transition" element="_l-UpUPiNEeCdY7qI3rL1gA" source="_dt12sPZlEeCSetPXFd1ZUw" target="_jGdEUPiNEeCdY7qI3rL1gA">
+      <children xsi:type="notation:DecorationNode" xmi:id="_l-Y6wPiNEeCdY7qI3rL1gA" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_l-Y6wfiNEeCdY7qI3rL1gA"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_l-Y6wviNEeCdY7qI3rL1gA" x="37" y="-9"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_l-XFkfiNEeCdY7qI3rL1gA" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_l-YTsPiNEeCdY7qI3rL1gA" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_l-XFkviNEeCdY7qI3rL1gA" points="[-25, 24, 99, -93]$[-115, 116, 9, -1]"/>
+      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_l_QdcPiNEeCdY7qI3rL1gA" id="(0.8235294117647058,0.47619047619047616)"/>
+    </edges>
+    <edges xmi:id="_K-rWkPiOEeCdY7qI3rL1gA" type="Transition" element="_K-qvgPiOEeCdY7qI3rL1gA" source="_KLtBgPiOEeCdY7qI3rL1gA" target="_3z91MPiNEeCdY7qI3rL1gA">
+      <children xsi:type="notation:DecorationNode" xmi:id="_K-r9ofiOEeCdY7qI3rL1gA" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_K-r9oviOEeCdY7qI3rL1gA"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_K-r9o_iOEeCdY7qI3rL1gA" y="40"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_K-rWkfiOEeCdY7qI3rL1gA" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_K-r9oPiOEeCdY7qI3rL1gA" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_K-rWkviOEeCdY7qI3rL1gA" points="[1, -7, -47, 101]$[-8, -103, -56, 5]"/>
+    </edges>
+    <edges xmi:id="_PGSFIPiOEeCdY7qI3rL1gA" type="Transition" element="_PGReEPiOEeCdY7qI3rL1gA" source="_3z91MPiNEeCdY7qI3rL1gA" target="_I7PfMPiOEeCdY7qI3rL1gA">
+      <children xsi:type="notation:DecorationNode" xmi:id="_PGSsMfiOEeCdY7qI3rL1gA" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_PGSsMviOEeCdY7qI3rL1gA"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_PGSsM_iOEeCdY7qI3rL1gA" x="-4" y="21"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_PGSFIfiOEeCdY7qI3rL1gA" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_PGSsMPiOEeCdY7qI3rL1gA" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_PGSFIviOEeCdY7qI3rL1gA" points="[11, 1, -87, 0]$[82, -6, -16, -7]"/>
+      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_PHC6IPiOEeCdY7qI3rL1gA" id="(0.9026548672566371,0.5471698113207547)"/>
+      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_PHC6IfiOEeCdY7qI3rL1gA" id="(0.03382663847780127,0.13100436681222707)"/>
+    </edges>
+    <edges xmi:id="_bKbzgPiOEeCdY7qI3rL1gA" type="Transition" element="_bKalYPiOEeCdY7qI3rL1gA" source="_aOFgAPiOEeCdY7qI3rL1gA" target="_VAmHcPiOEeCdY7qI3rL1gA">
+      <children xsi:type="notation:DecorationNode" xmi:id="_bKbzhPiOEeCdY7qI3rL1gA" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_bKbzhfiOEeCdY7qI3rL1gA"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_bKcakPiOEeCdY7qI3rL1gA" y="40"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_bKbzgfiOEeCdY7qI3rL1gA" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_bKbzg_iOEeCdY7qI3rL1gA" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_bKbzgviOEeCdY7qI3rL1gA" points="[7, 0, -123, -7]$[133, 38, 3, 31]"/>
+    </edges>
+    <edges xmi:id="_cSJCcPiOEeCdY7qI3rL1gA" type="Transition" element="_cSIbYPiOEeCdY7qI3rL1gA" source="_VAmHcPiOEeCdY7qI3rL1gA" target="_WaocgPiOEeCdY7qI3rL1gA">
+      <children xsi:type="notation:DecorationNode" xmi:id="_cSJpgPiOEeCdY7qI3rL1gA" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_cSJpgfiOEeCdY7qI3rL1gA"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_cSJpgviOEeCdY7qI3rL1gA" x="1" y="-20"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_cSJCcfiOEeCdY7qI3rL1gA" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_cSJCc_iOEeCdY7qI3rL1gA" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_cSJCcviOEeCdY7qI3rL1gA" points="[17, -2, -136, 0]$[153, -16, 0, -14]"/>
+      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_cS-I4PiOEeCdY7qI3rL1gA" id="(0.7384615384615385,0.24193548387096775)"/>
+      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_cS-I4fiOEeCdY7qI3rL1gA" id="(0.5098039215686274,0.2222222222222222)"/>
+    </edges>
+    <edges xmi:id="_eOD8kPiOEeCdY7qI3rL1gA" type="Transition" element="_eOCucPiOEeCdY7qI3rL1gA" source="_WaocgPiOEeCdY7qI3rL1gA" target="_VAmHcPiOEeCdY7qI3rL1gA">
+      <children xsi:type="notation:DecorationNode" xmi:id="_eOD8lPiOEeCdY7qI3rL1gA" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_eOD8lfiOEeCdY7qI3rL1gA"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_eOEjoPiOEeCdY7qI3rL1gA" x="-5" y="13"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_eOD8kfiOEeCdY7qI3rL1gA" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_eOD8k_iOEeCdY7qI3rL1gA" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_eOD8kviOEeCdY7qI3rL1gA" points="[-11, -3, 123, 0]$[-124, 8, 10, 11]"/>
+      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_eO1YoPiOEeCdY7qI3rL1gA" id="(0.21568627450980393,0.873015873015873)"/>
+      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_eO1YofiOEeCdY7qI3rL1gA" id="(0.8,0.8225806451612904)"/>
+    </edges>
+    <edges xmi:id="_scxeAPiOEeCdY7qI3rL1gA" type="Transition" element="_scwP4PiOEeCdY7qI3rL1gA" source="_iDAN0PiOEeCdY7qI3rL1gA" target="_jxLm4PiOEeCdY7qI3rL1gA">
+      <children xsi:type="notation:DecorationNode" xmi:id="_scyFEfiOEeCdY7qI3rL1gA" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_scyFEviOEeCdY7qI3rL1gA"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_scyFE_iOEeCdY7qI3rL1gA" y="40"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_scxeAfiOEeCdY7qI3rL1gA" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_scyFEPiOEeCdY7qI3rL1gA" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_scxeAviOEeCdY7qI3rL1gA" points="[7, 0, -110, 1]$[109, -5, -8, -4]"/>
+      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_sd9w0PiOEeCdY7qI3rL1gA" id="(0.12307692307692308,0.3492063492063492)"/>
+    </edges>
+    <edges xmi:id="_xv6LkPiOEeCdY7qI3rL1gA" type="Transition" element="_xv5kgPiOEeCdY7qI3rL1gA" source="_jxLm4PiOEeCdY7qI3rL1gA" target="_wBlokPiOEeCdY7qI3rL1gA">
+      <children xsi:type="notation:DecorationNode" xmi:id="_xv6yofiOEeCdY7qI3rL1gA" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_xv6yoviOEeCdY7qI3rL1gA"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_xv6yo_iOEeCdY7qI3rL1gA" x="-3" y="-18"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_xv6LkfiOEeCdY7qI3rL1gA" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_xv6yoPiOEeCdY7qI3rL1gA" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_xv6LkviOEeCdY7qI3rL1gA" points="[11, -4, -223, -10]$[228, -25, -6, -31]"/>
+      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_xwuD4PiOEeCdY7qI3rL1gA" id="(0.7843137254901961,0.30158730158730157)"/>
+    </edges>
+    <edges xmi:id="_1T-vQPiOEeCdY7qI3rL1gA" type="Transition" element="_1T-IMPiOEeCdY7qI3rL1gA" source="_wBlokPiOEeCdY7qI3rL1gA" target="_jxLm4PiOEeCdY7qI3rL1gA">
+      <children xsi:type="notation:DecorationNode" xmi:id="_1T_9YPiOEeCdY7qI3rL1gA" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_1T_9YfiOEeCdY7qI3rL1gA"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_1T_9YviOEeCdY7qI3rL1gA" y="-16"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_1T-vQfiOEeCdY7qI3rL1gA" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_1T_WUPiOEeCdY7qI3rL1gA" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_1T-vQviOEeCdY7qI3rL1gA" points="[-25, -6, 208, 0]$[-223, -2, 10, 4]"/>
+      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_1UyAgPiOEeCdY7qI3rL1gA" id="(0.49019607843137253,0.8095238095238095)"/>
+      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_1UyAgfiOEeCdY7qI3rL1gA" id="(0.803921568627451,0.6190476190476191)"/>
+    </edges>
+    <edges xmi:id="_RSPv8PiaEeC4at_AzcYiGg" type="Transition" element="_RSOh0PiaEeC4at_AzcYiGg" source="_QLsXkPiaEeC4at_AzcYiGg" target="_FcuI4fiZEeC4at_AzcYiGg">
+      <children xsi:type="notation:DecorationNode" xmi:id="_RSPv9PiaEeC4at_AzcYiGg" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_RSPv9fiaEeC4at_AzcYiGg"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_RSPv9viaEeC4at_AzcYiGg" y="40"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_RSPv8fiaEeC4at_AzcYiGg" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_RSPv8_iaEeC4at_AzcYiGg" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_RSPv8viaEeC4at_AzcYiGg" points="[7, 0, -155, 2]$[146, -12, -16, -10]"/>
+      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_RTno8PiaEeC4at_AzcYiGg" id="(0.24615384615384617,0.3492063492063492)"/>
+    </edges>
+    <edges xmi:id="_kU0XcDXvEeGVofhlERZOaA" type="Transition" element="_kSvT0DXvEeGVofhlERZOaA" source="_3z91MPiNEeCdY7qI3rL1gA" target="_dt12sPZlEeCSetPXFd1ZUw">
+      <children xsi:type="notation:DecorationNode" xmi:id="_kU86UDXvEeGVofhlERZOaA" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_kU86UTXvEeGVofhlERZOaA"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_kU86UjXvEeGVofhlERZOaA" x="9" y="-51"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_kU0XcTXvEeGVofhlERZOaA" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_kU0-gDXvEeGVofhlERZOaA" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_kU0XcjXvEeGVofhlERZOaA" points="[3, -10, -52, 166]$[52, -148, -3, 28]"/>
+      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_kU_9oDXvEeGVofhlERZOaA" id="(0.7964601769911505,0.18867924528301888)"/>
+    </edges>
+    <edges xmi:id="_p2q2cDXvEeGVofhlERZOaA" type="Transition" element="_p2mlADXvEeGVofhlERZOaA" source="_FcuI4fiZEeC4at_AzcYiGg" target="_dt12sPZlEeCSetPXFd1ZUw">
+      <children xsi:type="notation:DecorationNode" xmi:id="_p2rdgTXvEeGVofhlERZOaA" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_p2rdgjXvEeGVofhlERZOaA"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_p2rdgzXvEeGVofhlERZOaA" x="-61" y="-26"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_p2q2cTXvEeGVofhlERZOaA" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_p2rdgDXvEeGVofhlERZOaA" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_p2q2cjXvEeGVofhlERZOaA" points="[-12, -10, 244, 214]$[-256, -217, 0, 7]"/>
+      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_p2tSsDXvEeGVofhlERZOaA" id="(0.46511627906976744,0.18181818181818182)"/>
+      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_p2tSsTXvEeGVofhlERZOaA" id="(0.5581395348837209,0.8727272727272727)"/>
+    </edges>
+    <edges xmi:id="_2S67wDXvEeGVofhlERZOaA" type="Transition" element="_2S3RYDXvEeGVofhlERZOaA" source="_jxLm4PiOEeCdY7qI3rL1gA" target="_dt12sPZlEeCSetPXFd1ZUw">
+      <children xsi:type="notation:DecorationNode" xmi:id="_2S7i0DXvEeGVofhlERZOaA" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_2S7i0TXvEeGVofhlERZOaA"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_2S7i0jXvEeGVofhlERZOaA" x="-105" y="-18"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_2S67wTXvEeGVofhlERZOaA" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_2S67wzXvEeGVofhlERZOaA" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_2S67wjXvEeGVofhlERZOaA" points="[-1, -27, 11, 486]$[-11, -505, 1, 8]"/>
+      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_2S8w8DXvEeGVofhlERZOaA" id="(0.5581395348837209,0.8545454545454545)"/>
+    </edges>
+    <edges xmi:id="_u_xzYDXxEeGVofhlERZOaA" type="Transition" element="_u_rFsDXxEeGVofhlERZOaA" source="_jGdEUPiNEeCdY7qI3rL1gA" target="_dt12sPZlEeCSetPXFd1ZUw">
+      <children xsi:type="notation:DecorationNode" xmi:id="_u_xzZDXxEeGVofhlERZOaA" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_u_xzZTXxEeGVofhlERZOaA"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_u_xzZjXxEeGVofhlERZOaA" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_u_xzYTXxEeGVofhlERZOaA" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_u_xzYzXxEeGVofhlERZOaA" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_u_xzYjXxEeGVofhlERZOaA" points="[-32, -14, 218, 94]$[-253, -135, -3, -27]"/>
+      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_u_zokDXxEeGVofhlERZOaA" id="(0.6027397260273972,0.027613412228796843)"/>
+    </edges>
+  </notation:Diagram>
+</xmi:XMI>

+ 8 - 3
TestScenarios/test-c/Test_ParallelRegions/CMakeLists.txt

@@ -3,6 +3,11 @@ include_directories(../../src-gen-c/Test_ParallelRegions)
 add_executable(TestParallelRegionsMain main.c)
 target_link_libraries(TestParallelRegionsMain Test_ParallelRegionsStatemachine)
 
-add_test(Dummy1 TestParallelRegionsMain "1")
-add_test(Dummy2 TestParallelRegionsMain "2")
-
+add_test(test_initialization TestParallelRegionsMain "1")
+add_test(test_state1_transition_event1 TestParallelRegionsMain "2")
+# add_test(test_state1_transition_and_back TestParallelRegionsMain "3")
+add_test(test_state1_transition_and_back_from_state3 TestParallelRegionsMain "4")
+add_test(test_state1_transition_and_back_from_state7 TestParallelRegionsMain "5")
+add_test(test_state1_transition_to_State4 TestParallelRegionsMain "6")
+add_test(test_parallel_event3_handling_state5_state7 TestParallelRegionsMain "7")
+add_test(test_preference_event3_leaving_state3_and_state7 TestParallelRegionsMain "8")

+ 359 - 10
TestScenarios/test-c/Test_ParallelRegions/main.c

@@ -17,7 +17,17 @@
 /*@DTestSuite: ParallelRegions Statechart Test (Test_ParallelRegions.sct) */
 
 #define MAXEVENTSPERTYPE 4
-const char* stateName[6] = {"State1", "State2", "State3", "State4", "State5", "State6"};
+const char* stateName[10] = {"State1", "State2", "State3", "State4", "State5", "State6", "State7", "State8", "State9", "noState"};
+const int EnumTostateStr[10] = { _State1, _State2, _State3, _State4, _State5, _State6, _State7, _State8, _State9, last_state };
+
+const char* getStateString(uint32_t index)
+{
+	int i;
+	for (i=0; i<10; ++i)
+		if (EnumTostateStr[i] == index)
+			return stateName[i];
+	return stateName[12];
+}
 
 void setupStatemachine(Test_ParallelRegionsStatemachine* machine, Timer* dummyTimer, EventPool* eventPool)
 {
@@ -51,16 +61,234 @@ void teardownStatemachine(Test_ParallelRegionsStatemachine* machine, Timer* dumm
 
 }
 
-/*@Test: test_default_var1 test behavior of var1 in default interface */
+/*@Test: test_initialization test the initialization of the state vector */
 int test_initialization()
 {
 
+	Test_ParallelRegionsStatemachine machine;
+	Timer dummyTimer;
+	EventPool eventPool;
+
+	/*@Desc: setup initial statemachine */
+	setupStatemachine(&machine, &dummyTimer, &eventPool);
+
+	/*@Desc: check the initial state at position 0 to be State1 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State1") == 0);
+
+	/*@Desc: check the initial state at position 1 to be no State */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 1)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 1)), "noState") == 0);
+
+	/*@Desc: check the initial state at position 2 to be no State */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)), "noState") == 0);
+
+	/*@Desc: teardown statemachine */
+	teardownStatemachine(&machine, &dummyTimer, &eventPool);
+
+	return 0;
+}
+
+
+/*@Test: test_state1_transition_event1 test the transition into Region1 and Region3 */
+int test_state1_transition_event1()
+{
+	Test_ParallelRegionsStatemachine machine;
+	Timer dummyTimer;
+	EventPool eventPool;
+
+	/*@Desc: setup initial statemachine */
+	setupStatemachine(&machine, &dummyTimer, &eventPool);
+
+	/*@Desc: check the initial state at position 0 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State1") == 0);
+
+	/*@Desc: raise event1 on default interface */
+	test_ParallelRegions_if_raise_event1(&machine.interface);
+
+	/*@Desc: run an explicit cycle */
+	test_ParallelRegionsStatemachine_runCycle(&machine);
+
+	/*@Desc: check the initial state at position 0 to be State3 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State3") == 0);
+
+	/*@Desc: check the initial state at position 1 to be no State */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 1)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 1)), "noState") == 0);
+
+	/*@Desc: check the initial state at position 2 to be State7 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)), "State7") == 0);
+
+	/*@Desc: teardown statemachine */
+	teardownStatemachine(&machine, &dummyTimer, &eventPool);
+
+	return 0;
+}
+
+/*@Test: test_state1_transition_and_back test behavior when jumping from state1 into parallel regions with state3 and 7 and from state3 back to state1 */
+int test_state1_transition_and_back()
+{
+	Test_ParallelRegionsStatemachine machine;
+	Timer dummyTimer;
+	EventPool eventPool;
+
+	/*@Desc: setup initial statemachine */
+	setupStatemachine(&machine, &dummyTimer, &eventPool);
+
+	/*@Desc: check the initial state at position 0 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State1") == 0);
+
+	/*@Desc: raise event1 on default interface */
+	test_ParallelRegions_if_raise_event1(&machine.interface);
+
+	/*@Desc: run an explicit cycle */
+	test_ParallelRegionsStatemachine_runCycle(&machine);
+
+	/*@Desc: check the initial state at position 0 to be State3 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State3") == 0);
+
+	/*@Desc: check the initial state at position 2 to be State7 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)), "State7") == 0);
+
+	/*@Desc: raise event10 on default interface */
+	test_ParallelRegions_if_raise_event10(&machine.interface);
+
+	printf("run Cycle ..\n");
+
+	/*@Desc: run an explicit cycle */
+	test_ParallelRegionsStatemachine_runCycle(&machine);
+
+	/*@Desc: check the initial state at position 0 to be State1 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State1") == 0);
+
+	/*@Desc: check the initial state at position 1 to be no State */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 1)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 1)), "noState") == 0);
+
+	/*@Desc: check the initial state at position 2 to be no State */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)), "noState") == 0);
+
+	/*@Desc: teardown statemachine */
+	teardownStatemachine(&machine, &dummyTimer, &eventPool);
+
+	return 0;
+}
+
+/*@Test: test_state1_transition_and_back test behavior when jumping from state1 into parallel regions with state3 and 7 and from state3 back from state3 */
+int test_state1_transition_and_back_from_state3()
+{
+	Test_ParallelRegionsStatemachine machine;
+	Timer dummyTimer;
+	EventPool eventPool;
+
+	/*@Desc: setup initial statemachine */
+	setupStatemachine(&machine, &dummyTimer, &eventPool);
+
+	/*@Desc: check the initial state at position 0 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State1") == 0);
+
+	/*@Desc: raise event1 on default interface */
+	test_ParallelRegions_if_raise_event1(&machine.interface);
+
+	/*@Desc: run an explicit cycle */
+	test_ParallelRegionsStatemachine_runCycle(&machine);
+
+	/*@Desc: check the initial state at position 0 to be State3 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State3") == 0);
+
+	/*@Desc: check the initial state at position 2 to be State7 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)), "State7") == 0);
+
+	/*@Desc: raise event9 on default interface */
+	test_ParallelRegions_if_raise_event9(&machine.interface);
+
+	/*@Desc: run an explicit cycle */
+	test_ParallelRegionsStatemachine_runCycle(&machine);
+
+	/*@Desc: check the initial state at position 0 to be State1 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State1") == 0);
+
+	/*@Desc: check the initial state at position 1 to be no State */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 1)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 1)), "noState") == 0);
+
+	/*@Desc: check the initial state at position 2 to be no State */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)), "noState") == 0);
+
+	/*@Desc: teardown statemachine */
+	teardownStatemachine(&machine, &dummyTimer, &eventPool);
+
 	return 0;
 }
 
+/*@Test: test_state1_transition_and_back test behavior when jumping from state1 into parallel regions with state3 and 7 and from state7 back from state3 */
+int test_state1_transition_and_back_from_state7()
+{
+	Test_ParallelRegionsStatemachine machine;
+	Timer dummyTimer;
+	EventPool eventPool;
+
+	/*@Desc: setup initial statemachine */
+	setupStatemachine(&machine, &dummyTimer, &eventPool);
+
+	/*@Desc: check the initial state at position 0 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State1") == 0);
 
-/*@Test: test_state9_state10_transition test behavior of var1 in default and other interface */
-int dummy1()
+	/*@Desc: raise event1 on default interface */
+	test_ParallelRegions_if_raise_event1(&machine.interface);
+
+	/*@Desc: run an explicit cycle */
+	test_ParallelRegionsStatemachine_runCycle(&machine);
+
+	/*@Desc: check the initial state at position 0 to be State3 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State3") == 0);
+
+	/*@Desc: check the initial state at position 2 to be State7 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)), "State7") == 0);
+
+	/*@Desc: raise event9 on default interface */
+	test_ParallelRegions_if_raise_event7(&machine.interface);
+
+	/*@Desc: run an explicit cycle */
+	test_ParallelRegionsStatemachine_runCycle(&machine);
+
+	/*@Desc: check the initial state at position 0 to be State1 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State1") == 0);
+
+	/*@Desc: check the initial state at position 1 to be no State */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 1)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 1)), "noState") == 0);
+
+	/*@Desc: check the initial state at position 2 to be no State */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)), "noState") == 0);
+
+	/*@Desc: teardown statemachine */
+	teardownStatemachine(&machine, &dummyTimer, &eventPool);
+
+	return 0;
+}
+
+/*@Test: test_state1_transition_to_State4 test the transition into Region2, Region3 and Region4 */
+int test_state1_transition_to_State4()
 {
 	Test_ParallelRegionsStatemachine machine;
 	Timer dummyTimer;
@@ -69,14 +297,42 @@ int dummy1()
 	/*@Desc: setup initial statemachine */
 	setupStatemachine(&machine, &dummyTimer, &eventPool);
 
+	/*@Desc: check the initial state at position 0 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State1") == 0);
+
+	/*@Desc: raise event1 on default interface */
+	test_ParallelRegions_if_raise_event1(&machine.interface);
+
+	/*@Desc: run an explicit cycle */
+	test_ParallelRegionsStatemachine_runCycle(&machine);
+
+	/*@Desc: raise event2 on default interface */
+	test_ParallelRegions_if_raise_event2(&machine.interface);
+
+	/*@Desc: run an explicit cycle */
+	test_ParallelRegionsStatemachine_runCycle(&machine);
+
+	/*@Desc: check the initial state at position 0 to be State3 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State5") == 0);
+
+	/*@Desc: check the initial state at position 1 to be no State */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 1)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 1)), "State9") == 0);
+
+	/*@Desc: check the initial state at position 2 to be State7 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)), "State7") == 0);
+
 	/*@Desc: teardown statemachine */
 	teardownStatemachine(&machine, &dummyTimer, &eventPool);
 
 	return 0;
 }
 
-/*@Test: test_default_var1 test behavior of var1 in default and other interface */
-int dummy2()
+/*@Test: test_parallel_event3_handling_state5_state7 test event3 handling within state5 and event7 */
+int test_parallel_event3_handling_state5_state7()
 {
 	Test_ParallelRegionsStatemachine machine;
 	Timer dummyTimer;
@@ -85,11 +341,39 @@ int dummy2()
 	/*@Desc: setup initial statemachine */
 	setupStatemachine(&machine, &dummyTimer, &eventPool);
 
-	/*@Desc: run an explicit cycle - without any waiting event (for initialization) */
+	/*@Desc: check the initial state at position 0 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State1") == 0);
+
+	/*@Desc: raise event1 on default interface */
+	test_ParallelRegions_if_raise_event1(&machine.interface);
+
+	/*@Desc: run an explicit cycle */
+	test_ParallelRegionsStatemachine_runCycle(&machine);
+
+	/*@Desc: raise event2 on default interface */
+	test_ParallelRegions_if_raise_event2(&machine.interface);
+
+	/*@Desc: run an explicit cycle */
+	test_ParallelRegionsStatemachine_runCycle(&machine);
+
+	/*@Desc: raise event3 on default interface */
+	test_ParallelRegions_if_raise_event3(&machine.interface);
+
+	/*@Desc: run an explicit cycle */
 	test_ParallelRegionsStatemachine_runCycle(&machine);
 
-	/*@Desc:  */
+	/*@Desc: check the initial state at position 0 to be State3 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State6") == 0);
 
+	/*@Desc: check the initial state at position 1 to be no State */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 1)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 1)), "State9") == 0);
+
+	/*@Desc: check the initial state at position 2 to be State7 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)), "State8") == 0);
 
 	/*@Desc: teardown statemachine */
 	teardownStatemachine(&machine, &dummyTimer, &eventPool);
@@ -97,10 +381,63 @@ int dummy2()
 	return 0;
 }
 
+/*@Test: test_parallel_event3_handling_state5_state7 test event3 handling within state5 and event7 */
+int test_preference_event3_leaving_state3_and_state7()
+{
+	Test_ParallelRegionsStatemachine machine;
+	Timer dummyTimer;
+	EventPool eventPool;
 
+	/*@Desc: setup initial statemachine */
+	setupStatemachine(&machine, &dummyTimer, &eventPool);
+
+	/*@Desc: check the initial state at position 0 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State1") == 0);
+
+	/*@Desc: raise event1 on default interface */
+	test_ParallelRegions_if_raise_event1(&machine.interface);
+
+	/*@Desc: run an explicit cycle */
+	test_ParallelRegionsStatemachine_runCycle(&machine);
+
+	/*@Desc: check wether reg3 is set correctly to 7 */
+	assert( test_ParallelRegions_if_get_reg3(&machine.interface) == 7);
+
+	/*@Desc: check the initial state at position 0 to be State3 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State3") == 0);
 
+	/*@Desc: check the initial state at position 0 to be State3 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)), "State7") == 0);
 
+	/*@Desc: raise event3 on default interface */
+	test_ParallelRegions_if_raise_event3(&machine.interface);
+
+	/*@Desc: run an explicit cycle */
+	test_ParallelRegionsStatemachine_runCycle(&machine);
 
+	/*@Desc: check the initial state at position 0 to be State1 */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State1") == 0);
+
+	/*@Desc: check the initial state at position 1 to be no State */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 1)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 1)), "noState") == 0);
+
+	/*@Desc: check the initial state at position 2 to be no State */
+	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)));
+	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 2)), "noState") == 0);
+
+	/*@Desc: check wether reg3 is set correctly to -1 */
+	assert( test_ParallelRegions_if_get_reg3(&machine.interface) == -1);
+
+	/*@Desc: teardown statemachine */
+	teardownStatemachine(&machine, &dummyTimer, &eventPool);
+
+	return 0;
+}
 
 int main(int argc, char** argv)
 {
@@ -109,9 +446,21 @@ int main(int argc, char** argv)
 
 	switch (atoi(argv[1])) {
 	case 1:
-		return dummy1();
+		return test_initialization();
 	case 2:
-		return dummy2();
+		return test_state1_transition_event1();
+	case 3:
+		return test_state1_transition_and_back();
+	case 4:
+		return test_state1_transition_and_back_from_state3();
+	case 5:
+		return test_state1_transition_and_back_from_state7();
+	case 6:
+		return test_state1_transition_to_State4();
+	case 7:
+		return test_parallel_event3_handling_state5_state7();
+	case 8:
+		return test_preference_event3_leaving_state3_and_state7();
 	}
 
 	return -1;