Skip to main content
SpringerLink
Log in
Book cover

European Conference on Object-Oriented Programming

ECOOP 1991: ECOOP'91 European Conference on Object-Oriented Programming pp 180–199Cite as

OOZE: An Object Oriented Z Environment

  • Conference paper
  • First Online:

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

Abstract

OOZE, which stands for “Object Oriented Z Environment,” is a generalized wide spectrum object oriented language that builds on the notation and style of Z. OOZE supports requirements, specifications, interpretable programs, and compilable programs. The OOZE system is based on OBJ3, and provides rapid prototyping and theorem proving facilities over a module database. OOZE modules can be generic, can be organized hierarchically, and can be used for structuring and reusing requirements, specifications, or code. Modules can be linked by views, which assert relationships of refinement. Module interfaces can be precisely specified using theories. Abstract data types, multiple inheritance, complex objects, overloading and dynamic binding are supported. Data types, objects, classes and modules are clearly distinguished from one another, and the entire language has a precise and relatively simple semantics based on order sorted, hidden sorted algebra.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. American National Standards Institute, Inc. The programming language Ada reference manual. In Lecture Notes in Computer Science 155. Springer-Verlag, 1983. ANSI/MIL-STD-1815A-1983.

    Google Scholar 

  2. S. Bear. Structuring for the VDM specification language. In Lecture Notes in Computer Science 328. Springer-Verlag, 1988.

    Google Scholar 

  3. R.M. Burstall and Joseph A. Goguen. The semantics of Clear, a specification language. In Lecture Notes in Computer Science 86, pages 292–332. Springer-Verlag, 1980.

    Google Scholar 

  4. Dan Craigen. Position paper for FM 89. In Proceedings of Formal Methods '89, Workshop on Formal Methods, Halifax, Nova Scotia, Canada, July 1989.

    Google Scholar 

  5. Elspeth Cusack. Inheritance in object oriented Z, November 1990. British Telecom.

    Google Scholar 

  6. David Duke, Roger Duke, Gordon Rose, and Graeme Smith. Object-Z: An object-oriented extension to Z. In Proceedings of Formal Description Techniques (FORTE'89), 1989.

    Google Scholar 

  7. Joseph A. Goguen. How to prove algebraic inductive without induction: With aplications to the correctness of data type representations. In Wolfgang Bibel and Robert Kowalski, editors, Lecture Notes in Computer Science 87, pages 356–373. Springer-Verlag, 1980.

    Google Scholar 

  8. Joseph A. Goguen. Parameterized programming. IEEE Transactions on Software Engineering, SE-10(5), September 1984.

    Google Scholar 

  9. Joseph A. Goguen. Types as theories. In Proceedings of Symposium on General Topology and Applications, Oxford University, June 1990. To appear, Oxford University Press, 1991.

    Google Scholar 

  10. Joseph A. Goguen, Jean-Pierre Jouannaud, and José Meseguer. Operational semantics of order-sorted algebra. In Lecture Notes in Computer Science 194. Springer-Verlag, 1985.

    Google Scholar 

  11. Joseph A. Goguen and José Meseguer. Unifying functional, object-oriented and relational programming with logical semantics. Technical Report SRI-CSL-87-7, SRI International — Computer Science Lab, July 1987.

    Google Scholar 

  12. Joseph A. Goguen and José Meseguer. Order-Sorted Algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Technical Report SRI-CSL-89-10, SRI International, Computer Science Lab, July 1989.

    Google Scholar 

  13. Joseph A. Goguen, James Thatcher, and Eric Wagner. An initial algebra approach to the specification, correctness and implementation of abstract data types. In Raymond Yeh, editor, Trends in Programming Methodology IV, pages 80–149. Prentice Hall, 1978.

    Google Scholar 

  14. Joseph A. Goguen and Timothy Winkler. Introducing OBJ3. Technical Report SRI-CSL-88-9, SRI International-Computer Science Lab, August 1988.

    Google Scholar 

  15. Joseph A. Goguen and David Wolfram. On types and FOOPS. In Proceedings of Working Conference on Database Semantics, Windermere, Lake District, United Kingdom, July 1990. (To appear).

    Google Scholar 

  16. Adele Goldberg and Alan Kay. Smalltalk72 instruction manual. Technical report, Learning Research Group, Xerox Palo Alto Research Center, 1976.

    Google Scholar 

  17. Robert Harper, David MacQueen, and Robin Milner. Standard ML. LFCS Report Series ECS-LFCS-86-2, University of Edinburgh, March 1986.

    Google Scholar 

  18. Ian Hayes, editor. Specification Case Studies. International Series in Computer Science. Prentice Hall International, 1987.

    Google Scholar 

  19. Gerard Huet and Derek Oppen. Equations and rewrite rules: A survey. In Ronald Book, editor, Formal Language Theory: Perspective and Open Problems, pages 349–405. Academic Press, 1980.

    Google Scholar 

  20. Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall International, 1988.

    Google Scholar 

  21. Lewis J. Pinson and Richard S. Wiener. Object Oriented Programming and Smalltalk. Addison-Wesley, 1988.

    Google Scholar 

  22. Augusto Sampaio and Silvio Meira. Modular extension to Z. In Lecture Notes in Computer Science 428. Springer-Verlag, 1990.

    Google Scholar 

  23. S.A. Schuman, David Pitt, and P.J. Byers. Object-oriented process specification. Technical report, University of Surrey, 1989.

    Google Scholar 

  24. Adolfo Socorro. An implementation of FOOPS. Programming Research Group, Oxford University Computing Laboratory, 1990.

    Google Scholar 

  25. J. Michael Spivey. The Z Notation, A Reference Manual. International Series in Computer Science. Prentice Hall International, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Programming Research Group, University of Oxford, 11 Keble Road, OX1 3QD, Oxford, UK

    Antonio J. Alencar & Joseph A. Goguen

Authors
  1. Antonio J. Alencar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Joseph A. Goguen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Pierre America

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Alencar, A.J., Goguen, J.A. (1991). OOZE: An Object Oriented Z Environment. In: America, P. (eds) ECOOP'91 European Conference on Object-Oriented Programming. ECOOP 1991. Lecture Notes in Computer Science, vol 512. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0057022

Download citation

  • DOI: https://doi.org/10.1007/BFb0057022

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54262-9

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation