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.
Similar content being viewed by others
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)