Title :
Towards flexible finite-state-machine-based protocol composition
Author :
Ekwall, Richard ; Mena, Sergio ; Pleisch, Stefan ; Schiper, André
Author_Institution :
Ecole Polytechnique Federate de Lausanne, Switzerland
Abstract :
We propose a novel approach to the composition of group communication protocols. In this approach, components are modelled as finite state machines communicating via signals. We introduce two building blocks, called adaptor and adaplexor, that ease the development and the composition of group communication protocol stacks, and we discuss how isolation can be achieved in this setting. To validate our architectural concepts, we have implemented the proposed group communication architecture in SDL.
Keywords :
access protocols; finite state machines; signal processing; specification languages; SDL; flexible finite state machine; group communication protocols; protocol composition; protocol stack; Automata; Computer applications; Computer languages; Computer networks; Contracts; Fault tolerance; Isolators; Java; Protocols; Prototypes;
Conference_Titel :
Network Computing and Applications, 2004. (NCA 2004). Proceedings. Third IEEE International Symposium on
Print_ISBN :
0-7695-2242-4
DOI :
10.1109/NCA.2004.1347787
