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

1988 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のためのプログラミング環境SAGEシステムの実現を行った。SAGEシステムは、構造エディタ、インタプリタ、デバッガー、ブラウザー、コンパイラ、ベリファイアから構成される。このうち、コンパイラ以外のものは正しい仕様のAG記述を作り上げるためのもので、コンパイラはこれを高速に実行するためのものである。構造エディタはその仕様を属性文法によって記述し、コーネルシンセサイザーを用いて自動生成を行った。SAGEシステムの実演を第10回ソフトウェア工学国際会議を行った。AG言語は基本的には純関数型であるので、その効率的実行には高度な最適化が要求されるが、その中でも最も重要な記憶領域の大域化・共有化について研究を行い、そのアルゴリズムを得ることができた。ソフトウェア開発環境については、ソフトウェアプロセス、ソフトウェアオブジェクトベースの研究を行った。ソフトウェアプロセスの記述には明解性、並行性、非決定性、実行柔軟性などが要求されるものとして属性文法にもとづくHFSPモデルを提案し、そのプロトタイプ実行をSAGEシステム上で行いHFSPの妥当性の確認を行うことができた。オブジェクトベースについては属性文法をオブジェクト指向概念によって拡張したOAGモデルを提案し、その形式化、オブジェクトベース記述、属性評価法などについての研究を行い、これがオブジェクトベースの記述に有効な形式的体系であることを確認した。

Research Products

• [Publications] 片山卓也: 情報処理. 2. 146-154 (1988)
• [Publications] 片山卓也: Computer Today. 11. 1-145 (1988)
• [Publications] 今泉貴史: 電子情報通信学会秋季全国大会論文集. Dー1. 239-240 (1988)
• [Publications] 今泉貴史: 日本ソフトウェア科学会第5回大会論文集. 5. 233-236 (1988)
• [Publications] 鈴木正人: 日本ソフトウェア科学会第5回大会論文集. 5. 93-96 (1988)
• [Publications] Takuya KATAYAMA: Proc.of 4th International Software Process Workshop. 4. 39-42 (1988)