Theory and Practice of Model Transformations: 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

234 Pages·2013·8.549 MB·English

by  Jesús Sánchez Cuadrado, Juan de Lara (auth.), Keith Duddy, Gerti Kappel (eds.)

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