On the Use of Higher-Order Model Transformations
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
A framework for evolution of modelling languages
Science of Computer Programming
| Hi-index | 0.00 |
Model Driven Engineering is a paradigm for software development on different platforms. Models are (semi) automatically refined in a series of steps, each step adding more information to eventually produce software code. However, the specification of model transformations which define these refinements is still performed in a manual fashion. A specification may be very complex, difficult to understandor time-consuming to produce. There is need for a higher level language for improving expressivity of the basic transformation mechanism. Consequently, we need higher order transformations for converting the extra features adding expressivity into the basic formalism, thus providing a mechanism for implementing extensions to the core language. This approach is tested on a few cases including evolution and refinement to other paradigms (e.g. transformation from a UML activity diagram into Communicating Sequential Processes).