A Framework for Bridging the Gap Between Design and Runtime Debugging of Component-Based Applications

Abstract : One concern when building application by assembling software components is to validate component interactions, e.g., to ensure that components exchange compatible messages. This validation requires examining data values that are only known at runtime. In current practice, this validation is often performed manually at the code level, i.e., architects need to insert validation code into the application code. This situation makes the interaction validation costly. Moreover, few platforms provide sufficient tools for supporting this validation. As a solution, we propose CALICO, a model-based framework for runtime interaction validation. CALICO enables architects to specify validation concerns in the application model. It automatically propagates this specification to application code so that component interactions in the application can be checked at runtime. Based on the detected errors, CALICO allows architects to revisit the design to fix the detected errors, and then to repeat the runtime validation in an iterative process. This paper focuses on the integration of tools in CALICO, for linking between validation specification at design time and validation realization at runtime. Moreover, we show how to extend CALICO to support multiple platforms with small development effort.
Type de document :
Communication dans un congrès
3rd International Workshop on Models@runtime, Sep 2008, Toulouse, France. 2008
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00321598
Contributeur : Anne-Françoise Le Meur <>
Soumis le : mercredi 10 juin 2009 - 15:39:03
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13
Document(s) archivé(s) le : lundi 8 octobre 2012 - 13:10:15

Fichier

MRT08_manuscript10.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00321598, version 1

Collections

Citation

Guillaume Waignier, Sriplakich Prawee, Anne-Françoise Le Meur, Laurence Duchien. A Framework for Bridging the Gap Between Design and Runtime Debugging of Component-Based Applications. 3rd International Workshop on Models@runtime, Sep 2008, Toulouse, France. 2008. 〈inria-00321598〉

Partager

Métriques

Consultations de la notice

251

Téléchargements de fichiers

146