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.
References
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.
S. Bear. Structuring for the VDM specification language. In Lecture Notes in Computer Science 328. Springer-Verlag, 1988.
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.
Dan Craigen. Position paper for FM 89. In Proceedings of Formal Methods '89, Workshop on Formal Methods, Halifax, Nova Scotia, Canada, July 1989.
Elspeth Cusack. Inheritance in object oriented Z, November 1990. British Telecom.
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.
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.
Joseph A. Goguen. Parameterized programming. IEEE Transactions on Software Engineering, SE-10(5), September 1984.
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.
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.
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.
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.
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.
Joseph A. Goguen and Timothy Winkler. Introducing OBJ3. Technical Report SRI-CSL-88-9, SRI International-Computer Science Lab, August 1988.
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).
Adele Goldberg and Alan Kay. Smalltalk72 instruction manual. Technical report, Learning Research Group, Xerox Palo Alto Research Center, 1976.
Robert Harper, David MacQueen, and Robin Milner. Standard ML. LFCS Report Series ECS-LFCS-86-2, University of Edinburgh, March 1986.
Ian Hayes, editor. Specification Case Studies. International Series in Computer Science. Prentice Hall International, 1987.
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.
Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall International, 1988.
Lewis J. Pinson and Richard S. Wiener. Object Oriented Programming and Smalltalk. Addison-Wesley, 1988.
Augusto Sampaio and Silvio Meira. Modular extension to Z. In Lecture Notes in Computer Science 428. Springer-Verlag, 1990.
S.A. Schuman, David Pitt, and P.J. Byers. Object-oriented process specification. Technical report, University of Surrey, 1989.
Adolfo Socorro. An implementation of FOOPS. Programming Research Group, Oxford University Computing Laboratory, 1990.
J. Michael Spivey. The Z Notation, A Reference Manual. International Series in Computer Science. Prentice Hall International, 1989.
Author information
Authors and Affiliations
Editor information
Rights 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