Object Orientation without Extending Z | SpringerLink
Skip to main content
Springer Nature Link
Log in

Object Orientation without Extending Z

  • Conference paper
  • First Online:
ZB 2003: Formal Specification and Development in Z and B (ZB 2003)

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

Included in the following conference series:

Abstract

The good news of this paper is that without extending Z, we can elegantly specify object-oriented systems, including encapsulation, inheritance and subtype polymorphism (dynamic dispatch). The bad news is that this specification style is rather different to normal Z specifications, more abstract and axiomatic, which means that it is not so well supported by current Z tools such as animators. It also enforces behavioural subtyping, unlike most object-oriented programming languages. This paper explains the proposed style, with examples, and discusses its advantages and disadvantages.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 11439
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 14299
Price includes VAT (Japan)
  • 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.

Similar content being viewed by others

References

  1. Antonio J. Alencar and Joseph A. Goguen. OOZE: An object-oriented Z environment. In P. America, editor, Proceedings ECOOP’91, LNCS 512, pages 180–199, Geneva, Switzerland, July 15–19 1991. Springer-Verlag.

    Google Scholar 

  2. Maura Cerioli, Martin Gogolla, Hélène Kirchner, Bernd Krieg-Brückner, Zhenyu Qian, and Markus Wolf (Eds.). Algebraic system specification and development: Survey and annotated bibliography — second edition-.

    Google Scholar 

  3. R. Duke, P. King, G. A. Rose, and G. Smith. The Object-Z specification language: Version 1. Technical Report 91-1, The University of Queensland, St. Lucia 4072, Australia, 1991.

    Google Scholar 

  4. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional Computing Series. Addison-Wesley, 1994.

    Google Scholar 

  5. J. A. Hall. Using Z as a specification calculus for object-oriented systems. In D. Bjørner, C. A. R. Hoare, and H. Langmaack, editors, VDM and Z — Formal Methods in Software Development, volume 428 of LNCS, pages 290–318. VDM-Europe, Springer-Verlag, 1990.

    Google Scholar 

  6. Barbara H. Liskov and Jeannette M. Wing. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems, 16(6):1811–1841, November 1994.

    Article  Google Scholar 

  7. B. Meyer. Object-Oriented Software Construction, Second Edition. The Object-Oriented Series. Prentice-Hall, Englewood Cliffs (NJ), USA, 1997.

    Google Scholar 

  8. N. Medvidovic, D. S. Rosenblum, and R. N. Taylor. A type theory for software architectures. Technical Report UCI-ICS-98-14, Department of Information and Computer Science, University of California, Irvine, April 1998.

    Google Scholar 

  9. Ken Robinson. Reconciling axiomatic and model-based specification using the B method. In ZB’2000 — International Conference of B and Z Users, volume 1878 of Lecture Notes in Computer Science (Springer-Verlag), pages 95–106, Helsington, York, UK YO10 5DD, August 2000. Department of Computer Science — University of York.

    Google Scholar 

  10. S. Stepney, R. Barden, and D. Cooper. Object Orientation in Z. Workshops in computing. Springer-Verlag, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The University of Waikato, Hamilton, NZ

    Mark Utting & Shaochun Wang

Authors
  1. Mark Utting
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Shaochun Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratoire LSR-IMAG, CNRS, 681, rue de la Passerelle, BP 72, 38402, Saint-Martin-d’Heres Cedex, France

    Didier Bert

  2. CISM, London South Bank University, Borough Road, London, SE1 0AA, UK

    Jonathan P. Bowen

  3. Department of Computer Science, University of York, Heslington, York, YO10 5DD, UK

    Steve King

  4. Department of Computer Science, Åbo Akademi University, Lemminkäineng. 14 A, 20520, Turku, Finland

    Marina Waldén

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Utting, M., Wang, S. (2003). Object Orientation without Extending Z. In: Bert, D., Bowen, J.P., King, S., Waldén, M. (eds) ZB 2003: Formal Specification and Development in Z and B. ZB 2003. Lecture Notes in Computer Science, vol 2651. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44880-2_20

Download citation

  • DOI: https://doi.org/10.1007/3-540-44880-2_20

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-44880-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation