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)
Full text not available from this repository.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.
| Item Type: | Book Section |
|---|---|
| Identification Number: | 10.1007/978-3-642-02138-1_11 |
| Additional Information: | 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 |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Ms T. Iannizzi |
| Date Deposited: | 15 Jan 2015 13:01 |
| Last Modified: | 15 Jan 2015 13:01 |
| URI: | http://eprints.imtlucca.it/id/eprint/2487 |
Actions (login required)
 |
Edit Item |
