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

1987 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のためのプログラム環境SAGEの構成を行った.
SAGEは構造エディタ, インタプリタ, 最適化コンパイラ, デバッガ, ブラウザ, ベリファイアから構成されるが, これらが同一の中間木構造を介して動作することによって柔軟な動作が行えるようになっている. 昨年度作成されたプロトタイプに比べ機能とヒューマンインタフェースの向上が計られている.
ソフトウェアの設計では, その設計プロセス自身をスクリプトとして記述し, それを再利用したり, 改良することの研究が注目を受けているが, 言語AGによりソフトウェアプロセスの記述を行うと同時に, その実行を行い, ソフトウェア設計環境の構成法についての研究を行った. その結果, 言語AGは基本的にはプロセス記述に適していることが判明したが, オブジェクト管理については機能拡張することが必要なことがわかり, これについて検討した. この新しい言語体系によりウィンドウシステムなどの記述を試みた.

Research Products

• [Publications] Takuya KATAYAMA: Proc. US-Japan Seminar on Software Engineering. (1987)
• [Publications] 片山 卓也: 電子情報通信学会 ソフトウェアサイエンス研究会資料. 87. 91-99 (1987)
• [Publications] 片山 卓也: 日本ソフトウェア科学会第4回大会論文集. 4. 79-82 (1987)
• [Publications] 篠田 陽一: 日本ソフトウェア科学会第4回大会論文集. 4. 83-86 (1987)
• [Publications] 羅 峻輝: 日本ソフトウェア科学会第4回大会論文集. 4. 187-190 (1987)
• [Publications] Yoichi SHINODA: Proceedings of the Twenty-First Annual Hawaii international Conference on System Sciences. 21. 612-620 (1988)