• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

An Extension of Event B for Developing Grid Systems

Pontus Boström, Marina Waldén, An Extension of Event B for Developing Grid Systems. TUCS Technical Reports 632, Turku Centre for Computer Science, 2004.

Abstract:

<p> 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.</p>

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tBoWa04a,
  title = {An Extension of Event B for Developing Grid Systems},
  author = {Boström, Pontus and Waldén, Marina},
  number = {632},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2004},
  keywords = {Grid Systems, Distributed Systems, Event B, Language Extensions, Implementation},
  ISBN = {952-12-1446-5},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication