主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
王栩,黄涛,冯玉琳.一种基于分布式资源域理论的形式化语言.软件学报,2001,12(4):499-511
一种基于分布式资源域理论的形式化语言
A Formal Language for Programming with Distributed Resources and Scopes
投稿时间:2000-03-31  修订日期:2000-11-03
DOI:
中文关键词:  移动Agent  资源  位置  资源域  形式化语言
英文关键词:mobile agent  resource  location  scope  formal language
基金项目: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 (国家自然科学基金).
作者单位
王栩 中国科学院软件研究所计算机科学开放研究实验室,北京 100080 
黄涛 中国科学院软件研究所计算机科学开放研究实验室,北京 100080 
冯玉琳 中国科学院软件研究所计算机科学开放研究实验室,北京 100080 
摘要点击次数: 2313
全文下载次数: 3071
中文摘要:
      介绍了一种带有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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利