Typing Component-Based Communication Systems

Michaël Lienhardt 1 Claudio Mezzina 1 Alan Schmitt 1 Jean-Bernard Stefani 1
1 SARDES - System architecture for reflective distributed computing environments
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
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.
Type de document :
Communication dans un congrès
11th Formal Methods for Open Object-Based Distributed Systems (FMOODS) & 29th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2009, Lisbonne, Portugal. Springer-Verlag, 5522, pp.167--181, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-02138-1_11〉
Liste complète des métadonnées

Littérature citée [37 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00488856
Contributeur : Alan Schmitt <>
Soumis le : jeudi 3 juin 2010 - 11:02:36
Dernière modification le : jeudi 11 octobre 2018 - 08:48:03
Document(s) archivé(s) le : vendredi 19 octobre 2012 - 15:31:34

Fichier

Lienhardt2009Typing-Component-...
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Michaël Lienhardt, Claudio Mezzina, Alan Schmitt, Jean-Bernard Stefani. Typing Component-Based Communication Systems. 11th Formal Methods for Open Object-Based Distributed Systems (FMOODS) & 29th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2009, Lisbonne, Portugal. Springer-Verlag, 5522, pp.167--181, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-02138-1_11〉. 〈inria-00488856〉

Partager

Métriques

Consultations de la notice

447

Téléchargements de fichiers

617