Skip to Main content Skip to Navigation
New interface
Book sections

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.
Document type :
Book sections
Complete list of metadata
Contributor : Mister Dart Connect in order to contact the contributor
Submitted on : Thursday, April 28, 2011 - 12:12:11 PM
Last modification on : Wednesday, April 27, 2022 - 3:49:16 AM



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⟩



Record views