An extension of Event B for developing grid system

Marina Walden, Pontus Boström

Research output: Book/Journal/ReportCommissioned reportProfessional

20 Downloads (Pure)


Computational grids have become widespread in organizations for handling their need for computational resources and the vast amount of available information. These grid systems as other distributed systems are often complex and formal reasoning about them is needed, in order to ensure their correctness and to structure their development. Event B is a formal method with tool support that is meant for stepwise development of distributed systems. To facilitate the implementation of grid systems we here propose extensions to Event B that take grid specific features into account. We add new constructs to model the client-server architecture of grid systems, as well as important features like communication and synchronisation. We introduce the extensions in such a manner that the necessary proof obligations are automatically generated and the system can be directly implemented.
Original languageEnglish
PublisherTurku Center for Computer Science (TUCS)
ISBN (Print)952-12-1445-5
Publication statusPublished - 2004
MoE publication typeD4 Published development or research report or study

Publication series

NameTUCS Technical Reports


  • Grid Systems
  • Distributed Systems
  • Event B
  • Language Extensions
  • Implementation


Dive into the research topics of 'An extension of Event B for developing grid system'. Together they form a unique fingerprint.

Cite this