Abstract
The second Committee Draft of the ISO standard “Z Notation” is expected to be published soon after the ZUM’98 proceedings. This paper provides an overview of Standard Z from the perspective of the differences between its notation and that of Spivey’s de facto standard “The Z Notation: A Reference Manual”. Its aim is to make the differences be more widely known and hence enable wider exploitation of the improvements, by both specifiers and tool builders. The differences reported are those for which the author perceives there to be consensus within the Z panel. As the second Committee Draft is not yet finished, beware that this consensus could yet change.
This is a preview of subscription content, log in via an institution to check access.
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
Arthan, R.D.: Issues for Z concrete syntax, URL (February 1992), http://www.lemma-one.com/zstandocs/wrk036.ps
Arthan, R.D.: Modularity for Z (September 1995), ftp://www.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-182.ps
Arthan, R.D.: Arithmetic for Z (February 1996), ftp://www.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-188.ps
Arthan, R.D.: Note on operator templates. ICL, UK (March 1996)
Arthan, R.D.: Axioms for mutually recursive free type definitions (July 1997), http://www.lemma-one.com/zstandocs/z-225.ps
Arthan, R.D.: The ProofPower Web pages (November 1997), http://www.lemma-one.demon.co.uk/ProofPower/
Unicode consortium (ed.): ISO/IEC 10646 Unicode: worldwide character encoding. ISO CD 13568 (1996)
Harwood, W. (ed.): A Zola Tutorial. Imperial Software Technology, UK (October 1995)
Hayes, I. (ed.): Specification Case Studies. Prentice Hall International Series in Computer Science (1987)
Hayes, I.: Numbers in the base standard, SVRC, Queensland, Australia (November 1996)
Jones, R.B.: Proposal to allow general use of expressions as schemas in Z. ICL, UK (1992)
King, S., Sørensen, I.H., Woodcock, J.C.P.: Z: Grammar and concrete and abstract syntaxes. Technical Monograph PRG-68, Programming Research Group, Oxford University Computing Laboratory, UK (1988)
Lupton, P.: Newline and free form. IBM UK Labs Ltd, Hursley Park, Winchester, UK (October 1992)
Nicholls, J.E. (ed.): Z Notation – First Committee Draft. ISO (September 1995)
Spivey, J.M.: The Z Notation: A Reference Manual, 1st edn. Prentice Hall International Series in Computer Science (1989)
Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall International Series in Computer Science (1992)
Steggles, P., Harwood, W.: Z standard syntax (proposed). Z Standards Panel – Document 173 (March 1995)
Stepney, S.: Lexis and concrete syntax issues. Z Standards Panel – Document 191 (March 1996)
Stepney, S.: Proposal to add the ISO standard Z character set to Unicode ISO/IEC 10646. Z Standards Panel – Document 234 (March 1998)
Sufrin, B. (ed.): Z Handbook. Programming Research Group, March 1986. Oxford University Computing Laboratory, UK (1986)
Toyn, I.: Comments on operator templates. Department of Computer Science, University of York, UK (January 1995)
Toyn, I.: Formal reasoning in the Z notation using CADiZ. In: Merriam, N.A. (ed.) 2nd International Workshop on User Interface Design for Theorem Proving Systems (July 1996)
Toyn, I.: Free types – by semantic transformation (June 1997), ftp://ftp.cs.york.ac.uk/hisereports/cadiz/scratch/freetypes2.ps
Toyn, I.: Numbers in Z (January 1997), ftp://ftp.cs.york.ac.uk/hisereports/cadiz/ZSTAN/numbers2.ps
Toyn, I.: CADiZ Web pages (February 1998), http://www.cs.york.ac.uk/~ian/cadiz/
Toyn, I. (ed.): Z Notation – Second Committee Draft. ISO (1998) (to appear)
Valentine, S.H.: Some detailed proposals for the Z standard. Z Standards Panel – Document 136 (January 1993)
Valentine, S.H.: An algebraic introduction of real numbers into Z. In: Habrias, H. (ed.) Proc. 7th International Conference on Putting into Practice Methods and Tools for Information System Design: Z Twenty Years On – What is its Future?, France, IRIN, Université de Nantes, October 10–12, pp. 183–204 (1995)
Valentine, S.H.: Equal rights for schemas in Z. In: Bowen, J.P., Hinchey, M.G. (eds.) ZUM 1995. LNCS, vol. 967, pp. 183–202. Springer, Heidelberg (1995)
Valentine, S.H.: The place of numbers in Z – a discussion paper. Z Standards Panel – Document 223 (January 1997)
Valentine, S.H.: Inconsistency and undefinedness in Z - A practical guide. In: P. Bowen, J., Fett, A., Hinchey, M.G. (eds.) ZUM 1998. LNCS, vol. 1493, pp. 233–249. Springer, Heidelberg (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Toyn, I. (1998). Innovations in the Notation of Standard Z. In: Bowen, J.P., Fett, A., Hinchey, M.G. (eds) ZUM ’98: The Z Formal Specification Notation. ZUM 1998. Lecture Notes in Computer Science, vol 1493. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-49676-2_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-49676-2_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65070-6
Online ISBN: 978-3-540-49676-2
eBook Packages: Springer Book Archive