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

Extensions of Event Based B for Development of Grid Systems

Pontus Boström, Marina Waldén, Extensions of Event Based B for Development of Grid Systems . In: Proceedings of the 16th Nordic Workshop on Programming Theory, 110-112, Uppsala University, 2004.

Abstract:

Computational grids have become widespread in organizations for handling
their vast amount of available information and need for computational
resources. These grid systems are often complex and special care need to be
taken in order to ensure their correctness. We propose an extension of
Event based B, in order to enable their formal implementation. The
extensions provide new constructs to take into account the client-server
architecture of grid systems, as well as important features like
communication and synchronisation.

Files:

Abstract in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpBoWa04a,
  title = {Extensions of Event Based B for Development of Grid Systems },
  booktitle = {Proceedings of the 16th Nordic Workshop on Programming Theory},
  author = {Boström, Pontus and Waldén, Marina},
  publisher = {Uppsala University},
  pages = {110-112},
  year = {2004},
}

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

Edit publication