Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Transformation: The Missing Link of MDA
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
Model Transformation: A declarative, reusable patterns approach
EDOC '03 Proceedings of the 7th International Conference on Enterprise Distributed Object Computing
Evaluation of rule-based modularization in model transformation languages illustrated with ATL
Proceedings of the 2006 ACM symposium on Applied computing
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
The Epsilon Transformation Language
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Verification and validation of declarative model-to-model transformations through invariants
Journal of Systems and Software
Abstracting Complex Languages through Transformation and Composition
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Reusable Idioms and Patterns in Graph Transformation Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Correctness, completeness and termination of pattern-based model-to-model transformation
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
UML 2 Semantics and Applications
UML 2 Semantics and Applications
A Two-Level Calculus for Composing Hybrid QVT Transformations
SCCC '09 Proceedings of the 2009 International Conference of the Chilean Computer Science Society
Improving higher-order transformations support in ATL
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Slicing of UML models using model transformations
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Specification and verification of model transformations using UML-RSDS
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Performance in model transformations: experiments with ATL and QVT
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Refactoring OCL annotated UML class diagrams
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Meta-modeling of inclusion dependency constraints
Proceedings of the 6th Balkan Conference in Informatics
A survey and comparison of transformation tools based on the transformation tool contest
Science of Computer Programming
| Hi-index | 0.00 |
Model transformations are a central element of model-driven development (MDD) approaches. The correctness, modularity and flexibility of model transformations is critical to their effective use in practical software development. In this paper we describe an approach for the automated derivation of correct-by-construction transformation implementations from high-level specifications. We illustrate this approach on a range of model transformation case studies of different kinds (re-expression, refinement, quality improvement and abstraction transformations) and describe ways in which transformations can be composed and evolved using this approach.