Keith Duddy Gerti Kappel (Eds.) 9 0 9 Theory and Practice 7 S C of Model Transformations N L 6th International Conference, ICMT 2013 Budapest, Hungary, June 2013 Proceedings 123 Lecture Notes in Computer Science 7909 CommencedPublicationin1973 FoundingandFormerSeriesEditors: GerhardGoos,JurisHartmanis,andJanvanLeeuwen EditorialBoard DavidHutchison LancasterUniversity,UK TakeoKanade CarnegieMellonUniversity,Pittsburgh,PA,USA JosefKittler UniversityofSurrey,Guildford,UK JonM.Kleinberg CornellUniversity,Ithaca,NY,USA AlfredKobsa UniversityofCalifornia,Irvine,CA,USA FriedemannMattern ETHZurich,Switzerland JohnC.Mitchell StanfordUniversity,CA,USA MoniNaor WeizmannInstituteofScience,Rehovot,Israel OscarNierstrasz UniversityofBern,Switzerland C.PanduRangan IndianInstituteofTechnology,Madras,India BernhardSteffen TUDortmundUniversity,Germany MadhuSudan MicrosoftResearch,Cambridge,MA,USA DemetriTerzopoulos UniversityofCalifornia,LosAngeles,CA,USA DougTygar UniversityofCalifornia,Berkeley,CA,USA GerhardWeikum MaxPlanckInstituteforInformatics,Saarbruecken,Germany Keith Duddy Gerti Kappel (Eds.) Theory and Practice of Model Transformations 6th International Conference, ICMT 2013 Budapest, Hungary, June 18-19, 2013 Proceedings 1 3 VolumeEditors KeithDuddy QueenslandUniversityofTechnology 4000Brisbane,QLD,Australia E-mail:[email protected] GertiKappel ViennaUniversityofTechnology 1040Vienna,Austria E-mail:[email protected] ISSN0302-9743 e-ISSN1611-3349 ISBN978-3-642-38882-8 e-ISBN978-3-642-38883-5 DOI10.1007/978-3-642-38883-5 SpringerHeidelbergDordrechtLondonNewYork LibraryofCongressControlNumber:2013939603 CRSubjectClassification(1998):D.2,F.3,D.3,K.6 LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering ©Springer-VerlagBerlinHeidelberg2013 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartof thematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation, broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionorinformation storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodology nowknownorhereafterdeveloped.Exemptedfromthislegalreservationarebriefexcerptsinconnection withreviewsorscholarlyanalysisormaterialsuppliedspecificallyforthepurposeofbeingenteredand executedonacomputersystem,forexclusiveusebythepurchaserofthework.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheCopyrightLawofthePublisher’slocation, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Permissionsforuse maybeobtainedthroughRightsLinkattheCopyrightClearanceCenter.Violationsareliabletoprosecution undertherespectiveCopyrightLaw. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Whiletheadviceandinformationinthisbookarebelievedtobetrueandaccurateatthedateofpublication, neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalresponsibilityforanyerrorsor omissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,withrespecttothe materialcontainedherein. Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper SpringerispartofSpringerScience+BusinessMedia(www.springer.com) Preface This volume contains the papers presented at the International Conference on Model Transformation(ICMT 2013), the sixth conference in the series, and the firsttobeheldatthenewparentevent“SoftwareTechnologies:Applicationsand Foundations”(STAFConferences,www.stafconferences.info).STAFwasformed after the end of the successful precursor event, TOOLS federated conferences. This year’s STAF event coveredthe conferences TAP (International Conference onTestsandProof)andSC(InternationalConferenceonSoftwareComposition) next to ICMT and the three workshops BIGMDE (International Workshop on Big MDE), VOLT (International Workshopon the Verification of Model Trans- formations),andTTC(TransformationToolContest).ICMT2013andallother STAF 2013 events were graciously hosted at Budapest University of Technol- ogy and Economics during June 17–20, 2013, and we thank the General Chair, D´aniel Varro´, and his team for their organizational skills and great hospitality in Hungary. ICMT is the premier forum for contributions advancing the state of the art in the field of model transformation and aims to bring together researchersand practitioners alike from all areas of model transformation. Model transforma- tion encompasses a variety of technical spaces, including modelware, grammar- ware, dataware, and ontoware, a variety of model representations, e.g., based on different types of graphs, and a variety of transformation paradigms includ- ing rule-based transformations, term rewriting, and manipulations of objects in general-purpose programming languages, to mention just a few. The study ofmodel transformationincludes foundations,structuring mecha- nisms, and properties, such as modularity, composability, and parameterization of transformations, transformation languages, techniques, and tools. An impor- tant goal of the field is the development of high-level model transformation languages, providing transformations that are amenable to higher-order model transformations or tailored to specific transformationproblems. To have an im- pact on software engineering in general, methodologies and tools are required to integrate model transformation into existing development environments and processes. This year’s program consisted of 13 full papers and five tool and applica- tion demonstrations, the latter being supported by an extended abstract in the proceedings. Since ICMT 2013 could attract 58 full submissions this implies an acceptance rate of 22%. The papers covered the spectrum of approaches and technologies mentioned above, and were presented in five sessions that repre- sent the broad scope of ICMT: (a) New Programming Models, (b) Tools and Applications, (c) Transformation Engineering, (d) Testing, and (e) Evolution andSynchronization.We werealso fortunate to have a keynotetalk by Andreas Zeller(SaarlandUniversity)on“MiningModels fromGeneratedSystemTests.” VI Preface And after the traditional conferenceformat, we were pleasedto see at oursister event,theTransformationToolContest,the diversetoolsandapproachesinour field in action. ICMT 2013 was made possible by the collaboration of many people. We weresupportedbyagreatteam,mostnotablyPublicationChairandEasyChair manager par excellence Manuel Wimmer, Publicity Chair Philip Langer, who got the message out to the transformation community, and Ludovico Iovino, who keptour website up to date. The Steering Committee was very helpful and provided advice when we needed it. We would like to thank all the members of theICMT2013ProgramCommitteeforthetremendousefforttheyputintotheir reviews and deliberations, and all the additional reviewers for their invaluable contributions. Finally, special thanks go to all the researchersandstudents who contributed with their work and participated in the conference – without them, ICMT 2013 would not have taken place. We hope that you find the papers in these proceedings as stimulating as we did. April 2013 Keith Duddy Gerti Kappel Organization General Chair D´aniel Varr´o Budapest University of Technology and Economics (Hungary) Program Chairs Keith Duddy Queensland University of Technology (Australia) Gerti Kappel Vienna University of Technology (Austria) Publication Chair Manuel Wimmer Vienna University of Technology (Austria) Publicity Chair Philip Langer Vienna University of Technology (Austria) Web Chair Ludovico Iovino Universit`a degli Studi dell’Aquila (Italy) Steering Committee Jean B´ezivin University of Nantes (France) Jordi Cabot INRIA-E´cole des Mines de Nantes (France) Martin Gogolla University of Bremen (Germany) Jeff Gray University of Alabama (USA) Zhenjiang Hu NationalInstituteofInformaticsTokyo(Japan) Juan de Lara Universidad Auto´noma de Madrid (Spain) Richard Paige University of York (UK) Alfonso Pierantonio (Chair) Universit`a degli Studi dell’Aquila (Italy) Laurence Tratt King’s College London (UK) Antonio Vallecillo University of M´alaga (Spain) Eelco Visser Delft University of Technology (The Netherlands) VIII Organization Program Committee Jordi Cabot INRIA-E´cole des Mines de Nantes (France) Antonio Cicchetti M¨alardalen University (Sweden) Tony Clark Middlesex University (UK) Benoˆıt Combemale IRISA, Universit´e de Rennes 1 (France) Krzysztof Czarnecki University of Waterloo (Canada) Juan de Lara Universidad Auto´noma de Madrid (Spain) Davide Di Ruscio Universit`a degli Studi dell’Aquila (Italy) Ju¨rgen Ebert University of Koblenz-Landau (Germany) Alexander Egyed Johannes Kepler University Linz (Austria) Gregor Engels University of Paderborn (Germany) Claudia Ermel Technische Universita¨t Berlin (Germany) Robert France Colorado State University (USA) Jesu´s Garc´ıa-Molina Universidad de Murcia (Spain) Dragan Gaˇsevi´c Athabasca University (Canada) Martin Gogolla University of Bremen (Germany) Jeff Gray University of Alabama (USA) Esther Guerra Universidad Auto´noma de Madrid (Spain) Reiko Heckel University of Leicester (UK) Zhenjiang Hu NationalInstituteofInformaticsTokyo(Japan) Marouane Kessentini Missouri University of Science and Technology (USA) Dimitris Kolovos University of York (UK) Jochen Kuester IBM Research Zurich (Switzerland) Ivan Kurtev University of Twente (The Netherlands) Thomas Ku¨hne Victoria University of Wellington (New Zealand) Leen Lambers Hasso-Plattner-Institut, Universita¨t Potsdam (Germany) Tihamer Levendovszky Vanderbilt University (USA) Ralf L¨ammel University of Koblenz-Landau (Germany) Richard Paige University of York (UK) Alfonso Pierantonio Universit`a degli Studi dell’Aquila (Italy) Ivan Porres ˚Abo Akademi University (Finland) Werner Retschitzegger Johannes Kepler University Linz (Austria) Bernhard Rumpe RWTH Aachen University (Germany) Andy Schu¨rr Darmstadt University of Technology (Germany) Organization IX Steffen Staab University of Koblenz-Landau (Germany) Jim Steel University of Queensland (Australia) Perdita Stevens University of Edinburgh (UK) Markus Stumptner University of South Australia (Australia) Eugene Syriani University of Alabama (USA) Jesu´s S´anchez Cuadrado Universidad Auto´noma de Madrid (Spain) Gabriele Taentzer Philipps-Universita¨t Marburg (Germany) James Terwilliger Microsoft Corporation(USA) Massimo Tisi INRIA-E´cole des Mines de Nantes (France) Laurence Tratt King’s College London (UK) Mark Van Den Brand Eindhoven University of Technology (The Netherlands) Pieter Van Gorp Eindhoven University of Technology (The Netherlands) Hans Vangheluwe University of Antwerp (Belgium) and McGill University (Canada) Eelco Visser Delft University of Technology (The Netherlands) Janis Voigtla¨nder University of Bonn (Germany) Hironori Washizaki Waseda University Tokyo (Japan) Haiyan Zhao Peking University (China) Albert Zu¨ndorf Kassel University (Germany) Additional Reviewers Al-Refai, Mohammed Engelen, Luc Anjorin, Anthony Feuser, Johannes Arendt, Thorsten George, Tobias Asadi, Mohsen Golas, Ulrike Bak, Kacper Gr¨oner, Gerd Blouin, Arnaud Hermann, Frank Bosnacki, Dragan Hildebrandt, Stephan Branco, Moises H¨olldobler, Katrin Brosch, Petra Horn, Tassilo Bru¨seke, Frank Iovino, Ludovico Burguen˜o, Loli Koch, Andreas Corley, Jonathan Lauder, Marius Cosentino, Valerio Lindel, Stefan Dajsuren, Yanja Martens, Wim Dang, Duc-Hanh Navarro Perez, Antonio Demuth, Andreas Rajan, Ajitha Diskin, Zinovy Reder, Alexander Dyck, Johannes Scharf, Andreas Ehrig, Hartmut Scho¨lzel, Hanna X Organization Schulze, Christoph Varanovich, Andrei Seidl, Martina Varro´, Gergely Soltenborn, Christian Wachsmuth, Guido Sun, Wuliang Wieber, Martin Truscan, Dragos