| 研究課題/領域番号 |
61420045
|
|---|
| 研究種目 |
一般研究(A)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
情報学
|
|---|
| 研究機関 | 東京工業大学 |
|---|
研究代表者 |
片山 卓也 東京工業大学, 工学部, 教授 (70016468)
|
|---|
| 研究分担者 |
渡辺 治 東京工業大学, 工学部, 講師 (80158617)
佐伯 元司 東京工業大学, 工学部, 助教授 (80162254)
米崎 直樹 東京工業大学, 工学部, 助教授 (00126286)
|
|---|
| 研究期間 (年度) |
1986 – 1988
|
| 研究課題ステータス |
完了 (1988年度)
|
| 配分額 *注記 |
25,100千円 (直接経費: 25,100千円)
1988年度: 1,200千円 (直接経費: 1,200千円)
1987年度: 1,000千円 (直接経費: 1,000千円)
1986年度: 22,900千円 (直接経費: 22,900千円)
|
|---|
| キーワード | 属性文法 / 仕様記述 / 関数型言語 / ソフトウェアプロセス / オブジェクトベース / ソフトウェア環境 / プログラミング環境 / プロセスモデル / 自動生成 / 記憶領域割当 / ソフトウェア仕様記述 / オブジェクト管理 / ソフトウェア自動生成 / オブジェクト指向 / 大域的領域割当て |
|---|
| 研究概要 |
属性文法にもとづくソフトウェア自動合成システムの講成法についての研究を行った。このようなシステムの構成には、適切な仕様記述言語とそれで書かれた仕様からソフトウェアを生成するためのシステムが存在しなければならないが、本研究では、それらのいずれをも属性文法にもとづく形式的体系で記述しようとしたものである。元来、属性文法はプログラム言語の意味記述のために導入された形式的体系であるが、その本質は木構造上の関数的計算であり、ソフトウェアやその構成プロセス、ソフトウェアオブジェクトベースの記述には有効な形式的体系である。本研究はこのような観点にたって、ソフトウェア自動合成システムの構成に属性文法にもとづく形式的体系を用いようとしたものである。本研究で得られた主な成果は次の通りである。
1.属性文法にもとづく階層的関数型言語AGとそのプログラミング環境SAGEシステムの構成、
2.階層的関数型ソフトウェアプロセスモデルHFSPの提案とそのSAGEシステム上での実働化、
3.オブジェクト指向属性文法OAGの提案とその評価法、およびソフトウェアデータベース記述への応用。
言語AGとその環境SAGEについては、言語の仕様決定、SAGEシステムの各構成要素の設計と構成を行ったが、現在SAGEシステムは一般公開が可能な状態になっている。ソフトウェアプロセスモデルHFSPは、属性文法にもとづく階層的関数型計算モデルをソフトウェアプロセスに適用したものであり、いくつかのソフトウェアプロセスの記述およびそのSAGE上でのプロトタイプ実現を通してその有効性を確かめることが出来た。OAGはオブジェクト指向的機構を用いて属性文法に状態や自己改変概念を導入したものである。OAGの形式化、評価法およびオブジェクトベースの代表的局面の記述を通して、OAGの有効性を確認することができた。
|
