Additional synchronization validations

plugins/org.yakindu.sct.model.sgraph/src/org/yakindu/sct/model/sgraph/validation/SGraphJavaValidator.java

@@ -57,9 +57,10 @@ public class SGraphJavaValidator extends AbstractDeclarativeValidator {
 	public static final String ISSUE_CHOICE_WITHOUT_OUTGOING_TRANSITION = "A choice must have at least one outgoing transition.";
 	public static final String ISSUE_SUBMACHINE_UNRESOLVABLE = "Referenced Substatemachine '%s'does not exist!";
 	public static final String ISSUE_SYNCHRONIZATION_TARGET_STATES_NOT_ORTHOGONAL = "The target states of a synchronization must be orthogonal!";
-	public static final String ISSUE_SYNCHRONIZATION_TARGET_STATES_NOT_WITHIN_SAME_PARENTSTATE = "The target states of a synchronization aren't contained in the same parent state!";
+	public static final String ISSUE_SYNCHRONIZATION_TARGET_STATES_NOT_WITHIN_SAME_PARENTSTATE = "The target states of a synchronization have to be contained in the same parent state within different regions!";
 	public static final String ISSUE_SYNCHRONIZATION_SOURCE_STATES_NOT_ORTHOGONAL = "The source states of a synchronization must be orthogonal!";
-	public static final String ISSUE_SYNCHRONIZATION_SOURCE_STATES_NOT_WITHIN_SAME_PARENTSTATE = "The source states of a synchronization aren't contained in the same parent state!";
+	public static final String ISSUE_SYNCHRONIZATION_SOURCE_STATES_NOT_WITHIN_SAME_PARENTSTATE = "The source states of a synchronization have to be contained in the same parent state within different regions!";
+	public static final String ISSUE_SYNCHRONIZATION_TRANSITION_COUNT = "A synchronization should have at least two incoming or two outgoing transitions";
 	
 	public SGraphJavaValidator() {
 		// TODO Auto-generated constructor stub
@@ -147,6 +148,13 @@ public class SGraphJavaValidator extends AbstractDeclarativeValidator {
 			error(ISSUE_ENTRY_WITH_MULTIPLE_OUT_TRANS, entry, null, -1);
 		}
 	}
+	
+	@Check(CheckType.FAST)
+	public void invalidSynchronizationUsage(Synchronization sync) {
+		if (sync.getIncomingTransitions().size() < 2 && sync.getOutgoingTransitions().size() < 2) {
+			error(ISSUE_SYNCHRONIZATION_TRANSITION_COUNT, sync, null, -1);
+		}
+	}
 
 	@Check(CheckType.FAST)
 	public void orthogonalStates(Synchronization fork) {

test-plugins/org.yakindu.sct.model.sgraph.test/src/org/yakindu/sct/model/sgraph/test/SGraphJavaValidationTest.java

@@ -25,9 +25,10 @@ import static org.yakindu.sct.model.sgraph.validation.SGraphJavaValidator.ISSUE_
 import static org.yakindu.sct.model.sgraph.validation.SGraphJavaValidator.ISSUE_STATE_WITHOUT_NAME;
 import static org.yakindu.sct.model.sgraph.validation.SGraphJavaValidator.ISSUE_STATE_WITHOUT_OUTGOING_TRANSITION;
 import static org.yakindu.sct.model.sgraph.validation.SGraphJavaValidator.ISSUE_SYNCHRONIZATION_SOURCE_STATES_NOT_ORTHOGONAL;
-import static org.yakindu.sct.model.sgraph.validation.SGraphJavaValidator.ISSUE_SYNCHRONIZATION_TARGET_STATES_NOT_ORTHOGONAL;
 import static org.yakindu.sct.model.sgraph.validation.SGraphJavaValidator.ISSUE_SYNCHRONIZATION_SOURCE_STATES_NOT_WITHIN_SAME_PARENTSTATE;
+import static org.yakindu.sct.model.sgraph.validation.SGraphJavaValidator.ISSUE_SYNCHRONIZATION_TARGET_STATES_NOT_ORTHOGONAL;
 import static org.yakindu.sct.model.sgraph.validation.SGraphJavaValidator.ISSUE_SYNCHRONIZATION_TARGET_STATES_NOT_WITHIN_SAME_PARENTSTATE;
+import static org.yakindu.sct.model.sgraph.validation.SGraphJavaValidator.ISSUE_SYNCHRONIZATION_TRANSITION_COUNT;
 
 import java.lang.reflect.Method;
 import java.util.HashMap;
@@ -35,7 +36,6 @@ import java.util.Iterator;
 
 import org.eclipse.emf.common.util.BasicDiagnostic;
 import org.eclipse.emf.common.util.Diagnostic;
-import org.eclipse.emf.common.util.URI;
 import org.eclipse.emf.ecore.EObject;
 import org.eclipse.xtext.junit4.InjectWith;
 import org.eclipse.xtext.junit4.XtextRunner;
@@ -368,9 +368,28 @@ public class SGraphJavaValidationTest {
 		assertError(diagnostics, ISSUE_CHOICE_WITHOUT_OUTGOING_TRANSITION);
 	}
 
+	@Test
+	public void invalidSynchronizationUsage() {
+		statechart = SGraphTestModelUtil
+				.loadStatechart("InvalidSynchronizationUsage.sct");
+		Iterator<EObject> iter = statechart.eAllContents();
+		while (iter.hasNext()) {
+			EObject element = iter.next();
+			if (element instanceof Synchronization) {
+				assertFalse(validator.validate(element, diagnostics,
+						new HashMap<Object, Object>()));
+			}
+		}
+
+		assertIssueCount(diagnostics, 2);
+		assertError(diagnostics,
+				ISSUE_SYNCHRONIZATION_TRANSITION_COUNT);
+	}
+
 	@Test
 	public void orthogonalStates() {
-		statechart = SGraphTestModelUtil.loadStatechart("NotOrthogonalRegion01.sct");
+		statechart = SGraphTestModelUtil
+				.loadStatechart("NotOrthogonalRegion01.sct");
 		Iterator<EObject> iter = statechart.eAllContents();
 		while (iter.hasNext()) {
 			EObject element = iter.next();
@@ -387,7 +406,8 @@ public class SGraphJavaValidationTest {
 				ISSUE_SYNCHRONIZATION_TARGET_STATES_NOT_ORTHOGONAL);
 
 		diagnostics = new BasicDiagnostic();
-		statechart = SGraphTestModelUtil.loadStatechart("NotOrthogonalRegion02.sct");
+		statechart = SGraphTestModelUtil
+				.loadStatechart("NotOrthogonalRegion02.sct");
 		iter = statechart.eAllContents();
 		while (iter.hasNext()) {
 			EObject element = iter.next();
@@ -404,7 +424,8 @@ public class SGraphJavaValidationTest {
 				ISSUE_SYNCHRONIZATION_TARGET_STATES_NOT_WITHIN_SAME_PARENTSTATE);
 
 		diagnostics = new BasicDiagnostic();
-		statechart = SGraphTestModelUtil.loadStatechart("NotOrthogonalRegion03.sct");
+		statechart = SGraphTestModelUtil
+				.loadStatechart("NotOrthogonalRegion03.sct");
 		iter = statechart.eAllContents();
 		while (iter.hasNext()) {
 			EObject element = iter.next();
@@ -423,7 +444,8 @@ public class SGraphJavaValidationTest {
 
 	@Test
 	public void orthogonalStatesValid() {
-		statechart = SGraphTestModelUtil.loadStatechart("OrthogonalRegion01.sct");
+		statechart = SGraphTestModelUtil
+				.loadStatechart("OrthogonalRegion01.sct");
 		Iterator<EObject> iter = statechart.eAllContents();
 		while (iter.hasNext()) {
 			EObject element = iter.next();

test-plugins/org.yakindu.sct.model.sgraph.test/testmodels/InvalidSynchronizationUsage.sct

@@ -0,0 +1,147 @@
+<?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="_x651cKsyEeKkYoDxSIY5_A" name="InvalidSyncronizationUsage">
+    <regions xmi:id="_m4P_UKs9EeKkYoDxSIY5_A">
+      <vertices xsi:type="sgraph:Entry" xmi:id="_nhDrwKs9EeKkYoDxSIY5_A">
+        <outgoingTransitions xmi:id="_zAF64Ks9EeKK78DmuDPJ0w" specification="" target="_n6e4YKs9EeKkYoDxSIY5_A"/>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_n6e4YKs9EeKkYoDxSIY5_A" name="A" incomingTransitions="_zAF64Ks9EeKK78DmuDPJ0w">
+        <outgoingTransitions xmi:id="_0IgUcKs9EeKK78DmuDPJ0w" specification="" target="_o14JoKs9EeKkYoDxSIY5_A"/>
+      </vertices>
+      <vertices xsi:type="sgraph:Synchronization" xmi:id="_o14JoKs9EeKkYoDxSIY5_A" incomingTransitions="_0IgUcKs9EeKK78DmuDPJ0w">
+        <outgoingTransitions xmi:id="_095EUKs9EeKK78DmuDPJ0w" specification="" target="_parf0Ks9EeKkYoDxSIY5_A"/>
+      </vertices>
+      <vertices xsi:type="sgraph:State" xmi:id="_parf0Ks9EeKkYoDxSIY5_A" name="B" incomingTransitions="_095EUKs9EeKK78DmuDPJ0w">
+        <outgoingTransitions xmi:id="_1zIDMKs9EeKK78DmuDPJ0w" specification="" target="_yRDqoKs9EeKK78DmuDPJ0w"/>
+      </vertices>
+      <vertices xsi:type="sgraph:FinalState" xmi:id="_wCs8sKs9EeKK78DmuDPJ0w" incomingTransitions="_3QpKEKs9EeKK78DmuDPJ0w"/>
+      <vertices xsi:type="sgraph:Synchronization" xmi:id="_yRDqoKs9EeKK78DmuDPJ0w" incomingTransitions="_1zIDMKs9EeKK78DmuDPJ0w">
+        <outgoingTransitions xmi:id="_3QpKEKs9EeKK78DmuDPJ0w" specification="" target="_wCs8sKs9EeKK78DmuDPJ0w"/>
+      </vertices>
+    </regions>
+  </sgraph:Statechart>
+  <notation:Diagram xmi:id="_x67DkKsyEeKkYoDxSIY5_A" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_x651cKsyEeKkYoDxSIY5_A" measurementUnit="Pixel">
+    <children xsi:type="notation:Shape" xmi:id="_x7E0kasyEeKkYoDxSIY5_A" type="StatechartText" fontName="Verdana" lineColor="4210752">
+      <children xsi:type="notation:DecorationNode" xmi:id="_x7FboKsyEeKkYoDxSIY5_A" type="StatechartName">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_x7FboasyEeKkYoDxSIY5_A"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_x7FboqsyEeKkYoDxSIY5_A"/>
+      </children>
+      <children xsi:type="notation:Shape" xmi:id="_x7Fbo6syEeKkYoDxSIY5_A" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
+        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_x7FbpKsyEeKkYoDxSIY5_A"/>
+      </children>
+      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_x7FbpasyEeKkYoDxSIY5_A" x="10" y="10" width="200" height="400"/>
+    </children>
+    <children xmi:id="_m4U30Ks9EeKkYoDxSIY5_A" type="Region" element="_m4P_UKs9EeKkYoDxSIY5_A">
+      <children xsi:type="notation:DecorationNode" xmi:id="_m4WF8Ks9EeKkYoDxSIY5_A" type="RegionName">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_m4WF8as9EeKkYoDxSIY5_A"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_m4WF8qs9EeKkYoDxSIY5_A"/>
+      </children>
+      <children xsi:type="notation:Shape" xmi:id="_m4WF86s9EeKkYoDxSIY5_A" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
+        <children xmi:id="_nhFg8Ks9EeKkYoDxSIY5_A" type="Entry" element="_nhDrwKs9EeKkYoDxSIY5_A">
+          <children xmi:id="_nhGIAKs9EeKkYoDxSIY5_A" type="BorderItemLabelContainer">
+            <children xsi:type="notation:DecorationNode" xmi:id="_nhGIA6s9EeKkYoDxSIY5_A" type="BorderItemLabel">
+              <styles xsi:type="notation:ShapeStyle" xmi:id="_nhGIBKs9EeKkYoDxSIY5_A"/>
+              <layoutConstraint xsi:type="notation:Location" xmi:id="_nhGIBas9EeKkYoDxSIY5_A"/>
+            </children>
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_nhGIAas9EeKkYoDxSIY5_A" fontName="Verdana" lineColor="4210752"/>
+            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_nhGIAqs9EeKkYoDxSIY5_A"/>
+          </children>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_nhFg8as9EeKkYoDxSIY5_A" fontName="Verdana" lineColor="4210752"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_nhFg8qs9EeKkYoDxSIY5_A" x="9" y="66"/>
+        </children>
+        <children xmi:id="_n6hUoKs9EeKkYoDxSIY5_A" type="State" element="_n6e4YKs9EeKkYoDxSIY5_A">
+          <children xsi:type="notation:DecorationNode" xmi:id="_n6iiwKs9EeKkYoDxSIY5_A" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_n6iiwas9EeKkYoDxSIY5_A"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_n6jJ0Ks9EeKkYoDxSIY5_A"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_n6jJ0as9EeKkYoDxSIY5_A" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_n6jJ0qs9EeKkYoDxSIY5_A" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_n6jJ06s9EeKkYoDxSIY5_A"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_n6kX8Ks9EeKkYoDxSIY5_A" type="StateFigureCompartment"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_n6hUoas9EeKkYoDxSIY5_A" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_n6hUoqs9EeKkYoDxSIY5_A"/>
+          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_n6kX8as9EeKkYoDxSIY5_A" name="isHorizontal" booleanValue="true"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_n6hUo6s9EeKkYoDxSIY5_A" x="64" y="52"/>
+        </children>
+        <children xsi:type="notation:Shape" xmi:id="_o15XwKs9EeKkYoDxSIY5_A" type="Synchronization" element="_o14JoKs9EeKkYoDxSIY5_A" fontName="Verdana" lineColor="4210752">
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_o15Xwas9EeKkYoDxSIY5_A" x="150" y="58"/>
+        </children>
+        <children xmi:id="_pat8EKs9EeKkYoDxSIY5_A" type="State" element="_parf0Ks9EeKkYoDxSIY5_A">
+          <children xsi:type="notation:DecorationNode" xmi:id="_pavKMKs9EeKkYoDxSIY5_A" type="StateName">
+            <styles xsi:type="notation:ShapeStyle" xmi:id="_pavKMas9EeKkYoDxSIY5_A"/>
+            <layoutConstraint xsi:type="notation:Location" xmi:id="_pavKMqs9EeKkYoDxSIY5_A"/>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_pavKM6s9EeKkYoDxSIY5_A" type="StateTextCompartment">
+            <children xsi:type="notation:Shape" xmi:id="_pavKNKs9EeKkYoDxSIY5_A" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_pavKNas9EeKkYoDxSIY5_A"/>
+            </children>
+          </children>
+          <children xsi:type="notation:Compartment" xmi:id="_pavxQKs9EeKkYoDxSIY5_A" type="StateFigureCompartment"/>
+          <styles xsi:type="notation:ShapeStyle" xmi:id="_pat8Eas9EeKkYoDxSIY5_A" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
+          <styles xsi:type="notation:FontStyle" xmi:id="_pat8Eqs9EeKkYoDxSIY5_A"/>
+          <styles xsi:type="notation:BooleanValueStyle" xmi:id="_pavxQas9EeKkYoDxSIY5_A" name="isHorizontal" booleanValue="true"/>
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_pat8E6s9EeKkYoDxSIY5_A" x="214" y="50"/>
+        </children>
+        <children xsi:type="notation:Shape" xmi:id="_wDIagKs9EeKK78DmuDPJ0w" type="FinalState" element="_wCs8sKs9EeKK78DmuDPJ0w" fontName="Verdana" lineColor="4210752">
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wDIagas9EeKK78DmuDPJ0w" x="379" y="66"/>
+        </children>
+        <children xsi:type="notation:Shape" xmi:id="_yRGG4Ks9EeKK78DmuDPJ0w" type="Synchronization" element="_yRDqoKs9EeKK78DmuDPJ0w" fontName="Verdana" lineColor="4210752">
+          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yRGt8Ks9EeKK78DmuDPJ0w" x="306" y="53"/>
+        </children>
+        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_m4WF9Ks9EeKkYoDxSIY5_A"/>
+      </children>
+      <styles xsi:type="notation:ShapeStyle" xmi:id="_m4U30as9EeKkYoDxSIY5_A" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
+      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_m4U30qs9EeKkYoDxSIY5_A" x="215" y="10" width="416" height="144"/>
+    </children>
+    <styles xsi:type="notation:DiagramStyle" xmi:id="_x67DkasyEeKkYoDxSIY5_A"/>
+    <edges xmi:id="_zAKMUKs9EeKK78DmuDPJ0w" type="Transition" element="_zAF64Ks9EeKK78DmuDPJ0w" source="_nhFg8Ks9EeKkYoDxSIY5_A" target="_n6hUoKs9EeKkYoDxSIY5_A">
+      <children xsi:type="notation:DecorationNode" xmi:id="_zALacKs9EeKK78DmuDPJ0w" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_zALacas9EeKK78DmuDPJ0w"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_zALacqs9EeKK78DmuDPJ0w" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_zAKMUas9EeKK78DmuDPJ0w" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_zAKzYKs9EeKK78DmuDPJ0w" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_zAKMUqs9EeKK78DmuDPJ0w" points="[8, 0, -45, 2]$[54, -21, 1, -19]"/>
+      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_zAOdwKs9EeKK78DmuDPJ0w" id="(0.15,0.39622641509433965)"/>
+    </edges>
+    <edges xmi:id="_0Ikl4Ks9EeKK78DmuDPJ0w" type="Transition" element="_0IgUcKs9EeKK78DmuDPJ0w" source="_n6hUoKs9EeKkYoDxSIY5_A" target="_o15XwKs9EeKkYoDxSIY5_A">
+      <children xsi:type="notation:DecorationNode" xmi:id="_0IlM86s9EeKK78DmuDPJ0w" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_0IlM9Ks9EeKK78DmuDPJ0w"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_0IlM9as9EeKK78DmuDPJ0w" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_0IlM8Ks9EeKK78DmuDPJ0w" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_0IlM8qs9EeKK78DmuDPJ0w" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_0IlM8as9EeKK78DmuDPJ0w" points="[18, -6, -55, -4]$[72, -18, -1, -16]"/>
+    </edges>
+    <edges xmi:id="_0965gKs9EeKK78DmuDPJ0w" type="Transition" element="_095EUKs9EeKK78DmuDPJ0w" source="_o15XwKs9EeKkYoDxSIY5_A" target="_pat8EKs9EeKkYoDxSIY5_A">
+      <children xsi:type="notation:DecorationNode" xmi:id="_097gk6s9EeKK78DmuDPJ0w" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_097glKs9EeKK78DmuDPJ0w"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_097glas9EeKK78DmuDPJ0w" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_097gkKs9EeKK78DmuDPJ0w" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_097gkqs9EeKK78DmuDPJ0w" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_097gkas9EeKK78DmuDPJ0w" points="[4, -4, -73, -4]$[75, -24, -2, -24]"/>
+    </edges>
+    <edges xmi:id="_1zMUoKs9EeKK78DmuDPJ0w" type="Transition" element="_1zIDMKs9EeKK78DmuDPJ0w" source="_pat8EKs9EeKkYoDxSIY5_A" target="_yRGG4Ks9EeKK78DmuDPJ0w">
+      <children xsi:type="notation:DecorationNode" xmi:id="_1zNiwKs9EeKK78DmuDPJ0w" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_1zNiwas9EeKK78DmuDPJ0w"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_1zOJ0Ks9EeKK78DmuDPJ0w" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_1zMUoas9EeKK78DmuDPJ0w" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_1zM7sKs9EeKK78DmuDPJ0w" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_1zMUoqs9EeKK78DmuDPJ0w" points="[18, -5, -58, 0]$[75, -5, -1, 0]"/>
+      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_1zRNIKs9EeKK78DmuDPJ0w" id="(0.125,0.5)"/>
+    </edges>
+    <edges xmi:id="_3Qq_QKs9EeKK78DmuDPJ0w" type="Transition" element="_3QpKEKs9EeKK78DmuDPJ0w" source="_yRGG4Ks9EeKK78DmuDPJ0w" target="_wDIagKs9EeKK78DmuDPJ0w">
+      <children xsi:type="notation:DecorationNode" xmi:id="_3QrmUas9EeKK78DmuDPJ0w" type="TransitionExpression">
+        <styles xsi:type="notation:ShapeStyle" xmi:id="_3QsNYKs9EeKK78DmuDPJ0w"/>
+        <layoutConstraint xsi:type="notation:Location" xmi:id="_3QsNYas9EeKK78DmuDPJ0w" y="10"/>
+      </children>
+      <styles xsi:type="notation:ConnectorStyle" xmi:id="_3Qq_Qas9EeKK78DmuDPJ0w" lineColor="4210752"/>
+      <styles xsi:type="notation:FontStyle" xmi:id="_3QrmUKs9EeKK78DmuDPJ0w" fontName="Verdana"/>
+      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_3Qq_Qqs9EeKK78DmuDPJ0w" points="[4, 3, -72, -1]$[69, 3, -7, -1]"/>
+    </edges>
+  </notation:Diagram>
+</xmi:XMI>