5. 宣言的仕様

以下の仕様は、宣言的仕様と呼ばれる場合があります。これは単に、ユーザープロセスとサーバープロセスが所与の状態にあり、コマンドまたは応答を受信したときに何をすべきかを規定することを意味します。