705 Hits in 2.8 sec


Frédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev, Patrick Valduriez
2006 Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06  
In this paper, we present ATL: a QVTlike model transformation language and its execution environment based on the Eclipse framework.  ...  A number of specialized languages have been proposed in order to specify model transformations. The OMG has, for instance, adopted the QVT specification.  ...  Moreover, a large part of QVT requirements are taken into account by ATL, such as compatibility with MOF [8] , XMI, and the use of OCL [9] for navigation. Therefore, ATL is a QVT-like language.  ... 
doi:10.1145/1176617.1176691 dblp:conf/oopsla/JouaultABKV06 fatcat:fi5cdubkobgord2oals52s37a4

ATL: A model transformation tool

Frédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev
2008 Science of Computer Programming  
In this paper we present ATL: a model transformation language and its execution environment based on the Eclipse framework.  ...  A number of specialized languages have been proposed, aimed at specifying model transformations.  ...  The archive contains a ready-to-use bundle of ATL Development Tools (including Eclipse EMF [3] , and ADT). It also includes ATL starter guide and ATL user manual.  ... 
doi:10.1016/j.scico.2007.08.002 fatcat:clkj64f4bnbstlrlv7yvfw4ihy

On the architectural alignment of ATL and QVT

Frédéric Jouault, Ivan Kurtev
2006 Proceedings of the 2006 ACM symposium on Applied computing - SAC '06  
This paper compares the proposed QVT language and the ATLAS Transformation Language (ATL) as a step in the direction of gathering knowledge about the existing model transformation approaches.  ...  With the expected adoption of the OMG QVT standard for model transformation language it is anticipated that the experience in applying model transformations in various cases will increase.  ...  Traceability links are indeed not automatically created like they are in ATL. A draft specification of ATL VM is available on GMT [7] .  ... 
doi:10.1145/1141277.1141561 dblp:conf/sac/JouaultK06 fatcat:caonf6gxszhfpkicmdkti4hpam

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.  ...  Overview of ATL transformational approach ATL is a hybrid transformation language. It contains a mixture of declarative and imperative constructs.  ... 
doi:10.1007/11663430_14 fatcat:pkyggbrfmjf2fkveegpn3omrvq

Efficient ATL Incremental Transformations

Théo Le Calvar, Frédéric Jouault, Fabien Chhel, Mickael Clavreul
2019 Journal of Object Technology  
Writing transformations at this level of abstraction is a tedious and error prone work. Using languages like Xtend alleviates some but not all issues.  ...  Furthermore, this compiler also enables new possibilities like defining derived properties by leveraging the ATL refining mode.  ...  The approach used in Viatra is based on graph patterns and is quite different from approaches like ATL or QVT, which rely on OCL [Obj14] as navigation language.  ... 
doi:10.5381/jot.2019.18.3.a2 fatcat:tdqruryiwjgm3opdmpmvj6o4am

Using ATL for Checking Models

Jean Bézivin, Frédéric Jouault
2006 Electronical Notes in Theoretical Computer Science  
In this paper we propose a metamodelindependent solution to this problem that uses ATL (Atlas Transformation Language). This solution has been implemented as an Eclipse-based plugin.  ...  This is quite penalizing for the DSL (Domain Specific Language) approach to model engineering.  ...  The upcoming OMG standard for model transformation is called QVT [10] (Query/View/Transformation). ATL is a QVT-like model transformation language.  ... 
doi:10.1016/j.entcs.2006.01.015 fatcat:mdbvyyiqazg7rps5uxpnaykdme

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

Nuno Macedo, Alcino Cunha
2014 Journal of Software and Systems Modeling  
We also show how this technique can be applied to bidirectionalize ATL, a popular (but unidirectional) model transformation language.  ...  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

Quick fixing ATL model transformations

Jesus Sanchez Cuadrado, Esther Guerra, Juan de Lara
2015 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)  
Based on a static analyser for ATL model transformations which we have previously built, we present a method and a system to propose quick fixes for transformation errors.  ...  Our approach integrates seamlessly with the ATL editor.  ...  For instance, most QVT implementations statically type the transformation against the meta-models, but other languages such as ATL or ETL are dynamically typed.  ... 
doi:10.1109/models.2015.7338245 dblp:conf/models/CuadradoGL15 fatcat:gkij3wbkfrhxvbbpjhw4n2u7gm

Toward Bidirectionalization of ATL with GRoundTram [chapter]

Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
2011 Lecture Notes in Computer Science  
ATL is a language for describing model transformations currently in uni-direction.  ...  as a transformation language in the GRound-Tram system.  ...  Acknowledgments We would like to thank Massimo Tisi and Frederic Jouault for valuable discussions and  ... 
doi:10.1007/978-3-642-21732-6_10 fatcat:pufzh3ioyjcrtm2rsfcpyfgumu

Reactive model transformation with ATL

Salvador Martínez, Massimo Tisi, Rémi Douence
2017 Science of Computer Programming  
We implement such approach by providing a reactive engine for the ATL transformation language.  ...  In this paper we propose a reactive paradigm for programming model transformations, and we implement a reactive model-transformation engine.  ...  Popular MTLs like the Object Management Group (OMG) QVT (Query/View/Transformation) [1] and the AtlanMod Transformation Language (ATL) [2] are supposed to provide a higher level of abstraction and  ... 
doi:10.1016/j.scico.2016.08.006 fatcat:jfj6yz5vhbcsphwfoofwyq67oe

Towards a Rewriting Logic Semantics for ATL [chapter]

Javier Troya, Antonio Vallecillo
2010 Lecture Notes in Computer Science  
In this paper we present a formal semantics to the ATL model transformation language using rewriting logic and Maude, which allows addressing these issues.  ...  As the complexity of model transformation (MT) grows, the need to count on formal semantics of MT languages also increases.  ...  The authors would like to thank Franciso Durán and José E.  ... 
doi:10.1007/978-3-642-13688-7_16 fatcat:zzgzzdn2o5c7fpouprgtvews4i

A Rewriting Logic Semantics for ATL

Javier Troya, Antonio Vallecillo
2011 Journal of Object Technology  
In this paper we give a formal semantics of the ATL 3.0 model transformation language using rewriting logic and Maude, which allows addressing these issues.  ...  As the complexity of model transformation (MT) grows, the need to rely on formal semantics of MT languages becomes a critical issue.  ...  Finally, we need to acknowledge José Bautista for developing the ATL transformations between ATL and Maude that implement the encoding.  ... 
doi:10.5381/jot.2011.10.1.a5 fatcat:3usukmksijadtihecc2i5lrila

Parallel Execution of ATL Transformation Rules [chapter]

Massimo Tisi, Salvador Martínez, Hassene Choura
2013 Lecture Notes in Computer Science  
In this paper we show that rule-based languages like ATL have strong parallelization properties.  ...  We describe the implementation of a parallel transformation engine for the current version of the ATL language and experimentally evaluate the consequent gain in scalability.  ...  properties of the most popular model transformation languages (QVT, ATL, ETL, Kermeta, ...) are still unknown.  ... 
doi:10.1007/978-3-642-41533-3_40 fatcat:axz3kt5go5eunorqjk5hvxfari

Gremlin-ATL: A scalable model transformation framework

Gwendal Daniel, Frederic Jouault, Gerson Sunye, Jordi Cabot
2017 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)  
In this paper we present Gremlin-ATL, a scalable and efficient model-to-model transformation framework that translates ATL transformations into Gremlin, a query language supported by several NoSQL databases  ...  Existing model transformation tools (such as the well-known ATL) often require the input models to be loaded in memory prior to the start of the transformation and are not optimized to benefit from lazy-loading  ...  Note that in this paper we focus on ATL as our input language, but our approach can be adapted to other rule-based transformation languages, notably the QVT [16] standard.  ... 
doi:10.1109/ase.2017.8115658 dblp:conf/kbse/DanielJSC17 fatcat:i4ovwwglo5b5rpkgg4tzzznnwa

Validation of ATL Transformation to Generate a Reliable MVC2 Web Models

2017 International Journal of Engineering and Applied Computer Science  
In this paper we present a new method of transformation validation and then we implement a new model transformation process based on MDA approach to generate an MVC2 Web model from Struts 2.  ...  This transformation begins by the validation of different transformation rules by applying the developed method of transformation validation.  ...  A. ATL: Atlas Transformation Language ATLAS Transformation Language (ATL) is a model transformation language inspired by the OMG standard QVT.  ... 
doi:10.24032/ijeacs/0203/01 fatcat:sb2i5esiurgtbar4lp3uj7ikxa
« Previous Showing results 1 — 15 out of 705 results