blob: 86717de983d7673b84d3010b95ad4f3a0f2d539a [file] [log] [blame]
<?xml version="1.0" encoding="ASCII"?>
<statemachine:StateMachine xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:statemachine="http://planet-mde.org/ttc2011/statemachine">
<states name="SynReceived" out="//@transitions.18 //@transitions.19 //@transitions.20" in="//@transitions.2 //@transitions.9"/>
<states name="FinWait1" out="//@transitions.14 //@transitions.16 //@transitions.17" in="//@transitions.3 //@transitions.18"/>
<states name="FinWait2" out="//@transitions.13" in="//@transitions.14"/>
<states name="TimeWait" out="//@transitions.12" in="//@transitions.13 //@transitions.15 //@transitions.17"/>
<states name="Closed" out="//@transitions.10 //@transitions.11" in="//@transitions.0 //@transitions.1 //@transitions.4 //@transitions.12"/>
<states name="Listen" out="//@transitions.0 //@transitions.8 //@transitions.9" in="//@transitions.10 //@transitions.20"/>
<states name="SynSent" out="//@transitions.1 //@transitions.2 //@transitions.7" in="//@transitions.8 //@transitions.11"/>
<states name="Established" out="//@transitions.3 //@transitions.6" in="//@transitions.7 //@transitions.19"/>
<states name="CloseWait" out="//@transitions.5" in="//@transitions.6"/>
<states name="LastAck" out="//@transitions.4" in="//@transitions.5"/>
<states name="Closing" out="//@transitions.15" in="//@transitions.16"/>
<transitions action="--" trigger="close" src="//@states.5" dst="//@states.4"/>
<transitions action="--" trigger="close" src="//@states.6" dst="//@states.4"/>
<transitions action="SYN_ACK" trigger="SYN" src="//@states.6" dst="//@states.0"/>
<transitions action="FIN" trigger="close" src="//@states.7" dst="//@states.1"/>
<transitions action="--" trigger="ACK" src="//@states.9" dst="//@states.4"/>
<transitions action="FIN" trigger="close" src="//@states.8" dst="//@states.9"/>
<transitions action="ACK" trigger="FIN" src="//@states.7" dst="//@states.8"/>
<transitions action="ACK" trigger="SYN_ACK" src="//@states.6" dst="//@states.7"/>
<transitions action="SYN" trigger="send" src="//@states.5" dst="//@states.6"/>
<transitions action="SYN_ACK" trigger="SYN" src="//@states.5" dst="//@states.0"/>
<transitions action="--" trigger="listen" src="//@states.4" dst="//@states.5"/>
<transitions action="SYN" trigger="connect" src="//@states.4" dst="//@states.6"/>
<transitions action="--" trigger="TimeoutException" src="//@states.3" dst="//@states.4"/>
<transitions action="ACK" trigger="FIN" src="//@states.2" dst="//@states.3"/>
<transitions action="--" trigger="ACK" src="//@states.1" dst="//@states.2"/>
<transitions action="--" trigger="ACK" src="//@states.10" dst="//@states.3"/>
<transitions action="ACK" trigger="FIN" src="//@states.1" dst="//@states.10"/>
<transitions action="ACK" trigger="FIN_ACK" src="//@states.1" dst="//@states.3"/>
<transitions action="FIN" trigger="close" src="//@states.0" dst="//@states.1"/>
<transitions action="--" trigger="ACK" src="//@states.0" dst="//@states.7"/>
<transitions action="--" trigger="RST" src="//@states.0" dst="//@states.5"/>
</statemachine:StateMachine>