Title
|
|
|
|
Transformations debugging transformations
| |
Author
|
|
|
|
| |
Abstract
|
|
|
|
Practical model transformation (MT) frameworks are usually composed of multiple execution contexts, building an overall workflow by abstracting different aspects of execution. This heterogeneity brings additional challenges to debugging, which must address a combination of quite different graphical and textual formalisms. In this work we describe a layered approach to debugging, mapping familiar debugging operations to different formalisms, as well as the transitions between them. Our design allows for seamless debugging through different abstractions, and supports both traditional imperative debugging as well as declarative, query-based approaches. We demonstrate our approach by prototyping a MT debugger in the AToMPM research tool. Our approach shows that it can be applied to other MT tools as well. |
| |
Language
|
|
|
|
English
| |
Publication
|
|
|
|
CEUR-WS
,
2017
| |
Volume/pages
|
|
|
|
2019
(2017)
, p. 449-454
| |
Full text (open access)
|
|
|
|
| |
|