|
@@ -1,27 +1,36 @@
|
|
|
<?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="_PSA8cDA8EeKkkaVMi1n7-A" specification="
interface:

	in event e1
	in event e2
" name="HistoryWithoutInitialStep">
|
|
|
+ <sgraph:Statechart xmi:id="_PSA8cDA8EeKkkaVMi1n7-A" specification="interface:

	in event toA
	in event toB
	in event toHistory
	in event next
" name="HistoryWithoutInitialStep">
|
|
|
<regions xmi:id="_PSCKkjA8EeKkkaVMi1n7-A" name="main region">
|
|
|
<vertices xsi:type="sgraph:Entry" xmi:id="_PSIRMjA8EeKkkaVMi1n7-A">
|
|
|
<outgoingTransitions xmi:id="_PSKtcTA8EeKkkaVMi1n7-A" target="_PSJfUDA8EeKkkaVMi1n7-A"/>
|
|
|
</vertices>
|
|
|
<vertices xsi:type="sgraph:State" xmi:id="_PSJfUDA8EeKkkaVMi1n7-A" name="A" incomingTransitions="_PSKtcTA8EeKkkaVMi1n7-A _gRLMQDA8EeKkkaVMi1n7-A">
|
|
|
- <outgoingTransitions xmi:id="_a1PIADA8EeKkkaVMi1n7-A" specification="e1" target="_VCDBYDA8EeKkkaVMi1n7-A"/>
|
|
|
- <outgoingTransitions xmi:id="_oY0BwDA8EeKkkaVMi1n7-A" specification="e2" target="_fBxZ4DA8EeKkkaVMi1n7-A"/>
|
|
|
+ <outgoingTransitions xmi:id="_a1PIADA8EeKkkaVMi1n7-A" specification="toB" target="_VCDBYDA8EeKkkaVMi1n7-A"/>
|
|
|
+ <outgoingTransitions xmi:id="_oY0BwDA8EeKkkaVMi1n7-A" specification="toHistory" target="_fBxZ4DA8EeKkkaVMi1n7-A"/>
|
|
|
</vertices>
|
|
|
<vertices xsi:type="sgraph:State" xmi:id="_VCDBYDA8EeKkkaVMi1n7-A" name="B" incomingTransitions="_a1PIADA8EeKkkaVMi1n7-A">
|
|
|
- <outgoingTransitions xmi:id="_gRLMQDA8EeKkkaVMi1n7-A" specification="e1" target="_PSJfUDA8EeKkkaVMi1n7-A"/>
|
|
|
+ <outgoingTransitions xmi:id="_gRLMQDA8EeKkkaVMi1n7-A" specification="toA" target="_PSJfUDA8EeKkkaVMi1n7-A"/>
|
|
|
<regions xmi:id="_VCDocDA8EeKkkaVMi1n7-A" name="r1">
|
|
|
<vertices xsi:type="sgraph:Entry" xmi:id="_V3KrgDA8EeKkkaVMi1n7-A">
|
|
|
<outgoingTransitions xmi:id="_bpsq0DA8EeKkkaVMi1n7-A" specification="" target="_YC2f8DA8EeKkkaVMi1n7-A"/>
|
|
|
</vertices>
|
|
|
<vertices xsi:type="sgraph:State" xmi:id="_YC2f8DA8EeKkkaVMi1n7-A" name="C" incomingTransitions="_bpsq0DA8EeKkkaVMi1n7-A _hx70YDA8EeKkkaVMi1n7-A">
|
|
|
- <outgoingTransitions xmi:id="_czQ68DA8EeKkkaVMi1n7-A" specification="e2" target="_ZKRbADA8EeKkkaVMi1n7-A"/>
|
|
|
+ <outgoingTransitions xmi:id="_czQ68DA8EeKkkaVMi1n7-A" specification="next" target="_ZKRbADA8EeKkkaVMi1n7-A"/>
|
|
|
</vertices>
|
|
|
<vertices xsi:type="sgraph:State" xmi:id="_ZKRbADA8EeKkkaVMi1n7-A" name="D" incomingTransitions="_czQ68DA8EeKkkaVMi1n7-A">
|
|
|
- <outgoingTransitions xmi:id="_hx70YDA8EeKkkaVMi1n7-A" specification="e2" target="_YC2f8DA8EeKkkaVMi1n7-A"/>
|
|
|
+ <outgoingTransitions xmi:id="_Y5WcwC7CEeSaT5utVQ5Eng" specification="next" target="_XdOdAC7CEeSaT5utVQ5Eng"/>
|
|
|
</vertices>
|
|
|
<vertices xsi:type="sgraph:Entry" xmi:id="_fBxZ4DA8EeKkkaVMi1n7-A" name="he" incomingTransitions="_oY0BwDA8EeKkkaVMi1n7-A" kind="SHALLOW_HISTORY"/>
|
|
|
+ <vertices xsi:type="sgraph:State" xmi:id="_XdOdAC7CEeSaT5utVQ5Eng" name="E" incomingTransitions="_Y5WcwC7CEeSaT5utVQ5Eng">
|
|
|
+ <outgoingTransitions xmi:id="_hx70YDA8EeKkkaVMi1n7-A" specification="next" target="_YC2f8DA8EeKkkaVMi1n7-A"/>
|
|
|
+ <regions xmi:id="_bTlqkC7CEeSaT5utVQ5Eng">
|
|
|
+ <vertices xsi:type="sgraph:State" xmi:id="_cr3FEC7CEeSaT5utVQ5Eng" name="F" incomingTransitions="_jK8BUC7CEeSaT5utVQ5Eng"/>
|
|
|
+ <vertices xsi:type="sgraph:Entry" xmi:id="_igCDIC7CEeSaT5utVQ5Eng">
|
|
|
+ <outgoingTransitions xmi:id="_jK8BUC7CEeSaT5utVQ5Eng" target="_cr3FEC7CEeSaT5utVQ5Eng"/>
|
|
|
+ </vertices>
|
|
|
+ </regions>
|
|
|
+ </vertices>
|
|
|
</regions>
|
|
|
</vertices>
|
|
|
</regions>
|
|
@@ -43,7 +52,7 @@
|
|
|
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSI4QjA8EeKkkaVMi1n7-A"/>
|
|
|
</children>
|
|
|
<styles xsi:type="notation:ShapeStyle" xmi:id="_PSIRNDA8EeKkkaVMi1n7-A" fontName="Verdana" lineColor="4210752"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSI4RjA8EeKkkaVMi1n7-A" x="70" y="20"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSI4RjA8EeKkkaVMi1n7-A" x="70" y="20" width="15" height="15"/>
|
|
|
</children>
|
|
|
<children xmi:id="_PSJfUjA8EeKkkaVMi1n7-A" type="State" element="_PSJfUDA8EeKkkaVMi1n7-A">
|
|
|
<children xsi:type="notation:DecorationNode" xmi:id="_PSKGYDA8EeKkkaVMi1n7-A" type="StateName">
|
|
@@ -59,7 +68,7 @@
|
|
|
<styles xsi:type="notation:ShapeStyle" xmi:id="_PSJfUzA8EeKkkaVMi1n7-A" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
|
|
|
<styles xsi:type="notation:FontStyle" xmi:id="_PSJfVDA8EeKkkaVMi1n7-A"/>
|
|
|
<styles xsi:type="notation:BooleanValueStyle" xmi:id="_PSKGZzA8EeKkkaVMi1n7-A"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSKtcDA8EeKkkaVMi1n7-A" x="40" y="80"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSKtcDA8EeKkkaVMi1n7-A" x="40" y="80" width="40" height="53"/>
|
|
|
</children>
|
|
|
<children xmi:id="_VCEPgDA8EeKkkaVMi1n7-A" type="State" element="_VCDBYDA8EeKkkaVMi1n7-A">
|
|
|
<children xsi:type="notation:DecorationNode" xmi:id="_VCE2kDA8EeKkkaVMi1n7-A" type="StateName">
|
|
@@ -72,83 +81,139 @@
|
|
|
</children>
|
|
|
</children>
|
|
|
<children xsi:type="notation:Compartment" xmi:id="_VCE2ljA8EeKkkaVMi1n7-A" type="StateFigureCompartment">
|
|
|
- <children xmi:id="_VCMLUDA8EeKkkaVMi1n7-A" type="Region" element="_VCDocDA8EeKkkaVMi1n7-A">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_VCMyYDA8EeKkkaVMi1n7-A" type="RegionName">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_VCMyYTA8EeKkkaVMi1n7-A"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_VCMyYjA8EeKkkaVMi1n7-A"/>
|
|
|
+ <children xmi:id="_X37cAC7CEeSaT5utVQ5Eng" type="Region" element="_VCDocDA8EeKkkaVMi1n7-A">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_X37cAS7CEeSaT5utVQ5Eng" type="RegionName">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cAi7CEeSaT5utVQ5Eng"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_X37cAy7CEeSaT5utVQ5Eng"/>
|
|
|
</children>
|
|
|
- <children xsi:type="notation:Shape" xmi:id="_VCNZcDA8EeKkkaVMi1n7-A" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
|
|
|
- <children xmi:id="_V3L5oDA8EeKkkaVMi1n7-A" type="Entry" element="_V3KrgDA8EeKkkaVMi1n7-A">
|
|
|
- <children xmi:id="_V3L5ozA8EeKkkaVMi1n7-A" type="BorderItemLabelContainer">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_V3MgsDA8EeKkkaVMi1n7-A" type="BorderItemLabel">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_V3MgsTA8EeKkkaVMi1n7-A"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_V3MgsjA8EeKkkaVMi1n7-A"/>
|
|
|
+ <children xsi:type="notation:Shape" xmi:id="_X37cBC7CEeSaT5utVQ5Eng" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
|
|
|
+ <children xmi:id="_X37cBS7CEeSaT5utVQ5Eng" type="Entry" element="_V3KrgDA8EeKkkaVMi1n7-A">
|
|
|
+ <children xmi:id="_X37cBi7CEeSaT5utVQ5Eng" type="BorderItemLabelContainer">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_X37cBy7CEeSaT5utVQ5Eng" type="BorderItemLabel">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cCC7CEeSaT5utVQ5Eng"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_X37cCS7CEeSaT5utVQ5Eng"/>
|
|
|
</children>
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_V3L5pDA8EeKkkaVMi1n7-A" fontName="Verdana" lineColor="4210752"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_V3L5pTA8EeKkkaVMi1n7-A"/>
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cCi7CEeSaT5utVQ5Eng" fontName="Verdana" lineColor="4210752"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cCy7CEeSaT5utVQ5Eng"/>
|
|
|
</children>
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_V3L5oTA8EeKkkaVMi1n7-A" fontName="Verdana" lineColor="4210752"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_V3L5ojA8EeKkkaVMi1n7-A" x="34" y="33"/>
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cDC7CEeSaT5utVQ5Eng" fontName="Verdana" lineColor="4210752"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cDS7CEeSaT5utVQ5Eng" x="34" y="33" width="15" height="15"/>
|
|
|
</children>
|
|
|
- <children xmi:id="_YC3uEDA8EeKkkaVMi1n7-A" type="State" element="_YC2f8DA8EeKkkaVMi1n7-A">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_YC3uFDA8EeKkkaVMi1n7-A" type="StateName">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_YC3uFTA8EeKkkaVMi1n7-A"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_YC3uFjA8EeKkkaVMi1n7-A"/>
|
|
|
+ <children xmi:id="_X37cDi7CEeSaT5utVQ5Eng" type="State" element="_YC2f8DA8EeKkkaVMi1n7-A">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_X37cDy7CEeSaT5utVQ5Eng" type="StateName">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cEC7CEeSaT5utVQ5Eng"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_X37cES7CEeSaT5utVQ5Eng"/>
|
|
|
</children>
|
|
|
- <children xsi:type="notation:Compartment" xmi:id="_YC3uFzA8EeKkkaVMi1n7-A" type="StateTextCompartment">
|
|
|
- <children xsi:type="notation:Shape" xmi:id="_YC3uGDA8EeKkkaVMi1n7-A" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YC3uGTA8EeKkkaVMi1n7-A"/>
|
|
|
+ <children xsi:type="notation:Compartment" xmi:id="_X37cEi7CEeSaT5utVQ5Eng" type="StateTextCompartment">
|
|
|
+ <children xsi:type="notation:Shape" xmi:id="_X37cEy7CEeSaT5utVQ5Eng" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cFC7CEeSaT5utVQ5Eng"/>
|
|
|
</children>
|
|
|
</children>
|
|
|
- <children xsi:type="notation:Compartment" xmi:id="_YC4VIDA8EeKkkaVMi1n7-A" type="StateFigureCompartment"/>
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_YC3uETA8EeKkkaVMi1n7-A" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
|
|
|
- <styles xsi:type="notation:FontStyle" xmi:id="_YC3uEjA8EeKkkaVMi1n7-A"/>
|
|
|
- <styles xsi:type="notation:BooleanValueStyle" xmi:id="_YC4VITA8EeKkkaVMi1n7-A"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YC3uEzA8EeKkkaVMi1n7-A" x="24" y="101"/>
|
|
|
+ <children xsi:type="notation:Compartment" xmi:id="_X37cFS7CEeSaT5utVQ5Eng" type="StateFigureCompartment"/>
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cFi7CEeSaT5utVQ5Eng" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
|
|
|
+ <styles xsi:type="notation:FontStyle" xmi:id="_X37cFy7CEeSaT5utVQ5Eng"/>
|
|
|
+ <styles xsi:type="notation:BooleanValueStyle" xmi:id="_X37cGC7CEeSaT5utVQ5Eng"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cGS7CEeSaT5utVQ5Eng" x="34" y="76" width="40" height="53"/>
|
|
|
</children>
|
|
|
- <children xmi:id="_ZKSCEDA8EeKkkaVMi1n7-A" type="State" element="_ZKRbADA8EeKkkaVMi1n7-A">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_ZKSCFDA8EeKkkaVMi1n7-A" type="StateName">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_ZKSCFTA8EeKkkaVMi1n7-A"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_ZKSpIDA8EeKkkaVMi1n7-A"/>
|
|
|
+ <children xmi:id="_X37cGi7CEeSaT5utVQ5Eng" type="State" element="_ZKRbADA8EeKkkaVMi1n7-A">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_X37cGy7CEeSaT5utVQ5Eng" type="StateName">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cHC7CEeSaT5utVQ5Eng"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_X37cHS7CEeSaT5utVQ5Eng"/>
|
|
|
</children>
|
|
|
- <children xsi:type="notation:Compartment" xmi:id="_ZKSpITA8EeKkkaVMi1n7-A" type="StateTextCompartment">
|
|
|
- <children xsi:type="notation:Shape" xmi:id="_ZKSpIjA8EeKkkaVMi1n7-A" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ZKSpIzA8EeKkkaVMi1n7-A"/>
|
|
|
+ <children xsi:type="notation:Compartment" xmi:id="_X37cHi7CEeSaT5utVQ5Eng" type="StateTextCompartment">
|
|
|
+ <children xsi:type="notation:Shape" xmi:id="_X37cHy7CEeSaT5utVQ5Eng" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cIC7CEeSaT5utVQ5Eng"/>
|
|
|
</children>
|
|
|
</children>
|
|
|
- <children xsi:type="notation:Compartment" xmi:id="_ZKSpJDA8EeKkkaVMi1n7-A" type="StateFigureCompartment"/>
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_ZKSCETA8EeKkkaVMi1n7-A" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
|
|
|
- <styles xsi:type="notation:FontStyle" xmi:id="_ZKSCEjA8EeKkkaVMi1n7-A"/>
|
|
|
- <styles xsi:type="notation:BooleanValueStyle" xmi:id="_ZKSpJTA8EeKkkaVMi1n7-A"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ZKSCEzA8EeKkkaVMi1n7-A" x="114" y="101"/>
|
|
|
+ <children xsi:type="notation:Compartment" xmi:id="_X37cIS7CEeSaT5utVQ5Eng" type="StateFigureCompartment"/>
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cIi7CEeSaT5utVQ5Eng" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
|
|
|
+ <styles xsi:type="notation:FontStyle" xmi:id="_X37cIy7CEeSaT5utVQ5Eng"/>
|
|
|
+ <styles xsi:type="notation:BooleanValueStyle" xmi:id="_X37cJC7CEeSaT5utVQ5Eng"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cJS7CEeSaT5utVQ5Eng" x="123" y="47" width="40" height="53"/>
|
|
|
</children>
|
|
|
- <children xmi:id="_fByA8DA8EeKkkaVMi1n7-A" type="ShallowHistory" element="_fBxZ4DA8EeKkkaVMi1n7-A">
|
|
|
- <children xmi:id="_fByoADA8EeKkkaVMi1n7-A" type="BorderItemLabelContainer">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_fByoAzA8EeKkkaVMi1n7-A" type="BorderItemLabel">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_fByoBDA8EeKkkaVMi1n7-A"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_fByoBTA8EeKkkaVMi1n7-A"/>
|
|
|
+ <children xmi:id="_X37cJi7CEeSaT5utVQ5Eng" type="ShallowHistory" element="_fBxZ4DA8EeKkkaVMi1n7-A">
|
|
|
+ <children xmi:id="_X37cJy7CEeSaT5utVQ5Eng" type="BorderItemLabelContainer">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_X37cKC7CEeSaT5utVQ5Eng" type="BorderItemLabel">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cKS7CEeSaT5utVQ5Eng"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_X37cKi7CEeSaT5utVQ5Eng"/>
|
|
|
</children>
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_fByoATA8EeKkkaVMi1n7-A" fontName="Verdana" lineColor="4210752"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_fByoAjA8EeKkkaVMi1n7-A" x="19" y="2"/>
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cKy7CEeSaT5utVQ5Eng" fontName="Verdana" lineColor="4210752"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cLC7CEeSaT5utVQ5Eng" x="19" y="2"/>
|
|
|
</children>
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_fByA8TA8EeKkkaVMi1n7-A" fontName="Verdana" lineColor="4210752"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_fByA8jA8EeKkkaVMi1n7-A" x="24" y="193"/>
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cLS7CEeSaT5utVQ5Eng" fontName="Verdana" lineColor="4210752"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cLi7CEeSaT5utVQ5Eng" x="54" y="164" width="15" height="15"/>
|
|
|
</children>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_VCNZcTA8EeKkkaVMi1n7-A"/>
|
|
|
+ <children xmi:id="_X37cLy7CEeSaT5utVQ5Eng" type="State" element="_XdOdAC7CEeSaT5utVQ5Eng">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_X37cMC7CEeSaT5utVQ5Eng" type="StateName">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cMS7CEeSaT5utVQ5Eng"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_X37cMi7CEeSaT5utVQ5Eng"/>
|
|
|
+ </children>
|
|
|
+ <children xsi:type="notation:Compartment" xmi:id="_X37cMy7CEeSaT5utVQ5Eng" type="StateTextCompartment">
|
|
|
+ <children xsi:type="notation:Shape" xmi:id="_X37cNC7CEeSaT5utVQ5Eng" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cNS7CEeSaT5utVQ5Eng"/>
|
|
|
+ </children>
|
|
|
+ </children>
|
|
|
+ <children xsi:type="notation:Compartment" xmi:id="_X37cNi7CEeSaT5utVQ5Eng" type="StateFigureCompartment">
|
|
|
+ <children xmi:id="_bTnfwC7CEeSaT5utVQ5Eng" type="Region" element="_bTlqkC7CEeSaT5utVQ5Eng">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_bToG0C7CEeSaT5utVQ5Eng" type="RegionName">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_bToG0S7CEeSaT5utVQ5Eng"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_bToG0i7CEeSaT5utVQ5Eng"/>
|
|
|
+ </children>
|
|
|
+ <children xsi:type="notation:Shape" xmi:id="_bToG0y7CEeSaT5utVQ5Eng" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
|
|
|
+ <children xmi:id="_cr4TMC7CEeSaT5utVQ5Eng" type="State" element="_cr3FEC7CEeSaT5utVQ5Eng">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_cr46QC7CEeSaT5utVQ5Eng" type="StateName">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_cr46QS7CEeSaT5utVQ5Eng"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_cr46Qi7CEeSaT5utVQ5Eng"/>
|
|
|
+ </children>
|
|
|
+ <children xsi:type="notation:Compartment" xmi:id="_cr46Qy7CEeSaT5utVQ5Eng" type="StateTextCompartment">
|
|
|
+ <children xsi:type="notation:Shape" xmi:id="_cr5hUC7CEeSaT5utVQ5Eng" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_cr5hUS7CEeSaT5utVQ5Eng"/>
|
|
|
+ </children>
|
|
|
+ </children>
|
|
|
+ <children xsi:type="notation:Compartment" xmi:id="_cr5hUi7CEeSaT5utVQ5Eng" type="StateFigureCompartment"/>
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_cr4TMS7CEeSaT5utVQ5Eng" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
|
|
|
+ <styles xsi:type="notation:FontStyle" xmi:id="_cr4TMi7CEeSaT5utVQ5Eng"/>
|
|
|
+ <styles xsi:type="notation:BooleanValueStyle" xmi:id="_cr5hUy7CEeSaT5utVQ5Eng" name="isHorizontal" booleanValue="true"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_cr4TMy7CEeSaT5utVQ5Eng" x="27" y="13"/>
|
|
|
+ </children>
|
|
|
+ <children xmi:id="_igD4UC7CEeSaT5utVQ5Eng" type="Entry" element="_igCDIC7CEeSaT5utVQ5Eng">
|
|
|
+ <children xmi:id="_igEfYC7CEeSaT5utVQ5Eng" type="BorderItemLabelContainer">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_igEfYy7CEeSaT5utVQ5Eng" type="BorderItemLabel">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_igEfZC7CEeSaT5utVQ5Eng"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_igEfZS7CEeSaT5utVQ5Eng"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_igEfYS7CEeSaT5utVQ5Eng" fontName="Verdana" lineColor="4210752"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_igEfYi7CEeSaT5utVQ5Eng"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_igD4US7CEeSaT5utVQ5Eng" fontName="Verdana" lineColor="4210752"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_igD4Ui7CEeSaT5utVQ5Eng" x="83" y="29"/>
|
|
|
+ </children>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bToG1C7CEeSaT5utVQ5Eng"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_bTnfwS7CEeSaT5utVQ5Eng" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bTnfwi7CEeSaT5utVQ5Eng"/>
|
|
|
+ </children>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cNy7CEeSaT5utVQ5Eng" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
|
|
|
+ <styles xsi:type="notation:FontStyle" xmi:id="_X37cOC7CEeSaT5utVQ5Eng"/>
|
|
|
+ <styles xsi:type="notation:BooleanValueStyle" xmi:id="_X37cOS7CEeSaT5utVQ5Eng" name="isHorizontal" booleanValue="true"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cOi7CEeSaT5utVQ5Eng" x="215" y="56" width="136" height="141"/>
|
|
|
+ </children>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cOy7CEeSaT5utVQ5Eng"/>
|
|
|
</children>
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_VCMLUTA8EeKkkaVMi1n7-A" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_VCMLUjA8EeKkkaVMi1n7-A"/>
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_X37cPC7CEeSaT5utVQ5Eng" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X37cPS7CEeSaT5utVQ5Eng"/>
|
|
|
</children>
|
|
|
</children>
|
|
|
<styles xsi:type="notation:ShapeStyle" xmi:id="_VCEPgTA8EeKkkaVMi1n7-A" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
|
|
|
<styles xsi:type="notation:FontStyle" xmi:id="_VCEPgjA8EeKkkaVMi1n7-A"/>
|
|
|
<styles xsi:type="notation:BooleanValueStyle" xmi:id="_VCE2lzA8EeKkkaVMi1n7-A"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_VCEPgzA8EeKkkaVMi1n7-A" x="141" y="23" width="225" height="309"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_VCEPgzA8EeKkkaVMi1n7-A" x="141" y="23" width="389" height="283"/>
|
|
|
</children>
|
|
|
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSIRMDA8EeKkkaVMi1n7-A"/>
|
|
|
</children>
|
|
|
<styles xsi:type="notation:ShapeStyle" xmi:id="_PSFN4TA8EeKkkaVMi1n7-A" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSIRMTA8EeKkkaVMi1n7-A" x="220" y="10" width="400" height="400"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PSIRMTA8EeKkkaVMi1n7-A" x="220" y="10" width="581" height="400"/>
|
|
|
</children>
|
|
|
<children xsi:type="notation:Shape" xmi:id="_PSL7kzA8EeKkkaVMi1n7-A" type="StatechartText" fontName="Verdana" lineColor="4210752">
|
|
|
<children xsi:type="notation:DecorationNode" xmi:id="_PSL7lTA8EeKkkaVMi1n7-A" type="StatechartName">
|
|
@@ -181,7 +246,7 @@
|
|
|
<sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_tGHeYDA8EeKkkaVMi1n7-A" id="(0.775,0.22413793103448276)"/>
|
|
|
<targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_a1SyYDA8EeKkkaVMi1n7-A" id="(0.022222222222222223,0.2297734627831715)"/>
|
|
|
</edges>
|
|
|
- <edges xmi:id="_bpt48DA8EeKkkaVMi1n7-A" type="Transition" element="_bpsq0DA8EeKkkaVMi1n7-A" source="_V3L5oDA8EeKkkaVMi1n7-A" target="_YC3uEDA8EeKkkaVMi1n7-A">
|
|
|
+ <edges xmi:id="_bpt48DA8EeKkkaVMi1n7-A" type="Transition" element="_bpsq0DA8EeKkkaVMi1n7-A" source="_X37cBS7CEeSaT5utVQ5Eng" target="_X37cDi7CEeSaT5utVQ5Eng">
|
|
|
<children xsi:type="notation:DecorationNode" xmi:id="_bpt49DA8EeKkkaVMi1n7-A" type="TransitionExpression">
|
|
|
<styles xsi:type="notation:ShapeStyle" xmi:id="_bpt49TA8EeKkkaVMi1n7-A"/>
|
|
|
<layoutConstraint xsi:type="notation:Location" xmi:id="_bpt49jA8EeKkkaVMi1n7-A" y="10"/>
|
|
@@ -191,14 +256,14 @@
|
|
|
<bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_bpt48jA8EeKkkaVMi1n7-A" points="[1, 7, -18, -83]$[21, 81, 2, -9]"/>
|
|
|
<targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_bpvuIDA8EeKkkaVMi1n7-A" id="(0.35,0.1724137931034483)"/>
|
|
|
</edges>
|
|
|
- <edges xmi:id="_czRiADA8EeKkkaVMi1n7-A" type="Transition" element="_czQ68DA8EeKkkaVMi1n7-A" source="_YC3uEDA8EeKkkaVMi1n7-A" target="_ZKSCEDA8EeKkkaVMi1n7-A">
|
|
|
+ <edges xmi:id="_czRiADA8EeKkkaVMi1n7-A" type="Transition" element="_czQ68DA8EeKkkaVMi1n7-A" source="_X37cDi7CEeSaT5utVQ5Eng" target="_X37cGi7CEeSaT5utVQ5Eng">
|
|
|
<children xsi:type="notation:DecorationNode" xmi:id="_czSJETA8EeKkkaVMi1n7-A" type="TransitionExpression">
|
|
|
<styles xsi:type="notation:ShapeStyle" xmi:id="_czSJEjA8EeKkkaVMi1n7-A"/>
|
|
|
<layoutConstraint xsi:type="notation:Location" xmi:id="_czSJEzA8EeKkkaVMi1n7-A" y="10"/>
|
|
|
</children>
|
|
|
<styles xsi:type="notation:ConnectorStyle" xmi:id="_czRiATA8EeKkkaVMi1n7-A" lineColor="4210752"/>
|
|
|
<styles xsi:type="notation:FontStyle" xmi:id="_czSJEDA8EeKkkaVMi1n7-A" fontName="Verdana"/>
|
|
|
- <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_czRiAjA8EeKkkaVMi1n7-A" points="[18, -2, -72, -2]$[91, -26, 1, -26]"/>
|
|
|
+ <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_czRiAjA8EeKkkaVMi1n7-A" points="[18, -10, -71, 19]$[56, -29, -33, 0]$[72, -29, -17, 0]"/>
|
|
|
</edges>
|
|
|
<edges xmi:id="_gRMaYDA8EeKkkaVMi1n7-A" type="Transition" element="_gRLMQDA8EeKkkaVMi1n7-A" source="_VCEPgDA8EeKkkaVMi1n7-A" target="_PSJfUjA8EeKkkaVMi1n7-A">
|
|
|
<children xsi:type="notation:DecorationNode" xmi:id="_gRMaZDA8EeKkkaVMi1n7-A" type="TransitionExpression">
|
|
@@ -207,11 +272,11 @@
|
|
|
</children>
|
|
|
<styles xsi:type="notation:ConnectorStyle" xmi:id="_gRMaYTA8EeKkkaVMi1n7-A" lineColor="4210752"/>
|
|
|
<styles xsi:type="notation:FontStyle" xmi:id="_gRMaYzA8EeKkkaVMi1n7-A" fontName="Verdana"/>
|
|
|
- <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_gRMaYjA8EeKkkaVMi1n7-A" points="[-1, 1, 84, -3]$[-67, 19, 18, 15]"/>
|
|
|
- <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_gROPkDA8EeKkkaVMi1n7-A" id="(0.008888888888888889,0.343042071197411)"/>
|
|
|
+ <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_gRMaYjA8EeKkkaVMi1n7-A" points="[-4, -7, 422, 137]$[-75, -159, 351, -15]$[-417, -144, 9, 0]"/>
|
|
|
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_TFUzMC7DEeSaT5utVQ5Eng" id="(0.0019455252918287938,0.3101449275362319)"/>
|
|
|
<targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_qeXZADA8EeKkkaVMi1n7-A" id="(0.75,0.7586206896551724)"/>
|
|
|
</edges>
|
|
|
- <edges xmi:id="_hx8bcDA8EeKkkaVMi1n7-A" type="Transition" element="_hx70YDA8EeKkkaVMi1n7-A" source="_ZKSCEDA8EeKkkaVMi1n7-A" target="_YC3uEDA8EeKkkaVMi1n7-A">
|
|
|
+ <edges xmi:id="_hx8bcDA8EeKkkaVMi1n7-A" type="Transition" element="_hx70YDA8EeKkkaVMi1n7-A" source="_X37cLy7CEeSaT5utVQ5Eng" target="_X37cDi7CEeSaT5utVQ5Eng">
|
|
|
<children xsi:type="notation:DecorationNode" xmi:id="_hx9CgTA8EeKkkaVMi1n7-A" type="TransitionExpression">
|
|
|
<styles xsi:type="notation:ShapeStyle" xmi:id="_hx9CgjA8EeKkkaVMi1n7-A"/>
|
|
|
<layoutConstraint xsi:type="notation:Location" xmi:id="_hx9CgzA8EeKkkaVMi1n7-A" y="-12"/>
|
|
@@ -219,17 +284,36 @@
|
|
|
<styles xsi:type="notation:ConnectorStyle" xmi:id="_hx8bcTA8EeKkkaVMi1n7-A" lineColor="4210752"/>
|
|
|
<styles xsi:type="notation:FontStyle" xmi:id="_hx9CgDA8EeKkkaVMi1n7-A" fontName="Verdana"/>
|
|
|
<bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_hx8bcjA8EeKkkaVMi1n7-A" points="[-12, 10, 69, 5]$[-77, 13, 4, 8]"/>
|
|
|
- <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_hx-3sDA8EeKkkaVMi1n7-A" id="(0.35,0.7586206896551724)"/>
|
|
|
- <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_hx-3sTA8EeKkkaVMi1n7-A" id="(0.625,0.8620689655172413)"/>
|
|
|
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_hx-3sDA8EeKkkaVMi1n7-A" id="(0.175,0.6981132075471698)"/>
|
|
|
</edges>
|
|
|
- <edges xmi:id="_oY1P4DA8EeKkkaVMi1n7-A" type="Transition" element="_oY0BwDA8EeKkkaVMi1n7-A" source="_PSJfUjA8EeKkkaVMi1n7-A" target="_fByA8DA8EeKkkaVMi1n7-A">
|
|
|
+ <edges xmi:id="_oY1P4DA8EeKkkaVMi1n7-A" type="Transition" element="_oY0BwDA8EeKkkaVMi1n7-A" source="_PSJfUjA8EeKkkaVMi1n7-A" target="_X37cJi7CEeSaT5utVQ5Eng">
|
|
|
<children xsi:type="notation:DecorationNode" xmi:id="_oY128TA8EeKkkaVMi1n7-A" type="TransitionExpression">
|
|
|
<styles xsi:type="notation:ShapeStyle" xmi:id="_oY128jA8EeKkkaVMi1n7-A"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_oY128zA8EeKkkaVMi1n7-A" y="10"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_oY128zA8EeKkkaVMi1n7-A" x="-49" y="23"/>
|
|
|
</children>
|
|
|
<styles xsi:type="notation:ConnectorStyle" xmi:id="_oY1P4TA8EeKkkaVMi1n7-A" lineColor="4210752"/>
|
|
|
<styles xsi:type="notation:FontStyle" xmi:id="_oY128DA8EeKkkaVMi1n7-A" fontName="Verdana"/>
|
|
|
<bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_oY1P4jA8EeKkkaVMi1n7-A" points="[18, 23, -119, -157]$[145, 180, 8, 0]"/>
|
|
|
</edges>
|
|
|
+ <edges xmi:id="_Y5Xq4C7CEeSaT5utVQ5Eng" type="Transition" element="_Y5WcwC7CEeSaT5utVQ5Eng" source="_X37cGi7CEeSaT5utVQ5Eng" target="_X37cLy7CEeSaT5utVQ5Eng">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_Y5Xq5C7CEeSaT5utVQ5Eng" type="TransitionExpression">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_Y5Xq5S7CEeSaT5utVQ5Eng"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_Y5Xq5i7CEeSaT5utVQ5Eng" y="10"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_Y5Xq4S7CEeSaT5utVQ5Eng" lineColor="4210752"/>
|
|
|
+ <styles xsi:type="notation:FontStyle" xmi:id="_Y5Xq4y7CEeSaT5utVQ5Eng" fontName="Verdana"/>
|
|
|
+ <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Y5Xq4i7CEeSaT5utVQ5Eng" points="[6, -2, -89, 1]$[98, -12, 3, -9]"/>
|
|
|
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Y5aHIC7CEeSaT5utVQ5Eng" id="(0.85,0.33962264150943394)"/>
|
|
|
+ <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_iANTkC7CEeSaT5utVQ5Eng" id="(0.0,0.15602836879432624)"/>
|
|
|
+ </edges>
|
|
|
+ <edges xmi:id="_jK8oYC7CEeSaT5utVQ5Eng" type="Transition" element="_jK8BUC7CEeSaT5utVQ5Eng" source="_igD4UC7CEeSaT5utVQ5Eng" target="_cr4TMC7CEeSaT5utVQ5Eng">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_jK9PcS7CEeSaT5utVQ5Eng" type="TransitionExpression">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_jK9Pci7CEeSaT5utVQ5Eng"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_jK9Pcy7CEeSaT5utVQ5Eng" y="10"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_jK8oYS7CEeSaT5utVQ5Eng" lineColor="4210752"/>
|
|
|
+ <styles xsi:type="notation:FontStyle" xmi:id="_jK9PcC7CEeSaT5utVQ5Eng" fontName="Verdana"/>
|
|
|
+ <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_jK8oYi7CEeSaT5utVQ5Eng" points="[-7, 0, 55, 4]$[-44, 0, 18, 4]"/>
|
|
|
+ </edges>
|
|
|
</notation:Diagram>
|
|
|
</xmi:XMI>
|