Using Trace to Situate Errors in Model Transformations

Abstract : Model Driven Engineering (MDE) promotes models as main artifacts in software development process. Each model represents a viewpoint of a system. MDE aims to automatically generate code from an abstract model, using various intermediary models. Such a generation relies on successive model transformations shifting a source model to a target one. The resulting transformation sequence corresponds to the skeleton of an MDE based approach, similarly to compiler in traditional ones. Transformations are used many times in order to justify their development effort. If their are faulty, they can largely spread errors to models. Thus, it is indispensable to test them and possibly debug them. In this paper, we propose an error localization algorithm based on a traceability mechanism in order to ease the transformations debugging. We illustrate this approach in the context of embedded system development.
Type de document :
Chapitre d'ouvrage
Cordeiro, José and Ranchordas, AlpeshKumar and Shishkov, Boris. Software and Data Technologies, 50, Springer Berlin Heidelberg, 2011, Communications in Computer and Information Science, 978-3-642-20116-5. 〈10.1007/978-3-642-20116-5_11〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00589253
Contributeur : Mister Dart <>
Soumis le : jeudi 28 avril 2011 - 12:12:11
Dernière modification le : lundi 27 août 2018 - 11:18:04

Identifiants

Citation

Vincent Aranega, Jean-Marie Mottu, Anne Etien, Jean-Luc Dekeyser. Using Trace to Situate Errors in Model Transformations. Cordeiro, José and Ranchordas, AlpeshKumar and Shishkov, Boris. Software and Data Technologies, 50, Springer Berlin Heidelberg, 2011, Communications in Computer and Information Science, 978-3-642-20116-5. 〈10.1007/978-3-642-20116-5_11〉. 〈inria-00589253〉

Partager

Métriques

Consultations de la notice

182