Abstract
This paper presents an approach for producing Z specifications from ShlaerMellor object-oriented analysis. The information and state modelling phases of the Shlaer-Mellor method define the Z specification structure. The Z provides precise specifications of the detailed system functionality. The approach was developed at the instigation of Westinghouse Signals Ltd. and has been successfully used on the analysis of a real-time railway signalling system being developed by Westinghouse.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
C. Draper, “Practical Experiences of Z and SSADM” in J.P. Bowen and J.E. Nicholls eds., Z User Workshop, London 1992, Workshops in Computing, Springer-Verlag, 1993, pp. 240–251.
J.A. Hall, “Specifying and Interpreting Class Hierarchies In Z” in J.P. Bowen and J.A. Hall eds., Z User Workshop, Cambridge 1994, Workshops in Computing, Springer-Verlag, 1994.
S.M. Merad, FOOSA (Formal Object Oriented Systems Analysis) Phase I, DRA Malvern, Issue 1. 0, May 1992.
F. Polack, M. Whiston and K. Mander, “The SAZ Project: Integrating SSADM and Z” in J.C.P. Woodcock and P.G. Larsen eds., FME ‘83: Industrial Strength Formal Methods, Lecture Notes in Computer Science No. 670, Springer-Verlag, 1993, pp. 541–557.
L.T. Semmens and P.M. Allen, “Using Yourdon and Z: An Approach to Formal Specification” in J.E. Nicholls ed., Z User Workshop, Oxford 1990, Workshops in Computing, Springer-Verlag, 1991, pp. 228–253.
L.T. Semmens, R.B. France and T.W.G. Docker, Integrated Structured Analysis and Formal Specification Techniques, The Computer Journal, Vol. 35, No. 6, December 1992.
S. Shlaer and S.J. Mellor, Object-Oriented Systems Analysis - Modelling the World in Data, Yourdon Press, Prentice-Hall, Inc., 1988.
S. Shlaer and S.J. Mellor, Object Lifecycles - Modelling the World in States, Yourdon Press, Prentice-Hall, Inc., 1992.
J.M. Spivey, The Z Notation: A Reference Manual (Second Edition), Prentice-Hall International, London, 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 British Computer Society
About this paper
Cite this paper
Hammond, J. (1994). Producing Z Specifications From Object-Oriented Analysis. In: Bowen, J.P., Hall, J.A. (eds) Z User Workshop, Cambridge 1994. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3452-7_19
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3452-7_19
Publisher Name: Springer, London
Print ISBN: 978-3-540-19884-0
Online ISBN: 978-1-4471-3452-7
eBook Packages: Springer Book Archive