属性交法にもとづくソフトウェア自動生成システム構成法の研究

1986 Fiscal Year Annual Research Report

• Project/Area Number: 61420045
• Research Institution: Tokyo Institute of Technology
• Principal Investigator: 片山 卓也 東京工大, 工学部, 教授 (70016468)
• Co-Investigator(Kenkyū-buntansha): 渡辺 治 東京工業大学, 工学部, 助手 (80158617) ; 佐伯 元司 東京工業大学, 工学部, 助手 (80162254) ; 米崎 直樹 東京工業大学, 工学部, 助教授 (00126286)
• Keywords: ソフトウェア仕様記述 / 属性文法 / 関数型言語 / ソフトウェア自動生成 / オブジェクト指向 / 大域的領域割当て

Research Abstract

本年度は、属性文法にもとづくソフトウェア自動生成システムの基本設計およびプロトタイプ作成、属性文法型ソフトウェア仕様記述言語AG、AG+の設計、仕様記述からのソフトウェア生成アルゴリズムの研究などを行い、ほぼ当初の目的を達成した。仕様記述言語AGは属性文法にもとづく関数型言語であり、対応にもとづく関数記述によりシステムを明確かつ柔軟に記述することができる。AG+はこれに加えてオブジェクト指向を導入したものであり、属性文法本来のデータ構造にもとづくルール的記述,関数的記述のみでなく、動的システムの記述が可能である。この言語を用いてUnixファイルシステムの記述を行い、この言語のソフトウェア仕様記述言語としての有効性を確認した。
本ソフトウェア自動生成システムは、仕様作成ツールとしてのエディタ,仕様テストツールとしのインタプリタ,デバッガー,ソフトウェア生成ツールとしてのコンパイラ,および検証システムから構成されている。本システムのプロトタイプ(AG用)の構築がほぼ完了している。エディタはAGの属性文法による記述から Cornell Synthesizer によって自動生成したものである。この記述の過程からエディタ自身の記述のもAG+が有効であることが確認された。
ソフトウェア生成アルゴリズムの研究としては、storage passing法による大域的記憶割当の研究を行った。属性に対する大域的記憶領域の割当は効率の良いソフトウェアの生成には本質的である。従来、靜的大域領域の割当法が考えられていたが、この方法より優れた方法としてstorage passing法を考案した。現在のところアルゴリズムとしての研究のみで生成システムに対する応用は行われていないが、これについては次年度に行いたいと考えている。

Research Products

• [Publications] 篠田陽一: 日本ソフトウェア科学会プログラム合成変換研究会資料. PM-86-6. 41-48 (1986)
• [Publications] 森山孝男: 情報処理学会ソフトウェア基礎論研究会資料. 16-5. 1-10 (1986)
• [Publications] 篠田陽一: 情報処理学会ソフトウェア基礎論研究会資料. 16-6. 1-9 (1986)
• [Publications] 森山孝男: 日本ソフトウェア科学会大会論文集. 3. 249-252 (1986)
• [Publications] 篠田陽一: 日本ソフトウェア科学会大会論文集. 3. 253-256 (1986)