2001 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number	12680343
Research Institution	Shizuoka University
Principal Investigator	富樫敦静岡大学, 情報学部, 教授 (20172140)
Co-Investigator(Kenkyū-buntansha)	秡川友宏静岡大学, 情報学部, 助手 (90324326) 佐藤文明静岡大学, 情報学部, 助教授 (40273164)
Keywords	移動エージェント / プロセス計算 / 計算モデル / 開放系 / 分散システム / ソフトウェアアーキテクチャ / 制約解消 / 非均質性
Research Abstract	本研究の目的は、拡張性の高い開放型分散システム構築のためのソフトウェアアーキテクチャを明らかにし、移動エージェントに基づいた形式性、拡張性、柔軟性の高い開放型分散システムの堅固な基礎理論を確立することである。具体的な研究実施項目と内容を以下に記す。 (1)開放型分散システムに対するソフトウェアアーキテクチャの設計 (2)非均質性の対処法 (3)時間・空間・資源制約解消法 (4)開放型分散システムのための計算モデル本年度は以下の項目に関して、以下の成果を得た。 (1)ソフトウェアアーキテクチャの設計開発 2年度は、初年度の成果を基礎に、CORBAやORBなどの分散オブジェクト技術などを参考にして、アーキテクチャの基礎的枠組を設計し開発した。 (2)開放型分散システムにおける非均質性対処法 (4)の計算モデルに基づいて、昨年の成果であるインターフェースに相当するソフトウェアの動的な配信・稼働を可能にする方法を実装評価した。 (3)時間・空間・資源制約解消機構移動エージェントに対する時間制約、空間制約、資源制約を統一的に解消する枠組を実装し、実際のエージェントシステムに適用し評価を行った。 (4)開放型分散システムの計算モデル移動エージェントの計算モデルM-pi計算を更に概念拡張し、開放型分散システムの計算モデルとして確立した。

Research Products
(14 results)

All Other

All Publications (14 results)

[Publications] 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)
[Publications] 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)
[Publications] 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)
[Publications] Kentaro Murakata, Fujiaki Kanezashi, Atsushi Togashi: "A Process Calculus with Description of Computer Resources"JICAST2002. 67-72 (2001)
[Publications] Takashi Kitamura, Atsushi Togashi: "A formal Calculus for the symbiotic/parasitic agent model"JICAST2002. 65-68 (2001)
[Publications] 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)
[Publications] 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)
[Publications] Roger Y. Lee, Tadanori Mizuno, Atsushi Togashi: Component-based Software Engineering, Software Evolution Modeling, IEEE SMC 2001. (2001)
[Publications] 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)
[Publications] 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)
[Publications] Fumiaki Kanezashi, Xiaosong Lu, Atsushi Togashi: "System Requirement and Formal Specification of Hierachical Reactive Systems"情報処理学会論文誌. 43・2. 361-371 (2001)
[Publications] 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)
[Publications] 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)
[Publications] 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)

2001 Fiscal Year Annual Research Report

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

Principal Investigator

富樫 敦 静岡大学, 情報学部, 教授 (20172140)

Research Products

[Publications] 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)

[Publications] 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)

[Publications] 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)

[Publications] Kentaro Murakata, Fujiaki Kanezashi, Atsushi Togashi: "A Process Calculus with Description of Computer Resources"JICAST2002. 67-72 (2001)

[Publications] Takashi Kitamura, Atsushi Togashi: "A formal Calculus for the symbiotic/parasitic agent model"JICAST2002. 65-68 (2001)

[Publications] 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)

[Publications] 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)

[Publications] Roger Y. Lee, Tadanori Mizuno, Atsushi Togashi: Component-based Software Engineering, Software Evolution Modeling, IEEE SMC 2001. (2001)

[Publications] 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)

[Publications] 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)

[Publications] Fumiaki Kanezashi, Xiaosong Lu, Atsushi Togashi: "System Requirement and Formal Specification of Hierachical Reactive Systems"情報処理学会論文誌. 43・2. 361-371 (2001)

[Publications] 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)

[Publications] 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)

[Publications] 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)

富樫敦静岡大学, 情報学部, 教授 (20172140)