Article

ATL: a QVT-like transformation language

Authors:

Patrick ValduriezAuthors Info & Claims

OOPSLA '06: Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications

Pages 719 - 720

https://doi.org/10.1145/1176617.1176691

Published: 22 October 2006 Publication History

Get Access

Abstract

In the context of Model Driven Engineering (MDE), models are the main development artifacts and model transformations are among the most important operations applied to models. A number of specialized languages have been proposed in order to specify model transformations. The OMG has, for instance, adopted the QVT specification. Apart from the software engineering properties of transformation languages, the availability of high quality tool support is also of major importance for the industrial adoption and ultimate success of MDE. In this paper, we present ATL: a QVT-like model transformation language and its execution environment based on the Eclipse framework.

References

[1]

Agrawal, A., Karsai, G., Kalmar, Z., Neema, S., Shi, F., Vizhanyo, A.: The Design of a Language for Model Transformations. Journal of Software and System Modeling (2005) in review.

Google Scholar

[2]

OMG: MOF 2.0 Query / Views / Transformations RFP, OMG Document ad/2002-04-10. (2002)

Google Scholar

[3]

Varró, D., Varró, G., Pataricza, A.: Designing the automatic transformation of visual languages (2002)

Digital Library

Google Scholar

[4]

Bézivin, J., Jouault, F., Rosenthal, P., Valduriez, P.: Modeling in the Large and Modeling in the Small. In Uwe Amann, Mehmet Aksit, A.R., ed.: Proceedings of the European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, LNCS 3599, Springer-Verlag GmbH (2005) 33--46

Digital Library

Google Scholar

[5]

ATLAS team: ATLAS Transformation Language (ATL) Home page, http://www.eclipse.org/gmt/atl/. (2006)

Google Scholar

[6]

Jouault, F., Bézivin, J.: KM3: a DSL for Metamodel Specification. In: Proceedings of 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, LNCS 4037, Bologna, Italy (2006) 171--185

Digital Library

Google Scholar

[7]

Jouault, F., Kurtev, I.: On the Architectural Alignment of ATL and QVT. In: Proceedings of ACM Symposium on Applied Computing (SAC 06), model transformation track, Dijon, Bourgogne, France (2006)

Digital Library

Google Scholar

[8]

OMG: Meta Object Facility (MOF) 2.0 Core Specification, OMG Document formal/2006-01-01. (2006)

Google Scholar

[9]

OMG: UML OCL 2.0 Specification, OMG Document ptc/2003-10-14. (2003)

Google Scholar

[10]

Jouault, F., Kurtev, I.: Transforming Models with ATL. In Bruel, J. M., ed.: Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International Workshops OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, NfC, MDD, WUsCAM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers, LNCS 3844, Springer Berlin / Heidelberg (2006) 128--138

Digital Library

Google Scholar

[11]

Di Ruscio, D., Jouault, F., Kurtev, I., Bézivin, J., Pierantonio, A.: Extending AMMA for Supporting Dynamic Semantics Specifications of DSLs. Technical Report 06.02, LINA (2006)

Google Scholar

[12]

Budinsky, F., Steinberg, D., Ellersick, R., Merks, E., Brodsky, S. A., Grose, T. J.: Eclipse Modeling Framework. Addison Wesley (2003)

Digital Library

Google Scholar

Cited By

View all

Jiang JJiang MNie LDing Z(2024)A source model simplification method to assist model transformation debuggingSoftware Quality Journal10.1007/s11219-024-09676-232:3(961-984)Online publication date: 24-May-2024
https://doi.org/10.1007/s11219-024-09676-2
Höppner STichy M(2024)Traceability and reuse mechanisms, the most important properties of model transformation languagesEmpirical Software Engineering10.1007/s10664-023-10428-229:2Online publication date: 24-Feb-2024
https://dl.acm.org/doi/10.1007/s10664-023-10428-2
Idani A(2024)Transpilation of Petri-nets into BRigorous State-Based Methods10.1007/978-3-031-63790-2_5(80-98)Online publication date: 21-Jun-2024
https://doi.org/10.1007/978-3-031-63790-2_5
Show More Cited By

Index Terms

ATL: a QVT-like transformation language
1. Software and its engineering
  1. Software notations and tools
    1. Context specific languages
      1. Specialized application languages

Recommendations

On the architectural alignment of ATL and QVT
SAC '06: Proceedings of the 2006 ACM symposium on Applied computing

Transforming models is a critical activity in Model Driven Engineering (MDE). 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 ...
A new tool for URDAD to Java EE EJB transformations
SAICSIT '13: Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference

Following the Object Management Group's (OMG) Model-Driven Architecture (MDA) approach, the semi-formal, service-orientated "Use Case, Responsibility Driven Analysis and Design" (URDAD) method is used by requirements engineers to specify a software ...
Verification of ATL transformations using transformation models and model finders
ICFEM'12: Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering

In model-driven engineering, models constitute pivotal elements of the software to be built. If models are specified well, transformations can be employed for different purposes, e.g., to produce final code. However, it is important that models produced ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

OOPSLA '06: Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications

October 2006

530 pages

ISBN:159593491X

DOI:10.1145/1176617

General Chair:
Peri Tarr
IBM Thomas J. Watson Research Center, USA
,
Program Chair:
William R. Cook
University of Texas at Austin, USA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 October 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

OOPSLA06

Sponsor:

OOPSLA06: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference

October 22 - 26, 2006

Oregon, Portland, USA

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

99
Total Citations
View Citations
1,319
Total Downloads

Downloads (Last 12 months)20
Downloads (Last 6 weeks)1

Reflects downloads up to 18 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Jiang JJiang MNie LDing Z(2024)A source model simplification method to assist model transformation debuggingSoftware Quality Journal10.1007/s11219-024-09676-232:3(961-984)Online publication date: 24-May-2024
https://doi.org/10.1007/s11219-024-09676-2
Höppner STichy M(2024)Traceability and reuse mechanisms, the most important properties of model transformation languagesEmpirical Software Engineering10.1007/s10664-023-10428-229:2Online publication date: 24-Feb-2024
https://dl.acm.org/doi/10.1007/s10664-023-10428-2
Idani A(2024)Transpilation of Petri-nets into BRigorous State-Based Methods10.1007/978-3-031-63790-2_5(80-98)Online publication date: 21-Jun-2024
https://doi.org/10.1007/978-3-031-63790-2_5
Gupta RBinder CJansen NCalà AVollmar JRegnat NSchmalzing DRumpe B(2024)Towards Enabling Domain-Specific Modeling Language Exchange Between Modeling ToolsAdvances in Model and Data Engineering in the Digitalization Era10.1007/978-3-031-55729-3_8(89-103)Online publication date: 21-Mar-2024
https://doi.org/10.1007/978-3-031-55729-3_8
Tuyishime ABasciani FIovino LIzquierdo JCabot JPierantonio A(2023)Bridging Workflow Automation Tools and EMF Modeling Ecosystems2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C59198.2023.00140(893-897)Online publication date: 1-Oct-2023
https://doi.org/10.1109/MODELS-C59198.2023.00140
谭泽(2022)An Approach for Automatically Repairing ATL Model Transformation ProgramsSoftware Engineering and Applications10.12677/SEA.2022.11613311:06(1297-1309)Online publication date: 2022
https://doi.org/10.12677/SEA.2022.116133
Troya JSegura SBurgueño LWimmer M(2022)Model Transformation Testing and Debugging: A SurveyACM Computing Surveys10.1145/352305655:4(1-39)Online publication date: 21-Nov-2022
https://dl.acm.org/doi/10.1145/3523056
Höppner SHaas YTichy MJuhnke K(2022)Advantages and disadvantages of (dedicated) model transformation languagesEmpirical Software Engineering10.1007/s10664-022-10194-727:6Online publication date: 1-Nov-2022
https://dl.acm.org/doi/10.1007/s10664-022-10194-7
Zhang LPingaud HLamine EFontanili FBortolaso CDerras M(2022)A Model Driven Approach to Transform Business Vision-Oriented Decision-Making Requirement into Solution-Oriented Optimization ModelAdvances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence10.1007/978-3-031-08530-7_18(211-225)Online publication date: 30-Aug-2022
https://doi.org/10.1007/978-3-031-08530-7_18
Kharmoum NRhalem WRetal Sbouchti KZiti S(2022)Getting the UML’s Behavior and Interaction Diagrams by Extracting Business Rules Through the Data Flow DiagramAdvanced Intelligent Systems for Sustainable Development (AI2SD’2020)10.1007/978-3-030-90633-7_45(540-547)Online publication date: 7-Feb-2022
https://doi.org/10.1007/978-3-030-90633-7_45
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

On the architectural alignment of ATL and QVT

A new tool for URDAD to Java EE EJB transformations

Verification of ATL transformations using transformation models and model finders