Abstract
This paper explains, by example, how to translate a data flow diagram into an outline Z [1] specification, and also how to generate a data flow diagram from a Z specification. Data flow diagrams are widely used by structured methods, including Structured Systems Analysis and Design Method (SSADM) [2]. The benefits to be gained by using diagrams with Z are discussed.
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
Spivey J M, “The Z Notation: A Reference Manual”, Prentice-Hall International Series in Computer Science, 1989
Longworth G and Nicholls D, “SSADM Manual Version 3.0”, NCC, December 1986
Randell G P, “Translating Data Flow Diagrams into Z (and vice versa)”, RSRE Report 90019, October 1990
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Randell, G. (1991). Data Flow Diagrams and Z. In: Nicholls, J.E. (eds) Z User Workshop, Oxford 1990. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3540-1_14
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3540-1_14
Publisher Name: Springer, London
Print ISBN: 978-3-540-19672-3
Online ISBN: 978-1-4471-3540-1
eBook Packages: Springer Book Archive