HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 metadata

Cited literature [11 references]  Display  Hide  Download

Contributor : Anne-Françoise Le Meur Connect in order to contact the contributor
Submitted on : Wednesday, June 10, 2009 - 3:39:03 PM
Last modification on : Friday, February 4, 2022 - 3:19:02 AM
Long-term archiving on: : Monday, October 8, 2012 - 1:10:15 PM


Files produced by the author(s)


  • HAL Id : inria-00321598, version 1



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⟩



Record views


Files downloads