一种基于分布式资源域理论的形式化语言(英文)

作     者：王栩 黄涛 冯玉琳 WANG Xu;HUANG Tao;FENG Yu-Lin

作者机构：中国科学院软件研究所计算机科学开放研究实验室北京100080 

基　　金：国家重点基础研究发展规划项目 国家自然科学基金&& 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2001年第12卷第4期

页      码：499-511页

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

主 题 词：移动Agent 形式化语言 分布式资源域理论 λ-演算 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.13328/j.cnki.jos.2001.04.004

馆 藏 号：203335359...