An Ada95 Implementation of a Network Coordination Language with Code Mobility

  • Emilio Tuosto
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1622)


One of the principal aims of distributed programming re- search is the definition of paradigms which permits the description of Global Computation, as Cardelli calls them, i.e. computations on a net of heterogeneous sites. In this context, it seems that code mobility is a good paradigm for limiting network traffic.

Here we will describe the implementation, in Ada95, of Klaim, a kernel language that uses code mobility and gives the possibility of coordinating the activity of processes running on a net.


Ada Language and Tools Ada Experience Reports Case Studies and Experiments Ada and other Languages Distributed Systems 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ARM95]
    International Standard ISO/IEC 8652:1995(E). Annotated Ada Reference Manual: Language and Standard Libraries. Intermetrics, Inc., 1994.Google Scholar
  2. [BDFP98]
    L. Bettini, R. De Nicola, G. Ferrari, R. Pugliese. Interactive Mobile Agents in XKlaim Proceedings of WETICE’98, IEEE, 1998. (To appear)Google Scholar
  3. [Car94]
    L. Cardelli. Obliq: A language with distributed scope. SRC Research Report 122, Digital Equipment Corporation Systems Research Center, June 3, 1994.Google Scholar
  4. [Car95]
    L. Cardelli. A Language with Distributed Scope. Computing Systems, 8(1):27–59, MIT Press, 1995.Google Scholar
  5. [Car96]
    L. Cardelli. Global Computation. ACM Computing Surveys, Vol. 28, Number 4es, pp. 163–163, December 1996.CrossRefGoogle Scholar
  6. [CG89]
    N. Carriero, D. Gelernter. Linda in Context. Communications of the ACM, 32(4):444–458, April 1989.CrossRefGoogle Scholar
  7. [CG97]
    L. Cardelli, A. D. Gordon. Mobile Ambients. FoSSaCS, LNCS 1378, pag. 140–155, 1998Google Scholar
  8. [DFP97a]
    R. De Nicola, G. Ferrari, R. Pugliese. Locality based Linda: programming with explicit localities. FASE-TAPSOFT’97, Proceedings (M. Bidoit, M. Dauchet Eds.), LNCS 1214, pp. 712–726, Springer, 1997.Google Scholar
  9. [DFP97b]
    R. De Nicola, G. Ferrari, R. Pugliese. Coordinating Mobile Agents via Black-boards and Access Rights. COORDINATION’97, Proceedings (D. Garlan, D. Le Metayer, Eds.), LNCS 1282, pp. 220–237, Springer, 1997.Google Scholar
  10. [DFP98]
    R. De Nicola, G. Ferrari, R. Pugliese. Klaim: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24(5), pp. 315–330, 1998. (Available at the Scholar
  11. [GMP89]
    A. Giacalone, P. Mishra, S. Prasad. Facile: A Symmetric Integration of Concurrent and Functional Programming. Internation Journal of Parallel Programming, 18(2), 1989.Google Scholar
  12. [GV97]
    C. Ghezzi, G. Vigna. Mobile Code Paradigms and Technologies: A Case Study. Proceedings of the First International Workshop on Mobile Agents (MA97), Berlin, Germany, April 1997.Google Scholar
  13. [Hoa85]
    C.A.R. Hoare. Communicating Sequential Process. Prentice Hall Int., 1985.Google Scholar
  14. [MPW92]
    R. Milner, J. Parrow, D. Walker. A Calculus of Mobile Processes, (part I and II), Information and Computation, 100:1–77, 1992.zbMATHCrossRefMathSciNetGoogle Scholar
  15. [OMG95]
    Object Management Group. CORBA: Architecture and Specification, August 1995.Google Scholar
  16. [PT97]
    B. C. Pierce, David N. Turner. Pict: A Programming Language based on the Pi-Calculus Technical Report, Computer Science Department, Indiana University, Number CSCI 476, March 1997.Google Scholar
  17. [TLG92]
    B. Thomsen, L. Leth, A. Giacalone. Some Issues in the Semantic of Facile Distributer Programming. REX Workshop “Semantics: Foundations and Applications” (J. W. de Bakker, W-P. de Roever, G. Rezenberg), LNCS 666, pp. 563–593, Springer, 1992.Google Scholar
  18. [Tuo98]
    E. Tuosto. Semantica e Pragmatica di un Linguaggio di Coordinamento di Attività su reti. Master Thesis in Computer Science, University of Pisa, Italy. 1998.Google Scholar
  19. [Vig98]
    G. Vigna. Mobile Code Technologies, Paradigms, and Applications. Ph.D. Thesis, Politecnico di Milano, 1998.Google Scholar
  20. [Whi94]
    J. E. White. Telescript Technology: Foundation for the Electronic Market Place. General Magic White Paper, 1994.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Emilio Tuosto
    • 1
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly

Personalised recommendations