Abstract
We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z [10] with a combination of Z and predicative programming notation [6] for algorithm refinement and for reasoning about time and space constraints on systems. We discuss the difficulty of using extended notations versus using heterogeneous notations, and consider when we might prefer to extend or combine notations. We conclude that there exist situations where a heterogeneous notation can be more appropriate to use than an extended notation.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Baumann, P., Lerner, K.: A Framework for the Specification of Reactive and Concurrent Systems. In: Thiagarajan, P.S. (ed.) FSTTCS 1995. LNCS, vol. 1026, Springer, Heidelberg (1995)
Bruel, J.-M., Benzekri, A., Raymaud, Y.: Z and the Specification of Real-time Systems. In: Proc. 7th Int. Conf. on Putting into Practice Methods and Tools for Information System Design, IRIN (1995)
Fidge, C.J.: Real-time Refinement. In: Larsen, P.G., Woodcock, J.C.P. (eds.) FME 1993. LNCS, vol. 670, Springer, Heidelberg (1993)
Grundy, J.: Predicative Programming – A Survey. In: Pottosin, I.V., Bjorner, D., Broy, M. (eds.) FMP&TA 1993. LNCS, vol. 735. Springer, Heidelberg (1993)
Hehner, E.C.R., Malton, A.J.: Termination Conventions and Comparative Semantics. Acta Informatica 25 (1988)
Hehner, E.C.R.: A Practical Theory of Programming. Springer, Heidelberg (1993)
Hehner, E.C.R.: Formalization of Time and Space (submitted)
Morgan, C.C.: Programming from Specifications, 2nd edn. Prentice Hall International Series in Computer Science (1994)
Paige, R.F.: A Meta-Method for Formal Method Integration. In: Fitzgerald, J.S., Jones, C.B., Lucas, P. (eds.) FME 1997. LNCS, vol. 1313, Springer, Heidelberg (1997)
Spivey, J.M.: The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science (1989)
Ward, N.: Addings pecification constructors to the refinement calculus. In: Larsen, P.G., Woodcock, J.C.P. (eds.) FME 1993. LNCS, vol. 670, Springer, Heidelberg (1993)
Wordsworth, J.B.: Software Development with Z. Addison-Wesley, Reading (1992)
Zave, P., Jackson, M.: Where do operations come from? An approach to multiparadigm specification. IEEE Transactions on Software Engineering 12(7) (July 1996)
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
Paige, R.F. (1998). Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space. 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_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-49676-2_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65070-6
Online ISBN: 978-3-540-49676-2
eBook Packages: Springer Book Archive