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

2000 年度 実績報告書

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

研究概要

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

研究成果

• [文献書誌] Shigetomo Kimura,Atsushi Togashi,Norio Shiratori: "Inductive Synthesis of Recursive Processes from Logical Properties"Information and Computation. 163. 257-284 (2000)
• [文献書誌] Fumiaki Kanezashi,Xiaosong Lu,Atsushi Togashi: "System Requirements and Formal Specifications of Hierarchical Reactive Systems"Proc.of 7th IEEE Inter.Conference on Parallel and Distributed Systems '2000. 91-98 (2000)
• [文献書誌] 中山竜二,塚崎悟,金指文明,富樫敦: "協調分散システムへの時間の導入法"ソフトウェア工学の基礎,近代科学社. VII. 53-60 (2000)
• [文献書誌] 塚崎悟,富樫敦: "M-pi計算に対する型システム"ソフトウェア工学の基礎,近代科学社. VII. 101-108 (2000)
• [文献書誌] Satoru Tsukasaki,Atsushi Togashi: "A Type System for the M-pi Calculus"Proc.of the JICAST 2000. 122-125 (2000)
• [文献書誌] 金指文明,水野忠則,富樫敦: "Module Calculus:資源を考慮した移動エージェントのための計算体系"マルチメディア,分散,協調とモバイル(DICOMO2000). 97-102 (2000)
• [文献書誌] Akira Yoshiyama,Atsushi Togashi: "A Communication Model for Hierarchical Reactive Systems"Proc.of the JICAST 2000. 126-129 (2000)
• [文献書誌] 金指文明,水野忠則,富樫敦: "Pres:移動エージェントに基づく分散型プレゼンテーションシステム"マルチメディア,分散,協調とモバイル(DICOMO2000). 163-168 (2000)
• [文献書誌] 吉山章,陸暁松,富樫敦: "階層的リアクティブシステムの協調分散通信と構造化"マルチメディア,分散,協調とモバイル(DICOMO2000). 187-192 (2000)
• [文献書誌] 村形健太郎,鈴木大介,塚崎悟,金指文明,富樫敦: "分散型プレゼンテーションシステムの設計・開発"マルチメディア,分散,協調とモバイル(DICOMO2000). 361-366 (2000)
• [文献書誌] 中山竜二,坂東恭子,金指文明,塚崎悟,富樫敦: "協調分散システムへの時間の導入法"マルチメディア,分散,協調とモバイル(DICOMO2000). 661-666 (2000)