Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Reports, Documentation, and Standards
  4. Towards Flexible Finite-State Machine Based Protocol Composition
 
report

Towards Flexible Finite-State Machine Based Protocol Composition

Ekwall, Richard
•
Mena, Sergio  
•
Pleisch, Stefan
Show more
2004

Group communication provides primitives that ensure reliable and ordered delivery of messages to a group of destinations. It is an important building block for replicated fault-tolerant applications such as replicated databases. In the past, most group communication systems have been monolithic. Recent group communication systems have been built around components, allowing for more flexibility. In this paper, we propose a novel approach to the composition of group communication protocols. In this approach, components are modeled as finite state machines communicating via signals. We introduce two building blocks, called \emph{adaptor} and \emph{adaplexor}, that facilitate 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.

  • Files
  • Details
  • Metrics
Type
report
Author(s)
Ekwall, Richard
Mena, Sergio  
Pleisch, Stefan
Schiper, André  
Date Issued

2004

Subjects

Protocol Composition

•

Finite State Machines

•

SDL

•

Atomic Broadcast

•

Group Communication

Written at

EPFL

EPFL units
LSR-IC  
Available on Infoscience
July 13, 2005
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/214697
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés