transformations Archive

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

Special issue for ICMT 2011 (Int. Conference on Model Transformation) published

The two best papers of ICMT 2011 have now been published in the latest issue of

The ATL paper still in the top 25 (4 years after its publication!)

The Scico Journal sent me an alert to inform me that our paper ATL: A model