Abstract
The Event Calculus is a model of communicating state machines which is defined in Z. The machines have a number of behavioural states, which can be represented in diagrammatic form, and have data states which can be described with Z data base schemas. Machines change state on the occurrence of an “event”. A diagrammatic notation is used in which each transition may be labelled with an event together with a Z operation schema which describes any change in the machines data state. Communication between machines is modelled by means of shared events, associated with a simultaneous change of state of two or more machines. In this paper the key concepts of the calculus are introduced through tutorial examples based on vending machines. This is followed by a case study of a distributed seat booking system.
Preview
Unable to display preview. Download preview PDF.
References
S E Dunne and R Hodgson. Process, data and behaviour. Information and Software Technology, Vol 32, no 8, 1990.
Andy Galloway. Integrated Formal Methods. PhD thesis, University of Teesside, School of Computing and Mathematics, 1996.
ISO. IS8807: Information Processing Systems — Open System Interconnection — LOTOS. Technical report, International Standards Organisation, Geneva, Switzerland, 1988.
R. Milne. RAISE technical reports REM/11 and REM/12. Technical report, STC Technology, 1990.
Bill Stoddart and Peter Knaggs. The Event Calculus, (formal specification of real time systems by means of Z and diagrams). In H Habrias, editor, 5th International Conference on putting into practice methods and tools for information system design. University of Nantes, 1992.
W J Stoddart. The Event Calculus, vsn 2. Technical Report SCM-95-1, University of Teesside, UK, 1995.
W J Stoddart. The Event Calculus, vsn 3. Technical Report SCM-96-1, University of Teesside, UK, 1996.
W J Stoddart. The Event Calculus. In Micheal G Hinchey and C Neville Dean, editors, A Handbook of Z. Academic Press International Series in Formal Methods, to appear.
W J Stoddart, S E Dunne, and P C Fencott. Modelling Hybrid Systems in Z. In H Habrias, editor, Z Twenty Years on: What is its Future. Univ Nantes, France, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stoddart, B. (1997). An introduction to the event calculus. In: Bowen, J.P., Hinchey, M.G., Till, D. (eds) ZUM '97: The Z Formal Specification Notation. ZUM 1997. Lecture Notes in Computer Science, vol 1212. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027281
Download citation
DOI: https://doi.org/10.1007/BFb0027281
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62717-3
Online ISBN: 978-3-540-68490-9
eBook Packages: Springer Book Archive