Skip to main content
SpringerLink
Log in
Book cover

Z User Workshop, Oxford 1990 pp 173–192Cite as

Modular Object-Oriented Z Specifications

  • Conference paper

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

Abstract

We introduce an object-oriented extension to Z, providing further means to modularize specifications than the schemas and schema calculus in the original formalism.

A simple and powerful treatment of messages and inheritance in the model presented herein gives it an edge over existing proposals for modularization in Z.

The presentation is mostly informal and the mechanism is exemplified by giving a modular, object-oriented specification of a simple scheduler.

Work of this author is partly funded by CNPq, grant 300133/85-CC and The British Council.

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. J-R. Abrial. A Course on System Specification. Technical Report, Oxford University Computing Laboratory, Programming Research Group, Oxford - UK, 1981.

    Google Scholar 

  2. D. Duke and R. Duke. Towards a semantics for Object-Z. In Proceedings of VDM’90, Kiel - FRG, 1990.

    Google Scholar 

  3. J. A. Goguen and J. Meseguer. Unifying functional, object-oriented and relational programming with logical semantics. In Research Directions in Object-Oriented Programming, The MIT Press, 1988.

    Google Scholar 

  4. I. Hayes, editor. Specification Case Studies. C. A. R. Hoare Series Editor, Prentice-Hall, 1987.

    Google Scholar 

  5. C. B. Jones. Software Development: A Rigorous Approach. Prentice-Hall International, 1980.

    Google Scholar 

  6. C. B. Jones. Systematic Software Development Using VDM. Prentice-Hall International, 1986.

    Google Scholar 

  7. B. Meyer. Object-Oriented Software Construction. Prentice-Hall International, 1988.

    Google Scholar 

  8. M. A. McMorran and J. E. Nicholls. Z User Manual. Technical Report TR12. 274, IBM United Kingdom Laboratories Limited, July 1989.

    Google Scholar 

  9. S. R. L. Meira and A. C. A. Sampaio. Modular extensions to Z. In VDM’90: VDM and Z!, Springer-Verlag, LNCS, Kiel, April 1990.

    Google Scholar 

  10. J. M. Spivey. The Z Notation: A Reference Manual. C. A. R. Hoare Series Editor, Prentice Hall, 1989.

    Google Scholar 

  11. A. S. Tanenbaum. Operating Systems: Design and Implementation. Prentice-Hall International, 1987.

    Google Scholar 

  12. P. Wegner. The object-oriented classification paradigm. In Research Directions in Object-Oriented Programming, The MIT Press, 1988.

    Google Scholar 

  13. J. C. P. Woodcock. Structuring Specifications: Notes on the Schema Notation. Technical Report, Oxford University Computing Laboratory, Programming Research Group, Oxford - UK, August 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departamento de Informática, Universidade Federal de Pernambuco, PO Box 7851, 50.739, Recife, PE, BR

    Silvio Lemos Meira

  2. Grupo de Ciência e Tecnologia da Computação, Instituto Tecnológico de Pernambuco, Av. Professor Luiz Freire, 700, 50.739, Recife, PE, BR

    Ana Lúcia C. Cavalcanti

Authors
  1. Silvio Lemos Meira
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ana Lúcia C. Cavalcanti
    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

Meira, S.L., Cavalcanti, A.L.C. (1991). Modular Object-Oriented Z Specifications. 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_12

Download citation

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

  • 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