| // JGraLab - The Java graph laboratory |
| // Version : unknown |
| // Revision: unknown |
| |
| TGraph 2; |
| Schema de.uni_koblenz.statemachine.StateMachineSchema; |
| GraphClass StateMachine; |
| VertexClass State { name: String }; |
| EdgeClass Transition from State (0,*) role src to State (0,*) role dst { action: String, trigger: String }; |
| Graph "c1ff8fb0-a298bd03-8a335d70-73206f60" 85 StateMachine (500 500 11 21); |
| Package ; |
| 1 State <-4 7 -11 -15> "TimeWait"; |
| 2 State <-2 12> "CloseWait"; |
| 3 State <-3 5 6 -7 -8 -16> "Closed"; |
| 4 State <1 2 -10 -20> "Established"; |
| 5 State <-5 16 17 18 -21> "Listen"; |
| 6 State <11 -14> "Closing"; |
| 7 State <3 -12> "LastAck"; |
| 8 State <-1 13 14 15 -19> "FinWait1"; |
| 9 State <4 -13> "FinWait2"; |
| 10 State <-9 -18 19 20 21> "SynReceived"; |
| 11 State <-6 8 9 10 -17> "SynSent"; |
| 1 Transition "FIN" "close"; |
| 2 Transition "ACK" "FIN"; |
| 3 Transition "--" "ACK"; |
| 4 Transition "ACK" "FIN"; |
| 5 Transition "--" "listen"; |
| 6 Transition "SYN" "connect"; |
| 7 Transition "--" "TimeoutException"; |
| 8 Transition "--" "close"; |
| 9 Transition "SYN_ACK" "SYN"; |
| 10 Transition "ACK" "SYN_ACK"; |
| 11 Transition "--" "ACK"; |
| 12 Transition "FIN" "close"; |
| 13 Transition "--" "ACK"; |
| 14 Transition "ACK" "FIN"; |
| 15 Transition "ACK" "FIN_ACK"; |
| 16 Transition "--" "close"; |
| 17 Transition "SYN" "send"; |
| 18 Transition "SYN_ACK" "SYN"; |
| 19 Transition "FIN" "close"; |
| 20 Transition "--" "ACK"; |
| 21 Transition "--" "RST"; |