###
DOI:
Journal of Software:2001.12(4):499-511

一种基于分布式资源域理论的形式化语言
王栩,黄涛,冯玉琳
(中国科学院软件研究所计算机科学开放研究实验室,北京 100080)
A Formal Language for Programming with Distributed Resources and Scopes
WANG Xu,HUANG Tao,FENG Yu-lin
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2295   Download 3060
Received:March 31, 2000    Revised:November 03, 2000
> 中文摘要: 介绍了一种带有Agent移动的分布计算形式化语言——资源域语言.与分布移动计算中的同类工作相比较,它没有采用基于π-演算进行扩充的方法,而是以一种带资源的类λ-演算为核心发展而来.这使得它可以直接支持内存单元式的资源,而不是间接地通过进程/通道来模拟.进一步地,资源域语言还对“位置”的概念进行了特殊的处理,产生了“域”的概念.域和内存资源结合在一起使得资源域语言成为对现有同类工作的一种有益补充,提供了描述分布移动系统的一种新途径.其主要特点包括:易于实现和更接近实际语言(如Obliq,Telescript
中文关键词: 移动Agent  资源  位置  资源域  形式化语言
Abstract: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 (国家自然科学基金). 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 (国家自然科学基金).
Foundation items:
Reference text:

王栩,黄涛,冯玉琳.一种基于分布式资源域理论的形式化语言.软件学报,2001,12(4):499-511

WANG Xu,HUANG Tao,FENG Yu-lin.A Formal Language for Programming with Distributed Resources and Scopes.Journal of Software,2001,12(4):499-511