Abstract
This paper reports on results obtained by specifying the connection patterns within a small PBX using Z. We discuss techniques for specification of switching systems, including how to model the state space of a feature-rich switching system, how to use the schema calculus for organizing a complex operation set, and how to realize the potential benefits of a partial specification. We also outline a new approach to constructing a specification as a composition of partial specifications written in different formal languages.
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
Jozef De Man. Description of telecommunication systems by means of a functional language. In Proceedings of the International Conference on Software Engineering for Telecommunication Switching Systems, Bournemouth, England, July 1989.
M. Faci, L. Logrippo, and B. Stépian. Formal specifications of telephone systems in LOTOS. Technical Report TR-89-07, Computer Science Department, University of Ottawa, Ottawa, Ontario, Canada, February 1989.
David Gries. Teaching calculation and discrimination: A more effective curriculum. Communications of the ACM XXXIV(3): 44–55, March 1991.
Michael Jackson. Description is our business. In this volume.
A. Kay and J. N. Reed. A specification of a telephone exchange in Timed CSP. Technical Report PRG-TR-19-90, Programming Research Group, Oxford University Computing Laboratory, Oxford, England, 1990.
Carroll Morgan. Telephone network. In Ian Hayes, editor, Specification Case Studies, pages 73–87, Prentice-Hall International, 1987.
J. M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall International, 1989.
Pamela Zave. A compositional approach to multiparadigm programming. IEEE Software VI(5): 15–25, September 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 British Computer Society
About this paper
Cite this paper
Zave, P., Jackson, M. (1992). Techniques for Partial Specification and Specification of Switching Systems. In: Nicholls, J.E. (eds) Z User Workshop, York 1991. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3203-5_10
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3203-5_10
Publisher Name: Springer, London
Print ISBN: 978-3-540-19780-5
Online ISBN: 978-1-4471-3203-5
eBook Packages: Springer Book Archive