Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
ATL: A model transformation tool
Science of Computer Programming
Model-Driven Development of Model Transformations
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Comparison of Three Model Transformation Languages
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
UML 2 Semantics and Applications
UML 2 Semantics and Applications
transML: a family of languages to model model transformations
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Specification and verification of model transformations using UML-RSDS
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Model transformations? transformation models!
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Modeling the linguistic architecture of software products
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
On verifying ATL transformations using 'off-the-shelf' SMT solvers
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Comparing verification techniques for model transformations
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Applying MDE to the (semi-)automatic development of model transformations
Information and Software Technology
Verification of Model Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Meta-modeling of inclusion dependency constraints
Proceedings of the 6th Balkan Conference in Informatics
Evaluation of model transformation approaches for model refactoring
Science of Computer Programming
| Hi-index | 0.00 |
In this paper we define a systematic model-driven development process for model transformations based on a precise semantics. We illustrate this process by applying it to the development and verification of the UML to relational database transformation.