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.
Type de document :
Communication dans un congrès
ACM/IEEE 11th International Conference on Model-Driven Engineering Languages and Systems (MODELS 2008), Sep 2008, Toulouse, France. 5301, pp.371-385, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-87875-9_27〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00311584
Contributeur : Anne-Françoise Le Meur <>
Soumis le : mardi 19 août 2008 - 11:42:48
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13

Identifiants

Collections

Citation

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. 5301, pp.371-385, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-87875-9_27〉. 〈inria-00311584〉

Partager

Métriques

Consultations de la notice

217