An introduction to Z and formal specifications
Software Engineering Journal - Special Section on Z
Acme: architectural description of component-based systems
Foundations of component-based systems
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
Proposed Design Notation for Model Transformation
ASWEC '08 Proceedings of the 19th Australian Conference on Software Engineering
Transformations Have to be Developed ReST Assured
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
The Epsilon Transformation Language
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Reusable Model Transformation Patterns
EDOCW '08 Proceedings of the 2008 12th Enterprise Distributed Object Computing Conference Workshops
A Visual Specification Language for Model-to-Model Transformations
VLHCC '10 Proceedings of the 2010 IEEE Symposium on Visual Languages and Human-Centric Computing
Model transformation by example
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
The epsilon object language (EOL)
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
UniTI: a unified transformation infrastructure
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Model-driven development of model transformations
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Tree based domain-specific mapping languages
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
A model-based development approach for model transformations
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Fact or fiction --- reuse in rule-based model-to-model transformation languages
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Weaving-based configuration and modular transformation of multi-layer systems
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Engineering model transformations with transML
Software and Systems Modeling (SoSyM)
Reusable abstractions for modeling languages
Information Systems
Evaluation of model transformation approaches for model refactoring
Science of Computer Programming
Hi-index | 0.00 |
Model transformation is one of the pillars of Model-Driven Engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity and size of model transformations. Even though many transformation languages and tools have been proposed in the last few years, most of them are directed to the implementation phase of transformation development. However, there is a lack of cohesive support for the other phases of the transformation development, like requirements, analysis, design and testing. In this paper, we propose a unified family of languages to cover the life-cycle of transformation development. Moreover, following an MDE approach, we provide tools to partially automate the progressive refinement of models between the different phases and the generation of code for specific transformation implementation languages.