例４ ： セッション仕様

セッション・ファサードとしての定義

ＤＢ（データ）検索メソッドである図書検索を定義

ビジネス・ロジックである“エラーチェック”を定義

セッション仕様（抜粋）