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

Research Products

(11 results)

All Other

All Publications (11 results)

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

2000 Fiscal Year Annual Research Report

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

Principal Investigator

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

Research Products

[Publications] Shigetomo Kimura,Atsushi Togashi,Norio Shiratori: "Inductive Synthesis of Recursive Processes from Logical Properties"Information and Computation. 163. 257-284 (2000)

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

[Publications] 中山竜二,塚崎悟,金指文明,富樫敦: "協調分散システムへの時間の導入法"ソフトウェア工学の基礎,近代科学社. VII. 53-60 (2000)

[Publications] 塚崎悟,富樫敦: "M-pi計算に対する型システム"ソフトウェア工学の基礎,近代科学社. VII. 101-108 (2000)

[Publications] Satoru Tsukasaki,Atsushi Togashi: "A Type System for the M-pi Calculus"Proc.of the JICAST 2000. 122-125 (2000)

[Publications] 金指文明,水野忠則,富樫敦: "Module Calculus:資源を考慮した移動エージェントのための計算体系"マルチメディア,分散,協調とモバイル(DICOMO2000). 97-102 (2000)

[Publications] Akira Yoshiyama,Atsushi Togashi: "A Communication Model for Hierarchical Reactive Systems"Proc.of the JICAST 2000. 126-129 (2000)

[Publications] 金指文明,水野忠則,富樫敦: "Pres:移動エージェントに基づく分散型プレゼンテーションシステム"マルチメディア,分散,協調とモバイル(DICOMO2000). 163-168 (2000)

[Publications] 吉山章,陸暁松,富樫敦: "階層的リアクティブシステムの協調分散通信と構造化"マルチメディア,分散,協調とモバイル(DICOMO2000). 187-192 (2000)

[Publications] 村形健太郎,鈴木大介,塚崎悟,金指文明,富樫敦: "分散型プレゼンテーションシステムの設計・開発"マルチメディア,分散,協調とモバイル(DICOMO2000). 361-366 (2000)

[Publications] 中山竜二,坂東恭子,金指文明,塚崎悟,富樫敦: "協調分散システムへの時間の導入法"マルチメディア,分散,協調とモバイル(DICOMO2000). 661-666 (2000)

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