eprintid: 2487
rev_number: 6
eprint_status: archive
userid: 6
dir: disk0/00/00/24/87
datestamp: 2015-01-15 13:01:59
lastmod: 2015-01-15 13:01:59
status_changed: 2015-01-15 13:01:59
type: book_section
metadata_visibility: show
creators_name: Lienhardt, Michael
creators_name: Mezzina, Claudio Antares
creators_name: Schmitt, Alan
creators_name: Stefani, Jean-Bernard
creators_id: 
creators_id: claudio.mezzina@imtlucca.it
creators_id: 
creators_id: 
title: Typing component-based communication systems
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: 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
abstract: 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.
date: 2009
series: Lecture Notes in Computer Science
number: 5522
publisher: Springer
pagerange: 167-181
id_number: 10.1007/978-3-642-02138-1_11
refereed: TRUE
isbn: 978-3-642-02137-4
book_title: Formal Techniques for Distributed Systems
official_url: http://dx.doi.org/10.1007/978-3-642-02138-1_11
citation:   Lienhardt, Michael and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard  Typing component-based communication systems.   In:  Formal Techniques for Distributed Systems.   Lecture Notes in Computer Science  (5522).  Springer, pp. 167-181.  ISBN 978-3-642-02137-4      (2009)