5. Specifiche dichiarative (DECLARATIVE SPECIFICATIONS)

Le seguenti specifiche possono essere chiamate specifiche dichiarative (Declarative Specifications). Questo significa semplicemente che specificano cosa devono fare i processi utente e server quando si trovano in un dato stato e ricevono un comando o una risposta.

Contenuto di questo capitolo

• 5.1 Implementazione minima (Minimum Implementation)
• 5.2 Connessioni (Connections)
• 5.3 Comandi (Commands)
• 5.4 Sequenziamento di comandi e risposte (Sequencing)

---