5. SPECIFICHE DICHIARATIVE
Le seguenti specifiche possono essere definite specifiche dichiarative. Ciò significa semplicemente che esse specificano ciò che i processi utente e server devono fare quando si trovano in un determinato stato e ricevono un comando o una risposta.