5. DEKLARATIVE SPEZIFIKATIONEN

Die folgenden Spezifikationen können als deklarative Spezifikationen bezeichnet werden. Dies bedeutet lediglich, dass sie festlegen, was die Benutzer- und Serverprozesse tun sollen, wenn sie sich in einem bestimmten Zustand befinden und einen Befehl oder eine Antwort empfangen.