5. 宣言的仕様 (DECLARATIVE SPECIFICATIONS)

以下の仕様は宣言的仕様 (Declarative Specifications) と呼ばれることがあります。これは単に、ユーザーおよびサーバープロセスが特定の状態にあり、コマンドまたは応答を受信したときに何をすべきか (shall) を指定することを意味します。