介绍了一种带有Agent移动的分布计算形式化语言——资源域语言.与分布移动计算中的同类工作相比较,它没有采用基于π-演算进行扩充的方法,而是以一种带资源的类λ-演算为核心发展而来.这使得它可以直接支持内存单元式的资源,而不是间接地通过进程/通道来模拟.进一步地,资源域语言还对“位置”的概念进行了特殊的处理,产生了“域”的概念.域和内存资源结合在一起使得资源域语言成为对现有同类工作的一种有益补充,提供了描述分布移动系统的一种新途径.其主要特点包括：易于实现和更接近实际语言(如Obliq,Telescript

This paper presents a small language for distributed computation with agent mobility——Scope language. The language is different from most existing work on distributed and mobile computation, which usually take some variants of π-calculus as their basis. The core of Scope language is a specially designed λ-like calculus with resources. It enables Scope language to directly model memory-like resources, instead of indirectly using process/channel as in π-calculus. Furthermore, Scope language gives a novel treatment to the notion of location, which is called Scope here. Scope and memory-like resources combined make Scope language complementary to most other work, and provide an alternative approach to modeling distributed and mobile systems, which feature the simplicity of implementation and the affinity with the programming model inherent in realistic language such as Obliq and Telescript.

This project is supported by the National 973 Fundamental Research Program of China under Grant No.G1998030404 (国家重点基础研究发展规划项目) and the National Natural Science Foundation of China under Grant No.69833030 (国家自然科学基金).