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

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

• 批准号: 02F02748
• 负责人: 米澤 明憲
• 金额: $ 0.19万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2002
• 资助国家: 日本
• 起止时间: 2002 至 2004
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-02F02748/
• 关键词: モバイルエージェントシステム; チャネルパッシング計算; プロセス代数; トレースモデル

本研究活動における本期間では、主にモバイルエージェントシステムの領域における形式的側面についてさらに調査を行った。本研究の中心モデルであるinteraction spaceは、モバイルエージェントシステムを設計およびreasonするために、幾何学的な特徴化を用いる。Interaction spaceはまだ完全に形式化されていない非常に若い理論である。最近はその理論におけるchannel-passingの新しい特徴化について研究してきた。Channel-passingはモバイル計算の動的構造を非常に簡潔に表現することを可能にするため、非常に重要である。なお、channel-passingは、Cambridge大学のRobin Milnerによって開発されたπ計算の理論によって、計算機科学の世界でよく知られるようになった。本研究で提案するvariant (Cube計算と呼ばれる)は、セマンティクスがトレースモデルを使って定義されるという独自性を持つ。それと比較して、他のπ計算のvariantはラベルつき遷移システムを用いて定義される。両アプローチは利点と不便な点を持つが、本研究はそれらを比較することを可能にする。本研究では、位置の概念を導入することにより、トレースベースとラベルつき遷移システムベースのモデルの両方に対して同じ区別能力を得られる可能性があることを示す。本研究でこれまでに得た重要な結果は、本研究で提案するセマンティクスが、強力な仕様ツールであるrefinement計算をサポートすることである。加えて、本研究で開発した言語は、π計算の大半のvariantとは異なり、fully compositionalである。これらの二つの結果はInternational Conference on Communicating Process Architectures 2004 (CPA2004)に採択された論文の中で詳細に議論されている。

This research activity was conducted during the period under review. The center of this study is the interaction space, the design and the characterization of geometry. Interaction space is completely formalized. Recently, the theory of channel-passing and new characterization has been studied. Channel-passing is a very simple and important way to express the dynamic structure of mobile computing. Robin Milner of Cambridge University developed the theory of π computation and the world of computer science. This study proposes that the variant (Cube) be defined independently. In comparison, the variant of other π calculations is defined in the following terms: This study compares the advantages and disadvantages. This study shows the possibility of introducing the concept of location into the system and the ability to distinguish between different groups. This study has yielded important results, and this study has proposed a number of powerful refinements. In addition, this study is open to speech, π calculation and most of the variant, fully compositional The results of these two studies were discussed in detail in the paper presented at the International Conference on Communicating Process Architectures 2004 (CPA2004).