5. SPÉCIFICATIONS DÉCLARATIVES

Les spécifications suivantes peuvent être qualifiées de spécifications déclaratives. Cela signifie simplement qu'elles précisent ce que les processus utilisateur et serveur doivent faire lorsqu'ils se trouvent dans un état donné et reçoivent une commande ou une réponse.