transformations Archive

Category theory meets model transformations

Read on to learn how formalizing model transformations and traceability mappings helps to chain, reuse and compose model transformations

Efficient Model Partitioning for Distributed Model Transformations

We propose a data distribution algorithm for declarative model transformation based on static analysis of relational transformation rules.

What’s wrong with ATL? (or model transformation languages in general)

Is ATL as good as it seems? Or still has some major problems to overcome? And other languages as well? Have your saying! E.g. I miss a live coding environment!

Distributed Model-to-Model Transformation with MapReduce

Overcome the limitations of executing model transformations on large models by distributing them on top of a mapreduce infrastructure. We've done for ATL!

Backwards reasoning for model transformations: Method and applications

We show how the concept of weakest precondition applied to model transformations helps to solve plenty of verification, validation and testing challenges

Enabling the reuse of stored model transformations

Javier Criado summarizes our work “Enabling the reuse of stored model transformations through annotations” by Javier

ATL#: an ATL parser for .NET

Ever thought about developing a parser for ATL? Well, they did and now explain how and why.

Executing ATL transformations from Java

The easiest way to call ATL transformations from a Java class. Unleash the power of the ATL engine outside of its eclipse-plugin capsule

Feature-Based Classification Bidirectional Transformation Approaches

A feature-based review of all bidirectional transformation approaches plus our view on the open research challenges in the area

anATLyzer – Static analysis of ATL transformations to uncover errors

Combination of static analysis and constraint solving to improve the quality of model transformations. Implemented as an extension of the standard ATL IDE.

Using ATL and MoDisco to solve the import/export of medical data (by Dennis Wagelaar)

Dennis Wagelaar (a committer for the Eclipse ATL project, among many other things) has just published

An adapter-based approach to evolve the code generated by M2T transformations

Guest post by  Jokin García summarizing our work “DB Schema Evolution in Model-to-Text Transformations: An Adapter-based Approach”

Checking Model Transformation Refinement

Next month, at the Int. Conf. on Model Transformation (ICMT), AtlanMod, in cooperation with ATOS Research

ATLTest – White box testing of (ATL) model transformations

Recently, at MODELS 2012, we (Jordi and myself, Carlos González) had the opportunity to present our

On verifying ATL transformations using ‘off-the-shelf’ SMT solvers

(post by Fabian Büttner) Recently, at this year’s MODELS conference, we (Fabian, myself and Marina Egea)

The Program is the Model: Enabling [email protected]

Jesús Sánchez describes today his approach for enabling [email protected] Enter Jesús. The application of MDE to

Catalogue of refactorings for model transformations

Last issue of JOT, apart from the Special issue for the ICMT conference, it also included

Transforming Very Large Models in the Cloud: a Research Roadmap

MDE in the Cloud is one of our more recent (and still very preliminary) research topics.

Our two papers accepted at MoDELS 2012

This year (well, also the last one 🙂 ) we got two papers accepted at the

Using Models of Partial Knowledge to Test Model Transformations

If you are interested in the field of testing model transformations you may want to take