1998 Fiscal Year Annual Research Report
| Project/Area Number |
09245101
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research on Priority Areas (A)
|
| Research Institution | Hokkaido University |
|---|
Principal Investigator |
宮本 衛市 北海道大学, 大学院工学研究科, 教授 (00001173)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
二木 厚吉 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (50251971)
玉井 哲雄 東京大学, 大学院総合文化研究科, 教授 (60217172)
上田 和紀 早稲田大学, 理工学部, 教授 (10257206)
荒木 啓二郎 九州大学, 大学院システム情報科学研究科, 教授 (40117057)
|
|---|
| Keywords | 発展可能ソフトウェア / システムの多面的記述 / 振舞い仕様 / 環境適応 / 並行オブジェクトの振舞い / 並行論理プログラムのモード解析 / 形式的仕様記述 / CafeOBT |
|---|
| Research Abstract |
発展可能ソフトウェアとは、ソフトウェアの要求変更、それに伴う設計変更、ソフトウェアの実行環境の変化、さらにはプログラミング上での誤りの混入などに際し、柔軟に、かつ頑健に対応することのできるソフトウェアのことであり、そのようなソフトウェアを構築するために、理論的枠組、ソフトウェアモデル、解析技術など、あらたな構築方法論を必要とする。今年度得られた成果を以下に列挙する。
1. システムの多面的側面からの仕様記述 システムの様々な側面の記述の事例研究を通して、エンドユーザと開発者間の相互理解を支援するための各種の図式表現と形式記述との融和および併用する記述法とそれに基づく記述支援ツールの開発を行った。
2. CafeOBJにおける振舞い仕様 要求や環境の変化への適応性が高い仕様記述法と、それに基づき保守しうる技術を確立するために、CafeOBJによる適切な抽象度で必要かつ十分に詳細な仕様を記述しうる振舞い仕極の記述法と検証法を開発した。
3. 環境適応概念に基づく発展型協調計算 オブジェクトに協調計算の場を提供する「環境」という概念を導入し、この環境を通して他者との協調関係を変化させつつ進化発展していく環境適応型計算モデル「ε計算」を開発した。
4. 並行オブジェクトの柔軟な記述と制御 並行オブジェクトの振舞いをメッセージの構造的記述で捉えた記述モデルと、それに基づくソフトェア構築支援ツールを開発し、オブジェクト間での柔軟な結合による実現モデルを開発した。
5. 制約概念に基づくプログラム解析技術 並行論理プログラムのモード解析を制約充足問題と捉え、モード制約集合が充足不可能なプログラムの誤り箇所を特定し、その誤りを自動修正するほうほうの定式化と実験的検証を行った。
|
-
[Publications] 宮本衛市: "協調動作のための分散オブジェクト空間の記述" 信学技報(知能ソフトウェア工学). 98・239. 17-24 (1998)
-
[Publications] 渡辺 慎哉: "開放分散システムにおけるプロセス間通信機構" ソフトウェア工学の基礎V(FOSE'98). 175-180 (1998)
-
[Publications] 渡辺 慎哉: "Generic Interaction Modelに基づく並行プログラミング言語GIL/Cによる協調問題の設計" 日本ソフトウェア科学会第15回大会論文集. 241-244 (1998)
-
[Publications] 河野 勝利: "形式的手法に基づいた構造化ダイアグラムの一貫性検証について" コンピュータ ソフトウェア. 15・3. 2-16 (1998)
-
[Publications] 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)
-
[Publications] 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)
-
[Publications] 網代育大: "静的解析に制約充足によるプログラム自動デバッグ" コンピュータ ソフトウェア. 15・1. 54-58 (1998)
-
[Publications] 上田和紀: "自己調整二分木の並列操作" 日本ソフトウェア科学会第15回大会論文集. 173-176 (1998)
-
[Publications] Ajiro,Y.: "Error-Correcting Source Code" Proc.4th Int'l conf.on Principles and Practice of Constraint Programming. LNCS 1520. 40-54 (1998)
-
[Publications] 鵜林 尚靖: "オブジェクト間協調に基づく環境適応型計算モデル" オブジェクト指向最前線'98. 141-149 (1998)
-
[Publications] 鵜林 尚靖: "オブジェクト間協調に基づく環境適応型プログラミング言語Edenの設計" 情報処理学会論文誌. 39・SIG1(PRO1). 50-60 (1998)
-
[Publications] Razvan Diaconescu: "CafeOBJ Report : The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification" AMAST Series in Computing. 6. (1998)
-
[Publications] Iida,S.: "Concurrent Object Composition in CafeOBJ" Technical report, Japan Advanced Institute of Science and Technology, IS-PR-98-0009S. (1998)
