Nomadic Pict: language and infrastructure design for mobile agents
Nomadic Pict: language and infrastructure design for mobile agents
复制标题
Nomadic Pict：移动代理的语言和基础设施设计
DOI：
--
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
Peter Sewell
中科院分区：
文献类型：
--
作者：
P. Wojciechowski;Peter Sewell
我们研究了迁移代理之间的位置无关的通信所需的分布式基础设施。这些基础设施是有问题的：不同的应用程序可能有非常不同的迁移和通信模式，并需要不同的性能和鲁棒性属性;算法必须考虑到这些设计。为了研究这个问题，我们引入了一个代理程序设计语言游牧Pict.它的目的是让基础设施的算法尽可能清楚地表示，从一个高层次的语言到一个低层次的翻译。这些级别基于严格定义的过程演算，它们提供了清晰的抽象级别。我们描述的语言，并使用它来开发一个示例应用程序的基础设施。的语言和例子已经实现，我们的结论与编译器和运行时的描述。
We study the distributed infrastructures required for location-independent communication between migrating agents. These infrastructures are problematic: different applications may have very different patterns of migration and communication, and require different performance and robustness properties; algorithms must be designed with these in mind. To study this problem we introduce an agent programming language Nomadic Pict. It is designed to allow infrastructure algorithms to be expressed as clearly as possible, as translations from a high-level language to a low level. The levels are based on rigorously-defined process calculi, they provide sharp levels of abstraction. We describe the language and use it to develop an infrastructure for an example application. The language and examples have been implemented; we conclude with a description of the compiler and runtime.