A Model-Based Framework for Statically and Dynamically Checking Component Interactions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2008

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.

Dates and versions

inria-00311584 , version 1 (19-08-2008)

Identifiers

Cite

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⟩
118 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More