6. Diagrammi di stato (STATE DIAGRAMS)

Qui presentiamo diagrammi di stato per un'implementazione FTP molto semplice. Viene utilizzata solo la prima cifra dei codici di risposta. C'è un diagramma di stato per ogni gruppo di comandi FTP o sequenze di comandi.

I gruppi di comandi sono stati determinati costruendo un modello per ogni comando e quindi raggruppando insieme i comandi con modelli strutturalmente identici.

Per ogni comando o sequenza di comandi, ci sono tre risultati possibili: successo (Success, S), fallimento (Failure, F) ed errore (Error, E). Nei diagrammi di stato qui sotto, usiamo il simbolo B per "inizio" (Begin) e il simbolo W per "attesa di risposta" (Wait for Reply).

Presentiamo prima il diagramma che rappresenta il gruppo più grande di comandi FTP:

                               1,3    +---+
                          ----------->| E |
                         |            +---+
                         |
   +---+    cmd    +---+ |     2     +---+
   | B |---------->| W |---------->  | S |
   +---+           +---+ |           +---+
                         |
                         |     4,5   +---+
                          ----------->| F |
                                      +---+

Questo diagramma modella i comandi:

• ABOR, DELE, CWD, CDUP, SMNT, HELP, MODE, NOOP, PASV, QUIT, SITE, PORT, SYST, STAT, RMD, MKD, PWD, STRU e TYPE

Gli altri diagrammi modellano sequenze di comandi e sono più complessi.

---