Protocol Composition Frameworks A Header-Driven Model

Protocol composition frameworks provide off-the-shelf composable protocols to simplify the development of custom protocol stacks. All recent protocol frameworks use a general-purpose event-driven model to manage the interactions between protocols. In complex compositions, where protocols offer their service to more than one other protocol, the one-to-many interaction scheme of the event-driven model introduces composition problems by mixing up the targets to which data (list of headers) should be delivered. To solve these problems, we propose to shift the driving force behind interactions from the events to the headers they carry. We show that the resulting domain-specific header-driven model solves the composition problems, provides statically typed header handling and enhances protocol readability

[1]  Mark Garland Hayden,et al.  The Ensemble System , 1998 .

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

[3]  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..

[4]  David B. MacQueen Modules for standard ML , 1984, LFP '84.

[5]  Christopher G. Lasater,et al.  Design Patterns , 2008, Wiley Encyclopedia of Computer Science and Engineering.

[6]  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.

[7]  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.

[8]  Matti A. Hiltunen,et al.  A Configurable Membership Service , 1998, IEEE Trans. Computers.

[9]  Larry L. Peterson,et al.  The x-Kernel: An Architecture for Implementing Network Protocols , 1991, IEEE Trans. Software Eng..

[10]  Rui Oliveira,et al.  Object-oriented open implementation of reliable communication protocols , 1997, OOPSLA 1997.

[11]  Robin Milner,et al.  Definition of standard ML , 1990 .

[12]  André Schiper,et al.  Appia vs. Cactus: comparing protocol composition frameworks , 2003, 22nd International Symposium on Reliable Distributed Systems, 2003. Proceedings..