Skip to Main content Skip to Navigation

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 metadatas

https://hal.inria.fr/inria-00589253
Contributor : Mister Dart <>
Submitted on : Thursday, April 28, 2011 - 12:12:11 PM
Last modification on : Thursday, February 21, 2019 - 10:52:49 AM

Identifiers

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⟩

Share

Metrics

Record views

253