Protocole

Un protocole est une collection d'opérations apparentées par au moins un des types mentionnés dans les signatures.

Les opérations d'un protocole sont souvent liées par certaines restrictions, par exemple qu'une condition soit vérifiée (grâce à une des opérations) pour qu'une autre opération puisse être utilisée.

Voici un exemple typiquement informatique : le protocole manipulation de pile contient les opérations empiler, dépiler, récupérer le sommet et vérifier si la pile est vide. Avant d'effectuer l'opération dépiler, on doit au préalable vérifier que la pile n'est pas vide.

Voilà un autre exemple : le protocole transactions bancaires contient (entre autres) les opérations effectuer un virement d'un compte à un autre, et récupérer le solde. Il est souvent nécessaire d'effectuer la consultation du solde avant le virement.