発展可能ソフトウェアの構築方法論の研究

1998 年度 実績報告書

• 研究課題/領域番号: 09245101
• 研究種目: 特定領域研究(A)
• 研究機関: 北海道大学
• 研究代表者: 宮本 衛市 北海道大学, 大学院工学研究科, 教授 (00001173)
• 研究分担者: 二木 厚吉 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (50251971) ; 玉井 哲雄 東京大学, 大学院総合文化研究科, 教授 (60217172) ; 上田 和紀 早稲田大学, 理工学部, 教授 (10257206) ; 荒木 啓二郎 九州大学, 大学院システム情報科学研究科, 教授 (40117057)
• キーワード: 発展可能ソフトウェア / システムの多面的記述 / 振舞い仕様 / 環境適応 / 並行オブジェクトの振舞い / 並行論理プログラムのモード解析 / 形式的仕様記述 / CafeOBT

研究概要

発展可能ソフトウェアとは、ソフトウェアの要求変更、それに伴う設計変更、ソフトウェアの実行環境の変化、さらにはプログラミング上での誤りの混入などに際し、柔軟に、かつ頑健に対応することのできるソフトウェアのことであり、そのようなソフトウェアを構築するために、理論的枠組、ソフトウェアモデル、解析技術など、あらたな構築方法論を必要とする。今年度得られた成果を以下に列挙する。
1. システムの多面的側面からの仕様記述 システムの様々な側面の記述の事例研究を通して、エンドユーザと開発者間の相互理解を支援するための各種の図式表現と形式記述との融和および併用する記述法とそれに基づく記述支援ツールの開発を行った。
2. CafeOBJにおける振舞い仕様 要求や環境の変化への適応性が高い仕様記述法と、それに基づき保守しうる技術を確立するために、CafeOBJによる適切な抽象度で必要かつ十分に詳細な仕様を記述しうる振舞い仕極の記述法と検証法を開発した。
3. 環境適応概念に基づく発展型協調計算 オブジェクトに協調計算の場を提供する「環境」という概念を導入し、この環境を通して他者との協調関係を変化させつつ進化発展していく環境適応型計算モデル「ε計算」を開発した。
4. 並行オブジェクトの柔軟な記述と制御 並行オブジェクトの振舞いをメッセージの構造的記述で捉えた記述モデルと、それに基づくソフトェア構築支援ツールを開発し、オブジェクト間での柔軟な結合による実現モデルを開発した。
5. 制約概念に基づくプログラム解析技術 並行論理プログラムのモード解析を制約充足問題と捉え、モード制約集合が充足不可能なプログラムの誤り箇所を特定し、その誤りを自動修正するほうほうの定式化と実験的検証を行った。

研究成果

• [文献書誌] 宮本衛市: "協調動作のための分散オブジェクト空間の記述" 信学技報(知能ソフトウェア工学). 98・239. 17-24 (1998)
• [文献書誌] 渡辺 慎哉: "開放分散システムにおけるプロセス間通信機構" ソフトウェア工学の基礎V(FOSE'98). 175-180 (1998)
• [文献書誌] 渡辺 慎哉: "Generic Interaction Modelに基づく並行プログラミング言語GIL/Cによる協調問題の設計" 日本ソフトウェア科学会第15回大会論文集. 241-244 (1998)
• [文献書誌] 河野 勝利: "形式的手法に基づいた構造化ダイアグラムの一貫性検証について" コンピュータ ソフトウェア. 15・3. 2-16 (1998)
• [文献書誌] Chang,H.-M.: "A Proposal of 4W Diagram Notation for Requirement Definition Processes" Proc.Int'l Workshop on Principles of Software Evolution. 188-191 (1998)
• [文献書誌] Taguchi,K.: "Yet Another Calculus for Mobile Agents-AP-Calculus" ICSE'78 Int'l Workshop on Computing and Communication in the Presence of Mobility. (1998)
• [文献書誌] 網代育大: "静的解析に制約充足によるプログラム自動デバッグ" コンピュータ ソフトウェア. 15・1. 54-58 (1998)
• [文献書誌] 上田和紀: "自己調整二分木の並列操作" 日本ソフトウェア科学会第15回大会論文集. 173-176 (1998)
• [文献書誌] Ajiro,Y.: "Error-Correcting Source Code" Proc.4th Int'l conf.on Principles and Practice of Constraint Programming. LNCS 1520. 40-54 (1998)
• [文献書誌] 鵜林 尚靖: "オブジェクト間協調に基づく環境適応型計算モデル" オブジェクト指向最前線'98. 141-149 (1998)
• [文献書誌] 鵜林 尚靖: "オブジェクト間協調に基づく環境適応型プログラミング言語Edenの設計" 情報処理学会論文誌. 39・SIG1(PRO1). 50-60 (1998)
• [文献書誌] Razvan Diaconescu: "CafeOBJ Report : The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification" AMAST Series in Computing. 6. (1998)
• [文献書誌] Iida,S.: "Concurrent Object Composition in CafeOBJ" Technical report, Japan Advanced Institute of Science and Technology, IS-PR-98-0009S. (1998)