Abstract
In this paper we compare the formal specification languages Z and Abstract Machine Notation (AMN); the latter of which is due to Abrial. The strategy adopted is that of presenting the same specification both in Z and AMN and of commenting on salient differences as they arise. The specification chosen is a slightly revised version of the specification of an Internal Telephone Number Database found in chapter 4 of [4]. At the end of the paper some general conclusions are drawn.
We would like to express our gratitude both to the SERC and to BP International Limited for financial support in the form of a CASE studentship awarded to Rosemary Docherty. BP International Limited also provided much of the software needed for Rosemary Docherty’s research and for that we are very grateful.
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
Abrial JR. Abstract machines: Part I: Basic concepts—introduction, 1991. Draft.
Carrington D. ZOOM workshop report. In Nicholls [9], pp 352–364.
Diller A. Z and Hoare logics. In Nicholls [9], pp 59–76.
Diller A. Z: An Introduction to Formal Methods. Wiley, Chichester, second edition, 1994. Forthcoming.
Docherty R, Diller A. CAVIAR in AMN. Research Report CSR-93–3, School of Computer Science, University of Birmingham, 1993.
Duke R, King P, Rose G, Smith G. The Object-Z specification language: Version 1. Technical Report 91–1, Software Verification Research Centre, The University of Queensland, 1991.
King S. Z and the refinement calculus. Technical Monograph PRG-79, Programming Research Group, Oxford University Computing Laboratory, 1990.
Morgan C. Programming from Specifications. Prentice Hall International Series in Computer Science, edited by C. A. R. Hoare. Prentice Hall, Hemel Hempstead, 1990.
Nicholls JE (ed). Z User Workshop: York 1991. Springer-Verlag, London, 1992.
Spivey JM. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, edited by C. A. R. Hoare. Prentice Hall, Hemel Hempstead, second edition, 1992.
Wordsworth JB. Software Development with Z: A Practical Approach to Formal Methods in Software Engineering. Addison-Wesley, Wokingham (England ), 1992.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 British Computer Society
About this paper
Cite this paper
Diller, A., Docherty, R. (1994). Z and Abstract Machine Notation: A Comparison. 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_14
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3452-7_14
Publisher Name: Springer, London
Print ISBN: 978-3-540-19884-0
Online ISBN: 978-1-4471-3452-7
eBook Packages: Springer Book Archive