by Jordi Cabot | Dec 26, 2014 | article, transformations
A feature-based review of all bidirectional transformation approaches plus our view on the open research challenges in the area
by Jordi Cabot | Jun 13, 2014 | reverse engineering, transformations
Dennis Wagelaar (a committer for the Eclipse ATL project, among many other things) has just published a blog post where he explains how the use of the ATL transformation language and the MoDisco reverse engineering framework helped his company to solve an...
by Jordi Cabot | Feb 25, 2014 | transformations
Guest post by Jokin García summarizing our work “DB Schema Evolution in Model-to-Text Transformations: An Adapter-based Approach” co-written by Jokin, Óscar Díaz (both from the Onekin group, (www.onekin.org, University of the Basque Country -UPV/EHU) and myself....
by Jordi Cabot | May 23, 2013 | quality, transformations
Next month, at the Int. Conf. on Model Transformation (ICMT), AtlanMod, in cooperation with ATOS Research and the Universidad Autonoma de Madrid, will present research results regarding the use of bounded model finding to analyze refinement relationships between model...
by Jordi Cabot | Oct 18, 2012 | quality, transformations
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...
by Jordi Cabot | Oct 10, 2012 | quality, transformations
(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...
Recent Comments