A Model-Based Framework for Statically and Dynamically Checking Component Interactions - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

A Model-Based Framework for Statically and Dynamically Checking Component Interactions

Résumé

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 et versions

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

Identifiants

Citer

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⟩
120 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More