Skip to main content
SpringerLink
Log in

SuMo: A Framework for Prototyping Distributed and Mobile Software

  • Conference paper
Algorithms and Architectures for Parallel Processing (ICA3PP 2008)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5022))

Abstract

The current trend in the organization of computational systems is propitious to the definition of run-time infrastructures that embed distribution and mobility. Most of these grow from existent virtual machines that execute sequential or concurrent code. In this paper we present SuMo, a platform that factorizes all communication and mobility dependent operations into a reusable layer. Our purpose is to provide a framework to intuitively and easily extend existing virtual machines to execute mobile distributed computations.

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. Riely, J., Hennessy, M.: Distributed Processes and Location Failures. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds.) ICALP 1997. LNCS, vol. 1256, pp. 471–481. Springer, Heidelberg (1997)

    Google Scholar 

  2. Vasconcelos, V., Lopes, L., Silva, F.: Distribution and Mobility with Lexical Scoping in Process Calculi. In: Workshop on High Level Programming Languages (HLCL 1998). Electronic Notes in Theoretical Computer Science, vol. 16(3), pp. 19–34. Elsevier Science (1998)

    Google Scholar 

  3. Cardelli, L., Gordon, A.: Mobile Ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  4. Conchon, S., Fessant, F.L.: Jocaml: Mobile Agents for Objective-Caml. In: ASA/MA 1999, pp. 22–29. IEEE Computer Society (1999)

    Google Scholar 

  5. Schmitt, A., Stefani, J.B.: The M-calculus: A Higher-Order Distributed Process Calculus. In: Proceedings 30th Annual ACM Symposium on Principles of Programming Languages (POPL) (2003)

    Google Scholar 

  6. Fournet, C., Gonthier, G., Lévy, J.J., Maranget, L., Rémy, D.: A Calculus of Mobile Agents. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 406–421. Springer, Heidelberg (1996)

    Google Scholar 

  7. Bettini, L., et al.: A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 179–207. Springer, Heidelberg (2005)

    Google Scholar 

  8. Paulino, H.: Reliable Communication in the Presence of Agent Mobility. In: Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007). IEEE Computer Society (2007) (to appear in July 2007)

    Google Scholar 

  9. Boudol, G.: A Generic Membrane Model. In: Second Global Computing Workshop (2004)

    Google Scholar 

  10. Lopes, L., Silva, F., Figueira, A., Vasconcelos, V.: DiTyCO: An Experiment in Code Mobility from the Realm of Process Calculi. In: The 5th Mobile Object Systems Workshop (MOS 1999) (1999)

    Google Scholar 

  11. Paulino, H., Marques, P., Lopes, L., Vasconcelos, V., Silva, F.: A Multi-Threaded Asynchronous Language. In: Malyshkin, V.E. (ed.) PaCT 2003. LNCS, vol. 2763, pp. 316–323. Springer, Heidelberg (2003)

    Google Scholar 

  12. Paulino, H., Lopes, L.: A Mobile Agent Service-Oriented Scripting Language Encoded on a Process Calculus. In: Lightfoot, D.E., Szyperski, C.A. (eds.) JMLC 2006. LNCS, vol. 4228, pp. 383–402. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  13. Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes (parts I and II). Information and Computation 100(1), 1–77 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  14. Honda, K., Tokoro, M.: An Object Calculus for Asynchronous Communication. In: America, P. (ed.) ECOOP 1991. LNCS, vol. 512, pp. 141–162. Springer, Heidelberg (1991)

    Chapter  Google Scholar 

  15. Martins, F., Salvador, L., Vasconcelos, V., Lopes, L.: MiKO: Mikado Koncurrent Objects. Technical Report 05081, Dagstuhl Seminar (2005)

    Google Scholar 

  16. TyCO: Typed Concurrent Objects (2003), http://www.ncc.up.pt/tyco/

Download references

Author information

Authors and Affiliations

  1. CITI / Departamento de Informática, FCT Universidade Nova de Lisboa, Portugal

    Hervé Paulino

Authors
  1. Hervé Paulino
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Anu G. Bourgeois S. Q. Zheng

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Paulino, H. (2008). SuMo: A Framework for Prototyping Distributed and Mobile Software. In: Bourgeois, A.G., Zheng, S.Q. (eds) Algorithms and Architectures for Parallel Processing. ICA3PP 2008. Lecture Notes in Computer Science, vol 5022. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69501-1_29

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-69501-1_29

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-69500-4

  • Online ISBN: 978-3-540-69501-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation