作者搜索
新闻
  10.5.5
C-DBLP系统正式发布作者研究兴趣及学术活动展示功能，请访问作者页面试用。
  09.7.6
C-DBLP的文献BibTex信息展示功能正式上线，请访问文章详细页面使用。
  09.7.29
C-DBLP系统新增同名区分功能，欢迎大家在作者页面试用。该功能部分使用了清华大学王建勇老师课题组提出的GHOST（GrapH-based framewOrk for name diStincTion）算法，在此表示感谢。
  09.6.2
C-DBLP系统集成了作者的相关图片并在搜索结果页面展示，敬请试用。
  更多>>
 
一种基于分布式资源域理论的形式化语言(英文)  BibTex
作者： 王栩 黄涛 冯玉琳
单位： 中国科学院软件研究所计算机科学开放研究实验室!北京100080
关键词： 移动Agent;资源;位置;资源域;形式化语言
出处： 软件学报 2001 年 04期
基金： 国家 重点基础研究发展规划项目;国家自然科学基 金&&
全文链接： 查看全文>>
摘要：
　　介绍了一种带有 Agent移动的分布计算形式化语言——资源域语言 .与分布移动计算中的同类工作相比较 ,它没有采用基于 π-演算进行扩充的方法 ,而是以一种带资源的类 λ-演算为核心发展而来 .这使得它可以直接支持内存单元式的资源 ,而不是间接地通过进程 /通道来模拟 .进一步地 ,资源域语言还对“位置”的概念进行了特殊的处理 ,产生了“域”的概念 .域和内存资源结合在一起使得资源域语言成为对现有同类工作的一种有益补充 ,提供了描述分布移动系统的一种新途径 .其主要特点包括 :易于实现和更接近实际语言 (如 Obliq,Telescript)的程序设计模型 .
正文快照：
　　1　MotivationsIn recent years,a variety of calculi have been proposed as models of distributed and mobile computation.A-mong them,the mostwidely known are Ambient[1] ,Join[2 ] ,Dπ[3 ] ,Seal[4 ] ,π1l- calculus[5] .Most of these work areextensions of some…
A Formal Language for Programming with Distributed Resources and Scopes
Author： WANG Xu; HUANG Tao; FENG Yu lin(Laboratory of Computer Science;Institute of Software;Chinese Academy of Sciences;Beijing 100080;China)
Keywords： mobile agent;resource;location;scope;formal language
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.