Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
A Relational Approach to Defining Transformations in a Metamodel
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
Evaluation of rule-based modularization in model transformation languages illustrated with ATL
Proceedings of the 2006 ACM symposium on Applied computing
Information and Software Technology
The Epsilon Transformation Language
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Comparison of Three Model Transformation Languages
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Verification and validation of declarative model-to-model transformations through invariants
Journal of Systems and Software
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
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
| Hi-index | 0.00 |
Model transformations have become a key element of model-driven software development, being used to transform platform-independent models (PIMs) to platform-specific models (PSMs), to improve model quality, to introduce design patterns and refactorings, and to map models from one language to another. A large number of model transformation notations and tools exist, however, there remain substantial problems concerning the analysis and verification of model transformations. In particular, there is no systematic development process for model transformations. In this paper, we provide a unified semantic treatment of model transformations, and show how correctness properties of model transformations can be defined. We define a systematic model-driven development process for model transformations based on this semantics, and we describe case studies using this process.