6 1 b Atlas Transformation Language ATL with
6 -1 b. Atlas Transformation Language (ATL) with RSM Tutorial <Presenter> <Company>, <Country> <E-mail> Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731)
Outline • Atlas Transformation Language (ATL) tutorial with RSM example – Installation – Book 2 Publish example – RSM • References Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 2
ATL (1/2) • ATL: Atlas Transformation Language • Developed by: – – – LINA (Laboratoire D’Informatique De Nantes Atlantique) Université de Nantes Faculté des Sciences et Techniques Building IRIN 2, rue de la Houssinière, BP 92208 44322 Nantes cedex 3, France • Proposal to the OMG MOF/QVT RFP. • Model transformation language – Hybrid • Declarative => transformations based on simple mappings • Imperative => for complex mappings – Based on OCL • Documentation – http: //www. eclipse. org/gmt/atl/doc/ Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 3
ATL (2/2) • 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 ATL programs for model to model transformation are called modules. • Composed of – Header • transformation name • variables of source and target models – Import • libraries to be imported – Helpers • define (global) variables and functions. – Rules • describe the transformation from a source model to a target model Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 4
Warning • To navigate from an element to its attribute, – write the name of the element, then “. ” and the name of the attribute; • If an identifier (variable name, metamodel name, model element name, etc. ) is in conflict with a keyword, – it has to be marked with apostrophes; • The ATL parser is case sensitive. This concerns – the file names – the source code itself. Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 5
ATL: Installation Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 6
Installation (1/2) • Rational Software Modeler (RSM) 6. 0 – Based on Eclipse 3. 0 • ADT (ATL Development Tools) – Installation guide • http: //www. eclipse. org/gmt/atl/doc/ATL_Installation_Guide[v 0. 1]. pdf – NB! Download ADT for Eclipse 3. 0 and not 3. 1 • http: //www. eclipse. org/downloads/download. php? file=/technol ogy/gmt/atl/binaries/ADT-20060113/adt 20060113(Eclipse_3. 0). zip • Unzip adt-20060113(Eclipse_3. 0). zip into {RSMInstall. Dir}eclipse – C: Program FilesIBMRationalSDP6. 0eclipse Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 7
Installation (2/2) • Additional elements to download and install for ADT – External libraries not included as part of the standard ADT package • Download antlr-2. 7. 5. jar from – http: //www. antlr. org/download. html – Rename file to antlr. jar – Copy antlr. jar into … {RSMInstall. Dir}eclipsepluginsorg. atl. eclipse. engine _1. 0. 7lib • Download mdr-standalone. zip from – http: //mdr. netbeans. org/download/ – Unzip into {RSMInstall. Dir}eclipsepluginsorg. atl. engine. reposit ories. mdr 4 atl_1. 0. 0lib • The ADT is now installed. In Eclipse it adds – Plug-in – 2 perspectives • ATL perspective • Debug perspective Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 8
ATL: Book 2 Publish example Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 9
Reminder on transformation Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 10
Goal • Transform instances Book into instances of Publication Sum of chapters' number of pages List of authors'names separated by and Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 11
ATL transformation code • Header • Helper • Rule Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 12
Book 2 Publication. atl • Header module Book 2 Publication; create OUT : Publication from IN : Book; Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 13
1 st helper • Helper – To build the authors' list helper context Book!Book def : get. Authors() : String = self. chapters-> collect(e | e. author)-> as. Set()-> iterate(author. Name; acc : String = '' | acc + if acc = '' then author. Name else ' and ' + author. Name endif); Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 14
Select the chapters Get the authors of each chapter Suppress duplicated values helper context Book!Book def : get. Authors() : String = self. chapters-> collect(e | e. author)-> as. Set()-> iterate(author. Name; acc : String = '' | acc + if acc = '' then author. Name else ' and ' + author. Name endif); Build the list Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 15
Iterate on a collection • To iterate on a collection->iterate(elem : Type; acc : Type = <expression> | expression-avec-elem-et-acc) • acc is an accumulator which gets the initial value • elem is an iterator which iterates on each element of the collection • For each iteration expression-avec-elem-et-acc is – Evaluated – And then put into acc Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 16
2 nd helper • Helper – To get the total of pages helper context Book!Book def : get. Nb. Pages() : Integer = self. chapters-> collect(f|f. nb. Pages)-> iterate(pages; acc : Integer = 0 | acc + pages); Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 17
Rules rule Book 2 Publication { from b : Book!Book ( b. get. Nb. Pages() > 2 ) to out : Publication!Publication ( title <- b. title, authors <- b. get. Authors(), nb. Pages <- b. get. Nb. Pages() ) } Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 18
ATL: RSM Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 19
RSM example steps 1. 2. 3. Create an ATL project Book 2 Publication Create the Book. emx metamodel (UML model) Export and import the Book. emx metamodel as Book. ecore 4. Create the Publication. emx metamodel (UML model) 5. Export and import the Publication. emx metamodel as Publication. ecore 6. Create an ATL file Book 2 Publication. atl 7. Write the ATL transformation 8. Create a source model the. Books. ecore containing book instances 9. Configure the ATL transformation 10. Run the ATL transformation Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 20
1. Create an ATL project Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 21
2 a. Create the Book metamodel Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 22
2 b. Create the Book metamodel Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 23
2 c. Create the Book metamodel Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 24
3 a. Export the Book metamodel as. ecore Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 25
3 b. Export the Book metamodel as. ecore Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 26
3 c. Export the Book metamodel as. ecore Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 27
Book. ecore file <? xml version="1. 0" encoding="UTF-8"? > <ecore: EPackage xmi: version="2. 0" xmlns: xmi="http: //www. omg. org/XMI" xmlns: xsi="http: //www. w 3. org/2001/XMLSchema-instance " xmlns: ecore="http: //www. eclipse. org/emf/2002/Ecore " name="Book" ns. URI="http: ///Book. ecore" ns. Prefix="Book"> <e. Classifiers xsi: type="ecore: EClass" name="Book"> <e. Structural. Features xsi: type="ecore: EAttribute" name="title" lower. Bound="1" e. Type="ecore: EData. Type http: //www. eclipse. org/emf/2002/Ecore#//EString " default. Value. Literal=""/> <e. Structural. Features xsi: type="ecore: EReference" name="chapters" upper. Bound="-1" e. Type="#//Chapter" containment="true"/> </e. Classifiers> <e. Classifiers xsi: type="ecore: EClass" name="Chapter"> <e. Structural. Features xsi: type="ecore: EAttribute" name="title" lower. Bound="1" e. Type="ecore: EData. Type http: //www. eclipse. org/emf/2002/Ecore#//EString " default. Value. Literal=""/> <e. Structural. Features xsi: type="ecore: EAttribute" name="author" lower. Bound="1" e. Type="ecore: EData. Type http: //www. eclipse. org/emf/2002/Ecore#//EString " default. Value. Literal=""/> <e. Structural. Features xsi: type="ecore: EAttribute" name="nb. Pages" lower. Bound="1" e. Type="ecore: EData. Type http: //www. eclipse. org/emf/2002/Ecore#//EInt "/> </e. Classifiers> </ecore: EPackage> Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 28
3 d. Import the Book metamodel as. ecore NB! Choose "File system" If you choose "Ecore Model", RSM proposes to replace your ". emx' model !!!!!! Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 29
3 e. Import the Book metamodel as. ecore Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 30
4 -5. Create the Publication metamodel and export/import as. ecore • Follow the same procedure as for the Book metamodel (steps 2 and 3) to create and export/import the Publication metamodel as. ecore Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 31
6 a. Create an ATL file Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 32
6 b. Set IN metamodel Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 33
6 c. Set OUT metamodel Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 34
7. Write the ATL transformation Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 35
8. Create source model • Set of book instances the. Books. ecore <? xml version="1. 0" encoding="ISO-8859 -1"? > <xmi: XMI xmi: version="2. 0" xmlns: xmi="http: //www. omg. org/XMI" xmlns: Book="http: ///Book. ecore"> <Book: Book title="Easy ATL"> <chapters title="chapter 1" nb. Pages="5" author="Jean-Pierre"/> <chapters title="chapter 2" nb. Pages="6" author="Reyes"/> </Book: Book > <Book: Book title="ATL for Dummies"> <chapters title="chapter 1: A" nb. Pages="13" author="Reyes"/> <chapters title="chapter 2: T" nb. Pages="17" author="Arne"/> <chapters title="chapter 3: L" nb. Pages="20" author="Jean-Pierre"/> </Book: Book > </xmi: XMI> Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 36
9 a. Configure the ATL transformation Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 37
9 b. Configure the ATL transformation Change the name Fill Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 38
9 c. Configure the ATL transformation Name of the source model (IN) and metamodel (Book) The same for the target (OUT, Publication) Set the paths IN = source model file (the. Books. ecore) Book = source metamodel (Book. ecore) OUT = target file (the. Publications. ecore) Publication = target metamodel (Publication. ecore) Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 39
10. Run the ATL transformation Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 40
Result: the. Publications. ecore <? xml version="1. 0" encoding="ISO-8859 -1"? > <xmi: XMI xmi: version="2. 0" xmlns: xmi="http: //www. omg. org/XMI" xmlns: Publication="http: ///Publication. ecore"> <Publication: Publication title="ATL for Dummies" authors="Reyes and Jean-Pierre and Arne" nb. Pages="50"/> <Publication: Publication title="Easy ATL" authors="Reyes and Jean-Pierre" nb. Pages="11"/> </xmi: XMI> Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 41
To summarize rule Book 2 Publication { from b : Book!Book ( b. get. Nb. Pages() > 2 ) to out : Publication!Publication ( title <- b. title, authors <- b. get. Authors(), nb. Pages <- b. get. Nb. Pages() ) } <<instance>> <? xml version="1. 0" encoding="ISO-8859 -1"? > <xmi: XMI xmi: version="2. 0" xmlns: xmi="http: //www. omg. org/XMI" xmlns="Book"> <Book title="Easy ATL"> <chapters title="chapter 1" nb. Pages="5" author="Jean-Pierre"/> <chapters title="chapter 2" nb. Pages="6" author="Reyes"/> </Book> <Book title="ATL for Dummies "> <chapters title="chapter 1: A" nb. Pages="13" author="Reyes"/> <chapters title="chapter 2: T" nb. Pages="17" author="Arne"/> <chapters title="chapter 3: L" nb. Pages="20" author="Jean-Pierre"/> </Book> </xmi: XMI> <<instance>> <? xml version="1. 0" encoding="ISO-8859 -1"? > <xmi: XMI xmi: version="2. 0" xmlns: xmi="http: //www. omg. org/XMI" xmlns="Publication"> <Publication title="ATL for Dummies" nb. Pages="50" authors="Reyes and Jean-Pierre and Arne"/> <Publication title="Easy ATL" nb. Pages="11" authors="Reyes and Jean-Pierre"/> </xmi: XMI> Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 42
References Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 43
References • INRIA, "ATL - The Atlas Transformation Language Home Page". http: //www. sciences. univ-nantes. fr/lina/atl/ Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 44
This course has been developed under the funding of the EC with the support of the EC ATHENA-IP Project. Disclaimer and Copyright Notice: Permission is granted without fee for personal or educational (non-profit) use, previous notification is needed. For notification purposes, please, address to the ATHENA Training Programme Chair at rg@uninova. pt. In other cases please, contact at the same e-mail address for use conditions. Some of the figures presented in this course are freely inspired by others reported in referenced works/sources. For such figures copyright and all rights therein are maintained by the original authors or by other copyright holders. It is understood that all persons copying these figures will adhere to the terms and constraints invoked by each copyright holder. Based on material developed in ATHENA (IST-507849), INTEROP (IST-508011) and MODELWARE (IST-511731) 45
- Slides: 45
