Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy

Angelika Kusel; Wieland Schwinger; Manuel Wimmer; Werner Retschitzegger

doi:10.1109/ICECCS.2009.24

Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Abstract

OMGs Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role, since it allows for the specification of model transformations. Nevertheless, until now, QVT-tool support in general and debugging support in particular in the context of MDA are rather limited, supposable being a reason, that the adoption of QVT in practice has not yet been achieved. We therefore propose graphical debugging for the QVT Relations language based on TROPIC - a model transformation approach on the basis of Coloured Petri Nets. By enabling debugging on the TROPIC level, one gains several advantages when developing transformations. Firstly, debugging can take place at a high level of abstraction. Secondly, it serves for explicating the operational semantics of a transformation. Thirdly, it provides a homogenous representation of all transformation artifacts. As a first step towards QVT debugging, this paper aims at a deeper understanding of the operational semantics of QVT, classifying common pitfalls by using QVT and discussing how they may be identified at the TROPIC level.

Original language	English
Title of host publication	Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009)
Pages	329-334
Number of pages	6
DOIs	https://doi.org/10.1109/ICECCS.2009.24
Publication status	Published - 2009

Publication series

Name	Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
ISSN (Print)	2770-8527
ISSN (Electronic)	2770-8535

Fields of science

101004 Biomathematics
101027 Dynamical systems
101028 Mathematical modelling
101029 Mathematical statistics
101014 Numerical mathematics
101015 Operations research
101016 Optimisation
101017 Game theory
101018 Statistics
101019 Stochastics
101024 Probability theory
101026 Time series analysis
102 Computer Sciences
102001 Artificial intelligence
102003 Image processing
102004 Bioinformatics
102013 Human-computer interaction
102018 Artificial neural networks
102019 Machine learning
103029 Statistical physics
106005 Bioinformatics
106007 Biostatistics
202017 Embedded systems
202035 Robotics
202036 Sensor systems
202037 Signal processing
305901 Computer-aided diagnosis and therapy
305905 Medical informatics
305907 Medical statistics
102032 Computational intelligence
102033 Data mining
101031 Approximation theory
102002 Augmented reality
102006 Computer supported cooperative work (CSCW)
102015 Information systems
102021 Pervasive computing
102025 Distributed systems
102027 Web engineering
202038 Telecommunications

Access to Document

10.1109/ICECCS.2009.24

Cite this

Kusel, A., Schwinger, W., Wimmer, M., & Retschitzegger, W. (2009). Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy. In Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009) (pp. 329-334). Article 5090543 (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS). https://doi.org/10.1109/ICECCS.2009.24

@inproceedings{4d6085d1c2b84d3e82e97f01a7f1b980,

title = "Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy",

abstract = "OMGs Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role, since it allows for the specification of model transformations. Nevertheless, until now, QVT-tool support in general and debugging support in particular in the context of MDA are rather limited, supposable being a reason, that the adoption of QVT in practice has not yet been achieved. We therefore propose graphical debugging for the QVT Relations language based on TROPIC - a model transformation approach on the basis of Coloured Petri Nets. By enabling debugging on the TROPIC level, one gains several advantages when developing transformations. Firstly, debugging can take place at a high level of abstraction. Secondly, it serves for explicating the operational semantics of a transformation. Thirdly, it provides a homogenous representation of all transformation artifacts. As a first step towards QVT debugging, this paper aims at a deeper understanding of the operational semantics of QVT, classifying common pitfalls by using QVT and discussing how they may be identified at the TROPIC level.",

author = "Angelika Kusel and Wieland Schwinger and Manuel Wimmer and Werner Retschitzegger",

year = "2009",

doi = "10.1109/ICECCS.2009.24",

language = "English",

isbn = "978-0-7695-3702-3",

series = "Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS",

pages = "329--334",

booktitle = "Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009)",

}

Kusel, A, Schwinger, W , Wimmer, M & Retschitzegger, W 2009, Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy. in Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009)., 5090543, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, pp. 329-334. https://doi.org/10.1109/ICECCS.2009.24

Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy. / Kusel, Angelika; Schwinger, Wieland ; Wimmer, Manuel et al.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009). 2009. p. 329-334 5090543 (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy

AU - Kusel, Angelika

AU - Schwinger, Wieland

AU - Wimmer, Manuel

AU - Retschitzegger, Werner

PY - 2009

Y1 - 2009

N2 - OMGs Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role, since it allows for the specification of model transformations. Nevertheless, until now, QVT-tool support in general and debugging support in particular in the context of MDA are rather limited, supposable being a reason, that the adoption of QVT in practice has not yet been achieved. We therefore propose graphical debugging for the QVT Relations language based on TROPIC - a model transformation approach on the basis of Coloured Petri Nets. By enabling debugging on the TROPIC level, one gains several advantages when developing transformations. Firstly, debugging can take place at a high level of abstraction. Secondly, it serves for explicating the operational semantics of a transformation. Thirdly, it provides a homogenous representation of all transformation artifacts. As a first step towards QVT debugging, this paper aims at a deeper understanding of the operational semantics of QVT, classifying common pitfalls by using QVT and discussing how they may be identified at the TROPIC level.

AB - OMGs Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role, since it allows for the specification of model transformations. Nevertheless, until now, QVT-tool support in general and debugging support in particular in the context of MDA are rather limited, supposable being a reason, that the adoption of QVT in practice has not yet been achieved. We therefore propose graphical debugging for the QVT Relations language based on TROPIC - a model transformation approach on the basis of Coloured Petri Nets. By enabling debugging on the TROPIC level, one gains several advantages when developing transformations. Firstly, debugging can take place at a high level of abstraction. Secondly, it serves for explicating the operational semantics of a transformation. Thirdly, it provides a homogenous representation of all transformation artifacts. As a first step towards QVT debugging, this paper aims at a deeper understanding of the operational semantics of QVT, classifying common pitfalls by using QVT and discussing how they may be identified at the TROPIC level.

UR - http://www.bioinf.jku.at/publications/ifs/2009.html

U2 - 10.1109/ICECCS.2009.24

DO - 10.1109/ICECCS.2009.24

M3 - Conference proceedings

SN - 978-0-7695-3702-3

T3 - Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

SP - 329

EP - 334

BT - Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009)

ER -

Kusel A, Schwinger W , Wimmer M , Retschitzegger W. Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy. In Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009). 2009. p. 329-334. 5090543. (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS). doi: 10.1109/ICECCS.2009.24

Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy

Abstract

Publication series

Fields of science

Access to Document

Other files and links

Cite this