Service interface: a new abstraction for implementing and composing protocols

In this paper we compare two approaches to the design of protocol frameworks -- tools for implementing modular network protocols. The most common approach uses events as the main abstraction for a local interaction between protocol modules. We argue that an alternative approach, that is based on service abstraction, is more suitable for expressing modular protocols. It also facilitates advanced features in the design of protocols, such as dynamic update of distributed protocols. We then describe an experimental implementation of a service-based protocol framework in Java.

[1]  Francisco Vilar Brasileiro,et al.  EVA: an event-based framework for developing specialised communication protocols , 2001, Proceedings IEEE International Symposium on Network Computing and Applications. NCA 2001.

[2]  Luís E. T. Rodrigues,et al.  Appia, a flexible protocol kernel supporting multiple coordinated channels , 2001, Proceedings 21st International Conference on Distributed Computing Systems.

[3]  Sergio Mena,et al.  Protocol Composition Frameworks A Header-Driven Model , 2005, Fourth IEEE International Symposium on Network Computing and Applications.

[4]  Seyed Masoud Sadjadi,et al.  Composing adaptive software , 2004, Computer.

[5]  André Schiper,et al.  Dynamic Update of Distributed Agreement Protocols , 2005 .

[6]  André Schiper,et al.  Towards flexible finite-state-machine-based protocol composition , 2004, Third IEEE International Symposium on Network Computing and Applications, 2004. (NCA 2004). Proceedings..

[7]  Sam Toueg,et al.  The weakest failure detector for solving consensus , 1992, PODC '92.

[8]  Sam Toueg,et al.  Unreliable failure detectors for reliable distributed systems , 1996, JACM.

[9]  Matti A. Hiltunen,et al.  Constructing adaptive software in distributed systems , 2001, Proceedings 21st International Conference on Distributed Computing Systems.

[10]  Péter Urbán,et al.  Neko: a single environment to simulate and prototype distributed algorithms , 2001, Proceedings 15th International Conference on Information Networking.

[11]  André Schiper,et al.  A Step Towards a New Generation of Group Communication Systems , 2003, Middleware.

[12]  Danny Dolev,et al.  The architecture and performance of security protocols in the ensemble group communication system , 2000, ACM Trans. Inf. Syst. Secur..

[13]  Sam Toueg,et al.  The weakest failure detector for solving consensus , 1996, JACM.

[14]  André Schiper.  Dynamic group communication , 2005, Distributed Computing.

[15]  Matti A. Hiltunen,et al.  Coyote: a system for constructing fine-grain configurable communication services , 1998, TOCS.

[16]  Pawel T. Wojciechowski,et al.  On Correctness of Dynamic Protocol Update , 2005, FMOODS.