The semantics of programming languages: an elementary introduction using structural operational semantics
Designing the automatic transformation of visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Model-Driven Software Development: Technology, Engineering, Management
Model-Driven Software Development: Technology, Engineering, Management
Formal Support for QVT-Relations with Coloured Petri Nets
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Model transformation languages and their implementation by bootstrapping method
Pillars of computer science
SiTra: simple transformations in Java
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Practical declarative model transformation with tefkat
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
RubyTL: a practical, extensible transformation language
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
| Hi-index | 0.00 |
In this paper we describe a simple formal approach that can be used to support the definition and implementation of model to model transformations. The approach is based on the idea that models as well as metamodels should be regarded as abstract data types (ADTs), that is to say, as abstract structures equipped with a set of operations. On top of these ADTs we define a minimal, imperative model transformation language with strong formal semantics. This proposal can be used in two different ways, on one hand it enables simple transformations to be implemented simply by writing them in any ordinary programming language enriched with the ADTs. And on the other hand, it provides a practical way to formally define the semantics of more complex model transformation languages.