A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT
2019
Software Engineering
Preserved Fulltext
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]
2018
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2007
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2012
2012 34th International Conference on Software Engineering (ICSE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
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]
2018
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2007
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2012
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2014
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2013
Software, Practice & Experience
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2006
IBM Systems Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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