Graphical Debugging of QVT Relations using Transformation Nets

Inhaltsverzeichnis (Table of Contents)

• Abstract
• 1 Einleitung
• 2 Verwandte Arbeiten
• 3 Model-Driven Engineering
• 3.1 Modellierungssprachen
• 3.2 Metamodelle und Meta-Metamodelle
• 3.3 Modeltransformationen
• 3.4 QVT Relations (QVT-R)
• 3.4.1 Modellierungselemente in QVT-R
• 3.4.2 QVT-R Transformationen
• 3.4.3 Transformation von Modellen
• 4 Transformation Nets (TROPIC)
• 4.1 Farb-Petri-Netze
• 4.2 Transformationen auf Farb-Petri-Netzen
• 4.3 Modellierung von QVT-R als Transformation Nets
• 5 Implementierung
• 5.1 Visualisierung
• 5.2 Prototyp
• 6 Diskussion und Ausblick
• 7 Zusammenfassung
• Literatur

Zielsetzung und Themenschwerpunkte (Objectives and Key Themes)

This master thesis aims to address the lack of debugging facilities for the QVT Relations (QVT-R) model transformation language by visualizing QVT-R as Transformation Nets, using the TROPIC framework based on Colored Petri Nets (CPN). This approach provides an explicit definition of operational semantics on a high abstraction level, offering a white-box view for debugging QVT-R. The thesis proposes a procedure model, both conceptually and through prototypic implementation, to bridge the gap between these two paradigms by mapping QVT Relations to Transformation Nets.

• Debugging QVT-R Transformations
• Visualizing QVT-R using Transformation Nets
• Bridging the gap between QVT-R and TROPIC
• Implementing a prototypic visualization tool
• Exploring the application of Transformation Nets for debugging model transformations

Zusammenfassung der Kapitel (Chapter Summaries)

Chapter 1 introduces the topic of the master thesis, highlighting the need for better debugging facilities for QVT-R. Chapter 2 reviews existing work related to model transformations and debugging techniques. Chapter 3 provides an overview of Model-Driven Engineering (MDE), focusing on modeling languages, metamodels, model transformations, and QVT-R. Chapter 4 delves into the concept of Transformation Nets (TROPIC) based on Colored Petri Nets (CPN), and presents a method for modeling QVT-R as Transformation Nets. Chapter 5 describes the implementation of a visualization tool and a prototype for debugging QVT-R using Transformation Nets. Finally, Chapter 6 discusses future directions and concludes the thesis with a summary of the main contributions.

Schlüsselwörter (Keywords)

Model transformations, QVT Relations (QVT-R), debugging, Transformation Nets (TROPIC), Colored Petri Nets (CPN), visualization, MDE, model-driven engineering, operational semantics.