Login
Modeling protocols as objects for structuring reliable distributed systems

Benoit Garbinato, Pascal Felber & Rachid Guerraoui

Résumé When building distributed applications, one has to deal with many complex issues, some of which can be modeled as interacting distributed protocols. Modern operating systems already over communication facilities such as sockets or RPC-like abstractions, but they have proven to be too low-level or limited in scope. Furthermore, they lack the ability to seamlessly cope with failures. In this paper we claim that modeling protocols as reusable objects is a good way of structuring distributed systems, since robust protocol implementations and well-tested code reuse are key features in this context. We show how protocol objects can help to build new distributed protocols by composing existing ones, and that they add flexibility to distributed systems. We also give an overview of the design and implementation of BAST, our extensible library of protocol objects.
   
Mots-clés distributed systems, protocol modeling, fault-tolerance, software, engineering
   
Citation B. Garbinato, et al., "Modeling protocols as objects for structuring reliable distributed systems," in 1997 Western MultiConference on Communication Networks and Distributed Systems Modeling and Simulation (CNDS 97), Phoenix, Az, 1997, p. 165-171.
   
Type Actes de congrès (Anglais)
Editeur L Ni, T F Znati
Nom de la conférence 1997 Western MultiConference on Communication Networks and Distributed Systems Modeling and Simulation (CNDS 97) (Phoenix, Az)
Date de la conférence 1997
Editeur commercial Soc Computer Simulation
Pages 165-171