6. Diagrammes d'états (STATE DIAGRAMS)

Nous présentons ici des diagrammes d'états pour une implémentation FTP très simple d'esprit. Seul le premier chiffre des codes de réponse est utilisé. Il y a un diagramme d'états pour chaque groupe de commandes FTP ou de séquences de commandes.

Les groupes de commandes ont été déterminés en construisant un modèle pour chaque commande, puis en rassemblant les commandes avec des modèles structurellement identiques.

Pour chaque commande ou séquence de commandes, il existe trois résultats possibles : succès (Success, S), échec (Failure, F) et erreur (Error, E). Dans les diagrammes d'états ci-dessous, nous utilisons le symbole B pour « début » (Begin), et le symbole W pour « attente de réponse » (Wait for Reply).

Nous présentons d'abord le diagramme qui représente le plus grand groupe de commandes FTP :

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

Ce diagramme modélise les commandes :

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

Les autres diagrammes modélisent des séquences de commandes et sont plus complexes.