仕様の意味的類似性判定とそのソフトウェア自動合成への応用に関する研究

1995 Fiscal Year Annual Research Report

• Project/Area Number: 07458058
• Research Category: Grant-in-Aid for General Scientific Research (B)
• Research Institution: Nagoya University
• Principal Investigator: 阿草 清滋 名古屋大学, 工学部, 教授 (90026360)
• Co-Investigator(Kenkyū-buntansha): 酒井 正彦 北陸先端科学技術大学院大学, 情報工学研究科, 助教授 (50215597) ; 山本 晋一郎 名古屋大学, 工学部, 助手 (40240098)
• Keywords: ソフトウェアの再利用 / 代数的仕様 / ソフトウェア部品 / 類似性 / 検索

Research Abstract

平成7年度の計画は,部品の類似性の分類,性質,ならびに,その仕様定義の方法について研究するとともに,各種手法の統合化のためのデータ・アーキテクチャ(サブシステム群が共通に利用するデータ構造)の研究を行うことであった.その詳細を以下に示す.
(1)形式的仕様の獲得手法の研究:(1-1)類似性の形式的定義の研究,(1-2)類似性評価方式の研究,(1-3)代数的仕様の実現正当性の検証支援系の研究
(2)仕様からプログラムへの自動変換の研究:(2-1)データアーキテクチャの検討と設計,(2-2)ソフトウェア部品データベースの研究
項目(1-1,2)に関しては,論文『形式的仕様を用いた再利用モデル』に発表した.そこでは,形式的仕様として代数的仕様を用い,仕様とプログラムの組を部品とした再利用モデルと仕様に基づく検索と差分抽出,およびプログラムへの適用からなる再利用法を提案し,再利用法の適用例を示した.適用例では約60%の既存プログラムが再利用でき,自動生成されたプログラムと比較して効率の良いプログラムが得られことも判明した.項目(1-3)に関しては,項集合書換え系に関する研究を進めた.
項目(2-1,2)に関する研究として,細粒度リポジトリに関する研究を進めた.その成果に関しては,『細粒度リポジトリに基づいたツール・プラットフォームとその応用』などで発表した.

Research Products

• [Publications] 山本 晋一郎: "細粒度リポジトリに基づいたツール・プラットフォームとその応用" 情報処理学会研究報告. 95-SS-102. 37-42 (1995)
• [Publications] 吉田 敦: "A Software Manipulatiing Language for a MetaCASE" Proceeding of The First International Congress on META-CASE. (1995)
• [Publications] 吉田 敦: "依存関係に基づく差分抽出ツール" 電子情報通信学会技術研究報告. SS95-8. 53-60 (1995)
• [Publications] 内山 晃司: "依存関係が定義可能なテストベッド" 情報処理学会研究報告. 95-SE-106. 41-47 (1995)
• [Publications] 吉田 敦: "CASEツール開発のためのソフトウェア操作言語" 情報処理学会論文誌. Vol.36 No.10. 2433-2441 (1995)