Abstract
The formalism referred to here as the “Event Calculus” is based on state machines which communicate via synchronised events. We develop a theory of processes which express the behaviour of Event Calculus models, and use this as a basis for defining the refinement of such models. Some discussion of our approach to abstraction and system design is given to motivate the decisions taken in defining the formalisms. The theory of processes developed is expressed in the Z notation, as is the Event Calculus itself.
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
Preview
Unable to display preview. Download preview PDF.
References
J R Abrial. Extending B without Changing it (for Developing Distributed Systems). In H Habrias, editor, The First B Conference, ISBN: 2–906082-25–2, 1996.
Jean-Raymond Abrial. The B Book. Cambridge University Press, 1996.
R Banach. Retrenchment. In Bowen J and Bert D, editors, B98: Recent Developments in the Use of the B Method.,number 1393 in Lecture Notes in Computer Science, 1998.
M J Butler. An approach to the design of distributed systems with B AMN. In J P Bowen, M J Hinchey, and Till D, editors, ZUM ’97: The Z Formal Specification Notation, number 1212 in Lecture Notes in Computer Science, 1997.
J Derrick, E Boiten, H Bowman, and S Steen. Weak Refinement in Z. In J P Bowen, M J Hinchey, and Till D, editors, ZUM ’97: The Z Formal Specification Notation, number 1212 in Lecture Notes in Computer Science, 1997.
A E Evans. An Improved Recipe for Specifying Reactive Systems in Z. In J P Bowen, M J Hinchey, and Till D, editors, ZUM ’97: The Z Formal Specification Notation, number 1212 in Lecture Notes in Computer Science, 1997.
P C Fencott. Formal Methods for Concurrency. Chapman Hall, 1995.
C Fischer. How to Combine Z with a Process Algebra. In J P Bowen, M J Hinchey, and A Flett, editors, ZUM 98: The Z Formal Specification Notation, Lecture Notes in Computer Science, no 1493, 1998.
A J Galloway and W J Stoddart. An Operational Semantics for ZCCS. In M J Hinchey, editor, Proc of ICEEM. IEEE Press, 1997.
H Habrias, editor. Z Twenty Years On, What is its Future? IRIN, University de Nantes, France, 1995. Proceedings of the 7th International Conference on Putting into Practice Methods and Tools for Information System Design, ISBN 2–906082- 19–8.
John Nicholls, editor. Z Base Standard, Version 1.2. Oxford University Computing Laboratory PRG, 11 Keble Rd, Oxford OX1 3QD, 1995.
AW Roscoe. The Theory and Practice of Concurrency. Prentics Hall, 1998.
J M Spivey. The Z Notation, a Reference Manual, Second Edition. Prentice Hall International, 1992.
W J Stoddaxt. An Event Calculus Model of the Forth Programming System. In Proc EuroForth, St Petersburg Institute of Automation, 1996.
W J Stoddart. The Event Calculus, extensions for modelling hybrid systems. Technical Report tees-scm-2-96, University of Teesside, UK, 1996.
W J Stoddart. An Introduction to the Event Calculus. In J P Bowen, M J Hinchey, and Till D, editors, ZUM’97: The Z Formal Specification Notation, number 1212 in Lecture Notes in Computer Science, 1997.
W J Stoddart. An Event Calculus Treatment of the Invoicing of Orders. In Habrias H and Galloway A J, editors, International Workshop on Comparing System Specification Techniques. IRIN, ISBN 2–906082-29–5, 1998.
W J Stoddart. The Specification and Refinement of an Environmental Model. In J P Bowen, M J Hinchey, and A Flett, editors, ZUM 98: The Z Formal Specification Notation, Lecture Notes in Computer Science, no 1493, 1998.
W J Stoddart, S E Dunne, Galloway A J, and Shore R. Abstract State Machines: Designing Distributed Systems with State Machines and B. In Bowen J and Bert D, editors, B98: Recent Developments in the Use of the B Method., number 1393 in Lecture Notes in Computer Science, 1998.
W J Stoddart, P C Fencott, and S E Dunne. Modelling Hybrid Systems in Z. 1995. In [10].
W J Stoddart and P K 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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag London Limited
About this paper
Cite this paper
Stoddart, B., Dunne, S. (1999). The Refinement of Event Calculus Models. In: Araki, K., Galloway, A., Taguchi, K. (eds) IFM’99. Springer, London. https://doi.org/10.1007/978-1-4471-0851-1_9
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0851-1_9
Publisher Name: Springer, London
Print ISBN: 978-1-85233-107-8
Online ISBN: 978-1-4471-0851-1
eBook Packages: Springer Book Archive