| 研究概要 |
プログラム再利用技術に見られるように,標準的なプログラム部品を組み合わせてプログラム開発の効率化を目指すアプロ-チがある.このプログラム部品の組合せ方をプログラムとして実現すれば,仕様記述を入力にして自動的にプログラムを生成するプログラム自動生成の有効なアプロ-チとなる。
プログラム自動生成の難しさの一つは、プログラムの柔軟性による適用の範囲の広がりにあるが、生成されるプログラムのアプリケ-ション分野をある特定の分野に限ることにより,このようなメタプログラミングは現実的なものとなる.これにはパラメタライズされたジェネリックなプログラムにカスタマイズパラメ-タを入力する方法と,生成系とプログラム核を用意し仕様記述に従って生成系がプログラム核をカスタマイズする方法が考えられる.
本研究はこのようなメタプログラミングのための基礎を確立する事を目的としている。これには仕様記述のためのモデルを与えること,そのモデルに基づいてプログラム核やプログラム部品を検索すること,カスタマイズのためのプログラム変換を行なうことなどについての研究が必要である.本研究はこれまでの我々の研究を基に仕様化技術,部品合成技術の基礎となる理論,および技法を明らかにし,メタプログラミングの手法を確立することを目的として研究を行なった.特に,実用化に必要なカスタマイゼ-ションに伴って必要とされる最適化技法について研究を行なった.
本年は仕様の類似性の評価手法と階層化技術についても考察し、多くの複雑な部品の構築と部品デ-タベ-スからの検索を可能とし、実際的な規模のシステムの構築に利用できるメタプログラムの基礎を与えた。
|
