Abstract
This paper studies the semantics of protocol modules composition and interaction in configurable communication systems. We present a semantic model describingCactus and Appia — two frameworks that are used for implementingmo dular 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 programmingin terface provided by the frameworks; we developed an operational semantics describingthe behaviour of the operations through state transitions, makingexplicit interactions between modules. Developingthe model and a small example implementinga configurable multicast helped us to better understand the design choices in these frameworks. The work reported in this paper is our first step towards reasoningab out systems composed from collections of modules.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Mark Hayden. The Ensemble system. Technical Report TR98-1662, Department of Computer Science, Cornell University, January 1998.
Matti A. Hiltunen. Configuration management for highly-customizable software. IEE Proceedings: Software, 145(5):180–188, October 1998.
Norman C. Hutchinson and Larry L. Peterson. The x-kernel: An architecture for implementingnet work protocols. IEEE Transactions on Software Engineering, 17(1):64–76, January 1991.
Hugo Miranda, Alexandre Pinto, and Luís Rodrigues. Appia, a flexible protocol kernel supportingm ultiple coordinated channels. In ICDCS’01, 2001.
Andrei Serjantov, Peter Sewell, and Keith Wansbrough. The UDP calculus: Rigorous semantics for real networking. In TACS’01 (Sendai), October 2001.
Peter Sewell, Pawe Dl T. Wojciechowski, and Benjamin C. Pierce. Locationindependent communication for mobile agents: A two-level architecture. In Internet Programming Languages, LNCS 1686, pages 1–31, 1999.
Purnendu Sinha and Neeraj Suri. On simplifyingmo dular specification and verification of distributed protocols. In HASE’01, October 2001.
Pawe Dl T. Wojciechowski, Sergio Mena, and André Schiper. Semantics of protocol modules composition and interaction. Technical report, School of Computer and Communication Sciences, EPFL, February 2002.
Pawe Dl T. Wojciechowski and Peter Sewell. Nomadic Pict: Language and infrastructure design for mobile agents. IEEE Concurrency, 8(2):42–52, April-June 2000.
Gary T. Wong, Matti A. Hiltunen, and Richard D. Schlichting. A configurable and extensible transport protocol. In INFOCOM’01, April 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wojciechowski, P.T., Mena, S., Schiper, A. (2002). Semantics of Protocol Modules Composition and Interaction. In: Arbab, F., Talcott, C. (eds) Coordination Models and Languages. COORDINATION 2002. Lecture Notes in Computer Science, vol 2315. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46000-4_35
Download citation
DOI: https://doi.org/10.1007/3-540-46000-4_35
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43410-8
Online ISBN: 978-3-540-46000-8
eBook Packages: Springer Book Archive