オブジェクト指向フレームワークの利用支援に関する研究

2000 Fiscal Year Annual Research Report

• Project/Area Number: 11680371
• Research Institution: Waseda University
• Principal Investigator: 深澤 良彰 早稲田大学, 理工学部, 教授 (20165252)
• Keywords: フレームワーク / 仮想関数 / ホットスポット / 制約 / XML / カスタマイズ / オブジェクト指向 / 再利用

Research Abstract

フレームワークを利用した開発では、アプリケーションの要求に合わせて抽象的要素を独自にカスタマイズする。この時、フレームワーク側で既に定義されているメンバ変数とアプリケーション仕様で必要になるメンバ変数との差分や、個々のメンバ関数の動作の詳細な理解が必要である。また仮想関数は、コードの一部だけが記述されているメンバ関数として定義されていることも多く、アプリケーション開発者がコードを独自に書き加えなければならない。この時、どのメンバ関数と組み合せれば目的の処理が達成できるかは、個々のメンバの関連性から推定することになる。メンバ変数へのアクセス方法や、メンバ関数の組合せの法則、呼出し順序に関する制約など、明示的にソースコードに現れてはいないが、実装時に念頭に置いておかなければならない暗黙の「カスタマイズ作法」もフレームワークには数多く存在する。
このような理由により、フレームワークを用いたアプリケーション開発において最も重要な情報は、フレームワークに含まれる関数や変数といった、クラスメンバ同士の関係と制約の情報である。本研究では、フレームワークのカスタマイズに役立つ情報(カスタマイズ作法)をアプリケーション開発者に与える支援システムを構築、およびそのシステムを利用することで、カスタマイズ作法の理解に要するコストを含めた、アプリケーションの開発コスト全体を低減する手法を提案した。具体的には、フレームワークメンバの関係や制約情報を表現するためにアクセス制約記述言語(ACML:Access Constraint Markup Language)、および、その記述とアプリケーション開発者に対して情報を提示する手法を提案した。ACMLはXMLアプリケーションであり、フレームワークの構成要素間の関係を構造化文書として表現する。

Research Products

• [Publications] H.Washizaki,Y.Fukazawa: "Model-View Separation Architecture BeaM and Its Evaluation"Proc.of 4th.Joint Conf.On Knowledge-Based Software Engineering. 115-122 (2000)
• [Publications] 黒田,小野,深澤: "ユーザの実装逸脱度に基づくフレームワークの設計評価メトリクス"ソフトウェア工学の基礎ワークショップ予稿集. 25. 141-148 (2000)
• [Publications] 黒田,小野,深澤: "標準的実装からの逸脱度によるフレームワークの設計評価"電子情報通信学会ソフトウェアサイエンス研究会研究報告. 100・322. 9-16 (2000)
• [Publications] 増田,小野,深澤: "制約記述の導入によるフレームワークのカスタマイズ作法の提示"電子情報通信学会ソフトウェアサイエンス研究会研究報告. 100・422. 9-16 (2000)
• [Publications] 増田,小野,深澤: "暗黙的制約情報を用いたフレームワークの理解支援"情報処理学会全国大会予稿集. 第61回. 1-339-1-340 (2000)
• [Publications] 黒田,小野,深澤: "設計意図からの逸脱度に基づくフレームワークの評価メトリクス"情報処理学会全国大会予稿集. 第62回. 1-125-1-126 (2001)