ATL: Difference between revisions

ATLAS Transformation Language
Developer(s)	INRIA; Free software community
Stable release	2.0.0 / June 25, 2008
Operating system	Cross-platform
License	Eclipse Public License
Website	http://www.eclipse.org/m2m/atl

Browse history interactively

← Previous edit Next edit →

Content deleted Content added

VisualWikitext

Inline

Revision as of 12:08, 2 July 2008

ATL (ATLAS Transformation Language) is a model transformation language and toolkit developed by the ATLAS Group (INRIA & LINA). In the field of Model-Driven Engineering (MDE), ATL provides ways to produce a set of target models from a set of source models.

Released under the terms of the Eclipse Public License, ATL is an M2M (Eclipse) component, inside of the Eclipse Modeling Project (EMP).

Description

ATL is the ATLAS INRIA & LINA research group answer to the OMG MOF/QVT RFP. It is a model transformation language specified both as a metamodel and as a textual concrete syntax. It is a hybrid of declarative and imperative. The preferred style of transformation writing is declarative, which means simple mappings can be expressed simply. However, imperative constructs are provided so that some mappings too complex to be declaratively handled can still be specified. An ATL transformation program is composed of rules that define how source model elements are matched and navigated to create and initialize the elements of the target models.

Architecture

A model-transformation-oriented virtual machine has been defined and implemented to provide execution support for ATL while maintaining a certain level of flexibility. As a matter of fact, ATL becomes executable simply because a specific transformation from its metamodel to the virtual machine bytecode exists. Extending ATL is therefore mainly a matter of specifying the new language features execution semantics in terms of simple instructions: basic actions on models (elements creations and properties assignments).

External links

Object Management Group: Model-Driven Architecture - Vision, Standards And Emerging Technologies. Webpublished .pdf

Object Management Group: MDA Guide Version 1.0.1. Webpublished .pdf

Brown, A: An Introduction to Model Driven Architecture. In: The Rational Edge, Feb. 2004 (IBM developerWorks eZine). Webpublished .html (first article in a series of three)

Bézivin, J: From Object Composition to Model Transformation with the MDA. In: TOOLS-USA'01. Webpublished .pdf

Bohlen, M: QVT and multi metamodel transformation in MDA. Webpublished .pdf (en), (ger)

Wagelaar, D: MDE Case Study: Using Model Transformations for UML and DSLs. Webpublished .pdf

Czarnecki, K, and Helsen, S : Classification of Model Transformation Approaches. In: Proceedings of the OOPSLA'03 Workshop on the Generative Techniques in the Context Of Model-Driven Architecture. Anaheim (CA, USA). Webpublished .pdf

ModelBaset.net. MDA Tools. Website
SoftwareMag.com. MDA Tools. Webpublished .html

ATL: Atlas model transformation language

Eclipse/M2M newsgroup: ATL discussion group.
Jouault, F and 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, FRA), April 2006. Webpublished .pdf

Eclipse : M2M/ATL is part of the new Top Level Modeling Project [1]

UMT: UML model transformation tool

Gronmo, R, and Oldevik, J : An Empirical Study of the UML Model Transformation Tool (UMT). In: INTEROP-ESA'05, Feb. 2005. Webpublished .pdf

Related model-driven development approaches

Voelter, M: Model Driven Software Development. Webpublished .pdf

Portal site MDA and Model Transformation: site access

References

The MDA Manifesto available from the MDA Journal
Model Driven Architecture: Applying MDA to Enterprise Computing, David S. Frankel, John Wiley & Sons, ISBN 0-471-31920-1, book
On the Architectural Alignment of ATL and QVT. Frederic Jouault, Ivan Kurtev in: Proceedings of ACM Symposium on Applied Computing (SAC 06), Model Transformation Track, Dijon, Bourgogne, France, (April 2006), pdf paper.
Using ATL for Checking Models Frederic Jouault, Jean Bezivin, International Workshop on Graph and Model Transformation (GraMoT), Tallinn, Estonia, September 28 , 2005 pdf paper

@@ Line 1: / Line 1: @@
+{{ infobox software
-'''ATL''' may stand for:
+| name = ATLAS Transformation Language
+| developer              = [[INRIA]]<br />[[Free software community]]
+| latest_release_version = 2.0.0
+| latest_release_date    = {{release date|2008|06|25}}
+| operating_system       = [[Cross-platform]]
+| status                 = Active
+| license                = [[Eclipse Public License]]
+| website                = http://www.eclipse.org/m2m/atl
+}}
+'''ATL''' (ATLAS Transformation Language) is a model transformation language and toolkit developed by the ATLAS Group (INRIA & LINA).
-== Geography ==
+In the field of Model-Driven Engineering (MDE), ATL provides ways to produce a set of target models from a set of source models.
-* [[Atlanta, Georgia]], United States
-** [[Hartsfield-Jackson Atlanta International Airport]] (IATA airport code: ATL)
-* [[Attleborough railway station]], its National Rail code
+Released under the terms of the [[Eclipse Public License]], ATL is an [[M2M (Eclipse)]] component, inside of the [[Eclipse Modeling Project]] (EMP).
-== Media ==
-* [[ATL (film)|''ATL'' (film)]], a 2006 film set in the city of Atlanta, Georgia, USA
-* [[Above the line (advertising)]], an advertising strategy
-* [[Across the Line (BBC Radio Ulster)]], a BBC Northern Ireland music brand
-* [[ATL (band)]], an R&B boy band
-* [[Above the Law (group)]], a Los Angeles-based rap group
-* [[All Time Low]], a pop-punk band from Lutherville-Timonium, Maryland
-== Sport ==
+== Description ==
+[[Image:Operational_context_of_ATL.png|thumb|350px|right|ATL Operational Context]]
-* The [[Atlanta Braves]], a Major League Baseball team
+ATL is the ATLAS INRIA & LINA research group answer to the OMG MOF/QVT RFP. It is a model transformation language specified both as a metamodel and as a textual concrete syntax. It is a hybrid of declarative and imperative. The preferred style of transformation writing is declarative, which means simple mappings can be expressed simply. However, imperative constructs are provided so that some mappings too complex to be declaratively handled can still be specified.
-* The [[Atlanta Thrashers]], a National Hockey League team
+An ATL transformation program is composed of rules that define how source model elements are matched and navigated to create and initialize the elements of the target models.
-* The [[Atlanta Falcons]], a National Football League team
-* The [[Atlanta Hawks]], a National Basketball Association team
-== Technology ==
+== Architecture ==
+A model-transformation-oriented virtual machine has been defined and implemented to provide execution support for ATL while maintaining a certain level of flexibility. As a matter of fact, ATL becomes executable simply because a specific transformation from its metamodel to the virtual machine bytecode exists. Extending ATL is therefore mainly a matter of specifying the new language features execution semantics in terms of simple instructions: basic actions on models (elements creations and properties assignments).
-* [[ATLAS Transformation Language]], a QVT model transformation language for Model Driven Engineering
-* [[Active Template Library]], from Microsoft
-* [[Advanced tactical laser]], a US military program to mount a high energy laser weapon on an aircraft for use against ground targets
-* [[Americans for Technology Leadership]], an organization that advocates limited government regulation of technology
-== Other ==
-* [[Association of Teachers and Lecturers]], a teachers' union in the UK
-* [[Adult T-cell leukemia]], a rare cancer of the immune system's own T-cells
 == See also ==
+{{col-begin}}{{col-3}}
-* [[Above the line (disambiguation)]]
+* [[Model Driven Engineering]]  (MDE)
-* [[Atlatl]]
+* [[Domain Specific Language]]  (DSL)
+* [[Model-driven architecture]]  (MDA)
+* [[Domain-specific modelling]] (DSM)
+* [[Transformation language]] (TL)
+* [[Model Transformation Language]] (MTL)
+* [[Semantic translation]]
+* [[Vocabulary-based transformation]]
+* [[Data mapping]]
+{{col-3}}
+* [[Model-based testing]] (MBT)
+* [[Eclipse (software)|Eclipse]] [http://www.eclipse.org/gmt/ GMT Project]
+* [[QVT|MOF Queries/Views/Transformations]] (QVT)
+* [[Meta-Object Facility|MOF]]
+* [[KM3]]
+* [[Software factory]]
+* [[Meta-model|Metamodel]]
+* [[Meta-modeling technique|Metamodeling technique]]
+{{col-3}}
+* [[XMI]]
+* [[Object-oriented analysis and design]] (OOAD)
+* [[Modeling language]]
+* [[Unified Modeling Language|UML]]
+* [[UML tool]]
+* [[List of UML tools]]
+* [[Object Constraint Language]] (OCL)
+* [[Glossary of Unified Modeling Language terms]]
+{{col-end}}
+== External links ==
+* Object Management Group: ''Model-Driven Architecture - Vision, Standards And Emerging Technologies''. Webpublished [http://www.omg.org/mda/mda_files/Model-Driven_Architecture.pdf .pdf]
+* Object Management Group: ''MDA Guide Version 1.0.1''. Webpublished [http://www.omg.org/docs/omg/03-06-01.pdf .pdf]
+* Brown, A: ''An Introduction to Model Driven Architecture''. In: The Rational Edge, Feb. 2004 (IBM developerWorks eZine). Webpublished [http://www-128.ibm.com/developerworks/rational/library/3100.html .html] (first article in a series of three)
+* Bézivin, J: ''From Object Composition to Model Transformation with the MDA''. In: TOOLS-USA'01. Webpublished [http://www.sciences.univ-nantes.fr/info/lrsg/Recherche/mda/TOOLS.USA.pdf .pdf]
+* Bohlen, M: ''QVT and multi metamodel transformation in MDA''. Webpublished [http://galaxy.andromda.org/jira/secure/attachment/10780/QVT+article+mbohlen+2006.pdf .pdf (en)], [http://galaxy.andromda.org/jira/secure/attachment/10744/bohlen_OS_02_06_k4.pdf (ger)]
+* Wagelaar, D: ''MDE Case Study: Using Model Transformations for UML and DSLs''. Webpublished [http://ssel.vub.ac.be/Members/DennisWagelaar/docs/uml1cs-pres.pdf .pdf]
+* Czarnecki, K, and Helsen, S : ''Classification of Model Transformation Approaches.'' In: Proceedings of the OOPSLA'03 Workshop on the Generative Techniques in the Context Of Model-Driven Architecture. Anaheim (CA, USA). Webpublished [http://www.swen.uwaterloo.ca/~kczarnec/ECE750T7/czarnecki_helsen.pdf .pdf]
+* ModelBaset.net. ''MDA Tools''. [http://www.modelbased.net/mda_tools.html Website]
+* SoftwareMag.com. ''MDA Tools''. Webpublished [http://www.softwaremag.com/L.cfm?Doc=2005-04/2005-04 .html]
+====ATL: Atlas model transformation language====
+* Eclipse/M2M newsgroup: ''ATL discussion group''.
+* Jouault, F and 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, FRA), April 2006. Webpublished [http://www.sciences.univ-nantes.fr/lina/atl/bibliography/SAC06a .pdf]
+* Eclipse :  ''M2M/ATL is part of the new Top Level Modeling Project'' [http://www.eclipse.org/m2m/atl/]
+====UMT: UML model transformation tool====
+* Gronmo, R, and Oldevik, J : ''An Empirical Study of the UML Model Transformation Tool (UMT)''. In: INTEROP-ESA'05, Feb. 2005. Webpublished [http://interop-esa05.unige.ch/INTEROP/Proceedings/IndustrialPresentations/Gronmo.pdf .pdf]
+====Related model-driven development approaches====
+* Voelter, M: ''Model Driven Software Development''. Webpublished [http://www.voelter.de/data/articles/cgn.pdf .pdf]
+* Portal site ''MDA and Model Transformation'': [http://www.model-transformation.org/ site access]
+== References ==
+*''The MDA Manifesto'' [http://www.bptrends.com/publicationfiles/05-04%20COL%20IBM%20Manifesto%20-%20Frankel%20-3.pdf available from the MDA Journal]
+*''Model Driven Architecture: Applying MDA to Enterprise Computing'', [[David S. Frankel]], John Wiley & Sons, ISBN 0-471-31920-1, [http://www.amazon.com/dp/0471319201/ book]
+*''On the Architectural Alignment of ATL and QVT. [[Frederic Jouault]], [[Ivan Kurtev]] in: Proceedings of ACM Symposium on Applied Computing (SAC 06), Model Transformation Track, Dijon, Bourgogne, France, (April 2006), [http://www.sciences.univ-nantes.fr/lina/atl/bibliography/SAC06a pdf paper].
+*''Using ATL for Checking Models'' [[Frederic Jouault]], [[Jean Bezivin]], International Workshop on Graph and Model Transformation (GraMoT), Tallinn, Estonia, September 28 , 2005 [http://tfs.cs.tu-berlin.de/gramot/FinalVersions/PDF/BezivinJouault.pdf pdf paper]
+[[Category:Systems engineering]]
-{{disambig}}
+[[Category:Unified Modeling Language]]
+[[Category:Domain-specific programming languages]]
+[[Category:Java platform software]]
+[[Category:Free UML tools]]
+[[de:Atlas Transformation Language]]
-[[de:ATL]]
+[[fr:ATLAS Transformation Language]]
-[[eo:ATL]]
+[[ja:ATLAS Transformation Language]]
-[[fr:ATL]]
-[[it:ATL]]
-[[ja:ATL]]
-[[pl:ATL]]
-[[pt:ATL]]
-[[ru:ATL]]
-[[zh:ATL]]