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

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

基本信息

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

项目摘要

本研究活動における本期間では、主にモバイルエージェントシステムの領域における形式的側面についてさらに調査を行った。本研究の中心モデルである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)に採択された論文の中で詳細に議論されている。

在这项研究活动的这一时期，进一步的研究主要是在移动代理系统的正式方面进行的。该研究的中心模型相互作用空间使用几何特性来设计和推理移动代理系统。相互作用空间是一个尚未完全制定的非常年轻的理论。最近，我们研究了该理论中通道通道的新特征。通道通道非常重要，因为它可以非常简洁地实现移动计算的动态结构。通过由剑桥大学罗宾·米尔纳（Robin Milner）开发的π估计理论，在计算科学领域已广为人知。本研究中提出的变体（称为立方体计算）具有使用痕量模型定义语义的独特性。相比之下，使用带有标签的过渡系统定义了其他π计算的变体。两种方法都有优势和不便，但是这项研究使他们可以比较它们。这项研究表明，位置概念的引入可能具有基于痕量和标记的基于过渡系统模型的相同区别能力。在这项研究中获得的重要结果是通过本研究中提出的语义支持强大的规范工具，改进计算。此外，与大多数π计算的变体不同，本研究中开发的语言是完全组成的。这两个结果已在国际交流过程架构2004（CPA2004）的国际会议上采用的论文中进行了详细讨论。