Modeling Languages » transformations

ATLTest – White box testing of (ATL) model transformations

jordi — Thu, 18 Oct 2012 09:26:21 +0000

Recently, at MODELS 2012, we (Jordi and myself, Carlos González) had the opportunity to present our work titled “ATLTest: A White-Box Test Generation Approach for ATL Model Transformations”. As the title suggests, it’s a technique to generate input test models out of the analysis of the internals (white-box approach) of an ATL transformation. The idea

The post ATLTest – White box testing of (ATL) model transformations appeared first on Modeling Languages.

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

jordi — Wed, 10 Oct 2012 12:19:43 +0000

(post by Fabian Büttner) Recently, at this year’s MODELS conference, we (Fabian, myself and Marina Egea) have presented first results on the verification of ATL transformations using SMT solvers. In a nutshell, our approach allows us to verify that a declarative ATL transformation establishes all intended structural properties (i.e., transformation post-conditions, specified as OCL invariants)

The post On verifying ATL transformations using ‘off-the-shelf’ SMT solvers appeared first on Modeling Languages.

The Program is the Model: Enabling Transformations@run.time

jordi — Tue, 09 Oct 2012 09:26:44 +0000

Jesús Sánchez describes today his approach for enabling transformations@run.time. Enter Jesús. The application of MDE to advanced scenarios is leading to a trend to use models at runtime as part of running systems. This requires interacting with functionality written in general-purpose languages (GPL), which is typically made available in the form of APIs. In addition,

The post The Program is the Model: Enabling Transformations@run.time appeared first on Modeling Languages.

Catalogue of refactorings for model transformations

jordi — Thu, 30 Aug 2012 17:27:46 +0000

Last issue of JOT, apart from the Special issue for the ICMT conference, it also included our paper Manuel Wimmer, Salvador Martínez, Frédéric Jouault, Jordi Cabot, A Catalogue of Refactorings for Model-to-Model Transformations. You can read here the full version or continue reading this post to read the summary of the paper prepared by Salva.

The post Catalogue of refactorings for model transformations appeared first on Modeling Languages.

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

jordi — Tue, 28 Aug 2012 14:05:32 +0000

The two best papers of ICMT 2011 have now been published in the latest issue of the Journal of Object Technology (all papers are freely accessible online). The “winners” are: Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Werner Schwinger, Dimitris Kolovos, Richard Paige, Marius Lauder, Andy Schürr, Dennis Wagelaar, Surveying Rule Inheritance in

The post Special issue for ICMT 2011 (Int. Conference on Model Transformation) published appeared first on Modeling Languages.

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

jordi — Sun, 26 Aug 2012 23:44:36 +0000

The Scico Journal sent me an alert to inform me that our paper ATL: A model transformation tool made it into the top 25 of the hottest articles of the journal . Four years after its publication, the paper (and ATL) continue as strong as ever! If you liked this post, you should subscribe to

The post The ATL paper still in the top 25 (4 years after its publication!) appeared first on Modeling Languages.

Release of EMFText 1.4.1, JaMoPP 1.4.0 and Refactory 0.9.0

jordi — Tue, 31 Jul 2012 21:15:46 +0000

Our friends at DevBoost have announced today the release of new versions of their tools for model to text transformations, java to models extraction and model refactoring. Details below: We are very proud to announce the availability of EMFText 1.4.1, JaMoPP 1.4.0 and Refactory 0.9.0. This release integrates one year of heavy development activities. It

The post Release of EMFText 1.4.1, JaMoPP 1.4.0 and Refactory 0.9.0 appeared first on Modeling Languages.

Transforming Very Large Models in the Cloud: a Research Roadmap

jordi — Tue, 10 Jul 2012 21:56:06 +0000

MDE in the Cloud is one of our more recent (and still very preliminary) research topics. In a collaboration with Marcos Didonet Del Fabro, Cauê Clasen and Massimo Tisi published a paper in the CloudMDE workshop at ECMFA2012 about Transforming Very Large Models in the Cloud. The paper presents a set of open research issues

The post Transforming Very Large Models in the Cloud: a Research Roadmap appeared first on Modeling Languages.

Our two papers accepted at MoDELS 2012

jordi — Sun, 17 Jun 2012 20:34:50 +0000

This year (well, also the last one ) we got two papers accepted at the MoDELS 2012 conference . As usual, later on I´ll publish a guest blog post for each paper but for those that can’t wait, the titles, authors and abstracts of the papers are the following: On verifying ATL transformations using ‘off-the-shelf’

The post Our two papers accepted at MoDELS 2012 appeared first on Modeling Languages.

Using Models of Partial Knowledge to Test Model Transformations

jordi — Mon, 26 Mar 2012 07:06:56 +0000

If you are interested in the field of testing model transformations you may want to take a look at our paper Using Models of Partial Knowledge to Test Model Transformations, recently accepted at ICMT 2012. Abstract: Testers often use partial knowledge to build test models. This knowledge comes from sources such as requirements, known faults,

The post Using Models of Partial Knowledge to Test Model Transformations appeared first on Modeling Languages.