|
|
@@ -1,288 +1,302 @@
|
|
|
-<?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/2.0.0" xmlns:stext="http://www.yakindu.org/sct/statechart/SText">
|
|
|
- <sgraph:Statechart xmi:id="_yJVewfZKEeCz_6s_8P8IEA" name="Test_Transition" expression="interface A:
in event event1 : integer = 1
in event event2
in event event3
out event event4

interface:
in event event5 : boolean
in event event6
out event event7
var i : integer
var j : real

internal:
event event10:integer=0
">
|
|
|
- <scopes xsi:type="stext:InterfaceScope" xmi:id="_OFTDgAu5EeGmY4-cgZfupg" name="A">
|
|
|
- <declarations xsi:type="stext:EventDefinition" xmi:id="_OFTDgQu5EeGmY4-cgZfupg" name="event1" direction="in" type="integer">
|
|
|
- <derivation xmi:id="_OFTDggu5EeGmY4-cgZfupg">
|
|
|
- <condition xsi:type="stext:PrimitiveValueExpression" xmi:id="_OFTDgwu5EeGmY4-cgZfupg" value="1"/>
|
|
|
- </derivation>
|
|
|
- </declarations>
|
|
|
- <declarations xsi:type="stext:EventDefinition" xmi:id="_OFTDhAu5EeGmY4-cgZfupg" name="event2" direction="in"/>
|
|
|
- <declarations xsi:type="stext:EventDefinition" xmi:id="_OFTDhQu5EeGmY4-cgZfupg" name="event3" direction="in"/>
|
|
|
- <declarations xsi:type="stext:EventDefinition" xmi:id="_OFTDhgu5EeGmY4-cgZfupg" name="event4" direction="out"/>
|
|
|
- </scopes>
|
|
|
- <scopes xsi:type="stext:InterfaceScope" xmi:id="_OFTDhwu5EeGmY4-cgZfupg">
|
|
|
- <declarations xsi:type="stext:EventDefinition" xmi:id="_OFTDiAu5EeGmY4-cgZfupg" name="event5" direction="in" type="boolean"/>
|
|
|
- <declarations xsi:type="stext:EventDefinition" xmi:id="_OFTDiQu5EeGmY4-cgZfupg" name="event6" direction="in"/>
|
|
|
- <declarations xsi:type="stext:EventDefinition" xmi:id="_OFTDigu5EeGmY4-cgZfupg" name="event7" direction="out"/>
|
|
|
- <declarations xsi:type="stext:VariableDefinition" xmi:id="_OFTDiwu5EeGmY4-cgZfupg" name="i" type="integer"/>
|
|
|
- <declarations xsi:type="stext:VariableDefinition" xmi:id="_OFTDjAu5EeGmY4-cgZfupg" name="j" type="real"/>
|
|
|
- </scopes>
|
|
|
- <scopes xsi:type="stext:InternalScope" xmi:id="_OFTDjQu5EeGmY4-cgZfupg">
|
|
|
- <declarations xsi:type="stext:EventDefinition" xmi:id="_OFTDjgu5EeGmY4-cgZfupg" name="event10" type="integer">
|
|
|
- <derivation xmi:id="_OFTDjwu5EeGmY4-cgZfupg">
|
|
|
- <condition xsi:type="stext:PrimitiveValueExpression" xmi:id="_OFTDkAu5EeGmY4-cgZfupg" value="0"/>
|
|
|
- </derivation>
|
|
|
- </declarations>
|
|
|
- </scopes>
|
|
|
- <regions xmi:id="_yMGe4PZKEeCz_6s_8P8IEA" name="">
|
|
|
- <vertices xsi:type="sgraph:Entry" xmi:id="_yPWAIPZKEeCz_6s_8P8IEA">
|
|
|
- <outgoingTransitions xmi:id="_yPtMgPZKEeCz_6s_8P8IEA" target="_yPZqgPZKEeCz_6s_8P8IEA"/>
|
|
|
- </vertices>
|
|
|
- <vertices xsi:type="sgraph:State" xmi:id="_yPZqgPZKEeCz_6s_8P8IEA" name="State1" incomingTransitions="_yPtMgPZKEeCz_6s_8P8IEA">
|
|
|
- <outgoingTransitions xmi:id="_N1VrwPZLEeCz_6s_8P8IEA" expression="A.event1, A.event2" target="_6jMFoPZKEeCz_6s_8P8IEA">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_OFc0gQu5EeGmY4-cgZfupg">
|
|
|
- <triggers xsi:type="stext:RegularEventSpec" xmi:id="_OFc0ggu5EeGmY4-cgZfupg" event="_OFTDgQu5EeGmY4-cgZfupg"/>
|
|
|
- <triggers xsi:type="stext:RegularEventSpec" xmi:id="_OFc0gwu5EeGmY4-cgZfupg" event="_OFTDhAu5EeGmY4-cgZfupg"/>
|
|
|
- </trigger>
|
|
|
- </outgoingTransitions>
|
|
|
- <outgoingTransitions xmi:id="_RSDqQPZLEeCz_6s_8P8IEA" expression="[i==5]" target="_6jMFoPZKEeCz_6s_8P8IEA">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_OFc0hAu5EeGmY4-cgZfupg">
|
|
|
- <guardExpression xsi:type="stext:LogicalRelationExpression" xmi:id="_OFc0hQu5EeGmY4-cgZfupg" operator="==">
|
|
|
- <leftOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_OFc0hgu5EeGmY4-cgZfupg" value="_OFTDiwu5EeGmY4-cgZfupg"/>
|
|
|
- <rightOperand xsi:type="stext:PrimitiveValueExpression" xmi:id="_OFc0hwu5EeGmY4-cgZfupg" value="5"/>
|
|
|
- </guardExpression>
|
|
|
- </trigger>
|
|
|
- </outgoingTransitions>
|
|
|
- <outgoingTransitions xmi:id="_dxK2UPZLEeCz_6s_8P8IEA" expression="A.event3[j<20]" target="_6jMFoPZKEeCz_6s_8P8IEA">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_OFc0iAu5EeGmY4-cgZfupg">
|
|
|
- <triggers xsi:type="stext:RegularEventSpec" xmi:id="_OFc0iQu5EeGmY4-cgZfupg" event="_OFTDhQu5EeGmY4-cgZfupg"/>
|
|
|
- <guardExpression xsi:type="stext:LogicalRelationExpression" xmi:id="_OFc0igu5EeGmY4-cgZfupg">
|
|
|
- <leftOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_OFc0iwu5EeGmY4-cgZfupg" value="_OFTDjAu5EeGmY4-cgZfupg"/>
|
|
|
- <rightOperand xsi:type="stext:PrimitiveValueExpression" xmi:id="_OFc0jAu5EeGmY4-cgZfupg" value="20"/>
|
|
|
- </guardExpression>
|
|
|
- </trigger>
|
|
|
- </outgoingTransitions>
|
|
|
- <outgoingTransitions xmi:id="_kGjEAPZLEeCz_6s_8P8IEA" expression="A.event3,A.event4[j>30]" target="_6jMFoPZKEeCz_6s_8P8IEA">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_OFc0jQu5EeGmY4-cgZfupg">
|
|
|
- <triggers xsi:type="stext:RegularEventSpec" xmi:id="_OFc0jgu5EeGmY4-cgZfupg" event="_OFTDhQu5EeGmY4-cgZfupg"/>
|
|
|
- <triggers xsi:type="stext:RegularEventSpec" xmi:id="_OFc0jwu5EeGmY4-cgZfupg" event="_OFTDhgu5EeGmY4-cgZfupg"/>
|
|
|
- <guardExpression xsi:type="stext:LogicalRelationExpression" xmi:id="_OFc0kAu5EeGmY4-cgZfupg" operator=">">
|
|
|
- <leftOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_OFc0kQu5EeGmY4-cgZfupg" value="_OFTDjAu5EeGmY4-cgZfupg"/>
|
|
|
- <rightOperand xsi:type="stext:PrimitiveValueExpression" xmi:id="_OFc0kgu5EeGmY4-cgZfupg" value="30"/>
|
|
|
- </guardExpression>
|
|
|
- </trigger>
|
|
|
- </outgoingTransitions>
|
|
|
- <outgoingTransitions xmi:id="_q6VE8PZLEeCz_6s_8P8IEA" expression="event6/i=15;" target="_6jMFoPZKEeCz_6s_8P8IEA">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_OFc0kwu5EeGmY4-cgZfupg">
|
|
|
- <triggers xsi:type="stext:RegularEventSpec" xmi:id="_OFc0lAu5EeGmY4-cgZfupg" event="_OFTDiQu5EeGmY4-cgZfupg"/>
|
|
|
- </trigger>
|
|
|
- <effect xsi:type="stext:ReactionEffect" xmi:id="_OFc0lQu5EeGmY4-cgZfupg">
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_OFc0lgu5EeGmY4-cgZfupg" varRef="_OFTDiwu5EeGmY4-cgZfupg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_OFc0lwu5EeGmY4-cgZfupg" value="15"/>
|
|
|
- </actions>
|
|
|
- </effect>
|
|
|
- </outgoingTransitions>
|
|
|
- <outgoingTransitions xmi:id="_0zRgAPZLEeCz_6s_8P8IEA" expression="event7/j=i*9;" target="_6jMFoPZKEeCz_6s_8P8IEA">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_OFc0mAu5EeGmY4-cgZfupg">
|
|
|
- <triggers xsi:type="stext:RegularEventSpec" xmi:id="_OFc0mQu5EeGmY4-cgZfupg" event="_OFTDigu5EeGmY4-cgZfupg"/>
|
|
|
- </trigger>
|
|
|
- <effect xsi:type="stext:ReactionEffect" xmi:id="_OFc0mgu5EeGmY4-cgZfupg">
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_OFc0mwu5EeGmY4-cgZfupg" varRef="_OFTDjAu5EeGmY4-cgZfupg">
|
|
|
- <expression xsi:type="stext:NumericalMultiplyDivideExpression" xmi:id="_OFc0nAu5EeGmY4-cgZfupg">
|
|
|
- <leftOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_OFc0nQu5EeGmY4-cgZfupg" value="_OFTDiwu5EeGmY4-cgZfupg"/>
|
|
|
- <rightOperand xsi:type="stext:PrimitiveValueExpression" xmi:id="_OFc0ngu5EeGmY4-cgZfupg" value="9"/>
|
|
|
- </expression>
|
|
|
- </actions>
|
|
|
- </effect>
|
|
|
- </outgoingTransitions>
|
|
|
- <outgoingTransitions xmi:id="_6xGJUPZLEeCz_6s_8P8IEA" expression="after 10s" target="_6jMFoPZKEeCz_6s_8P8IEA">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_OFc0nwu5EeGmY4-cgZfupg">
|
|
|
- <triggers xsi:type="stext:TimeEventSpec" xmi:id="_OFc0oAu5EeGmY4-cgZfupg" value="10"/>
|
|
|
- </trigger>
|
|
|
- </outgoingTransitions>
|
|
|
- <outgoingTransitions xmi:id="_KgZTwPZMEeCz_6s_8P8IEA" expression="after 100ms" target="_6jMFoPZKEeCz_6s_8P8IEA">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_OFc0oQu5EeGmY4-cgZfupg">
|
|
|
- <triggers xsi:type="stext:TimeEventSpec" xmi:id="_OFc0ogu5EeGmY4-cgZfupg" value="100" unit="ms"/>
|
|
|
- </trigger>
|
|
|
- </outgoingTransitions>
|
|
|
- <outgoingTransitions xmi:id="_oEIZgAu4EeGmY4-cgZfupg" expression="A.event1" target="_6jMFoPZKEeCz_6s_8P8IEA">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_OFc0owu5EeGmY4-cgZfupg">
|
|
|
- <triggers xsi:type="stext:RegularEventSpec" xmi:id="_OFc0pAu5EeGmY4-cgZfupg" event="_OFTDgQu5EeGmY4-cgZfupg"/>
|
|
|
- </trigger>
|
|
|
- </outgoingTransitions>
|
|
|
- <scopes xmi:id="_OFc0gAu5EeGmY4-cgZfupg"/>
|
|
|
- </vertices>
|
|
|
- <vertices xsi:type="sgraph:State" xmi:id="_6jMFoPZKEeCz_6s_8P8IEA" name="State2" incomingTransitions="_N1VrwPZLEeCz_6s_8P8IEA _RSDqQPZLEeCz_6s_8P8IEA _dxK2UPZLEeCz_6s_8P8IEA _kGjEAPZLEeCz_6s_8P8IEA _q6VE8PZLEeCz_6s_8P8IEA _0zRgAPZLEeCz_6s_8P8IEA _6xGJUPZLEeCz_6s_8P8IEA _KgZTwPZMEeCz_6s_8P8IEA _oEIZgAu4EeGmY4-cgZfupg">
|
|
|
- <scopes xmi:id="_OFc0pQu5EeGmY4-cgZfupg"/>
|
|
|
- </vertices>
|
|
|
- </regions>
|
|
|
- </sgraph:Statechart>
|
|
|
- <notation:Diagram xmi:id="_yMFQwPZKEeCz_6s_8P8IEA" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_yJVewfZKEeCz_6s_8P8IEA" measurementUnit="Pixel">
|
|
|
- <children xmi:id="_yMfgcPZKEeCz_6s_8P8IEA" type="Region" element="_yMGe4PZKEeCz_6s_8P8IEA">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_yOuVEPZKEeCz_6s_8P8IEA" type="RegionName">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_yOwKQPZKEeCz_6s_8P8IEA"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_yOwKQfZKEeCz_6s_8P8IEA"/>
|
|
|
- </children>
|
|
|
- <children xsi:type="notation:Shape" xmi:id="_yOymgPZKEeCz_6s_8P8IEA" type="RegionCompartment" fontName="Arial" fontHeight="10" lineColor="4210752">
|
|
|
- <children xmi:id="_yPWnMPZKEeCz_6s_8P8IEA" type="Entry" element="_yPWAIPZKEeCz_6s_8P8IEA">
|
|
|
- <children xmi:id="_yPX1UPZKEeCz_6s_8P8IEA" type="BorderItemLabelContainer">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_yPX1U_ZKEeCz_6s_8P8IEA" type="BorderItemLabel">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_yPX1VPZKEeCz_6s_8P8IEA"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_yPX1VfZKEeCz_6s_8P8IEA"/>
|
|
|
- </children>
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_yPX1UfZKEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10" lineColor="4210752"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yPX1UvZKEeCz_6s_8P8IEA"/>
|
|
|
- </children>
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_yPWnMfZKEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10" lineColor="4210752"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yPX1VvZKEeCz_6s_8P8IEA" x="70" y="20"/>
|
|
|
- </children>
|
|
|
- <children xmi:id="_yPlQsPZKEeCz_6s_8P8IEA" type="State" element="_yPZqgPZKEeCz_6s_8P8IEA">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_yPl3wPZKEeCz_6s_8P8IEA" type="StateName">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_yPl3wfZKEeCz_6s_8P8IEA"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_yPl3wvZKEeCz_6s_8P8IEA"/>
|
|
|
- </children>
|
|
|
- <children xsi:type="notation:Compartment" xmi:id="_yPoUAPZKEeCz_6s_8P8IEA" type="StateTextCompartment">
|
|
|
- <children xsi:type="notation:Shape" xmi:id="_yPo7EPZKEeCz_6s_8P8IEA" type="StateTextCompartmentExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yPo7EfZKEeCz_6s_8P8IEA"/>
|
|
|
- </children>
|
|
|
- </children>
|
|
|
- <children xsi:type="notation:Compartment" xmi:id="_yPo7EvZKEeCz_6s_8P8IEA" type="StateFigureCompartment"/>
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_yPlQsfZKEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10" fillColor="15981773" lineColor="12632256"/>
|
|
|
- <styles xsi:type="notation:FontStyle" xmi:id="_yPlQsvZKEeCz_6s_8P8IEA"/>
|
|
|
- <styles xsi:type="notation:BooleanValueStyle" xmi:id="_yPqJMPZKEeCz_6s_8P8IEA"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yPqwQPZKEeCz_6s_8P8IEA" x="1" y="42" height="329"/>
|
|
|
- </children>
|
|
|
- <children xmi:id="_6jN60PZKEeCz_6s_8P8IEA" type="State" element="_6jMFoPZKEeCz_6s_8P8IEA">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_6jPI8PZKEeCz_6s_8P8IEA" type="StateName">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_6jPI8fZKEeCz_6s_8P8IEA"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_6jPI8vZKEeCz_6s_8P8IEA"/>
|
|
|
- </children>
|
|
|
- <children xsi:type="notation:Compartment" xmi:id="_6jPI8_ZKEeCz_6s_8P8IEA" type="StateTextCompartment">
|
|
|
- <children xsi:type="notation:Shape" xmi:id="_6jPI9PZKEeCz_6s_8P8IEA" type="StateTextCompartmentExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_6jPI9fZKEeCz_6s_8P8IEA"/>
|
|
|
- </children>
|
|
|
- </children>
|
|
|
- <children xsi:type="notation:Compartment" xmi:id="_6jPwAPZKEeCz_6s_8P8IEA" type="StateFigureCompartment"/>
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_6jN60fZKEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10" fillColor="15981773" lineColor="12632256"/>
|
|
|
- <styles xsi:type="notation:FontStyle" xmi:id="_6jN60vZKEeCz_6s_8P8IEA"/>
|
|
|
- <styles xsi:type="notation:BooleanValueStyle" xmi:id="_6jPwAfZKEeCz_6s_8P8IEA"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_6jN60_ZKEeCz_6s_8P8IEA" x="284" y="42" height="329"/>
|
|
|
- </children>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yOymgfZKEeCz_6s_8P8IEA"/>
|
|
|
- </children>
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_yMgHgPZKEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10" fillColor="15790320" lineColor="12632256"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yO0bsPZKEeCz_6s_8P8IEA" x="232" y="10" width="400" height="431"/>
|
|
|
- </children>
|
|
|
- <children xsi:type="notation:Shape" xmi:id="_yP9EIPZKEeCz_6s_8P8IEA" type="StatechartText" fontName="Arial" fontHeight="10" lineColor="4210752">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_yP9EIvZKEeCz_6s_8P8IEA" type="StatechartName">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_yP9rMPZKEeCz_6s_8P8IEA"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_yP9rMfZKEeCz_6s_8P8IEA"/>
|
|
|
- </children>
|
|
|
- <children xsi:type="notation:Shape" xmi:id="_yP9rMvZKEeCz_6s_8P8IEA" type="StatechartTextExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yP9rM_ZKEeCz_6s_8P8IEA"/>
|
|
|
- </children>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yQAHcPZKEeCz_6s_8P8IEA" x="10" y="10" width="200" height="400"/>
|
|
|
- </children>
|
|
|
- <styles xsi:type="notation:DiagramStyle" xmi:id="_yMFQwfZKEeCz_6s_8P8IEA"/>
|
|
|
- <edges xmi:id="_yP7O8PZKEeCz_6s_8P8IEA" type="Transition" element="_yPtMgPZKEeCz_6s_8P8IEA" source="_yPWnMPZKEeCz_6s_8P8IEA" target="_yPlQsPZKEeCz_6s_8P8IEA">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_yP8dEPZKEeCz_6s_8P8IEA" type="TransitionExpression">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_yP8dEfZKEeCz_6s_8P8IEA"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_yP8dEvZKEeCz_6s_8P8IEA" y="40"/>
|
|
|
- </children>
|
|
|
- <styles xsi:type="notation:ConnectorStyle" xmi:id="_yP7O8fZKEeCz_6s_8P8IEA" lineColor="4210752"/>
|
|
|
- <styles xsi:type="notation:FontStyle" xmi:id="_yP72APZKEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
|
|
|
- <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_yP7O8vZKEeCz_6s_8P8IEA" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
|
|
|
- <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_E1KPQPZMEeCz_6s_8P8IEA" id="(0.9591836734693877,0.054901960784313725)"/>
|
|
|
- </edges>
|
|
|
- <edges xmi:id="_N1YIAPZLEeCz_6s_8P8IEA" type="Transition" element="_N1VrwPZLEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_N1YIBPZLEeCz_6s_8P8IEA" type="TransitionExpression">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_N1YIBfZLEeCz_6s_8P8IEA"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_N1YvEPZLEeCz_6s_8P8IEA" x="-11" y="-11"/>
|
|
|
- </children>
|
|
|
- <styles xsi:type="notation:ConnectorStyle" xmi:id="_N1YIAfZLEeCz_6s_8P8IEA" lineColor="4210752"/>
|
|
|
- <styles xsi:type="notation:FontStyle" xmi:id="_N1YIA_ZLEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
|
|
|
- <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_N1YIAvZLEeCz_6s_8P8IEA" points="[10, 4, -243, 0]$[244, -25, -9, -29]"/>
|
|
|
- <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_N2gwcPZLEeCz_6s_8P8IEA" id="(0.9387755102040817,0.22492401215805471)"/>
|
|
|
- <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_N2gwcfZLEeCz_6s_8P8IEA" id="(0.0,0.20364741641337386)"/>
|
|
|
- </edges>
|
|
|
- <edges xmi:id="_RSE4YPZLEeCz_6s_8P8IEA" type="Transition" element="_RSDqQPZLEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_RSGGgPZLEeCz_6s_8P8IEA" type="TransitionExpression">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_RSGGgfZLEeCz_6s_8P8IEA"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_RSGGgvZLEeCz_6s_8P8IEA" x="-5" y="-8"/>
|
|
|
- </children>
|
|
|
- <styles xsi:type="notation:ConnectorStyle" xmi:id="_RSE4YfZLEeCz_6s_8P8IEA" lineColor="4210752"/>
|
|
|
- <styles xsi:type="notation:FontStyle" xmi:id="_RSE4Y_ZLEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
|
|
|
- <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_RSE4YvZLEeCz_6s_8P8IEA" points="[11, -1, -235, 30]$[245, -31, -1, 0]"/>
|
|
|
- <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_bOF1kPZLEeCz_6s_8P8IEA" id="(0.9795918367346939,0.2826747720364742)"/>
|
|
|
- <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_b0NaYPZLEeCz_6s_8P8IEA" id="(0.02040816326530612,0.2887537993920973)"/>
|
|
|
- </edges>
|
|
|
- <edges xmi:id="_dxMEcPZLEeCz_6s_8P8IEA" type="Transition" element="_dxK2UPZLEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_dxMEdPZLEeCz_6s_8P8IEA" type="TransitionExpression">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_dxMEdfZLEeCz_6s_8P8IEA"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_dxMrgPZLEeCz_6s_8P8IEA" x="-3" y="-13"/>
|
|
|
- </children>
|
|
|
- <styles xsi:type="notation:ConnectorStyle" xmi:id="_dxMEcfZLEeCz_6s_8P8IEA" lineColor="4210752"/>
|
|
|
- <styles xsi:type="notation:FontStyle" xmi:id="_dxMEc_ZLEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
|
|
|
- <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_dxMEcvZLEeCz_6s_8P8IEA" points="[8, 9, -237, 0]$[242, 8, -3, -1]"/>
|
|
|
- <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_dyUF0PZLEeCz_6s_8P8IEA" id="(0.8775510204081632,0.3677811550151976)"/>
|
|
|
- <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_dyUs4PZLEeCz_6s_8P8IEA" id="(0.16326530612244897,0.3829787234042553)"/>
|
|
|
- </edges>
|
|
|
- <edges xmi:id="_kGkSIPZLEeCz_6s_8P8IEA" type="Transition" element="_kGjEAPZLEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_kGkSJPZLEeCz_6s_8P8IEA" type="TransitionExpression">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_kGkSJfZLEeCz_6s_8P8IEA"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_kGkSJvZLEeCz_6s_8P8IEA" x="-5" y="-11"/>
|
|
|
- </children>
|
|
|
- <styles xsi:type="notation:ConnectorStyle" xmi:id="_kGkSIfZLEeCz_6s_8P8IEA" lineColor="4210752"/>
|
|
|
- <styles xsi:type="notation:FontStyle" xmi:id="_kGkSI_ZLEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
|
|
|
- <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_kGkSIvZLEeCz_6s_8P8IEA" points="[12, -2, -238, 0]$[246, 0, -4, 2]"/>
|
|
|
- <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_kHbNwPZLEeCz_6s_8P8IEA" id="(0.9183673469387755,0.47112462006079026)"/>
|
|
|
- <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_kHbNwfZLEeCz_6s_8P8IEA" id="(0.12244897959183673,0.47112462006079026)"/>
|
|
|
- </edges>
|
|
|
- <edges xmi:id="_q6WTEPZLEeCz_6s_8P8IEA" type="Transition" element="_q6VE8PZLEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_q6WTFPZLEeCz_6s_8P8IEA" type="TransitionExpression">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_q6WTFfZLEeCz_6s_8P8IEA"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_q6WTFvZLEeCz_6s_8P8IEA" x="-6" y="-10"/>
|
|
|
- </children>
|
|
|
- <styles xsi:type="notation:ConnectorStyle" xmi:id="_q6WTEfZLEeCz_6s_8P8IEA" lineColor="4210752"/>
|
|
|
- <styles xsi:type="notation:FontStyle" xmi:id="_q6WTE_ZLEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
|
|
|
- <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_q6WTEvZLEeCz_6s_8P8IEA" points="[11, 1, -260, -25]$[272, 85, 1, 59]"/>
|
|
|
- <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_q7dGUPZLEeCz_6s_8P8IEA" id="(0.8163265306122449,0.5592705167173252)"/>
|
|
|
- <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_9EQpUPZMEeCz_6s_8P8IEA" id="(0.12244897959183673,0.5623100303951368)"/>
|
|
|
- </edges>
|
|
|
- <edges xmi:id="_0zSHEPZLEeCz_6s_8P8IEA" type="Transition" element="_0zRgAPZLEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_0zSuIfZLEeCz_6s_8P8IEA" type="TransitionExpression">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_0zSuIvZLEeCz_6s_8P8IEA"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_0zSuI_ZLEeCz_6s_8P8IEA" x="-6" y="-7"/>
|
|
|
- </children>
|
|
|
- <styles xsi:type="notation:ConnectorStyle" xmi:id="_0zSHEfZLEeCz_6s_8P8IEA" lineColor="4210752"/>
|
|
|
- <styles xsi:type="notation:FontStyle" xmi:id="_0zSuIPZLEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
|
|
|
- <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_0zSHEvZLEeCz_6s_8P8IEA" points="[19, 5, -256, 0]$[273, 57, -2, 52]"/>
|
|
|
- <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_00N7MPZLEeCz_6s_8P8IEA" id="(0.8367346938775511,0.6565349544072948)"/>
|
|
|
- <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_00N7MfZLEeCz_6s_8P8IEA" id="(0.16326530612244897,0.6443768996960486)"/>
|
|
|
- </edges>
|
|
|
- <edges xmi:id="_6xHXcPZLEeCz_6s_8P8IEA" type="Transition" element="_6xGJUPZLEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_6xHXdPZLEeCz_6s_8P8IEA" type="TransitionExpression">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_6xHXdfZLEeCz_6s_8P8IEA"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_6xHXdvZLEeCz_6s_8P8IEA" x="-3" y="-13"/>
|
|
|
- </children>
|
|
|
- <styles xsi:type="notation:ConnectorStyle" xmi:id="_6xHXcfZLEeCz_6s_8P8IEA" lineColor="4210752"/>
|
|
|
- <styles xsi:type="notation:FontStyle" xmi:id="_6xHXc_ZLEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
|
|
|
- <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_6xHXcvZLEeCz_6s_8P8IEA" points="[15, 4, -259, 0]$[274, 30, 0, 26]"/>
|
|
|
- <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_6yDLkPZLEeCz_6s_8P8IEA" id="(0.9591836734693877,0.729483282674772)"/>
|
|
|
- <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_6yDyoPZLEeCz_6s_8P8IEA" id="(0.1836734693877551,0.7325227963525835)"/>
|
|
|
- </edges>
|
|
|
- <edges xmi:id="_Kgah4PZMEeCz_6s_8P8IEA" type="Transition" element="_KgZTwPZMEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_KgbI8fZMEeCz_6s_8P8IEA" type="TransitionExpression">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_KgbI8vZMEeCz_6s_8P8IEA"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_KgbI8_ZMEeCz_6s_8P8IEA" x="-6" y="-11"/>
|
|
|
- </children>
|
|
|
- <styles xsi:type="notation:ConnectorStyle" xmi:id="_Kgah4fZMEeCz_6s_8P8IEA" lineColor="4210752"/>
|
|
|
- <styles xsi:type="notation:FontStyle" xmi:id="_KgbI8PZMEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
|
|
|
- <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Kgah4vZMEeCz_6s_8P8IEA" points="[16, -4, -264, 0]$[250, -4, -30, 0]"/>
|
|
|
- <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_KhI6oPZMEeCz_6s_8P8IEA" id="(0.8979591836734694,0.8085106382978723)"/>
|
|
|
- <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_KhI6ofZMEeCz_6s_8P8IEA" id="(0.1836734693877551,0.8237082066869301)"/>
|
|
|
- </edges>
|
|
|
- <edges xmi:id="_oEIZgQu4EeGmY4-cgZfupg" type="Transition" element="_oEIZgAu4EeGmY4-cgZfupg" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_oESKgQu4EeGmY4-cgZfupg" type="TransitionExpression">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_oESKggu4EeGmY4-cgZfupg"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_oESKgwu4EeGmY4-cgZfupg" x="2" y="-13"/>
|
|
|
- </children>
|
|
|
- <styles xsi:type="notation:ConnectorStyle" xmi:id="_oEIZggu4EeGmY4-cgZfupg" lineColor="4210752"/>
|
|
|
- <styles xsi:type="notation:FontStyle" xmi:id="_oESKgAu4EeGmY4-cgZfupg" fontName="Verdana"/>
|
|
|
- <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_oEIZgwu4EeGmY4-cgZfupg" points="[9, 0, -245, 0]$[250, -35, -4, -35]"/>
|
|
|
- <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_oE4AYAu4EeGmY4-cgZfupg" id="(0.82,0.10638297872340426)"/>
|
|
|
- <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_oE4AYQu4EeGmY4-cgZfupg" id="(0.24,0.10638297872340426)"/>
|
|
|
- </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/2.0.0" xmlns:stext="http://www.yakindu.org/sct/statechart/SText">
|
|
|
+ <sgraph:Statechart xmi:id="_yJVewfZKEeCz_6s_8P8IEA" name="Test_Transition" expression="interface A:
in event event1 : integer = 1
in event event2
in event event3
out event event4

interface:
in event event5 : boolean
in event event6
out event event7
var i : integer
var j : real

internal:
event event10:integer=0
">
|
|
|
+ <scopes xsi:type="stext:InterfaceScope" xmi:id="_XpYGcBneEeGCrY2NK7ISxg" name="A">
|
|
|
+ <declarations xsi:type="stext:EventDefinition" xmi:id="_XpYGcRneEeGCrY2NK7ISxg" name="event1" direction="in" type="integer">
|
|
|
+ <derivation xmi:id="_XpYGchneEeGCrY2NK7ISxg">
|
|
|
+ <condition xsi:type="stext:PrimitiveValueExpression" xmi:id="_XpYGcxneEeGCrY2NK7ISxg">
|
|
|
+ <value xsi:type="stext:IntLiteral" xmi:id="_XpYGdBneEeGCrY2NK7ISxg" value="1"/>
|
|
|
+ </condition>
|
|
|
+ </derivation>
|
|
|
+ </declarations>
|
|
|
+ <declarations xsi:type="stext:EventDefinition" xmi:id="_XpYGdRneEeGCrY2NK7ISxg" name="event2" direction="in"/>
|
|
|
+ <declarations xsi:type="stext:EventDefinition" xmi:id="_XpYGdhneEeGCrY2NK7ISxg" name="event3" direction="in"/>
|
|
|
+ <declarations xsi:type="stext:EventDefinition" xmi:id="_XpYGdxneEeGCrY2NK7ISxg" name="event4" direction="out"/>
|
|
|
+ </scopes>
|
|
|
+ <scopes xsi:type="stext:InterfaceScope" xmi:id="_XpYGeBneEeGCrY2NK7ISxg">
|
|
|
+ <declarations xsi:type="stext:EventDefinition" xmi:id="_XpYGeRneEeGCrY2NK7ISxg" name="event5" direction="in" type="boolean"/>
|
|
|
+ <declarations xsi:type="stext:EventDefinition" xmi:id="_XpYGehneEeGCrY2NK7ISxg" name="event6" direction="in"/>
|
|
|
+ <declarations xsi:type="stext:EventDefinition" xmi:id="_XpYGexneEeGCrY2NK7ISxg" name="event7" direction="out"/>
|
|
|
+ <declarations xsi:type="stext:VariableDefinition" xmi:id="_XpYGfBneEeGCrY2NK7ISxg" name="i" type="integer"/>
|
|
|
+ <declarations xsi:type="stext:VariableDefinition" xmi:id="_XpYGfRneEeGCrY2NK7ISxg" name="j" type="real"/>
|
|
|
+ </scopes>
|
|
|
+ <scopes xsi:type="stext:InternalScope" xmi:id="_XpYGfhneEeGCrY2NK7ISxg">
|
|
|
+ <declarations xsi:type="stext:EventDefinition" xmi:id="_XpYGfxneEeGCrY2NK7ISxg" name="event10" type="integer">
|
|
|
+ <derivation xmi:id="_XpYGgBneEeGCrY2NK7ISxg">
|
|
|
+ <condition xsi:type="stext:PrimitiveValueExpression" xmi:id="_XpYGgRneEeGCrY2NK7ISxg">
|
|
|
+ <value xsi:type="stext:IntLiteral" xmi:id="_XpYGghneEeGCrY2NK7ISxg"/>
|
|
|
+ </condition>
|
|
|
+ </derivation>
|
|
|
+ </declarations>
|
|
|
+ </scopes>
|
|
|
+ <regions xmi:id="_yMGe4PZKEeCz_6s_8P8IEA" name="">
|
|
|
+ <vertices xsi:type="sgraph:Entry" xmi:id="_yPWAIPZKEeCz_6s_8P8IEA">
|
|
|
+ <outgoingTransitions xmi:id="_yPtMgPZKEeCz_6s_8P8IEA" target="_yPZqgPZKEeCz_6s_8P8IEA"/>
|
|
|
+ </vertices>
|
|
|
+ <vertices xsi:type="sgraph:State" xmi:id="_yPZqgPZKEeCz_6s_8P8IEA" name="State1" incomingTransitions="_yPtMgPZKEeCz_6s_8P8IEA">
|
|
|
+ <scopes xmi:id="_XpZ7oBneEeGCrY2NK7ISxg"/>
|
|
|
+ <outgoingTransitions xmi:id="_N1VrwPZLEeCz_6s_8P8IEA" expression="A.event1, A.event2" target="_6jMFoPZKEeCz_6s_8P8IEA">
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_XpaisBneEeGCrY2NK7ISxg">
|
|
|
+ <triggers xsi:type="stext:RegularEventSpec" xmi:id="_XpaisRneEeGCrY2NK7ISxg" event="_XpYGcRneEeGCrY2NK7ISxg"/>
|
|
|
+ <triggers xsi:type="stext:RegularEventSpec" xmi:id="_XpaishneEeGCrY2NK7ISxg" event="_XpYGdRneEeGCrY2NK7ISxg"/>
|
|
|
+ </trigger>
|
|
|
+ </outgoingTransitions>
|
|
|
+ <outgoingTransitions xmi:id="_RSDqQPZLEeCz_6s_8P8IEA" expression="[i==5]" target="_6jMFoPZKEeCz_6s_8P8IEA">
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Xpe0IBneEeGCrY2NK7ISxg">
|
|
|
+ <guardExpression xsi:type="stext:LogicalRelationExpression" xmi:id="_Xpe0IRneEeGCrY2NK7ISxg" operator="==">
|
|
|
+ <leftOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_Xpe0IhneEeGCrY2NK7ISxg" value="_XpYGfBneEeGCrY2NK7ISxg"/>
|
|
|
+ <rightOperand xsi:type="stext:PrimitiveValueExpression" xmi:id="_Xpe0IxneEeGCrY2NK7ISxg">
|
|
|
+ <value xsi:type="stext:IntLiteral" xmi:id="_Xpe0JBneEeGCrY2NK7ISxg" value="5"/>
|
|
|
+ </rightOperand>
|
|
|
+ </guardExpression>
|
|
|
+ </trigger>
|
|
|
+ </outgoingTransitions>
|
|
|
+ <outgoingTransitions xmi:id="_dxK2UPZLEeCz_6s_8P8IEA" expression="A.event3[j<20]" target="_6jMFoPZKEeCz_6s_8P8IEA">
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Xph3cBneEeGCrY2NK7ISxg">
|
|
|
+ <triggers xsi:type="stext:RegularEventSpec" xmi:id="_Xph3cRneEeGCrY2NK7ISxg" event="_XpYGdhneEeGCrY2NK7ISxg"/>
|
|
|
+ <guardExpression xsi:type="stext:LogicalRelationExpression" xmi:id="_Xph3chneEeGCrY2NK7ISxg">
|
|
|
+ <leftOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_Xph3cxneEeGCrY2NK7ISxg" value="_XpYGfRneEeGCrY2NK7ISxg"/>
|
|
|
+ <rightOperand xsi:type="stext:PrimitiveValueExpression" xmi:id="_Xph3dBneEeGCrY2NK7ISxg">
|
|
|
+ <value xsi:type="stext:IntLiteral" xmi:id="_Xph3dRneEeGCrY2NK7ISxg" value="20"/>
|
|
|
+ </rightOperand>
|
|
|
+ </guardExpression>
|
|
|
+ </trigger>
|
|
|
+ </outgoingTransitions>
|
|
|
+ <outgoingTransitions xmi:id="_kGjEAPZLEeCz_6s_8P8IEA" expression="A.event3,A.event4[j>30]" target="_6jMFoPZKEeCz_6s_8P8IEA">
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Xpn-EBneEeGCrY2NK7ISxg">
|
|
|
+ <triggers xsi:type="stext:RegularEventSpec" xmi:id="_Xpn-ERneEeGCrY2NK7ISxg" event="_XpYGdhneEeGCrY2NK7ISxg"/>
|
|
|
+ <triggers xsi:type="stext:RegularEventSpec" xmi:id="_Xpn-EhneEeGCrY2NK7ISxg" event="_XpYGdxneEeGCrY2NK7ISxg"/>
|
|
|
+ <guardExpression xsi:type="stext:LogicalRelationExpression" xmi:id="_Xpn-ExneEeGCrY2NK7ISxg" operator=">">
|
|
|
+ <leftOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_Xpn-FBneEeGCrY2NK7ISxg" value="_XpYGfRneEeGCrY2NK7ISxg"/>
|
|
|
+ <rightOperand xsi:type="stext:PrimitiveValueExpression" xmi:id="_Xpn-FRneEeGCrY2NK7ISxg">
|
|
|
+ <value xsi:type="stext:IntLiteral" xmi:id="_Xpn-FhneEeGCrY2NK7ISxg" value="30"/>
|
|
|
+ </rightOperand>
|
|
|
+ </guardExpression>
|
|
|
+ </trigger>
|
|
|
+ </outgoingTransitions>
|
|
|
+ <outgoingTransitions xmi:id="_q6VE8PZLEeCz_6s_8P8IEA" expression="event6/i=15;" target="_6jMFoPZKEeCz_6s_8P8IEA">
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_XpvS0BneEeGCrY2NK7ISxg">
|
|
|
+ <triggers xsi:type="stext:RegularEventSpec" xmi:id="_XpvS0RneEeGCrY2NK7ISxg" event="_XpYGehneEeGCrY2NK7ISxg"/>
|
|
|
+ </trigger>
|
|
|
+ <effect xsi:type="stext:ReactionEffect" xmi:id="_XpvS0hneEeGCrY2NK7ISxg">
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_XpvS0xneEeGCrY2NK7ISxg" varRef="_XpYGfBneEeGCrY2NK7ISxg">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_XpvS1BneEeGCrY2NK7ISxg">
|
|
|
+ <value xsi:type="stext:IntLiteral" xmi:id="_XpvS1RneEeGCrY2NK7ISxg" value="15"/>
|
|
|
+ </expression>
|
|
|
+ </actions>
|
|
|
+ </effect>
|
|
|
+ </outgoingTransitions>
|
|
|
+ <outgoingTransitions xmi:id="_0zRgAPZLEeCz_6s_8P8IEA" expression="event7/j=i*9;" target="_6jMFoPZKEeCz_6s_8P8IEA">
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Xpy9MBneEeGCrY2NK7ISxg">
|
|
|
+ <triggers xsi:type="stext:RegularEventSpec" xmi:id="_Xpy9MRneEeGCrY2NK7ISxg" event="_XpYGexneEeGCrY2NK7ISxg"/>
|
|
|
+ </trigger>
|
|
|
+ <effect xsi:type="stext:ReactionEffect" xmi:id="_Xpy9MhneEeGCrY2NK7ISxg">
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_Xpy9MxneEeGCrY2NK7ISxg" varRef="_XpYGfRneEeGCrY2NK7ISxg">
|
|
|
+ <expression xsi:type="stext:NumericalMultiplyDivideExpression" xmi:id="_Xpy9NBneEeGCrY2NK7ISxg">
|
|
|
+ <leftOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_Xpy9NRneEeGCrY2NK7ISxg" value="_XpYGfBneEeGCrY2NK7ISxg"/>
|
|
|
+ <rightOperand xsi:type="stext:PrimitiveValueExpression" xmi:id="_Xpy9NhneEeGCrY2NK7ISxg">
|
|
|
+ <value xsi:type="stext:IntLiteral" xmi:id="_Xpy9NxneEeGCrY2NK7ISxg" value="9"/>
|
|
|
+ </rightOperand>
|
|
|
+ </expression>
|
|
|
+ </actions>
|
|
|
+ </effect>
|
|
|
+ </outgoingTransitions>
|
|
|
+ <outgoingTransitions xmi:id="_6xGJUPZLEeCz_6s_8P8IEA" expression="after 10s" target="_6jMFoPZKEeCz_6s_8P8IEA">
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Xp4cwBneEeGCrY2NK7ISxg">
|
|
|
+ <triggers xsi:type="stext:TimeEventSpec" xmi:id="_Xp4cwRneEeGCrY2NK7ISxg" value="10"/>
|
|
|
+ </trigger>
|
|
|
+ </outgoingTransitions>
|
|
|
+ <outgoingTransitions xmi:id="_KgZTwPZMEeCz_6s_8P8IEA" expression="after 100ms" target="_6jMFoPZKEeCz_6s_8P8IEA">
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Xp5D0BneEeGCrY2NK7ISxg">
|
|
|
+ <triggers xsi:type="stext:TimeEventSpec" xmi:id="_Xp5D0RneEeGCrY2NK7ISxg" value="100" unit="ms"/>
|
|
|
+ </trigger>
|
|
|
+ </outgoingTransitions>
|
|
|
+ <outgoingTransitions xmi:id="_oEIZgAu4EeGmY4-cgZfupg" expression="A.event1" target="_6jMFoPZKEeCz_6s_8P8IEA">
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Xp5D0hneEeGCrY2NK7ISxg">
|
|
|
+ <triggers xsi:type="stext:RegularEventSpec" xmi:id="_Xp5D0xneEeGCrY2NK7ISxg" event="_XpYGcRneEeGCrY2NK7ISxg"/>
|
|
|
+ </trigger>
|
|
|
+ </outgoingTransitions>
|
|
|
+ </vertices>
|
|
|
+ <vertices xsi:type="sgraph:State" xmi:id="_6jMFoPZKEeCz_6s_8P8IEA" name="State2" incomingTransitions="_N1VrwPZLEeCz_6s_8P8IEA _RSDqQPZLEeCz_6s_8P8IEA _dxK2UPZLEeCz_6s_8P8IEA _kGjEAPZLEeCz_6s_8P8IEA _q6VE8PZLEeCz_6s_8P8IEA _0zRgAPZLEeCz_6s_8P8IEA _6xGJUPZLEeCz_6s_8P8IEA _KgZTwPZMEeCz_6s_8P8IEA _oEIZgAu4EeGmY4-cgZfupg">
|
|
|
+ <scopes xmi:id="_Xp7gEBneEeGCrY2NK7ISxg"/>
|
|
|
+ </vertices>
|
|
|
+ </regions>
|
|
|
+ </sgraph:Statechart>
|
|
|
+ <notation:Diagram xmi:id="_yMFQwPZKEeCz_6s_8P8IEA" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_yJVewfZKEeCz_6s_8P8IEA" measurementUnit="Pixel">
|
|
|
+ <children xmi:id="_yMfgcPZKEeCz_6s_8P8IEA" type="Region" element="_yMGe4PZKEeCz_6s_8P8IEA">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_yOuVEPZKEeCz_6s_8P8IEA" type="RegionName">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_yOwKQPZKEeCz_6s_8P8IEA"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_yOwKQfZKEeCz_6s_8P8IEA"/>
|
|
|
+ </children>
|
|
|
+ <children xsi:type="notation:Shape" xmi:id="_yOymgPZKEeCz_6s_8P8IEA" type="RegionCompartment" fontName="Arial" fontHeight="10" lineColor="4210752">
|
|
|
+ <children xmi:id="_yPWnMPZKEeCz_6s_8P8IEA" type="Entry" element="_yPWAIPZKEeCz_6s_8P8IEA">
|
|
|
+ <children xmi:id="_yPX1UPZKEeCz_6s_8P8IEA" type="BorderItemLabelContainer">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_yPX1U_ZKEeCz_6s_8P8IEA" type="BorderItemLabel">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_yPX1VPZKEeCz_6s_8P8IEA"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_yPX1VfZKEeCz_6s_8P8IEA"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_yPX1UfZKEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10" lineColor="4210752"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yPX1UvZKEeCz_6s_8P8IEA"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_yPWnMfZKEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10" lineColor="4210752"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yPX1VvZKEeCz_6s_8P8IEA" x="70" y="20"/>
|
|
|
+ </children>
|
|
|
+ <children xmi:id="_yPlQsPZKEeCz_6s_8P8IEA" type="State" element="_yPZqgPZKEeCz_6s_8P8IEA">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_yPl3wPZKEeCz_6s_8P8IEA" type="StateName">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_yPl3wfZKEeCz_6s_8P8IEA"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_yPl3wvZKEeCz_6s_8P8IEA"/>
|
|
|
+ </children>
|
|
|
+ <children xsi:type="notation:Compartment" xmi:id="_yPoUAPZKEeCz_6s_8P8IEA" type="StateTextCompartment">
|
|
|
+ <children xsi:type="notation:Shape" xmi:id="_yPo7EPZKEeCz_6s_8P8IEA" type="StateTextCompartmentExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yPo7EfZKEeCz_6s_8P8IEA"/>
|
|
|
+ </children>
|
|
|
+ </children>
|
|
|
+ <children xsi:type="notation:Compartment" xmi:id="_yPo7EvZKEeCz_6s_8P8IEA" type="StateFigureCompartment"/>
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_yPlQsfZKEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10" fillColor="15981773" lineColor="12632256"/>
|
|
|
+ <styles xsi:type="notation:FontStyle" xmi:id="_yPlQsvZKEeCz_6s_8P8IEA"/>
|
|
|
+ <styles xsi:type="notation:BooleanValueStyle" xmi:id="_yPqJMPZKEeCz_6s_8P8IEA"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yPqwQPZKEeCz_6s_8P8IEA" x="1" y="42" height="329"/>
|
|
|
+ </children>
|
|
|
+ <children xmi:id="_6jN60PZKEeCz_6s_8P8IEA" type="State" element="_6jMFoPZKEeCz_6s_8P8IEA">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_6jPI8PZKEeCz_6s_8P8IEA" type="StateName">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_6jPI8fZKEeCz_6s_8P8IEA"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_6jPI8vZKEeCz_6s_8P8IEA"/>
|
|
|
+ </children>
|
|
|
+ <children xsi:type="notation:Compartment" xmi:id="_6jPI8_ZKEeCz_6s_8P8IEA" type="StateTextCompartment">
|
|
|
+ <children xsi:type="notation:Shape" xmi:id="_6jPI9PZKEeCz_6s_8P8IEA" type="StateTextCompartmentExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_6jPI9fZKEeCz_6s_8P8IEA"/>
|
|
|
+ </children>
|
|
|
+ </children>
|
|
|
+ <children xsi:type="notation:Compartment" xmi:id="_6jPwAPZKEeCz_6s_8P8IEA" type="StateFigureCompartment"/>
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_6jN60fZKEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10" fillColor="15981773" lineColor="12632256"/>
|
|
|
+ <styles xsi:type="notation:FontStyle" xmi:id="_6jN60vZKEeCz_6s_8P8IEA"/>
|
|
|
+ <styles xsi:type="notation:BooleanValueStyle" xmi:id="_6jPwAfZKEeCz_6s_8P8IEA"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_6jN60_ZKEeCz_6s_8P8IEA" x="284" y="42" height="329"/>
|
|
|
+ </children>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yOymgfZKEeCz_6s_8P8IEA"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_yMgHgPZKEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10" fillColor="15790320" lineColor="12632256"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yO0bsPZKEeCz_6s_8P8IEA" x="232" y="10" width="400" height="431"/>
|
|
|
+ </children>
|
|
|
+ <children xsi:type="notation:Shape" xmi:id="_yP9EIPZKEeCz_6s_8P8IEA" type="StatechartText" fontName="Arial" fontHeight="10" lineColor="4210752">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_yP9EIvZKEeCz_6s_8P8IEA" type="StatechartName">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_yP9rMPZKEeCz_6s_8P8IEA"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_yP9rMfZKEeCz_6s_8P8IEA"/>
|
|
|
+ </children>
|
|
|
+ <children xsi:type="notation:Shape" xmi:id="_yP9rMvZKEeCz_6s_8P8IEA" type="StatechartTextExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yP9rM_ZKEeCz_6s_8P8IEA"/>
|
|
|
+ </children>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_yQAHcPZKEeCz_6s_8P8IEA" x="10" y="10" width="200" height="400"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:DiagramStyle" xmi:id="_yMFQwfZKEeCz_6s_8P8IEA"/>
|
|
|
+ <edges xmi:id="_yP7O8PZKEeCz_6s_8P8IEA" type="Transition" element="_yPtMgPZKEeCz_6s_8P8IEA" source="_yPWnMPZKEeCz_6s_8P8IEA" target="_yPlQsPZKEeCz_6s_8P8IEA">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_yP8dEPZKEeCz_6s_8P8IEA" type="TransitionExpression">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_yP8dEfZKEeCz_6s_8P8IEA"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_yP8dEvZKEeCz_6s_8P8IEA" y="40"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_yP7O8fZKEeCz_6s_8P8IEA" lineColor="4210752"/>
|
|
|
+ <styles xsi:type="notation:FontStyle" xmi:id="_yP72APZKEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
|
|
|
+ <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_yP7O8vZKEeCz_6s_8P8IEA" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
|
|
|
+ <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_E1KPQPZMEeCz_6s_8P8IEA" id="(0.9591836734693877,0.054901960784313725)"/>
|
|
|
+ </edges>
|
|
|
+ <edges xmi:id="_N1YIAPZLEeCz_6s_8P8IEA" type="Transition" element="_N1VrwPZLEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_N1YIBPZLEeCz_6s_8P8IEA" type="TransitionExpression">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_N1YIBfZLEeCz_6s_8P8IEA"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_N1YvEPZLEeCz_6s_8P8IEA" x="-11" y="-11"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_N1YIAfZLEeCz_6s_8P8IEA" lineColor="4210752"/>
|
|
|
+ <styles xsi:type="notation:FontStyle" xmi:id="_N1YIA_ZLEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
|
|
|
+ <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_N1YIAvZLEeCz_6s_8P8IEA" points="[10, 4, -243, 0]$[244, -25, -9, -29]"/>
|
|
|
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_N2gwcPZLEeCz_6s_8P8IEA" id="(0.9387755102040817,0.22492401215805471)"/>
|
|
|
+ <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_N2gwcfZLEeCz_6s_8P8IEA" id="(0.0,0.20364741641337386)"/>
|
|
|
+ </edges>
|
|
|
+ <edges xmi:id="_RSE4YPZLEeCz_6s_8P8IEA" type="Transition" element="_RSDqQPZLEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_RSGGgPZLEeCz_6s_8P8IEA" type="TransitionExpression">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_RSGGgfZLEeCz_6s_8P8IEA"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_RSGGgvZLEeCz_6s_8P8IEA" x="-5" y="-8"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_RSE4YfZLEeCz_6s_8P8IEA" lineColor="4210752"/>
|
|
|
+ <styles xsi:type="notation:FontStyle" xmi:id="_RSE4Y_ZLEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
|
|
|
+ <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_RSE4YvZLEeCz_6s_8P8IEA" points="[11, -1, -235, 30]$[245, -31, -1, 0]"/>
|
|
|
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_bOF1kPZLEeCz_6s_8P8IEA" id="(0.9795918367346939,0.2826747720364742)"/>
|
|
|
+ <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_b0NaYPZLEeCz_6s_8P8IEA" id="(0.02040816326530612,0.2887537993920973)"/>
|
|
|
+ </edges>
|
|
|
+ <edges xmi:id="_dxMEcPZLEeCz_6s_8P8IEA" type="Transition" element="_dxK2UPZLEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_dxMEdPZLEeCz_6s_8P8IEA" type="TransitionExpression">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_dxMEdfZLEeCz_6s_8P8IEA"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_dxMrgPZLEeCz_6s_8P8IEA" x="-3" y="-13"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_dxMEcfZLEeCz_6s_8P8IEA" lineColor="4210752"/>
|
|
|
+ <styles xsi:type="notation:FontStyle" xmi:id="_dxMEc_ZLEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
|
|
|
+ <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_dxMEcvZLEeCz_6s_8P8IEA" points="[8, 9, -237, 0]$[242, 8, -3, -1]"/>
|
|
|
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_dyUF0PZLEeCz_6s_8P8IEA" id="(0.8775510204081632,0.3677811550151976)"/>
|
|
|
+ <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_dyUs4PZLEeCz_6s_8P8IEA" id="(0.16326530612244897,0.3829787234042553)"/>
|
|
|
+ </edges>
|
|
|
+ <edges xmi:id="_kGkSIPZLEeCz_6s_8P8IEA" type="Transition" element="_kGjEAPZLEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_kGkSJPZLEeCz_6s_8P8IEA" type="TransitionExpression">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_kGkSJfZLEeCz_6s_8P8IEA"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_kGkSJvZLEeCz_6s_8P8IEA" x="-5" y="-11"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_kGkSIfZLEeCz_6s_8P8IEA" lineColor="4210752"/>
|
|
|
+ <styles xsi:type="notation:FontStyle" xmi:id="_kGkSI_ZLEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
|
|
|
+ <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_kGkSIvZLEeCz_6s_8P8IEA" points="[12, -2, -238, 0]$[246, 0, -4, 2]"/>
|
|
|
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_kHbNwPZLEeCz_6s_8P8IEA" id="(0.9183673469387755,0.47112462006079026)"/>
|
|
|
+ <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_kHbNwfZLEeCz_6s_8P8IEA" id="(0.12244897959183673,0.47112462006079026)"/>
|
|
|
+ </edges>
|
|
|
+ <edges xmi:id="_q6WTEPZLEeCz_6s_8P8IEA" type="Transition" element="_q6VE8PZLEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_q6WTFPZLEeCz_6s_8P8IEA" type="TransitionExpression">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_q6WTFfZLEeCz_6s_8P8IEA"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_q6WTFvZLEeCz_6s_8P8IEA" x="-6" y="-10"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_q6WTEfZLEeCz_6s_8P8IEA" lineColor="4210752"/>
|
|
|
+ <styles xsi:type="notation:FontStyle" xmi:id="_q6WTE_ZLEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
|
|
|
+ <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_q6WTEvZLEeCz_6s_8P8IEA" points="[11, 1, -260, -25]$[272, 85, 1, 59]"/>
|
|
|
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_q7dGUPZLEeCz_6s_8P8IEA" id="(0.8163265306122449,0.5592705167173252)"/>
|
|
|
+ <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_9EQpUPZMEeCz_6s_8P8IEA" id="(0.12244897959183673,0.5623100303951368)"/>
|
|
|
+ </edges>
|
|
|
+ <edges xmi:id="_0zSHEPZLEeCz_6s_8P8IEA" type="Transition" element="_0zRgAPZLEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_0zSuIfZLEeCz_6s_8P8IEA" type="TransitionExpression">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_0zSuIvZLEeCz_6s_8P8IEA"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_0zSuI_ZLEeCz_6s_8P8IEA" x="-6" y="-7"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_0zSHEfZLEeCz_6s_8P8IEA" lineColor="4210752"/>
|
|
|
+ <styles xsi:type="notation:FontStyle" xmi:id="_0zSuIPZLEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
|
|
|
+ <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_0zSHEvZLEeCz_6s_8P8IEA" points="[19, 5, -256, 0]$[273, 57, -2, 52]"/>
|
|
|
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_00N7MPZLEeCz_6s_8P8IEA" id="(0.8367346938775511,0.6565349544072948)"/>
|
|
|
+ <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_00N7MfZLEeCz_6s_8P8IEA" id="(0.16326530612244897,0.6443768996960486)"/>
|
|
|
+ </edges>
|
|
|
+ <edges xmi:id="_6xHXcPZLEeCz_6s_8P8IEA" type="Transition" element="_6xGJUPZLEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_6xHXdPZLEeCz_6s_8P8IEA" type="TransitionExpression">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_6xHXdfZLEeCz_6s_8P8IEA"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_6xHXdvZLEeCz_6s_8P8IEA" x="-3" y="-13"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_6xHXcfZLEeCz_6s_8P8IEA" lineColor="4210752"/>
|
|
|
+ <styles xsi:type="notation:FontStyle" xmi:id="_6xHXc_ZLEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
|
|
|
+ <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_6xHXcvZLEeCz_6s_8P8IEA" points="[15, 4, -259, 0]$[274, 30, 0, 26]"/>
|
|
|
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_6yDLkPZLEeCz_6s_8P8IEA" id="(0.9591836734693877,0.729483282674772)"/>
|
|
|
+ <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_6yDyoPZLEeCz_6s_8P8IEA" id="(0.1836734693877551,0.7325227963525835)"/>
|
|
|
+ </edges>
|
|
|
+ <edges xmi:id="_Kgah4PZMEeCz_6s_8P8IEA" type="Transition" element="_KgZTwPZMEeCz_6s_8P8IEA" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_KgbI8fZMEeCz_6s_8P8IEA" type="TransitionExpression">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_KgbI8vZMEeCz_6s_8P8IEA"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_KgbI8_ZMEeCz_6s_8P8IEA" x="-6" y="-11"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_Kgah4fZMEeCz_6s_8P8IEA" lineColor="4210752"/>
|
|
|
+ <styles xsi:type="notation:FontStyle" xmi:id="_KgbI8PZMEeCz_6s_8P8IEA" fontName="Arial" fontHeight="10"/>
|
|
|
+ <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Kgah4vZMEeCz_6s_8P8IEA" points="[16, -4, -264, 0]$[250, -4, -30, 0]"/>
|
|
|
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_KhI6oPZMEeCz_6s_8P8IEA" id="(0.8979591836734694,0.8085106382978723)"/>
|
|
|
+ <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_KhI6ofZMEeCz_6s_8P8IEA" id="(0.1836734693877551,0.8237082066869301)"/>
|
|
|
+ </edges>
|
|
|
+ <edges xmi:id="_oEIZgQu4EeGmY4-cgZfupg" type="Transition" element="_oEIZgAu4EeGmY4-cgZfupg" source="_yPlQsPZKEeCz_6s_8P8IEA" target="_6jN60PZKEeCz_6s_8P8IEA">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_oESKgQu4EeGmY4-cgZfupg" type="TransitionExpression">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_oESKggu4EeGmY4-cgZfupg"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_oESKgwu4EeGmY4-cgZfupg" x="2" y="-13"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_oEIZggu4EeGmY4-cgZfupg" lineColor="4210752"/>
|
|
|
+ <styles xsi:type="notation:FontStyle" xmi:id="_oESKgAu4EeGmY4-cgZfupg" fontName="Verdana"/>
|
|
|
+ <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_oEIZgwu4EeGmY4-cgZfupg" points="[9, 0, -245, 0]$[250, -35, -4, -35]"/>
|
|
|
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_oE4AYAu4EeGmY4-cgZfupg" id="(0.82,0.10638297872340426)"/>
|
|
|
+ <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_oE4AYQu4EeGmY4-cgZfupg" id="(0.24,0.10638297872340426)"/>
|
|
|
+ </edges>
|
|
|
+ </notation:Diagram>
|
|
|
+</xmi:XMI>
|
benjamin.schwertfeger@gmail.com