An Introduction to the Event Calculus
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
An Approach to the Design of Distributed Systems with B AMN
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Reconciling Axiomatic and Model-Based Specifications Using the B Method
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Introducing Dynamic Constraints in B
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
Abstract State Machines: Designing Distributed Systems with State Machines and B
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
csp2B: A Practical Approach to Combining CSP and B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Modelling and proof analysis of interrupt driven scheduling
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Hi-index | 0.00 |
We present a case study of a simple railway system to investigate and compare two ways of modelling a system in "event driven B". We are interested in the specification of a system as a global model as well as the formulation of a distributed state machine model where individual components exchange information by means of shared events. In this paper we investigate the issues of "parameter hiding" and "scaling" as well as the parameterisation of events of the communicating components of such systems. We use two methods for expressing a class of components; we either create indexed B machines that can be instantiated or we represent the state of all components within a given class by means of a function.