TY  - CHAP
EP  - 181
T2  - Formal Techniques for Distributed Systems
N1  - Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
ID  - eprints2487
UR  - http://dx.doi.org/10.1007/978-3-642-02138-1_11
AV  - none
TI  - Typing component-based communication systems
Y1  - 2009///
T3  - Lecture Notes in Computer Science
N2  - Building complex component-based software systems, for instance communication systems based on the Click, Coyote, Appia, or Dream frameworks, can lead to subtle assemblage errors. We present a novel type system and type inference algorithm that prevent interconnection and message-handling errors when assembling component-based communication systems. These errors are typically not captured by classical type systems of host programming languages such as Java or ML. We have implemented our approach by extending the architecture description language (ADL) toolset used by the Dream framework, and used it to check Dream-based communication systems.
SP  - 167
A1  - Lienhardt, Michael
A1  - Mezzina, Claudio Antares
A1  - Schmitt, Alan
A1  - Stefani, Jean-Bernard
PB  - Springer
SN  - 978-3-642-02137-4
ER  -