Skip to main content
SpringerLink
Log in
Book cover

International Conference on Coordination Languages and Models

COORDINATION 1999: Coordinatio Languages and Models pp 37–52Cite as

MobiS: A Specification Language for Mobile Systems

  • Conference paper
  • First Online:

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

Abstract

New formal languages have been proposed for the specification of mobility aspects of systems and for understanding the recent devised technologies for mobile computing.

In this paper we introduce MobiS, a specification language based on a tuple-spaces based model which species coordination bymultiset rewriting. We show how MobiS can be exibly used to specify architectures containing mobile components and give formalization of some common mobility paradigms.

We explore the styles we introduce showing how they model the soft-ware architecture of a “Purchasing System”, a case study in electronic commerce.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. L. Cardelli. A language with distributed scope. In Proc. 22nd ACM Symposium on Principles of Programming Languages (POPL), pages 286–298, 1995.

    Google Scholar 

  2. L. Cardelli and A. Gordon. Mobile Ambients. In M. Nivat, editor, Proc. of Foundations of Software Science and Computation Structures (FoSSaCS), European Joint Conferences on Theory and Practice of Software (ETAPS’98), volume 1378 of Lecture Notes in Computer Science, pages 140–155, Lisbon, Portugal, 1998. Springer-Verlag, Berlin.

    Google Scholar 

  3. N. Carriero, D. Gelernter, and L. Zuck. Bauhaus Linda. In P. Ciancarini, O. Nierstrasz, and A. Yonezawa, editors, Object-Based Models and Languages for Concurrent Systems, volume 924 of Lecture Notes in Computer Science, pages 66–76. Springer-Verlag, Berlin, 1995.

    Google Scholar 

  4. A. Carzaniga, G. Picco, and G. Vigna. Designing Distributed Applications with Mobile Code Paradigms. In Proc. 19th Int. Conf. on Software Engineering (ICSE), pages 22–32, Boston, Ma, May 1997.

    Google Scholar 

  5. P. Ciancarini, F. Franzé, and C. Mascolo. A Coordination Model to Specify Systems including Mobile Agents. In Proc. 9th IEEE Int. Workshop on Software Specification and Design (IWSSD), pages 96–105, Japan, 1998.

    Google Scholar 

  6. R. DeNicola, G. Ferrari, and R. Pugliese. KLAIM: A kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24(5):96–105, 1998.

    Article  Google Scholar 

  7. G. DiMarzoSerugendo, M. Muhugusa, and C. Tschudin. An Survey of Theories for Mobile Agents. World Wide Web, 1(3):139–153, 1998.

    Article  Google Scholar 

  8. C. Fournet, G. Gonthier, J. Levy, L. Maranget, and D. Remy. A Calculus of Mobile Agents. In U. Montanari and V. Sassone, editors, Proc. 7th Int. Conf. on Concurrency Theory (CONCUR), volume 1119 of Lecture Notes in Computer Science, pages 406–421, Pisa, Italy, August 1996. Springer-Verlag, Berlin.

    Google Scholar 

  9. A. Fuggetta, G. Picco, and G. Vigna. Understanding Code Mobility. IEEE Transactions on Software Engineering, 24(5):342–361, 1998.

    Article  Google Scholar 

  10. P. Inverardi and A. Wolf. Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE Transactions on Software Engineering, 21(4):373–386, April 1995.

    Article  Google Scholar 

  11. J. Kramer and J. Magee. Exposing the skeleton in the coordination closet. In D. Garlan and D. LeMetayer, editors, Proc. 2nd Int. Conf. on Coordination Models and Languages, volume 1282 of Lecture Notes in Computer Science, pages 18–31, Berlin, Germany, September 1997. Springer-Verlag, Berlin.

    Chapter  Google Scholar 

  12. P. Ciancarini and C. Mascolo. Software architecture and mobility. In D. Perry and J. Magee, editors, Proc. 3rd Int. Software Architecture Workshop (ISAW-3), ACM SIGSOFT Software Engineering Notes, pages 21–24, Orlando, FL, November 1998.

    Google Scholar 

  13. G. Picco, G. Roman, and P. McCann. Expressing Code Mobility in Mobile Unity. In M. Jazayeri and H. Schauer, editors, Proc. 6th European Software Eng. Conf. (ESEC 97), volume 1301 of Lecture Notes in Computer Science, pages 500–518. Springer-Verlag, Berlin, 1997.

    Google Scholar 

  14. M. Shaw and D. Garlan. Software Architecture. Perspectives on an Emerging Discipline. Prentice-Hall, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Bologna, Mura Anteo Zamboni,7, I-40127, Bologna, Italy

    Cecilia Mascolo

Authors
  1. Cecilia Mascolo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Scienze dell’Informazione, Università die Bologna, Mura Anteo Zamboni, 7, I-40127, Bologna, Italy

    Paolo Ciancarini

  2. Department of Computer Science, University of Colorado, Boulder, CO, 80309-0430, USA

    Alexander L. Wolf

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mascolo, C. (1999). MobiS: A Specification Language for Mobile Systems. In: Ciancarini, P., Wolf, A.L. (eds) Coordinatio Languages and Models. COORDINATION 1999. Lecture Notes in Computer Science, vol 1594. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48919-3_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-48919-3_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65836-8

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation