5. Deklarative Spezifikationen (DECLARATIVE SPECIFICATIONS)

Die folgenden Spezifikationen können als deklarative Spezifikationen (Declarative Specifications) bezeichnet werden. Dies bedeutet einfach, dass sie spezifizieren, was die Benutzer- und Serverprozesse tun sollen, wenn sie sich in einem gegebenen Zustand befinden und einen Befehl oder eine Antwort erhalten.