Tree transformation techniques and experiences
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
The theory of parsing, translation, and compiling
The theory of parsing, translation, and compiling
Mapping between Levels in the Metamodel Architecture
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A survey of approaches to automatic schema matching
The VLDB Journal — The International Journal on Very Large Data Bases
VIATRA " Visual Automated Transformations for Formal Verification and Validation of UML Models
Proceedings of the 17th IEEE international conference on Automated software engineering
MDA Explained: The Model Driven Architecture: Practice and Promise
MDA Explained: The Model Driven Architecture: Practice and Promise
Proceedings of the 35th conference on Winter simulation: driving innovation
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
The TXL source transformation language
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
Model transformation from OWL-S to BPEL via SiTra
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Bridging grammarware and modelware
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
| Hi-index | 0.00 |
Model transformation is one of the main operations in model engineering. It consists of transforming a source model to a target one. Any transformation needs to satisfy some basic requirements, namely the conformity of a model to its meta-model. Such model is thus said to be valid. In the litterature, several approaches and languages have been proposed. While they exhibit important features, they unfortunately suffer from a main drawback. Indeed, it is difficult to check whether the target model is valid or not. The paper advances the state of the art by proposing a new approach for model transformation that palliates the above limitation. The basic idea behind this approach is to define model transformation as a binary relation, captured by a transducer, between two domains. The use of transducer makes it possible to both translate models and to validate them. Note that the proposed approach establishes a bridge from model space to grammar space.