Modeling Distributed Algorithm Using B

Although there have been several attempts to create grid systems, there is no clear definition for grids. In this paper, a formal approach is presented for defining elementary functionalities of distributed systems. We shall illustrate the use of a certain formal technical for developing distributed algorithms.This technique uses a so-called “event driven” approach together with the B-Method .The resulting general machines for distributed system can serve as a framework for defining new systems or analyzing existing ones.

• Type: Conference
• Year: 2003
• Where: GCC
• Authors: Shengrong Zou
• Keywords: Distributed System, Formal Approach, GCC 2003, Grid Systems