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 Model-Based Framework for Statically and Dynamically Checking Component Interactions

Abstract : Building applications by assembling software components requires analyses of Architecture Description (AD) models for checking that component interactions respect the application and runtime context requirements. Most existing interaction model analyses are static: they do not take into account runtime information, e.g., parameter values. This paper presents a model-based framework that enables architects to both specify component interaction and perform dynamic validation. Our framework analyses AD models to identify partially compatible interactions, which require runtime checking. Then, it instruments the application to reify runtime information for error detection. By using this framework in iterative software design processes, architects can get design feedback, \textit{i.e.}, detected errors, and update the AD models accordingly. Moreover, our solution is generic regarding underlying platforms. This genericity is achieved through the mappings from the generic AD models to platform-specific API calls for constructing the running system.
Document type :
Conference papers
Complete list of metadata

Contributor : Anne-Françoise Le Meur Connect in order to contact the contributor
Submitted on : Tuesday, August 19, 2008 - 11:42:48 AM
Last modification on : Friday, February 4, 2022 - 3:15:38 AM

Links full text




Guillaume Waignier, Sriplakich Prawee, Anne-Françoise Le Meur, Laurence Duchien. A Model-Based Framework for Statically and Dynamically Checking Component Interactions. ACM/IEEE 11th International Conference on Model-Driven Engineering Languages and Systems (MODELS 2008), Sep 2008, Toulouse, France. pp.371-385, ⟨10.1007/978-3-540-87875-9_27⟩. ⟨inria-00311584⟩



Record views