Une machine à états de protocole spécifie les opérations d'une classe qui peuvent être appelées dans chacun de ses états et dans quelles conditions. Cela permet de spécifier les séquences permises entre ces opérations.

Beginner

.