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

移动代理系统及组件自反射计算研究

基本信息

批准号：
02F00748
负责人：
米澤明憲
金额：
$ 1.73万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2002
资助国家：
日本
起止时间：
2002 至 2004
项目状态：
已结题

项目摘要

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

这项研究的第一个研究结果与移动软件的正式处理有关。在这项研究中，我们开发了一个交互空间，这是一种了解移动代理系统的新模型。在这项研究中，我们首先处理了与客观流动相关的问题，这些问题就从移动实体外移动做出了决定。此外，我们讨论了代理（迁移）的运动和链接的运动（移动通道）。该方法还使用了使用代理商开发的上下文的几何特征的新性质。它的环境是一个开放的分布式系统，代理可以来去去。从某种意义上说，这是一个分布式系统，没有大时钟且可能发生残疾。目前的努力主要是为了开发健康而简洁的残疾模型，用于互动空间。为此部分的结果准备了完整的技术报告。这项研究的第二个研究结果是相互作用空间的形式模型是实用的。我们已经设计和实施了编程语言MobilesCope。这是研究代表在动态适应方面的博士论文研究的扩展。该语言实现了客观迁移和通道的运动，这是交互空间的特征。最近，MobilesCope语言中的时间 - 时间基础架构被移植到PDA（Sharp Zaurus）。借助这项科学研究资助，我们能够在台式机，笔记本电脑和Zaurus PDA无线基础设施上进行实验。该项目在高山的硕士论文中进行了详细描述。一篇描述实际实验结果的论文已被建议发布到国际杂志上。研究代表后者研究的最后部分的主要重点是宣布从这一高度研究经验中获得的研究结果。

项目成果

期刊论文数量（6）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Takashi Masuyama, Frederic Peschanski, Yoshihiro Oyama, Akinori Yonezawa: "MobileScope : a Programming Language with Objective Mobility"Proceedings of Mobile Distributed Computing 2004. (2004)

Takashi Masuyama、Frederic Peschanski、Yoshihiro Oyama、Akinori Yonezawa：“MobileScope：一种具有客观移动性的编程语言”2004 年移动分布式计算论文集。(2004)

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

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、David Julien：“当并发控制满足功能要求或 Z Petri-nets”计算机科学讲义。

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

Frederic Peschanski, Jean-Pierre Briot, Akinori Yonezawa: "Fine-grained Adaptation of Distributed Components"Lecture Notes in Computer Science. 2672. 123-142 (2003)

Frederic Peschanski、Jean-Pierre Briot、Akinori Yonezawa：“分布式组件的细粒度适应”计算机科学讲义。

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

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)

Frederic Peschanski、Reynald Affeldt、Jean-Pierre Briot：“Les espaces dinteractions，vers une geometrie des systemes dagents mobiles”Langage et Modele Objet 论文集。