移動エージェントに基づく開放型分散システムに関する基礎理論

2001 年度 実績報告書

• 研究課題/領域番号: 12680343
• 研究機関: 静岡大学
• 研究代表者: 富樫 敦 静岡大学, 情報学部, 教授 (20172140)
• 研究分担者: 秡川 友宏 静岡大学, 情報学部, 助手 (90324326) ; 佐藤 文明 静岡大学, 情報学部, 助教授 (40273164)
• キーワード: 移動エージェント / プロセス計算 / 計算モデル / 開放系 / 分散システム / ソフトウェアアーキテクチャ / 制約解消 / 非均質性

研究概要

本研究の目的は、拡張性の高い開放型分散システム構築のためのソフトウェアアーキテクチャを明らかにし、移動エージェントに基づいた形式性、拡張性、柔軟性の高い開放型分散システムの堅固な基礎理論を確立することである。具体的な研究実施項目と内容を以下に記す。
(1)開放型分散システムに対するソフトウェアアーキテクチャの設計
(2)非均質性の対処法
(3)時間・空間・資源制約解消法
(4)開放型分散システムのための計算モデル
本年度は以下の項目に関して、以下の成果を得た。
(1)ソフトウェアアーキテクチャの設計開発
2年度は、初年度の成果を基礎に、CORBAやORBなどの分散オブジェクト技術などを参考にして、アーキテクチャの基礎的枠組を設計し開発した。
(2)開放型分散システムにおける非均質性対処法
(4)の計算モデルに基づいて、昨年の成果であるインターフェースに相当するソフトウェアの動的な配信・稼働を可能にする方法を実装評価した。
(3)時間・空間・資源制約解消機構
移動エージェントに対する時間制約、空間制約、資源制約を統一的に解消する枠組を実装し、実際のエージェントシステムに適用し評価を行った。
(4)開放型分散システムの計算モデル
移動エージェントの計算モデルM-pi計算を更に概念拡張し、開放型分散システムの計算モデルとして確立した。

研究成果

• [文献書誌] Atsushi Togashi, Satoru Tsukasaki, Fumiaki Kanezashi: "M-pi, A Mobile Agent Calculus with Module Description"Proc. of World Multiconference on Systemics, Cybernetics and Informatics. Vol.XIV. 338-343 (2001)
• [文献書誌] Fumiaki Kanezashi, Atsushi Togashi: "M-pi calculus, A calculus for module description"Proc. of 2nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing. 38-46 (2001)
• [文献書誌] Fumiaki Kanezashi, Atsushi Togashi: "M-pi calculus : A calculus for module description"International Journal of Computer Information Science. Vol.2,No.4. 152-161 (2001)
• [文献書誌] Kentaro Murakata, Fujiaki Kanezashi, Atsushi Togashi: "A Process Calculus with Description of Computer Resources"JICAST2002. 67-72 (2001)
• [文献書誌] Takashi Kitamura, Atsushi Togashi: "A formal Calculus for the symbiotic/parasitic agent model"JICAST2002. 65-68 (2001)
• [文献書誌] Tomohiro Haraikawa, T. Sakamoto, T. Hase, T. Mizuno, Atsushi Togashi: "muVNC, An Embedded Module for Low-Cost Internet Connectivity and Interconnectivity of Home Appliances (THAM13.7)"Proc. of IEEE International Conference on Comsumer Electoronics (ICCE2001). 242-243 (2001)
• [文献書誌] T. Osaki, Tomohiro Haraikawa, T. Sakamoto, T. Hase, Atsushi Togashi: "An Agent-based Bidirectional Intelligent Remote Controller (WPMP-3.04)"Proc. of IEEE International Conference on Comsumer Electoronics (ICCE2001). 202-203 (2001)
• [文献書誌] Roger Y. Lee, Tadanori Mizuno, Atsushi Togashi: Component-based Software Engineering, Software Evolution Modeling, IEEE SMC 2001. (2001)
• [文献書誌] Roger Y. Lee, Atsushi Togashi, Tadanori Mizuno: "Component-Based Cooperative Information Systems Modeling"Proc. of 2nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing. 621-628 (2001)
• [文献書誌] Roger Lee, H-K Kim, Atsushi Togashi, Tadanori Mizuno: "Managing Evolution of Software Engineeiring Development Environments"Proceedings of IEEE International Conference on Systems, Man and Cybernetics, Tucson, Arizona. 724-731 (2001)
• [文献書誌] Fumiaki Kanezashi, Xiaosong Lu, Atsushi Togashi: "System Requirement and Formal Specification of Hierachical Reactive Systems"情報処理学会論文誌. 43・2. 361-371 (2001)
• [文献書誌] Tomohiro Haraikawa, T. Sakamoto, T. Hase, T. Mizuno, Atsushi Togashi: "μVNC, A Proposal for Internet Connectivity and Interconnectivity of Home Appliances Based on Remote Display Framework"IEEE Trans. on Consumer Elec.. Vol.47,No.3. 512-519 (2001)
• [文献書誌] T. Osaki, T. Haraikawa, T. Sakamoto, T. Hase, A. Togashi: "An Agent-Based Bidirectional Intelligent Remote Controller"IEEE Trans. on Consumer Elec.. Vol.47,No.3. 678-686 (2001)
• [文献書誌] H-K Kim, Roger Lee, Tadanori Mizuno, Atsushi Togashi: "A Study on Component Reuse System Using Reengineering"International Journal of Computer Information Science. Vol.2,No.3. 118-126 (2001)