Abstract
The specification of a Network Management System (NMS) comprising a data dictionary and capability descriptions has been rigorously reviewed. The review revealed a number of errors and inconsistencies in the original specification. The review was performed using a technique adapted from one originally developed to review the outputs of structured analysis. The context in which the technique was developed is outlined. The NMS and its specification style are described. The adapted review technique is outlined and examples of its application to the NMS specification and the results of the review including the types of errors and inconsistencies revealed are given.
Preview
Unable to display preview. Download preview PDF.
References
Sukhvinder Aujla, Tony Bryant & Lesley Semmens, A Rigorous Review Technique: Using Formal Notations within Conventional Development Methods, SESS'93, IEEE Journal on Selected Areas in Communication, February 1994.
L.T. Semmens, R.B. France & T.W.G. Docker, Integrated Structured Analysis and Formal Specification Techniques, The Computer Journal, Vol 35, No 6 pp600–610, December 1992.
Lesley T. Semmens, Methods Integration: Rigorous Systems Specification Using Structured Analysis and Formal Notations, PhD thesis in preparation, Leeds Metropolitan University, 1995.
A. Bryant, Structured and Formal Methods, Z User Workshop Proceedings, 1989, J. Nicholls, editor, Springer-Verlag 1990.
TELSTAR, Verification, Validation and Testing: Techniques, Data and Forms, BT, 1992.
Fiona Polack & Keith C. Mander, Software Quality Assurance using the SAZ Method, In J.P. Bowen & J.A. Hall (Eds.) Z User Workshop, Cambridge 1994, Springer-Verlag, 1994.
John B. Wordsworth, Software Development with Z: a practical approach to formal methods in software engineering. Addison-Wesley 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bryant, T. et al. (1995). Using Z to rigorously review a specification of a Network Management System. In: Bowen, J.P., Hinchey, M.G. (eds) ZUM '95: The Z Formal Specification Notation. ZUM 1995. Lecture Notes in Computer Science, vol 967. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60271-2_134
Download citation
DOI: https://doi.org/10.1007/3-540-60271-2_134
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60271-2
Online ISBN: 978-3-540-44782-5
eBook Packages: Springer Book Archive