ソフトウェア発展を高度化するための等価変換ルールの自動生成法の研究
Project/Area Number |
10139202
|
Research Category |
Grant-in-Aid for Scientific Research on Priority Areas (A)
|
Allocation Type | Single-year Grants |
Research Institution | Hokkaido University |
Principal Investigator |
赤間 清 北海道大学, 大学院・工学研究科, 助教授 (50126265)
|
Project Period (FY) |
1998
|
Project Status |
Completed (Fiscal Year 1998)
|
Budget Amount *help |
¥1,800,000 (Direct Cost: ¥1,800,000)
Fiscal Year 1998: ¥1,800,000 (Direct Cost: ¥1,800,000)
|
Keywords | ソフトウェア発展 / 仕様 / 等価変換パラダイム / メタルール / ルール生成 |
Research Abstract |
1 特定領域研究 本年度の研究の目的は,仕様から等価変換ルールを生成する技術を提案することである.本研究の成果は次のとおりである。 ● 仕様(確定節集合)とメタアトム(問い合わせまたはサブゴールに対応する)から等価変換ルールを生成する方法の提案。ルールを生成するためにメタ記述を用いる。メタ記述は具体化によって得られる(無限の)記述を代表している。メタ記述を等価変換して、メタ記述の対を得、それらから等価変換ルールを作る。 ● 生成ルールの正当性を保証する理論の構築。正しいメタルールの繰り返し適用によって等価な2つのメタ記述が得られ、それらから等価変換ルールが得られることを証明した。 ● 仕様(確定節集合)と問い合わせから,それに答えるために必要なプログラムを自動生成するシステムの試作。このシステムは現在append,initial,max,common_subseqなどを含む述語に対するプログラムを自動的に生成できる.ただしシステムの実装はまだ初歩的で,多大なメモリ空間を消費するため小さな問題しか解けない.
|
Report
(1 results)
Research Products
(6 results)