Finding Stubborn Sets of Coloured Petri Nets Without Unfolding
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Advanced model transformation language constructs in the VIATRA2 framework
Proceedings of the 2006 ACM symposium on Applied computing
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
ATL: A model transformation tool
Science of Computer Programming
Precise Semantics of EMF Model Transformations by Graph Transformation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Formalization and Rule-Based Transformation of EMF Ecore-Based Models
Software Language Engineering
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
A Petri Net Based Debugging Environment for QVT Relations
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Translating model simulators to analysis models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Practical declarative model transformation with tefkat
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Termination analysis of model transformations by petri nets
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Forensic debugging of model transformations
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Developing and visualizing live model queries
Proceedings of the First Workshop on the Analysis of Model Transformations
End-User support for debugging demonstration-based model transformation execution
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
| Hi-index | 0.00 |
Model-Driven Engineering places models as first-class artifacts throughout the software lifecycle requiring the availability of proper transformation languages. Although numerous approaches are available, they lack convenient facilities for supporting debugging and understanding of the transformation logic. This is because execution engines operate on a low level of abstraction, hide the operational semantics of a transformation, scatter metamodels, models, transformation logic, and trace information across different artifacts, and provide limited verification support. To tackle these problems, we propose a Domain-Specific Language (DSL) on top of Colored Petri Nets (CPNs)—called Transformation Nets—for the execution and debugging of model transformations on a high level of abstraction. This formalism makes the afore hidden operational semantics explicit by providing a runtime model in terms of places, transitions and tokens, integrating all artifacts involved into a homogenous view. Moreover, the formal underpinnings of CPNs enable comprehensive verification of model transformations.