Graph Transformation: 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings PDF
Preview Graph Transformation: 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
Rachid Echahed Mark Minas (Eds.) 1 Graph 6 7 9 S Transformation C N L 9th International Conference, ICGT 2016 in Memory of Hartmut Ehrig, Held as Part of STAF 2016 Vienna, Austria, July 5–6, 2016, Proceedings 123 Lecture Notes in Computer Science 9761 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, Lancaster, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Zürich, Switzerland John C. Mitchell Stanford University, Stanford, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Dortmund, Germany Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbrücken, Germany More information about this series at http://www.springer.com/series/7407 Rachid Echahed Mark Minas (Eds.) (cid:129) Graph Transformation 9th International Conference, ICGT 2016 in Memory of Hartmut Ehrig, Held as Part of STAF 2016 – Vienna, Austria, July 5 6, 2016 Proceedings 123 Editors RachidEchahed Mark Minas Laboratoire LIG UniversitätderBundeswehr München UniversitéGrenoble Alpes Neubiberg Grenoble Germany France ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Computer Science ISBN 978-3-319-40529-2 ISBN978-3-319-40530-8 (eBook) DOI 10.1007/978-3-319-40530-8 LibraryofCongressControlNumber:2016941082 LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues ©SpringerInternationalPublishingSwitzerland2016 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow knownorhereafterdeveloped. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissionsthatmayhavebeenmade. Printedonacid-freepaper ThisSpringerimprintispublishedbySpringerNature TheregisteredcompanyisSpringerInternationalPublishingAGSwitzerland Foreword Software Technologies: Applications and Foundations (STAF) is a federation of leadingconferencesonsoftwaretechnologies.Itprovidesalooseumbrellaorganization with a Steering Committee that ensures continuity. The STAF federated event takes placeannually.Theparticipatingconferencesmayvaryfromyeartoyear,butallfocus on foundational and practical advances in software technology. The conferences address all aspects of software technology, from object-oriented design, testing, mathematical approaches to modeling and verification, transformation, model-driven engineering, aspect-oriented techniques, and tools. STAF2016took placeatTUWien,Austria,duringJuly4–8,2016,andhostedthe fiveconferencesECMFA2016,ICGT2016,ICMT2016,SEFM2016,andTAP2016, thetransformationtoolcontestTTC2016,eightworkshops,adoctoralsymposium,and aprojectsshowcaseevent.STAF2016featuredeightinternationallyrenownedkeynote speakers, and welcomed participants from around the world. TheSTAF2016OrganizingCommittee thanks(a)allparticipantsfor submittingto andattendingtheevent,(b)theprogramchairsandSteeringCommitteemembersofthe individualconferencesandsatelliteeventsfortheirhardwork,(c)thekeynotespeakers fortheirthoughtful,insightful,andinspiringtalks,and(d)TUWien,thecityofVienna, and all sponsors for their support. A special thank you goes to the members of the Business Informatics Group, coping with all the foreseen and unforeseen work (as usual :-)! Spring 2016 Gerti Kappel Preface ThisvolumecontainstheproceedingsofICGT2016,the9thInternationalConference on Graph Transformation. The conference was held in Vienna, Austria, during July 5–6, 2016. ICGT 2016 took place under the auspices of the European Association of Theoretical Computer Science (EATCS), the European Association of Software Sci- ence and Technology (EASST), and the IFIP Working Group 1.3, Foundations of Systems Specification. It was affiliated with STAF (Software Technologies: Applica- tions and Foundations), a federation of leading conferences on software technologies. The aim of the ICGT series1 is to bring together researchers from different areas interested in all aspects of graph transformation. Graph structures are used almost everywhere when representing or modeling data and systems, not only in applied and theoreticalcomputerscience,butalsoin,e.g.,naturalandengineeringsciences.Graph transformation and graph grammars are the fundamental modeling paradigms for describing, formalizing, and analyzing graphs that change over time when modeling, e.g., dynamic data structures, systems, or models. The conference series promotes the cross-fertilizing exchange of novel ideas, new results, and experiences in this context among researchers and students from different communities. ICGT2016continuedtheseriesofconferencespreviouslyheldinBarcelona(Spain) in 2002, Rome (Italy) in 2004, Natal (Brazil) in 2006, Leicester (UK) in 2008, Enschede(TheNetherlands)in2010,Bremen(Germany)in2012,York(UK)in2014, and L’Aquila (Italy) in 2015 following a series of six International Workshops on Graph Grammars and Their Application to Computer Science from 1978 to 1998 in Europe and in the USA. This year, the conference solicited research papers that describe new unpublished contributions in the theory and applications of graph transformation, innovative case studiesdescribingtheuseofgraph-rewritingtechniquesinanyapplicationdomain,and tool presentation papers that demonstrate the main features and functionalities of graph-based tools. All papers were reviewed thoroughly by at least three Program Committee members and additional reviewers. The Program Committee selected 14 papersforpublicationintheseproceedingswithanacceptancerateof42%.Thetopics oftheacceptedpapersrangeoverawidespectrum,includingtheoreticalapproachesto graph transformation and their verification, analyses and compilation methods, graph queries, visual methods as well as various applications. In addition to these paper presentations, the conference program included an invited talk, given by Juergen Dingel (Queen’s University, Ontario, Canada). WewouldliketothankallwhocontributedtothesuccessofICGT2016,theinvited speaker Juergen Dingel, the authors of all submitted papers, as well as the members oftheProgramCommitteeandtheadditionalreviewersfortheirvaluablecontributions 1 www.graph-transformation.org. VIII Preface to the selection process. We are grateful to the TU Wien and the STAF federation of conferences for hosting ICGT 2016. SpecialthanksgotoBarbaraKönig,theorganizerofthe7thInternationalWorkshop on Graph Computation Models (GCM 2016), a satellite workshop related to ICGT 2016 and affiliated with the STAF federation of conferences. Wealsowouldliketoacknowledgetheexcellentsupportthroughoutthepublishing process by Alfred Hofmann and his team at Springer, in particular for the compli- mentaryprintedcopiesoftheseproceedings,whichweredistributedatthemeeting,and the helpful use of the EasyChair conference management system. Duringthepreparationoftheconference,weweresaddenedbythedeathofHartmut Ehrig, one of the fathers and most productive members of the graph transformation community and co-founder of this conference series. We dedicate this volume to him. An obituary, by Hans-Jörg Kreowski, is included in these proceedings. July 2016 Rachid Echahed Mark Minas Organization Steering Committee Michel Bauderon LaBRI, Université de Bordeaux, France Paolo Bottoni Sapienza - Università di Roma, Italy Andrea Corradini Università di Pisa, Italy Hartmut Ehrig † Technische Universität Berlin, Germany Gregor Engels Universität Paderborn, Germany Holger Giese Hasso-Plattner-Institut Potsdam, Germany Reiko Heckel (Chair) University of Leicester, UK Dirk Janssens Universiteit Antwerpen, Belgium Barbara König Universität Duisburg-Essen, Germany Hans-Jörg Kreowski Universität Bremen, Germany Ugo Montanari Università di Pisa, Italy Mohamed Mosbah LaBRI, Université de Bordeaux, France Manfred Nagl RWTH Aachen, Germany Fernando Orejas Universitat Politècnica de Catalunya, Spain Francesco Parisi-Presicce Sapienza - Università di Roma, Italy John Pfaltz University of Virginia, Charlottesville, USA Detlef Plump The University of York, UK Arend Rensink University of Twente, The Netherlands Leila Ribeiro Universidade Federal do Rio Grande do Sul, Brazil Grzegorz Rozenberg Universiteit Leiden, The Netherlands Andy Schürr Technische Universität Darmstadt, Germany Gabriele Taentzer Philipps-Universität Marburg, Germany Bernhard Westfechtel Universität Bayreuth, Germany Program Committee Gábor Bergmann Budapest University of Technology and Economics, Hungary Paolo Bottoni Sapienza - Università di Roma, Italy Andrea Corradini Università di Pisa, Italy Juan De Lara Universidad Autónoma de Madrid, Spain Frank Drewes Umeå universitet, Sweden Rachid Echahed (Co-chair) CNRS and Université de Grenoble Alpes, France Claudia Ermel Technische Universität Berlin, Germany Holger Giese Hasso-Plattner-Institut Potsdam, Germany Annegret Habel Universität Oldenburg, Germany Reiko Heckel University of Leicester, UK X Organization Berthold Hoffmann Universität Bremen, Germany Dirk Janssens Universiteit Antwerpen, Belgium Barbara König Universität Duisburg-Essen, Germany Christian Krause SAP SE, Potsdam, Germany Sabine Kuske Universität Bremen, Germany Leen Lambers Hasso-Plattner-Institut Potsdam, Germany Yngve Lamo Bergen University College, Norway Tihamer Levendovszky Microsoft, USA Mark Minas (Co-chair) Universität der Bundeswehr München, Germany Mohamed Mosbah LaBRI, Université de Bordeaux, France Fernando Orejas Universitat Politècnica de Catalunya, Spain Francesco Parisi-Presicce Sapienza - Università di Roma, Italy Detlef Plump The University of York, UK Arend Rensink University of Twente, The Netherlands Leila Ribeiro Universidade Federal do Rio Grande do Sul, Brazil Andy Schürr Technische Universität Darmstadt, Germany Martin Strecker Université de Toulouse, France Gabriele Taentzer Philipps-Universität Marburg, Germany Matthias Tichy University of Ulm, Germany Pieter Van Gorp EindhovenUniversityofTechnology,TheNetherlands Hans Vangheluwe Universiteit Antwerpen, Belgium Bernhard Westfechtel Universität Bayreuth, Germany Albert Zündorf Universität Kassel, Germany Additional Reviewers Becker, Jan Steffen Kögel, Stefan Blouin, Dominique Leblebici, Erhan Buchmann, Thomas Löwe, Michael Cabrera, Benjamin Machado, Rodrigo Dyck, Johannes Maximova, Maria Ermler, Marcus Poskitt, Christopher M. George, Tobias Radke, Hendrik Hegedüs, Ábel Schwägerl, Felix Heindel, Tobias Stegmaier, Michael Kreowski, Hans-Jörg Vörös, András
The list of books you might like
