発展機構を備えたソフトウェアの構成原理の研究

1998 Fiscal Year Annual Research Report

• Project/Area Number: 09245104
• Research Category: Grant-in-Aid for Scientific Research on Priority Areas (A)
• Research Institution: Japan Advanced Institute of Science and Technology
• Principal Investigator: 片山 卓也 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (70016468)
• Co-Investigator(Kenkyū-buntansha): 牛島 和夫 九州大学, 大学院・システム情報科学研究科, 教授 (40037750) ; 阿草 清慈 名古屋大学, 情報メディア教育センター, 教授 (90026360) ; 宮本 衛市 北海道大学, 大学院・工学研究科, 教授 (00001173) ; 武市 正人 東京大学, 大学院・工学系研究科, 教授 (10011165) ; 伊藤 貴康 東北大学, 大学院・情報科学研究科, 教授 (80124551)
• Keywords: ソフトウェア発展構成原理 / 発展的ソフトウェア検証証明法 / ソフトウェア発展基本機構 / ソフトウェア構築再構成方法論 / ソフトウェア適応的再構成

Research Abstract

ソフトウェアは、その作成・変更・再構成が一般に困難であり、種々の社会的・技術的問題を引き起している。「発展機構を備えたソフトウェアの構成原理に関する研究」は、ソフトウェア構成機構と検証・証明技術、ソフトウェア構築・再構成方法論とその支援環境等の種々の視点から総合的に研究を進めることにより、上記問題点に対する理論的かつ技術的解を社会に提供することを目標にしている。
平成10年度においては、昨年度の研究成果に基づき5つのグループに編成された研究班が、問題点の本質の理解、解構築の方策について研究をおこない、所定の研究成果をあげることができた。各研究班ごとに研究を深めつつ、全体研究会、公開シンポジウムを通じて相互関係を緊密に保ちながら研究を実施した。また、研究会において構築を行なっているソフトウェアツールの紹介を行なった。さらに、国際会議International Workshop on Principle of Softwarre Evolution,IWPSE98を京都において開催し、内外から多数の参加者があった。
具体的には以下のような知見を得ることができた。「発展的ソフトウェアの理論」に関しては、計算モデル、検証・証明法についての新しい理論、特に漸増的証明法が得られた。「ソフトウェア発展のための基本機構」に関しては、部分計算機構、動的翻訳機構、プログラム変換機構等の研究を行なったが、関数型プログラムの新しい変換法を開発した。「発展可能ソフトウェアの構築方法論」に関しては、その枠組、仕様記述法、静的解析法、項書換えシステムによるモジュール合成法に理論的進展があった。「ソフトウェア発展方式」に関しては、仕様構造化方式、対応関係記述・維持法、漸増的無矛盾性管理機構、細粒度ソフトウェアレポジトリ構築法について新しい知見が得られた。「既存ソフトウェアの適応的発展」に関しては、適応的再構成法、適応的再構成のためのソフトウェアアーキテクチャ等、特にオペレーティングシステムの適応的発展に関して新しい知見が得られた。

Research Products

• [Publications] T.Katayama: "A Theoretical Framework of Software Evolution" Proc.of International Workshop on Software Evolution(IWPSE98). 1-5 (1998)
• [Publications] Takayasu Ito: "A multi-threaded implementation of PaiLisp interpreter and compiler using the Steal-Help evaluation strategy" Advanced Information Processwing Technology Series. vol.6. (1999)
• [Publications] M.Takeichi: "Diffusion:Calculating Efficient Parallel Programs" 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation(PEPM'99). 85-94 (1999)
• [Publications] Eiichi Miyamoto: "Applying Program Transformation to Type Inference for a Logic Language" IEICE Trans.of Information and Systems. 1141-1147 (1998)
• [Publications] 阿草清慈: "抽象スレッドに基づくソースプログラムの依存解析の枠組の提案" コンピュータソフトウェア. Vol.16・No.1. 46-56 (1999)
• [Publications] Kazuo Ushijima: "Applying Design Patterns to Decision Tree Learning System" Proceedings of ACM SIGSOFT Sixth International Symposium on the Foundation of Software Engineering. E81-D・11. 111-120 (1998)
• [Publications] Takuya Katayama: "Proceedings of International Workshop on Principles of Software Evolution" 田中昭文堂印刷株式会社, 197 (1998)
• [Publications] 落水浩一郎: "オブジェクトモデリング" 株式会社星雲社, 158 (1998)