Skip to main content
SpringerLink
Log in

Z++, An Object-Orientated Extension To Z

  • Conference paper
Z User Workshop, Oxford 1990

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

Abstract

This paper defines an object-orientated extension, Z ++, to the popular specification language Z [24]. This extension makes explicit the known ob jectorientated characteristics of Z specifications and allows more complex forms of inheritance and views of specifications, as well as multi-levelled specifications. These encourage a healthy separation between implementation levels in systems, thus making modification and development of systems easier. We give examples of the use of the language, and describe related tools for interactive refinement and maintenance of systems written using this notation.

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. Bush E., Reverse Engineering Approaches in Industry, Proceedings of the 4th Software Maintenance Workshop, Centre for Software Maintenance, Durham University, 1990.

    Google Scholar 

  2. Coad P., Yourdon E., Object Orientated Analysis, Yourdon Press/PrenticeHall 1990.

    Google Scholar 

  3. Di Giovanni, R., Iachini P. L., HOOD and Z for the Development of Complex Software Systems, VDM ‘80 - VDM and Z, LNCS 428, D. Bjorner, C. A. R. Hoare (eds.), 1990, pp 262–289.

    Book  Google Scholar 

  4. Duke R., Rose G., Smith G., Formal Specification of Object-Orientated Systems, Key Centre for Software Technology, Dept. of Computer Science, University of Queensland, 1990.

    Google Scholar 

  5. Duke D., Duke R., Towards a Semantics for Object-Z, VDM ‘80 - VDM and Z, LNCS 428, D. Bjorner, C. A. R. Hoare (eds), 1990, pp 244–261.

    Book  Google Scholar 

  6. Hall A., Using Z as a specification calculus for Object-Orientated sys- tems, VDM ‘80 - VDM and Z, LNCS 428, D. Bjorner, C. A. R. Hoare (eds), 1990, pp 290–318.

    Google Scholar 

  7. Haughton H., Lano K., Three Dimensional Maintenance, Proceedings of the 4th Software Maintenance Workshop, Centre for Software Maintenance, Durham University, 1990.

    Google Scholar 

  8. Heyes I., Specifying the CICS Application Programmers Interface, PRG Technical Report PRG-47, Oxford University Programming Research Group, July 1985.

    Google Scholar 

  9. Goguen J.E., Hyperprogramming: A Formal Approach to Software Environments, Programming Research Group, Oxford, 1990.

    Google Scholar 

  10. Goguen J. E., Meseguer, J., Unifying Functional, Object-Orientated and Relational Programming with Logical Semantics, SRI International 1987.

    Google Scholar 

  11. Goguen J. E., Tse T. H., Functional Object-Orientated Design (FOOD), Programming Research Group 1990.

    Google Scholar 

  12. Goodland M., Ashworth C., SSADM - A Practical Approach, McGraw Hill, London, 1990.

    Google Scholar 

  13. Katsoulakos P., The REDO Project, ESPRIT 1989 Conference, Brussels, November 1989.

    Google Scholar 

  14. Khabaza I., Report on Task 101: The Representation of Environment Interaction, REDO Project Document, Lloyds Register of Shipping, 1990.

    Google Scholar 

  15. Lano K., The Semantics of Z++,REDO Project Document 2487-TN-PRG1045, Programming Research Group, 1990.

    Google Scholar 

  16. Meyer B., Object Orientated Software Construction,Prentice Hall, 1988, 534 pages.

    Google Scholar 

  17. Morgan C., On The Refinement Calculus, PRG Technical Monograph 70, Programming Research Group, Oxford University, Oct 1988.

    Google Scholar 

  18. Phillips M., CIOS/ESA 3.1 Experience, Z User Workshop, Springer-Verlag Workshops in Computing, Nicholls J. (ed ), September 1990.

    Google Scholar 

  19. Reps T., Algebraic Properties Of Program Integration, Proceedings of the 3rd European Symposium on Programming, (Copenhagen, Denmark), Lecture Notes in Computer Science 432, Jones N. (ed), Springer-Verlag, New York, 1990.

    Google Scholar 

  20. Sampaio A., Meira S., Modular Extensions to Z,VDM `90: VDM and Z, Lecture Notes in Computer Science 428, Bjorner D., Hoare C.A.R. (Eds.), pp 211–232.

    Google Scholar 

  21. Sampaio A., OOZE, Programming Research Group, Oxford University 1990.

    Google Scholar 

  22. Sorenson I. H., The B-Tool and an example of Automatic Refinement, BP Software Engineering Section, November 1989.

    Google Scholar 

  23. Spivey M., The Z Notation: A Reference Manual, Prentice Hall, London, 1989.

    MATH  Google Scholar 

  24. Spivey M., Understanding Z,Cambridge University Press, 1988.

    Google Scholar 

  25. Stanley-Smith C., Cahill T., UNIFORM: A Language Geared To System Independence, REDO Project Document UL-TN-1002, 1989.

    Google Scholar 

  26. Zimmer J. A., Restructuring For Style, Software - Practice and Experience, Vol. 20 (4), April 1990, 365–389.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Programming Research Group, Oxford University Computing Laboratory, UK

    K. Lano

Authors
  1. K. Lano
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Programming Research Group, Oxford University Computing Laboratory, 8-11 Keble Road, OX1 3QD, Oxford, UK

    J. E. Nicholls MA

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lano, K. (1991). Z++, An Object-Orientated Extension To Z. In: Nicholls, J.E. (eds) Z User Workshop, Oxford 1990. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3540-1_11

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3540-1_11

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19672-3

  • Online ISBN: 978-1-4471-3540-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation