Using Trace to Situate Errors in Model Transformations - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2011

Using Trace to Situate Errors in Model Transformations


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.
No file

Dates and versions

inria-00589253 , version 1 (28-04-2011)



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



Gmail Facebook X LinkedIn More