Skip to main content
SpringerLink
Log in

How firing conditions help inheritance

  • Object-Orientation
  • Conference paper
  • First Online:
Book cover ZUM '95: The Z Formal Specification Notation (ZUM 1995)

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

Included in the following conference series:

Abstract

We tackle an under-explored question in Z semantics; what does an operation schema mean? We explain why this is important by describing our requirement to specify objects with active and passive behaviours. We show that one of the interpretations we uncover in order to represent active behaviour can also considerably simplify object-oriented inheritance.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Jean-Raymond Abrial. Assigning Meanings to Programs — the B Book. Cambridge University Press, 1995 (to appear).

    Google Scholar 

  2. Elspeth Cusack and Clazien Wezeman. Deriving Tests for Objects Specified in Z. In J.P. Bowen & J.E. Nicholls, editors, Z User Workshop, London 1992. Workshops in Computing, Springer-Verlag, 1992.

    Google Scholar 

  3. Anthony Hall. Specifying and Interpreting Class Hierarchies in Z. In J.P. Bowen & J.A. Hall, editors, Z User Workshop, Cambridge 1994. Workshops in Computing, Springer-Verlag, 1994.

    Google Scholar 

  4. Mark B. Josephs. Specifying Reactive Systems in Z. PRG Technical Report, PRG-TR-19-91, Oxford University Computing Laboratory, 1991.

    Google Scholar 

  5. Barbara H. Liskov and Jeanette M. Wing. A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems, November 1994.

    Google Scholar 

  6. Carroll Morgan. Programming from Specifications. Prentice Hall International, second edition, 1994.

    Google Scholar 

  7. Carroll Morgan and Trevor Vickers. On the Refinement Calculus. Springer-Verlag, 1992.

    Google Scholar 

  8. J. M. Spivey. The Z Notation — a Reference Manual. Prentice Hall International, second edition, 1992.

    Google Scholar 

  9. Susan Stepney. Testing as Abstraction. In J.P. Bowen & M.G. Hinchey, editors, ZUM'95: 9th International Conference of Z Users (this proceedings). Lecture Notes in Computer Science, Springer-Verlag, 1995.

    Google Scholar 

  10. Susan Stepney, Rosalind Barden and David Cooper (Eds.) Object Orientation in Z. Springer Verlag, 1992.

    Google Scholar 

  11. J. B. Wordsworth. Software Development using Z. Addison Wesley, 1992.

    Google Scholar 

  12. Clazien Wezeman and Tony Judge. Z for Managed Objects. In J.P. Bowen & J.A. Hall, editors, Z User Workshop, Cambridge 1994. Workshops in Computing, Springer-Verlag, 1994.

    Google Scholar 

  13. ISO/IEC IS 10165 (Parts 1–4) Management Information Services, Structure of Management Information. 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. BT Laboratories Martlesham Heath, IP5 7RE, Ipswich, UK

    Ben Strulo

Authors
  1. Ben Strulo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jonathan P. Bowen Michael G. Hinchey

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Strulo, B. (1995). How firing conditions help inheritance. In: Bowen, J.P., Hinchey, M.G. (eds) ZUM '95: The Z Formal Specification Notation. ZUM 1995. Lecture Notes in Computer Science, vol 967. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60271-2_125

Download citation

  • DOI: https://doi.org/10.1007/3-540-60271-2_125

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60271-2

  • Online ISBN: 978-3-540-44782-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation