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
Loading...
Thumbnail Image
Name

IC_TECH_REPORT_200463.pdf

Access type

openaccess

Size

110.69 KB

Format

Adobe PDF

Checksum (MD5)

aa5fb6639230f151408cc80ad3e216de

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