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 metadatas
Contributor : Anne-Françoise Le Meur <>
Submitted on : Tuesday, August 19, 2008 - 11:42:48 AM
Last modification on : Saturday, December 12, 2020 - 6:08:04 PM

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