Filters








429 Hits in 5.1 sec

Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT

Regina Hebig, Christoph Seidl, Thorsten Berger, John Kook Pedersen, Andrzej Wasowski
2019 Software Engineering  
The experiment sheds light on commonalities and differences between model transformation languages (ATL, QVT-O) and on benefits of using them in common development tasks (comprehension, change, and creation  ...  In Model-Driven Software Development, models are processed automatically to support the creation, build, and execution of systems.  ...  We selected ATL and QVT-O as M2M languages as well as Xtend as imperative GPL.  ... 
doi:10.18420/se2019-25 dblp:conf/se/HebigSBPW19 fatcat:6q2itvci35af5ox3advf3y4l7q

Technical Debt in Model Transformation Specifications [chapter]

Kevin Lano, Shekoufeh Kolahdouz-Rahimi, Mohammadreza Sharbaf, Hessa Alfraihi
2018 Lecture Notes in Computer Science  
We survey the ATL and QVT-R transformation languages because these are the most widely-used MT languages by practitioners [5] .  ...  Model transformations (MT), as with any other software artifact, may contain quality flaws.  ...  In [1] , measures of ATL and QVT-R and QVT-O are computed for versions of two transformations in each language.  ... 
doi:10.1007/978-3-319-93317-7_6 fatcat:u43aitqog5hazmykkxag5qyb3a

On the interoperability of model-to-model transformation languages

Frédéric Jouault, Ivan Kurtev
2007 Science of Computer Programming  
With the adoption of the OMG QVT standard for model transformation languages, it is anticipated that the experience in applying model transformations in various domains will increase.  ...  In parallel with the QVT activity, many research groups and companies have been working on their own model transformation approaches and languages.  ...  We would like to thank the members of the ATLAS Group and the anonymous reviewers for their useful feedback on the ideas presented in the paper.  ... 
doi:10.1016/j.scico.2007.05.005 fatcat:66pyjlsy2jf43bj5a252ki6xzq

Partial evaluation of model transformations

Ali Razavi, Kostas Kontogiannis
2012 2012 34th International Conference on Software Engineering (ICSE)  
The experiments indicate that the proposed technique can be used for significantly improving the performance of repetitive applications of model transformations.  ...  Such pre-evaluation allows for significant reduction of transformation time in large and complex model repositories.  ...  ATL programs can be used to perform syntactic or semantic model transformations and run on top of a specialized virtual machine.  ... 
doi:10.1109/icse.2012.6227160 dblp:conf/icse/RazaviK12 fatcat:dqpyyrcg6jhmtce2s54nr7khqi

Engineering Bidirectional Transformations [chapter]

Richard F. Paige
2018 Lecture Notes in Computer Science  
Bidirectional transformations, like software, need to be carefully engineered in order to provide guarantees about their correctness, completeness, acceptability and usability.  ...  It summarises Model-Driven Engineering approaches to capturing requirements, architectures and designs for bidirectional transformations, and suggests an approach for verification as well.  ...  The author also acknowledges the support of Innovate UK and the Aerospace Technology via the SECT-AIR grant, and the EPSRC, for their support for the Summer School in Bidirectional Transformations.  ... 
doi:10.1007/978-3-319-79108-1_5 fatcat:ic5ahadjljbunf4rvqdv3t7n6a

Model transformations in MT

Laurence Tratt
2007 Science of Computer Programming  
In this paper I present the MT model transformation which shows how a QVT-like language can be extended with novel pattern matching constructs, how tracing information can be automatically constructed  ...  In this extended paper, I explore in depth the differences between QVT and MT, explore tracing visualization in greater detail, present a more thorough case for, and explanation of, model pruning, and  ...  ATL has an increased emphasis on the declarative nature of ATL transformations, although ATL, as MT, is a unidirectional stateless model transformation language. [16] shows the ATL version of the example  ... 
doi:10.1016/j.scico.2007.05.003 fatcat:si5gcgu44fhnnnmttpbub7rb2a

Transforming Models with ATL [chapter]

Frédéric Jouault, Ivan Kurtev
2006 Lecture Notes in Computer Science  
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation definitions.  ...  The paper describes the language syntax and semantics by using examples. ATL is supported by a set of development tools such as an editor, a compiler, a virtual machine, and a debugger.  ...  However, ATL is designed to support other transformation scenarios going beyond QVT context where source and target models are artifacts created with various technologies such as databases, XML documents  ... 
doi:10.1007/11663430_14 fatcat:pkyggbrfmjf2fkveegpn3omrvq

Model Transformations [chapter]

Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio
2012 Lecture Notes in Computer Science  
Moreover, two specific application scenarios are proposed to highlight bidirectionality and higher-order transformations in the change propagation and coupled evolution domains, respectively.  ...  This paper introduces a classification of model transformation approaches and languages, illustrating the characteristics of the most prominent ones.  ...  http://projects.ikv.de/qvt/ 6 http://www.moflon.org 7 In this paper the details about the experiments done with Medini and TGGs are not described in detail.  ... 
doi:10.1007/978-3-642-30982-3_4 fatcat:nzfocu6ypbgnpbdwxanqdauxwe

A Catalogue of Refactorings for Model-to-Model Transformations

Manuel Wimmer, Salvador Martínez, Frédéric Jouault, Jordi Cabot
2012 Journal of Object Technology  
The refactorings have been explored by analyzing existing transformation examples defined in ATL.  ...  Unfortunately, in the field of model transformations, such refactoring support is so far missing.  ...  example transformation.  ... 
doi:10.5381/jot.2012.11.2.a2 fatcat:2da4c2djcfenhc5rjzx4cb5koa

Least-change bidirectional model transformation with QVT-R and ATL

Nuno Macedo, Alcino Cunha
2014 Journal of Software and Systems Modeling  
The implementation is based on an embedding of both QVT-R transformations and UML class diagrams (annotated with OCL) in Alloy, a lightweight formal specification language with support for automatic model  ...  QVT Relations (QVT-R) is the standard language proposed by the OMG to specify bidirectional model transformations.  ...  Bidirectionalizing ATL ATL [24] is a widely used model transformation language created to answer the original QVT RFP, and thus shares some characteristics with the standardized QVT languages.  ... 
doi:10.1007/s10270-014-0437-x fatcat:jefhxbv3g5f63nqbm2vzin6goi

Optimization Patterns for OCL-Based Model Transformations [chapter]

Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús García Molina, Jean Bézivin
2009 Lecture Notes in Computer Science  
Writing queries and navigation expressions in OCL is an important part of the task of developing a model transformation denition.  ...  In this paper we present ve patterns intended to optimize the performance of model transformations when OCL queries are involved.  ...  In this section we describe ve OCL patterns and analyze them in order to improve the performance of OCL navigation expressions in model transformations.  ... 
doi:10.1007/978-3-642-01648-6_29 fatcat:c2wd3rargfdabhjg2imkra2ylm

Scheduling model-to-model transformations with continuations

Jesús Sánchez Cuadrado, Jesús Perera Aracil
2013 Software, Practice & Experience  
This example is inspired by a similar transformation that is part of the MoDisco tool [12] , but implemented in ATL. It is therefore an exogenous model transformation implemented with a M2M language.  ...  In order to support our experiments, we have built a proof-of-concept model transformation language which is also reported here.  ...  ACKNOWLEDGEMENT This work was funded by the Spanish Ministry of Economy and Competitivity (project "Go Lite" TIN2011-24139) and the R&D programme of the Madrid Region (project "e-Madrid" S2009/TIC-1650  ... 
doi:10.1002/spe.2202 fatcat:bt5ko4lcnjghzo6u7vksovy5je

Feature-based survey of model transformation approaches

K. Czarnecki, S. Helsen
2006 IBM Systems Journal  
Model transformations are touted to play a key role in Model Driven Developmente.  ...  We propose a framework for the classification of several existing and proposed model transformation approaches.  ...  Evaluation of the different design options for a model transformation approach will require more experiments and practical experience.  ... 
doi:10.1147/sj.453.0621 fatcat:ychkdouacred5jb4yodei54bey

An Incremental Algorithm for High-Performance Runtime Model Consistency [chapter]

Christopher Wolfe, T. C. Nicholas Graham, W. Greg Phillips
2009 Lecture Notes in Computer Science  
This approach provides high stability, and performance that is sufficiently fast for interactive applications.  ...  We demonstrate this implementation in Fiia.Net, our model-based toolkit for developing adaptive groupware.  ...  All transformation is performed in one thread, on an Acer Aspire 5110 (AMD TL-50 1.6GHz with 2GB RAM, running Windows XP and Microsoft .Net 3.5).  ... 
doi:10.1007/978-3-642-04425-0_27 fatcat:2qqhnlvl7vbjpbrxo3be4wfjta

Transformation as Search [chapter]

Mathias Kleiner, Marcos Didonet Del Fabro, Davi De Queiroz Santos
2013 Lecture Notes in Computer Science  
We first describe and formally define this model operation, called transformation as search, then describe a proof-of-concept implementation and discuss experiments on a reference use case in software  ...  In model-driven engineering, model transformations are considered a key element to generate and maintain consistency between related models.  ...  Its QVT-operational part has been implemented by various tools such as the popular ATL [19] , TEFKAT [23] , VIATRA [9] , and others.  ... 
doi:10.1007/978-3-642-39013-5_5 fatcat:2ugrr4vt75adhnxirsfwqd5xq4
« Previous Showing results 1 — 15 out of 429 results