ZOOM Workshop Report

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.

[1]  Elspeth Cusack,et al.  Inheritance in Object-Oriented Z , 1991, ECOOP.

[2]  S. A. Schuman,et al.  Object-oriented subsystem specification , 1987 .

[3]  John D. McGregor,et al.  Understanding object-oriented: a unifying paradigm , 1990, CACM.

[4]  P. America,et al.  A behavioural approach to subtyping in object-oriented programming languages , 1991 .

[5]  Luca Cardelli,et al.  A Semantics of Multiple Inheritance , 1984, Information and Computation.

[6]  Cristina Sernadas,et al.  Object-Oriented Specification of Databases: An Algebraic Approach , 1987, VLDB.

[7]  David A. Carrington,et al.  Object-Z: An Object-Oriented Extension to Z , 1989, FORTE.

[8]  Grady Booch,et al.  Object-Oriented Design with Applications , 1990 .

[9]  Bruce D. Shriver,et al.  Research Directions in Object-Oriented Programming , 1987 .

[10]  Jens Palsberg,et al.  A Denotational Semantics of Inheritance and its Correctness , 1989, OOPSLA.

[11]  Peter John Whysall,et al.  An Approach to Object-Oriented Specification Using Z , 1990, Z User Workshop.

[12]  Kevin Lano.  Z++, An Object-orientated Extension to Z , 1990, Z User Workshop.

[13]  Peter John Whysall,et al.  Object oriented specification and refinement , 1991 .

[14]  Paula M. C. Swatman,et al.  Electronic Data Interchange a High-level Formal Specification in Object-Z , 1991 .

[15]  Raffaele di Giovanni,et al.  HOOD and Z for the Development of Complex Software Systems , 1990, VDM Europe.

[16]  R Duke,et al.  Aspects of Object-oriented Formal Specifications , 1990 .

[17]  Peter Wegner,et al.  Concepts and paradigms of object-oriented programming , 1990, OOPS.

[18]  Joseph A. Goguen,et al.  OOZE: An Object Oriented Z Environment , 1991, ECOOP.

[19]  Oscar Nierstrasz,et al.  A Survey of Object-Oriented Concepts , 1989, Object-Oriented Concepts, Databases, and Applications.

[20]  Jens Palsberg,et al.  Type substitution for object-oriented programming , 1990, OOPSLA/ECOOP '90.

[21]  Elspeth Cusack,et al.  Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented! , 1990, REX Workshop.

[22]  David Carrington,et al.  Extending Z for Object-oriented Specifications , 1990 .

[23]  Robert Holibaugh,et al.  Object oriented modelling , 1991, OOPSLA '91.

[24]  Anthony Lee,et al.  Object-oriented protocol specification , 1990, Protocol Specification, Testing and Verification.

[25]  Alan Wills,et al.  Capsules and Types in Fresco: Program Verification in Smalltalk , 1991, ECOOP.

[26]  Ken Robinson,et al.  The Object-oriented Lollipop: An Example of Subtyping , 1991 .

[27]  Luca Cardelli,et al.  Structural subtyping and the notion of power type , 1988, POPL '88.

[28]  Graeme Smith,et al.  The object-Z specification language: version 1 , 1991 .

[29]  Rebecca Wirfs-Brock,et al.  Designing object-oriented software , 1990 .

[30]  Jens Palsberg,et al.  A Denotational Semantics af Inheritance and its Correctness , 1989 .

[31]  J. Michael Spivey,et al.  Understanding Z : A specification language and its formal semantics , 1985, Cambridge tracts in theoretical computer science.

[32]  Peter Grogono,et al.  Z Specification of an Object Manager , 1990, VDM Europe.

[33]  Scott Danforth,et al.  Type theories and object-oriented programmimg , 1988, CSUR.

[34]  Ian M. Holland,et al.  Contracts: specifying behavioral compositions in object-oriented systems , 1990, OOPSLA/ECOOP '90.

[35]  David H. Pitt,et al.  Object-Oriented Process Specification , 1988, Specification and Verification of Concurrent Systems.

[36]  Ana Cavalcanti,et al.  Modular Object-oriented Z Specifications , 1990, Z User Workshop.

[37]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[38]  Anthony Hall,et al.  Using Z as a Specification Calculus for Object-Oriented Systems , 1990, VDM Europe.

[39]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[40]  Augusto Sampaio,et al.  Modular Extensions to Z , 1990, VDM Europe.

[41]  Phillip M. Yelland.  First Steps Towards Fully Abstract Semantics for Object-Oriented Languages , 1989, Comput. J..

[42]  José Meseguer,et al.  Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics , 1987, Research Directions in Object-Oriented Programming.

[43]  Kevin Lano,et al.  An Algebraic Semantics for the Specification Language Z++ , 1991, AMAST.

[44]  Peter Wegner,et al.  The Object-Oriented Classification Paradigm , 1987, Research Directions in Object-Oriented Programming.

[45]  Jim Woodcock,et al.  A Simpler Semantics for Z , 1990, Z User Workshop.

[46]  David J. Duke,et al.  Towards a Semantics for Object-Z , 1990, VDM Europe.