メタプログラミングの基礎的研究

1990 Fiscal Year Annual Research Report

• Project/Area Number: 01580026
• Research Institution: Nagoya Univ.
• Principal Investigator: 阿草 清滋 名古屋大学, 工学部, 教授 (90026360)
• Co-Investigator(Kenkyū-buntansha): 酒井 正彦 名古屋大学, 工学部, 助手 (50215597)
• Keywords: プログラム再利用 / プログラム部品 / プラグラム自動生成 / メタプログラミング / カスタマイズ / プログラム変換

Research Abstract

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

Research Products

• [Publications] Kiyoshi Agusa: "Improvement of Software Productivity with upper CASEs" Journal of Information Processing.
• [Publications] 濱口 毅: "代数的仕様の論理型プログラムへの変換" 情報処理学会 第42回(平成3年前期)全国大会講演論文集(5). 5. 51-52 (1991)
• [Publications] 馬渕 謙: "自動プログラミングにおけるソフトウェア理解支援システム" 情報処理学会 第42回(平成3年前期)全国大会講演論文集(5). 5. 289-290 (1991)
• [Publications] 酒井 正彦: "被覆集合帰納法と代数的仕様の検証の機械的支援に関する考察" 情報処理学会 第42回(平成3年前期)全国大会講演論文集(5). 5. 49-50 (1991)
• [Publications] 酒井 正彦: "代数的仕様検証のための拡張被覆集合帰納法の手続き化" 電子情報通信学会春季全国大会.