アプリケーション層プロトコルの実現を容易にするフレームワーク

概要

論文の詳細を見る
インターネットなどの広域分散環境では,アプリケーション層プロトコルを用いて通信を行うアプリケーションが多数利用されている.HTTPやSMTPなどのアプリケーション層プロトコルは,文字列を主体としたメッセージのやりとりとして定義されており,その実現には文字列の解析や構成を行う退屈で煩雑なコーディングを要する.また,時系列に沿ったメッセージのやりとりやシステムの状態遷移がプログラム・コード中に埋没し,プロトコルの挙動を把握することが難しい.そのためプロトコル処理部の保守性,安全性が低下し,インターネット・サーバのセキュリティ・ホールの一因となることも多い.本論文では,クライアント・サーバ型のアプリケーション層プロトコルを対象に,プロトコル処理部を自動的に生成するコード生成器Aprilについて報告する.Aprilはアプリケーション層プロトコルの記述に特化した記法を提供しており,1)メッセージ・フォーマットの定義,2)時系列に沿ったメッセージのやりとり,3)システムの状態遷移のみを記述すれば,C言語のコードを自動的に生成する.メッセージの解析や構成に必要な文字列処理はAprilの処理系が行い,プログラマが記述する必要はない.また,時系列に沿ったメッセージのやりとりやシステムの状態遷移が明示的に記述されているため,プロトコルの挙動が把握しやすい.本論文では,Aprilによるプロトコルの記述例を示し,Aprilを用いたことによるプロトコル処理のオーバヘッドが十分に小さいことを示す.
2003-02-15

アプリケーション層プロトコルの実現を容易にするフレームワーク

スポンサーリンク

概要

著者

関連論文

スポンサーリンク