【24h】

The Implementation of Ambient Calculus with HORB for Mobile Agents

机译:HORB实现移动代理环境演算

获取原文
获取原文并翻译 | 示例

摘要

This paper proposes an distributed implementation of Ambient Calculus using Java Multi-threading mechanism and HORB a lightweight Java ORB. Ambient Calculus is a process algebra designed by Cardelli and Gordon of Microsoft Research for modeling mobile agents on network environments. They also proposed a basic implementation of the calculus in 'Mobile Ambient Synchronization' though the ambient class only dealt with In and Out actions. Thus, we give the class extensions up to Open action, Replication and Communication primitives. Especially, the implementation includes a unique algorithm for the replication mechanism. Replication is the useful method that enables us to easily design server processes dealing with many demands from numerous clients. A naive implementation, however, would cause divergence of the number of processes. We propose a replication mechanism that does not generate infinite processes As another feature of out implementation, ambients can bring several kind of applications, such as editor, file finder, and games with keeping running.
机译:本文提出了使用Java多线程机制和HORB(轻量级Java ORB)的环境演算的分布式实现。 Ambient Calculus是由Microsoft Research的Cardelli和Gordon设计的过程代数,用于在网络环境中对移动代理进行建模。他们还提出了“移动环境同步”中微积分的基本实现,尽管环境类仅处理输入和输出动作。因此,我们将类扩展扩展为开放操作,复制和通信原语。特别地,该实现包括用于复制机制的独特算法。复制是一种有用的方法,使我们能够轻松地设计服务器进程,以处理来自众多客户端的许多需求。但是,幼稚的实现将导致进程数量的差异。我们提出一种不会生成无限进程的复制机制。作为out实现的另一个功能,环境可以带来多种应用程序,例如编辑器,文件查找器和保持运行状态的游戏。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号