Skip to main content
SpringerLink
Log in
Book cover

International Conference on Formal Engineering Methods

ICFEM 2002: Formal Methods and Software Engineering pp 144–155Cite as

An Overview of Mobile Object-Z

  • Conference paper
  • First Online:

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

Abstract

Mobile Object-Z (MobiOZ) is an extended notation of Object-Z with mobile and communication primitives required for mobile agent applications. In this paper, we will give an overview of the MobiOZ language features and present its semantic foundation. We also demonstrate expressiveness of the notation through a number of examples.

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   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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. Bettini and R. De Nicola. Translating Strong Mobility into Weak Mobility. In Proceedings of 5th International Conference on Mobile Agents (MA) 2001. IEEE, 2001.

    Google Scholar 

  2. L. Cardelli. A Language with Distributed Scope. In Conference Record of POPL’95, pages 286–297. ACM Press, 1995.

    Google Scholar 

  3. L. Cardelli. Wide Area Computation. ICALP’99, pages 10–24. 1999.

    Google Scholar 

  4. L. Cardelli and A. Gordon. Mobile Ambients. Foundations of Software Science and Computational Structures, pages 140–155. Springer-Verlag, 1998.

    Google Scholar 

  5. G. Cugola, C. Ghezzi, G. Picco, and G. Vigna. Analyzing Mobile Code Languages. Mobile Object Systems-Towards the Programmable Internet, pages 93–111. 1997.

    Google Scholar 

  6. R. De Nicola, G. Ferrari, and R. Pugliese. Locality based Linda: programming with explicit localities. TAPSOFT-FASE’97, pages 712–726. Springer-Verlag, 1997.

    Google Scholar 

  7. R. Duke and G. Rose. Formal Object Oriented Specification Using Object-Z. Cornerstones of Computing. Macmillan, March 2000.

    Google Scholar 

  8. P. J. M. G.-C. Roman and J. Y. Plun. Mobile unity: reasoning and specification in mobile computing. ACM Trans. Software Engineering and Methodology, 6(3):250–282, 1997.

    Article  Google Scholar 

  9. D. Lange and M. Oshima. Programming and Deploying Java Mobile Agents with Aglets. Addison-Wesley, 1999.

    Google Scholar 

  10. B. Mahony and J. S. Dong. Blending Object-Z and Timed CSP: An Introduction to TCOZ. ICSE’98, pages 95–104. IEEE, 1998.

    Google Scholar 

  11. R. Milner. Communicating and mobile systems: the π-calculus. Cambridge University Press, 1999.

    Google Scholar 

  12. G. Picco, A. Murphy, and G.-C. Roman. LIME:Linda Meets Mobility. ICSE’99, pages 368–377, IEEE, 1999.

    Google Scholar 

  13. J. Riely and M. Hennessy. A typed language for distributed mobile processes (extended abstract). POPL’98, pages 378–390, 1998.

    Google Scholar 

  14. G. Smith. The Object-Z Specification Language. Kluwer Academic Publishers, 2000.

    Google Scholar 

  15. K. Taguchi and K. Araki. The State-based CCS Semantics for Concurrent Z Specification. ICFEM’97, pages 283–292. IEEE, 1997.

    Google Scholar 

  16. J. E. White. Mobile Agents. In J. Bradshaw, editor, Software Agents, pages 437–472. MIT Press, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Science, Uppsala University, Sweden

    Kenji Taguchi

  2. Computer Science Department, National University of Singapore, Singapore

    Jin Song Dong

Authors
  1. Kenji Taguchi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jin Song Dong
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. International Institute for Software Technology, United Nations University, Casa Silva Mendes, Est. do Engenheiro Trigo No. 4, P.O. Box 3058, Macao

    Chris George

  2. School of Computer Engineering and Science, Shanghai University, 149 Yanchang Road, Shanghai, 200072, P.R. China

    Huaikou Miao

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Taguchi, K., Dong, J.S. (2002). An Overview of Mobile Object-Z. In: George, C., Miao, H. (eds) Formal Methods and Software Engineering. ICFEM 2002. Lecture Notes in Computer Science, vol 2495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36103-0_17

Download citation

  • DOI: https://doi.org/10.1007/3-540-36103-0_17

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00029-7

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation