契約による設計を支援する表明記述のアスペクト指向的モジュール化方式

概要

論文の詳細を見る
契約による設計(Design by Contract, DbC)は, ある処理の実行直前・直後で満たされるべき条件を表明として明示し, それらを処理の利用者と提供者の間の契約とすることで, 責任の切り分けを明確にする.DbCに基づく表明の記述では, プログラムが大規模化するとともに, 表明の数が増加し個々の表明も複雑になり, 表明の整合性や表明とプログラムの一貫性を維持しつつ, それらを修正・拡張することが難しくなる.この原因は, 従来のDbCに基づく表明の記述方式では, 表明をプログラムに埋め込む形で記述するため, 表明の記述をプログラムの構造から独立にモジュール化できないことにある.そこで我々は, DbCに基づく表明の記述をアスペクト指向的にモジュール化する方式を提案する.本発表の概要は以下のとおりである.まず背景として, Javaで実装された電子メールメッセージを扱うライブラリと, その実装のJML(Java Modeling Language)による検査について説明する.JMLはJavaを対象としたDbCのための表明記述を可能にする言語である.次に, この検査の過程で問題となった表明記述の記述量の増加について述べるとともに, この問題に対処する, 我々が提案する表明の記述をアスペクト指向的にモジュール化する方式についての説明を行う.その後, JMLと本方式との比較を行い本方式の優位性を述べ, さらに今後の展開として, モジュール化された表明の記述から状態遷移モデルを生成する方式について述べる.
2005-04-15

契約による設計を支援する表明記述のアスペクト指向的モジュール化方式

スポンサーリンク

概要

著者

関連論文

スポンサーリンク