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. Conferences, Workshops, Symposiums, and Seminars
  4. Semantics of Protocol Modules Composition and Interaction
 
conference paper

Semantics of Protocol Modules Composition and Interaction

Wojciechowski, P.
•
Mena, S.
•
Schiper, A.  
2002
Coordination Models and Languages. COORDINATION 2002
5th International Conference, COORDINATION 2002

This paper studies the semantics of protocol modules composition and interaction in configurable communication systems. We present a semantic model describing Cactus and Appia -- two frameworks that are used for implementing modular systems. The model covers protocol graph, session and channel creation, and inter-module communication of events and messages. To build the model, we defined a source-code-validated specification of a large fragment of the programming interface provided by the frameworks; we developed an operational semantics describing the behaviour of the operations through state transitions, making explicit interactions between modules. Developing the model and a small example implementing a configurable multicast helped us to better understand the design choices in these frameworks. The work reported in this paper is our first step towards reasoning about systems composed from collections of modules.

  • Files
  • Details
  • Metrics
Type
conference paper
DOI
10.1007/3-540-46000-4_35
Author(s)
Wojciechowski, P.
Mena, S.
Schiper, A.  
Date Issued

2002

Publisher

Springer

Published in
Coordination Models and Languages. COORDINATION 2002
Series title/Series vol.

Lecture Notes in Computer Science; 2315

Start page

389

End page

404

Written at

EPFL

EPFL units
LSR-IC  
Event nameEvent placeEvent date
5th International Conference, COORDINATION 2002

York, UK

April 8–11, 2002

Available on Infoscience
May 20, 2005
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/213695
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