Skip to main content
SpringerLink
Log in

A Fine-Grained Model for Code Mobility

  • Conference paper
  • First Online:
Software Engineering — ESEC/FSE ’99 (ESEC 1999, SIGSOFT FSE 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1687))

Abstract

In this paper we take the extreme view that every line of code is potentially mobile, i.e., may be duplicated and/or moved from one program context to another on the same host or across the network. Our motivation is to gain a better understanding of the range of constructs and issues facing the designer of a mobile code system, in a setting that is abstract and unconstrained by compilation and performance considerations traditionally associated with programming language design. Incidental to our study is an evaluation of the expressive power of Mobile Unity, a notation and proof logic for mobile computing.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. Amadio. An Asynchronous Model of Locality, Failure, and Process Mobility. In Proc. of the 2 ndInt. Conf. on Coordination Models and Languages (COORDINATION’ 97), LNCS 1282. Springer, 1997.

    Google Scholar 

  2. L. Cardelli. A language with distributed scope. In Proc. 22 ndACM Symp. on Principles of Programming Languages (POPL), 1995.

    Google Scholar 

  3. L. Cardelli and A. Gordon. Mobile Ambients. Theoretical Computer Science, 240(1), 2000. To appear.

    Google Scholar 

  4. R. Gray. Agent Tcl: A transportable agent system. In Proc. of the CIKM Workshop on Intelligent Information Agents, 1995.

    Google Scholar 

  5. J. Kiniry and D. Zimmerman. A Hands-On Look at Java Mobile Agents. IEEE Internet Computing, 1(4), 1997.

    Google Scholar 

  6. P.J. McCann and G.-C. Roman. Compositional Programming Abstractions for Mobile Computing. IEEE Trans. on Software Engineering, 24(2), 1998.

    Google Scholar 

  7. P.J. McCann and G-.C. Roman. Modeling Mobile IP in Mobile Unity. ACM Trans. on Software Engineering and Methodology, 1999. To appear.

    Google Scholar 

  8. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes I. Information and Computation, 100(1), 1992.

    Google Scholar 

  9. R. De Nicola, G. Ferrari, and R. Pugliese. KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Trans. on Software Engineering, 24(5), 1998.

    Google Scholar 

  10. G.P. Picco, G.-C. Roman, and P. McCann. Expressing Code Mobility in Mobile Unity. In Proc. 6th European Software Eng. Conf. (ESEC/FSE’97), LNCS 1301. Springer, 1997.

    Google Scholar 

  11. J. White. Telescript Technology: Mobile Agents. In J. Bradshaw, editor, Software Agents. AAAI Press/MIT Press, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dip. di Scienze dell’Informazione, Università di Bologna, Mura Anteo Zamboni 7, 40127, Bologna, Italy

    Cecilia Mascolo

  2. Dip. di Elettronica e Informazione, Politecnico di Milano, P.za Leonardo da Vinci 32, 20133, Milano, Italy

    Gian Pietro Picco

  3. Dept. of Computer Science, Washington University, Campus Box 1045, One Brookings Drive, Saint Louis, MO, 63130-4899, USA

    Cecilia Mascolo, Gian Pietro Picco & Gruia-Catalin Roman

Authors
  1. Cecilia Mascolo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gian Pietro Picco
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gruia-Catalin Roman
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik (IAM), Universität Bern, Neubrückstr. 10, CH-3012, Bern, Switzerland

    Oscar Nierstrasz

  2. ONERA Centre de Toulouse, DPRS/SAE, 2, Ave. E. Belin, F-31055, Toulouse Cedex, France

    Michel Lemoine

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mascolo, C., Pietro Picco, G., Roman, GC. (1999). A Fine-Grained Model for Code Mobility. In: Nierstrasz, O., Lemoine, M. (eds) Software Engineering — ESEC/FSE ’99. ESEC SIGSOFT FSE 1999 1999. Lecture Notes in Computer Science, vol 1687. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48166-4_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-48166-4_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66538-0

  • Online ISBN: 978-3-540-48166-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation