• Article
  • | |
  • Metrics
  • |
  • Reference [10]
  • |
  • Related [20]
  • | | |
  • Comments
    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.

    Reference
    [1] Cardelli, L, Gordon, A.D. Mobile ambients. In Nivat, M., ed. Proceedings of the FoSSaCS'98. Volume 1378 of LNCS, Dpringer, 1998. 140~155.
    [2] Fournet, C., Gonthier, G., Lévy, J.J., et al. A calculus of mobile agents. In: Ugo, M., Vladimiro, S., eds. Proceedings of the CONCUR'96. Volume 1119 of LNCS, Springer, 1996. 406~421.
    [3] Hennessy, M., Riely, J. Resource access control in systems of mobile agents. In: Uwe, N., Pierce, B.C., eds. Proceedings of the HLCL'98. Volume 16.3 of ENTCS, Elsevier Science Publishers, 1998. 3~17.
    [4] Vitek, J., Castagna, G. Seal: a framework for secure mobile computations. In: Bal, H.E., Boumediene, B.,Cardelli, L., eds. Internet Programming Language, Number 1686 in Lecture Notes in Computer Science Springer-Verlage, 1999. 44~77.
    [5] Amadio, R.M. On modelling mobility. Theoretical Computer Science, 2000,240(1):146~176.
    [6] Cardelli, L. A language with distributed scope. Computing Systems, 1995,8(1):27~59.
    [7] White, J.E. Mobile agent. In: Bradshaw, J. ed. Software Agent. AAAI Press/The MIT Press, 1997. 437~472.
    [8] Boudol, G. The π-calculus in direct style. Higher-Order and Symbolic Computation, 1998,11:177~208.
    [9] Agha, G.A., Mason, I.A., Smith, S.F., et al. A foundation for actor computation. Journal of Functional Programming, 1997,7(1):1~72.
    [10] Berry, G., Boudol, G. The chemical abstract machine. Theoretical Computer Science, 1992,96:217~248.
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

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

Copy
Share
Article Metrics
  • Abstract:3295
  • PDF: 5211
  • HTML: 0
  • Cited by: 0
History
  • Received:March 31,2000
  • Revised:November 03,2000
You are the first2044987Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063