- 著者
-
片山 卓也
渡辺 治
佐伯 元司
米崎 直樹
- 出版者
- 東京工業大学
- 雑誌
- 一般研究(A)
- 巻号頁・発行日
- 1986
属性文法にもとづくソフトウェア自動合成システムの講成法についての研究を行った。このようなシステムの構成には、適切な仕様記述言語とそれで書かれた仕様からソフトウェアを生成するためのシステムが存在しなければならないが、本研究では、それらのいずれをも属性文法にもとづく形式的体系で記述しようとしたものである。元来、属性文法はプログラム言語の意味記述のために導入された形式的体系であるが、その本質は木構造上の関数的計算であり、ソフトウェアやその構成プロセス、ソフトウェアオブジェクトベースの記述には有効な形式的体系である。本研究はこのような観点にたって、ソフトウェア自動合成システムの構成に属性文法にもとづく形式的体系を用いようとしたものである。本研究で得られた主な成果は次の通りである。1.属性文法にもとづく階層的関数型言語AGとそのプログラミング環境SAGEシステムの構成、2.階層的関数型ソフトウェアプロセスモデルHFSPの提案とそのSAGEシステム上での実働化、3.オブジェクト指向属性文法OAGの提案とその評価法、およびソフトウェアデータベース記述への応用。言語AGとその環境SAGEについては、言語の仕様決定、SAGEシステムの各構成要素の設計と構成を行ったが、現在SAGEシステムは一般公開が可能な状態になっている。ソフトウェアプロセスモデルHFSPは、属性文法にもとづく階層的関数型計算モデルをソフトウェアプロセスに適用したものであり、いくつかのソフトウェアプロセスの記述およびそのSAGE上でのプロトタイプ実現を通してその有効性を確かめることが出来た。OAGはオブジェクト指向的機構を用いて属性文法に状態や自己改変概念を導入したものである。OAGの形式化、評価法およびオブジェクトベースの代表的局面の記述を通して、OAGの有効性を確認することができた。