Abstract
Animation of a formal specification involves its execution and this paper is concerned with Z specifications and their correct animation. Since Z is based on typed set theory the logic programming language Gödel [2] was chosen as the execution language. Abstract Approximation was suggested in [1] to provide a formal framework and some proof rules for the correct animation of Z. We describe here how the correctness criteria are applied to our method of structure simulation [3].
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
References
Breuer, P.T., Bowen, J.: Towards Correct Executable Semantics for Z. In: Z User Workshop, Cambridge, June 1994, pp. 185–209. Springer, Heidelberg (1994)
Hill, P.M., Lloyd, J.W.: The Gödel Programming Language. MIT Press (1994)
West, M.M.: Types and Sets in Gödel and Z. In: Bowen, J.P., Hinchey, M.G. (eds.) ZUM 1995. LNCS, vol. 967, pp. 389–407. Springer, Heidelberg (1995)
West, M.M.: Report: Correctness criteria for the animation of Z specifications via a logic programming language. Technical report, University of Huddersfield (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
West, M.M. (2007). The Use of a Logic Programming Language in the Animation of Z Specifications. In: Dahl, V., Niemelä, I. (eds) Logic Programming. ICLP 2007. Lecture Notes in Computer Science, vol 4670. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74610-2_41
Download citation
DOI: https://doi.org/10.1007/978-3-540-74610-2_41
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74608-9
Online ISBN: 978-3-540-74610-2
eBook Packages: Computer ScienceComputer Science (R0)