モバイルエージェントシステム及びコンポーネントの自己反映計算に関する研究

2003 年度 実績報告書

• 研究課題/領域番号: 02F00748
• 研究機関: 東京大学
• 研究代表者: 米澤 明憲 東京大学, 大学院・情報理工学系研究科, 教授
• 研究分担者: PESCHANSKI Frederic 東京大学, 大学院・情報理工学系研究科, 外国人特別研究員
• キーワード: 動的分散言語 / 非同期通信 / コンポーネント / モバイルエージェント / Scope言語 / Cometランタイムシステム / マルチキャスト

研究概要

本研究の第一の研究成果は移動可能ソフトウェアの形式的扱いに関係している。本研究ではモバイルエージェントシステムを理解するための新しいモデルであるinteraction spacesを開発した。本研究ではまず、移動する実体の外から移動に関する決定が下されるobjective mobilityに関連する問題を扱った。さらに、エージェントの移動(マイグレーション)とリンクの移動(チャネルの移動)を議論した。その方式には、他にも、エージェントが展開するコンテキストの幾何学的特徴を利用しているという新規性を持つ。その環境はエージェントが行き来できるオープンな分散システムである。それは大域的な時計がなく、障害が起こりうるという意味で分散システムである。現在の努力は主にinteraction spacesのための健全で簡潔な障害モデルの開発に注がれている。この部分の成果に関しては完全な技術報告が準備されている。
本研究の第二の研究成果は、interaction spacesの形式的モデルを実用的な形にしたことである。我々はプログラミング言語MobileScopeを設計・実装した。それは動的適応に関する研究代表者の博士論文研究の拡張である。この言語はinteraction spacesの特徴であるobjective migrationとチャネルの移動を実装している。最近、MobileScope言語の実行時インフラであるCometミドルウェアをPDA (Sharp Zaurus)に移植した。本科学研究費補助金により、デスクトップ、ラップトップ、Zaurus PDAの無線インフラの上で実験を行うことができた。このプロジェクトは増山隆の修士論文に詳しく記述されている。この実際的な実験結果を述べた論文は国際ジャーナルに投稿することを提案されている。
研究代表者のポストドクター研究の最終部分における主な焦点は、この実り多い研究経験から得られた研究成果の発表である。

研究成果

• [文献書誌] Frederic Peschanski, David Julien: "When Concurrent Control Meets Functional Requirements, or Z+Petri-nets"Lecture Notes in Computer Science. 2651. 79-97 (2003)
• [文献書誌] Frederic Peschanski, Jean-Pierre Briot, Akinori Yonezawa: "Fine-grained Adaptation of Distributed Components"Lecture Notes in Computer Science. 2672. 123-142 (2003)
• [文献書誌] 増山隆, Frederic Peschanski, 大山恵弘, 米澤明憲: "Mobile Scope:透明な移動機能を備えた分散コンポーネント言語"日本ソフトウェア科学会第20回記念大会予稿集. 196-200 (2003)
• [文献書誌] Frederic Peschanski, Reynald Affeldt: "Les espaces d'interaction, un modele geometrique pour les agents mobiles"Proceedings of Journees Scientifiques Francophones. (2003)
• [文献書誌] Takashi Masuyama, Frederic Peschanski, Yoshihiro Oyama, Akinori Yonezawa: "MobileScope : a Programming Language with Objective Mobility"Proceedings of Mobile Distributed Computing 2004. (2004)
• [文献書誌] Frederic Peschanski, Reynald Affeldt, Jean-Pierre Briot: "Les espaces d'interactions, vers une geometrie des systemes d'agents mobiles"Proceedings of Langage et Modele Objet. (2004)