5. Spécifications déclaratives (DECLARATIVE SPECIFICATIONS)

Les spécifications suivantes peuvent être appelées spécifications déclaratives (Declarative Specifications). Cela signifie simplement qu'elles spécifient ce que les processus utilisateur et serveur doivent faire lorsqu'ils sont dans un état donné et reçoivent une commande ou une réponse.

Contenu de ce chapitre

• 5.1 Implémentation minimale (Minimum Implementation)
• 5.2 Connexions (Connections)
• 5.3 Commandes (Commands)
• 5.4 Séquencement des commandes et des réponses (Sequencing)

---