Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/inria-00321598
Contributor : Anne-Françoise Le Meur <>
Submitted on : Wednesday, June 10, 2009 - 3:39:03 PM
Last modification on : Saturday, December 12, 2020 - 6:08:02 PM
Long-term archiving on: : Monday, October 8, 2012 - 1:10:15 PM

File

MRT08_manuscript10.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨inria-00321598⟩

Share

Metrics

Record views

315

Files downloads

185