Skip to main content
SpringerLink
Log in

ZOOM Workshop Report

  • Conference paper
Book cover Z User Workshop, York 1991

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

Abstract

This paper records the activities of the workshop on Z and object-oriented methods held in Oxford in August 1991. Participants from both the object-oriented and Z communities met and discussed the potential of object-orientation in formal specifications and some current research projects.

on a special study program at PRG, Oxford University.

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.

Bibliography

  1. A.J. Alencar and J.A. Goguen. OOZE: An object oriented Z environment. In P. America, editor, Proc. European Conf. on Object-Oriented Programming (EC00P’91), volume 512 of Lect. Notes in Comput. Sci., pages 180–199, 1991.

    Google Scholar 

  2. P. America. A behavioural approach to subtyping in object-oriented programming languages. In Proc. REX School/Workshop on Foundations of Object-Oriented Languages, 1990.

    Google Scholar 

  3. G. Booch. Object-Oriented Design with Applications. Addison-Wesley, 1990.

    Google Scholar 

  4. L. Cardelli. A semantics of multiple inheritance. In G. Kahn, D.B. MacQueen, and G. Plotkin, editors, Semantics of Data Types, volume 173 of Lect. Notes in Comput. Sci., pages 51–68. Springer-Verlag, 1984.

    Google Scholar 

  5. L. Cardelli. Structural subtyping and the notion of power types. In Proceedings of Confererence on Principles of Programming Languages, pages 70–79, 1988.

    Google Scholar 

  6. L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. ACM Comput. Surv., 17(4): 471–522, December 1985.

    Article  Google Scholar 

  7. D. Carrington, D. Duke, R. Duke, P. King, G.A. Rose, and G. Smith. Object-Z: An object-oriented extension to Z. In S. Vuong, editor, Formal Description Techniques, II (FORTE’89), pages 281–296. North-Holland, 1990.

    Google Scholar 

  8. D. Carrington and G. Smith. Extending Z for object-oriented specifications. In Proc. 5th Australian Software Engineering Conference (ASWEC’90), pages 9–14, 1990.

    Google Scholar 

  9. P. Chalin and P. Grogono. Z specification of an object manager. In D. Bjørner, C.A.R. Hoare, and H. Langmaack, editors, VDM and Z — Formal Methods in Software Development, volume 428 of Lect. Notes in Comput. Sci., pages 41–71. VDM-Europe, Springer-Verlag, 1990.

    Google Scholar 

  10. W. Cook and J. Palsberg. A denotational semantics of inheritance and its correctness. In Proc. 4th ACM Conf. on Object-Oriented Programming: Systems. Languages and Applications (OOPSLA’89). pages 433–444. 1989.

    Google Scholar 

  11. E. Cusack. Inheritance in object oriented Z. In P. America, editor. Proc. European Conf. on Object-Oriented Programming (ECOOP’91). volume 512 of Lect. Notes in Comput. Sci., pages 167–179, 1991.

    Google Scholar 

  12. E. Cusack. Object oriented modelling in Z. In J. de Meer, editor. International Workshop on ODP, October 1991.

    Google Scholar 

  13. E. Cusack. Refinement, conformance and inheritance. Formal Aspects of Computing, 3(2): 129–141, April/June 1991.

    Article  MathSciNet  Google Scholar 

  14. E. Cusack and M. Lai. Object oriented specification in LOTOS and Z (or my cat is really object oriented! In J.W. de Bakker W.P. de Roever and G. Rozenburg editors Workshop on the Foundations of Object Oriented Languages volume 489 of Lect. Notes in Comput. Sci. pages 179–202. Springer-Verlag May 1990

    Google Scholar 

  15. O.-J. Dahl. Object-oriented specification. In B. Shriver and P. Wegner, editors, Research Directions in Object-Oriented Programming, pages 561–576. MIT Press, 1987.

    Google Scholar 

  16. S. Danforth and C. Tomlinson. Type theories and object-oriented programming. ACM Comput. Surv., 20(1): 29–72, March 1988.

    Article  MathSciNet  Google Scholar 

  17. D. Duke and R. Duke. Towards a semantics for Object-Z. In D. Bjørner, C.A.R. Hoare, and H. Langmaack, editors, VDM and Z — Formal Methods in Software Development, volume 428 of Lect. Notes in Comput. Sci., pages 244–261. VDM-Europe, Springer-Verlag, 1990.

    Google Scholar 

  18. R. Duke and D. Duke. Aspects of object-oriented formal specification. In Proc. 5th Australian Software Engineering Conference (ASWEC’90), pages 21–26, 1990.

    Google Scholar 

  19. R. Duke, P. King, G. Rose, and G. Smith. The Object-Z specification language. In T. Korson, V. Vaishnavi, and B. Meyer, editors. Technology of Object-Oriented Languages and Systems: TOOLS 5, pages 465–483. Prentice-Hall, 1991.

    Google Scholar 

  20. R. Duke, P. King, G. Rose, and G. Smith. The Object-Z specification language version 1. Technical Report 91-1, Software Verification Research Centre, The University of Queensland, Queensland 4072, Australia, May 1991.

    Google Scholar 

  21. R. Duke, P. King, and G. Smith. Formalising behavioural compatibility for reactive object-oriented systems. In Proc. 14th Australian Comput. Sci. Conf. (ACSC-14), pages 11/1–11/11, Sydney, February 1991.

    Google Scholar 

  22. R. Duke, G.A. Rose, and A. Lee. Object-oriented protocol specification. In L. Logrippo, R.L. Probert, and H. Ural, editors, Protocol Specification, Testing, and Verification X, pages 325–338. North-Holland, 1990.

    Google Scholar 

  23. P.H.B. Gardiner, P.J. Lupton, and J.C.P. Woodcock. A simpler semantics for Z. In J.E. Nicholls, editor, Z User Workshop, Oxford 1990, Workshops in Computing, pages 3–11. Springer-Verlag, December 1990.

    Google Scholar 

  24. R. Di Giovanni and P.L. Iachini. HOOD and Z for the development of complex systems. In D. Bjørner, C.A.R. Hoare, and H. Langmaack, editors, VDM and Z-Formal Methods in Software Development, volume 428 of Lect. Notes in Comput. Sci., pages 262–289. VDM-Europe, Springer-Verlag, 1990.

    Google Scholar 

  25. J. Goguen and J. Meseguer. Unifying functional, object-oriented, and relational programming with logical semantics. In B. Shriver and P. Wegner, editors, Research Directions in Object-Oriented Programming, pages 417–477. MIT Press, 1987.

    Google Scholar 

  26. 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 Lect. Notes in Comput. Sci., pages 290–318. VDM-Europe, Springer-Verlag, 1990.

    Google Scholar 

  27. H. Haughton and K.C. Lano. Three dimensional maintenance. In Malcolm Munro and Peter Carroll, editors, Fourth Software Maintenance Workshop Notes, 18–20 September 1990. Centre for Software Maintenance, Durham, UK, 1990.

    Google Scholar 

  28. R. Helm, I. M. Holland, and D. Gangopadhyay. Contracts: Specifying behavioural compositions in object-oriented systems. In Proc. OOP-SLA/ECOOP’90, 5th ACM Conf. on Object-Oriented Programming: Systems, Languages and Applications; European Conference on Object-Oriented Programming, pages 169–180, 1990.

    Google Scholar 

  29. T. Korson and J.D. McGregor. Understanding object-oriented: A unifying paradigm. Commun. ACM, 33(9): 40–60, September 1990.

    Article  Google Scholar 

  30. K. Lano. Z++, an object-orientated extension to Z. In J.E. Nicholls, editor, Z User Workshop, Oxford 1990, Workshops in Computing, pages 151–172. Springer-Verlag, December 1990.

    Google Scholar 

  31. K.C. Lano and H. Haughton. An algebraic semantics for the specification language Z+ +. In AMAST’91, 1991.

    Google Scholar 

  32. K.C. Lano and H. Haughton. Axioms for object-orientated extensions to Z. ESPRIT II project REDO, July 1991.

    Google Scholar 

  33. S.L. Meira and A.L.C. Cavalcanti. Modular object-oriented Z specifications. In J.E. Nicholls, editor, Z User Workshop, Oxford 1990, Workshops in Computing, pages 173–192. Springer-Verlag, December 1990.

    Google Scholar 

  34. B. Meyer. Object-Oriented Software Construction, International Series in Computer Science. Prentice-Hall, 1988.

    Google Scholar 

  35. O. Nierstrasz. A survey of object-oriented concepts. In W. Kim and F. Lochovsky, editors, Object-Oriented Concepts, Databases and Applications, chapter 1, pages 3–21. ACM Press, 1989.

    Google Scholar 

  36. J. Palsberg and M.I. Schwartzbach. Type substitution for object-oriented programming. In Proc. OOPSLA/ECOOP’90, 5th ACM Conf. on Object-Oriented Programming: Systems, Languages and Applications; European Conference on Object-Oriented Programming, pages 151–160, 1990.

    Google Scholar 

  37. A. Sampaio and S. Meira. Modular extensions to Z. In D. Bjørner, C.A.R. Hoare, and H. Langmaack, editors, VDM and Z — Formal Methods in Software Development, volume 428 of Lect. Notes in Comput. Sci., pages 211–232. VDM-Europe, Springer-Verlag, 1990.

    Google Scholar 

  38. S. Schuman and D. Pitt. Object-oriented subsystem specification. In dL. Meertens, editor, Program Specification and Transformation, pages 313–341. North-Holland, 1987.

    Google Scholar 

  39. S. Schuman, D. Pitt, and P.J. Byers. Object-oriented process specification. In C. Rattray, editor, Specification and Verification of Concurrent Systems, pages 21–70. Springer, 1990.

    Google Scholar 

  40. A. Sernadas, C. Sernadas, and H. Ehrich. “Object-Oriented Specification of Databases: An Algebraic Approach”. In Proceedings of the 13th International Conference on Very Large Data Bases, pages 107–116, Brighton, England, September 1987.

    Google Scholar 

  41. B. Shriver and P. Wegner, editors. Research Directions in Object-Oriented Programming. MIT Press, 1987.

    Google Scholar 

  42. G. Smith and R. Duke. Modelling a cache coherence protocol using Object-Z. In Proc. 13th Australian Computer Science Conference (ACSC-13), pages 352–361, 1990.

    Google Scholar 

  43. J.M. Spivey. Understanding Z: A Specification Language and its Formal Semantics, volume 3 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, United Kingdom, January 1988.

    MATH  Google Scholar 

  44. S. Stepney, R. Barden, and D. Cooper. Comparative study of object orientation in Z. Technical Report ASE TR 1, Advanced Software Engineering Division. Logica Cambridge Limited, February 1991.

    Google Scholar 

  45. P.A. Swatman, P.M.C. Swatman, and R. Duke. Electronic data interchange: A high-level formal specification in Object-Z. In Proc. 6th Australian Software Eng. Conf. (ASWEC’91), 1991.

    Google Scholar 

  46. M. Utting and K. Robinson. The object-oriented lollipop: An example of sub-typing. In Proceedings of the 1991 Australian Software Engineering Conference, 1991.

    Google Scholar 

  47. M. Utting and K. Robinson. Towards an object-oriented refinement calculus. Australian Computer Science Communications, 13(1), February 1991. Proceedings of the Fourteenth Australian Computer Science Conference, February 1991, UNSW.

    Google Scholar 

  48. P. Wegner. The object-oriented classification paradigm. In B. Shriver and P. Wegner, editors, Research Directions in Object-Oriented Programming, pages 479–560. MIT Press, 1987.

    Google Scholar 

  49. P. Wegner. Concepts and paradigms of object-oriented programming. OOPS Messenger, 1(1): 7–87, August 1990.

    Article  Google Scholar 

  50. P. J. Whysall and J.A. McDermid. An approach to object oriented specification using Z. In J.E. Nicholls, editor, Z User Workshop, Oxford 1990, Workshops in Computing, pages 193–215. Springer-Verlag, December 1990.

    Google Scholar 

  51. P.J. Whysall and J.A. McDermid. Object oriented specification and refinement. In Proceedings of the 4th Refinement Workshop. Springer-Verlag, 1991. To appear.

    Google Scholar 

  52. A. Wills. Capsules and types in Fresco. In P. America, editor, Proc. European Conf. on Object-Oriented Programming (ECOOP’91), volume 512 of Lect. Notes in Comput. Sci., pages 59–76, 1991.

    Google Scholar 

  53. R. Wirfs-Brock, B. Wilkerson, and L. Wiener. Designing Object-Oriented Software. Prentice-Hall, 1990.

    Google Scholar 

  54. P. Yelland. First steps towards fully abstract semantics for object-oriented language. In S. Cook, editor, Proc. European Conf. on Object-Oriented Programming (ECOOP’89), pages 347–364. Cambridge University Press, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Key Center for Software Technology Department of Computer Science, University of Queensland, Australia

    David Carrington

Authors
  1. David Carrington
    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, Oxford, 0X1 3QD, UK

    J. E. Nicholls MA

Rights and permissions

Reprints and permissions

Copyright information

© 1992 British Computer Society

About this paper

Cite this paper

Carrington, D. (1992). ZOOM Workshop Report. In: Nicholls, J.E. (eds) Z User Workshop, York 1991. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3203-5_16

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3203-5_16

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19780-5

  • Online ISBN: 978-1-4471-3203-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation