Using ATL to Support Model-Driven Development of RubyTL Model Transformations

Transformation models are a way to describe this Hoare-style notion of partial correctness of model transformations using only metamodels and constraints.. In this paper, we provide

Our experience is based on the development and use of three different imperative object-oriented languages for model manipulation, respectively: MTL a

On the other hand, if the transformation tool maintains a link relating each port to a port in a target model, then a property like the correctness of a Goto-From removal can

Model to Text Transformations (shortly M2TTs) are not only used in the last steps of a complete model driven software development process to produce the code and the configuration

With ModifRoundtrip, the user indicates the coevolution operators (remove, rename, hide, etc.) to be applied to the DSML in order to make it match the transformation metamodel..

For the bidirectional scenario (maintaing consistency between two models), most of the issues have been clarified in recent work [10, 1] and implementations with precise semantics

As seen in Figure 4, when modeling the MHB layer using the proposed MDE approach, the metamodel is used to build a two-level broker, composed by a centralized top level, called

In order to verify model transformations with respect to behavioural equivalence we apply well-studied techniques based on the double pushout approach with borrowed context, for