Graph Transformations: 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings PDF
Preview Graph Transformations: 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings
Lecture Notes in Computer Science 6372 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 Hartmut Ehrig Arend Rensink Grzegorz Rozenberg Andy Schürr (Eds.) Graph Transformations 5th International Conference, ICGT 2010 Enschede,The Netherlands, September 27–October 2, 2010 Proceedings 1 3 VolumeEditors HartmutEhrig TechnischeUniversitätBerlin InstitutfürSoftwaretechnikundTheoretischeInformatik Franklinstr.28/29,10587Berlin,Germany E-mail:[email protected] ArendRensink UniversiteitTwente AfdelingInformatica Drienerlolaan5,7522NBEnschede,TheNetherlands E-mail:[email protected] GrzegorzRozenberg UniversiteitLeiden LeidenInstituteofAdvancedComputerScience(LIACS) NielsBohrweg1,2333CALeiden,TheNetherlands E-mail:[email protected] AndySchürr TechnischeUniversitätDarmstadt FachgebietEchtzeitsysteme Merckstraße25,64283Darmstadt,Germany E-mail:[email protected] LibraryofCongressControlNumber:2010934298 CRSubjectClassification(1998):G.2,D.2,E.1,F.3,F.1,F.4 LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues ISSN 0302-9743 ISBN-10 3-642-15927-3SpringerBerlinHeidelbergNewYork ISBN-13 978-3-642-15927-5SpringerBerlinHeidelbergNewYork Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable toprosecutionundertheGermanCopyrightLaw. springer.com ©Springer-VerlagBerlinHeidelberg2010 PrintedinGermany Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper 06/3180 Preface Graphs are among the simplest and most universal models for a variety of sys- tems, not just in computer science, but throughout engineering and the life sciences.Whensystems evolvewe areinterestedin the waythey change,to pre- dict, support, or react to their evolution. Graph transformation combines the idea of graphs as a universal modelling paradigm with a rule-based approach to specify their evolution. The area is concerned with both the theory of graph transformation and their application to a variety of domains. The biannual International Conferences on Graph Transformation aim at bringingtogetherresearchersandpractitionersinterestedinthefoundationsand applicationsofgraphtransformation.Thefifthconference,ICGT2010,washeld at the University of Twente (The Netherlands) in September/October 2010, alongwithseveralsatelliteevents.Itcontinuedthelineofconferencespreviously held in Barcelona (Spain) in 2002, Rome (Italy) 2004, Natal (Brazil) in 2006 and Leicester (UK) in 2008, as well as a series of six International Workshops on Graph Transformation with Applications in Computer Science from 1978 to 1998. Also, ICGT alternates with the workshop series on Application of Graph Transformation with Industrial Relevance (AGTIVE). The conference was held under the auspices of EATCS and EASST. Inresponsetothecallforpapers,48papersweresubmitted.Thepaperswere allreviewedbyatleastfour,andinthemajorityofcasesfive,PCmembersorco- reviewers.After the reviewing phase and the ensuing discussion, the committee selected 22 papers for presentation at the conference and publication in the proceedings.These papers mirrorthe wide-rangedongoingresearchactivities in the theory and application of graph transformation. They are concerned with different kinds of graph transformationapproaches,their algebraic foundations, composition and analysis, the relation to logic, as well as various applications, mainly to modeltransformationanddistributed systems.The papersubmission and reviewing, as well as part of the preparation of the printed volume, were very well supported by the free conference management system EasyChair. In addition to the presentation of technical papers the conference featured three invited speakers, a doctoral symposium and four workshops. Moreover, this yearICGT wasorganisedas a jointeventwiththe 17thInternationalSPIN WorkshoponSoftware Model Checking (SPIN), and anassociatedworkshopon ParallelandDistributed Methods inverifiCationandHigh-performancecompu- tational systems Biology (PDMC/HiBi). Invited Speakers. JavierEsparzagaveajointICGT/SPINkeynotespeech,dedi- catedtothememoryofCarlAdamPetri,inwhichhereviewedthepathofideas that led from the theory of true concurrency, a semantic theory about the na- ture of concurrent computation, to the unfolding approach to model-checking, a pragmatic technique for reducing the state-explosion problem in automatic VI Preface verification.Inhisinvitedpresentation,KrzysztofCzarneckidiscussedthe prob- lems involved in model synchronisation, with illustrations from industrial prac- tice, and reported an ongoing effort to create both a theoretical framework ad- dressing these challenges and tools based on the framework. Finally, Christoph Brandtinhispresentationproposedgraphtransformationtechniquesasaformal framework to address security, risk and compliance issues in banking. Satellite Events. The successful Doctoral Symposium of ICGT 2008 was re- peated at this year’s event, organised by Andrea Corradini and Maarten de Mol. A total of 12 young researchershad the opportunity to present their work and interact with established researchers of the graph transformation commu- nity.Inadditionfourworkshopswereorganizedwhere participantsofthe ICGT could exchange ideas and views on some subareas of graph transformation: – 3rd Workshop on Graph Computation Models (GCM 2010), organised by Annegret Habel, Mohamed Mosbah and Rachid Echahed; – 4th InternationalWorkshopon Graph-BasedTools (GraBaTs 2010),organ- ised by Juan de Lara and Da´niel Varro´; – 4th Workshop on Petri Nets and Graph Transformations (PNGT 2010), organised by Claudia Ermel and Katrin Hoffmann; – WorkshopandTutorialonNaturalComputing (WTNC 2010),organisedby Ion Petre, Bogdan Iancu and Andrzej Mizera. We wouldlike to thank AmirHosseinGhamarian,Maartende MolandEduardo Zambon for their valuable help throughout the preparation and organizationof the conference and the proceedings. July 2010 Hartmut Ehrig Arend Rensink Grzegorz Rozenberg Andy Schu¨rr Organization Programme Committee Paolo Baldan Padova, Italy Luciano Baresi Milan, Italy Michel Bauderon Bordeaux, France Artur Boronat Leicester, UK Paolo Bottoni Rome, Italy Andrea Corradini Pisa, Italy Juan de Lara Madrid, Spain Hartmut Ehrig Berlin, Germany Gregor Engels Paderborn, Germany Claudia Ermel Berlin, Germany Holger Giese Potsdam, Germany Annegret Habel Oldenburg, Germany Reiko Heckel Leicester, UK Dirk Janssens Antwerp, Belgium Garbor Karsai Vanderbilt, USA Ekkart Kindler Hyngby, Denmark Barbara Ko¨nig Duisburg-Essen, Germany Hans-J¨org Kreowski Bremen, Germany Ralf La¨mmel Koblenz, Germany Mark Minas Mu¨nchen, Germany Ugo Montanari Pisa, Italy Mohamed Mosbah Bordeaux, France Manfred Nagl Aachen, Germany Fernando Orejas Barcelona, Spain Francesco Parisi-Presicce Rome, Italy Rinus Plasmeijer Radboud, The Netherlands Detlef Plump York, UK Arend Rensink (Co-chair) Twente, The Netherlands Leila Ribeiro Rio Grande, Brazil Andy Schu¨rr (Co-chair) Darmstadt, Germany Gabriele Taentzer Marburg, Germany Pieter Van Gorp Eindhoven, The Netherlands Da´niel Varro´ Budapest, Hungary Gergely Varr´o Darmstadt, Germany Jens-Holger Weber-Jahnke Victoria, USA Albert Zu¨ndorf Kassel, Germany VIII Organization Subreviewers Peter Achten A´bel Hegedu¨s Henry Muccini Zolt´an Balogh Tobias Heindel Muhammad Naeem Mayur Bapodra Frank Hermann Manfred Nagl Basil Becker Kathrin Hoffmann Stefan Neumann Ga´bor Bergmann Mathias Hu¨lsbusch Christopher Poskitt Clara Bertolissi Paola Inverardi Istv´an Ra´th Enrico Biermann Ruben Jubeh Luigi Santocanale D´enes Bisztray Lucasz Kaiser Andreas Scharf Christoph Blume Joost Pieter Katoen Ildiko´ Schlotter Paul Brauner Tamim Khan Andreas Seibel Sander Bruggink Pieter Koopman PawelSobocinski Roberto Bruni Joerg Kreiker Christian Soltenborn Antonio Bucchiarone Sabine Kuske Michael Spijkerman Mike Dodds Steve Lack Wolfgang Thomas Adwoa Donyina Leen Lambers Paolo Torrini Frank Drewes Pascale Le Gall Angelo Troina Jo¨rn Dreyer Bas Lijnse Caroline von Totth Gregor Gabrysiak Michael Lo¨we Andra´s V¨oro¨s Fabio Gadducci Melanie Luderer Bob Walters Ulrike Golas Alberto Lluch Lafuente Manuel Wimmer Davide Grohmann Olivier Ly Zhilin Wu Stefan Gruner Sonja Maier Eduardo Zambon Regina Hebig Tony Modica Table of Contents Invited Speakers A False History of True Concurrency: From Petri to Tools (Abstract)... 1 Javier Esparza How Far CanEnterpriseModeling for Banking Be Supported by Graph Transformation? ................................................. 3 Christoph Brandt and Frank Hermann Session 1. Graphs and Logic Graph Transformation Units Guided by a SAT Solver ................ 27 Hans-J¨org Kreowski, Sabine Kuske, and Robert Wille Delaying Constraint Solving in Symbolic Graph Transformation........ 43 Fernando Orejas and Leen Lambers A Dynamic Logic for Termgraph Rewriting.......................... 59 Philippe Balbiani, Rachid Echahed, and Andreas Herzig Session 2. Behavioural Analysis ANewTypeofBehaviour-PreservingTransitionInsertionsinUnfolding Prefixes......................................................... 75 Victor Khomenko On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars ................................................ 91 Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara Ko¨nig, and Stefan Schwoon Verification of Graph Transformation Systems with Context-Free Specifications.................................................... 107 Barbara Ko¨nig and Javier Esparza Saturated LTSs for Adhesive Rewriting Systems ..................... 123 Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, and Ugo Montanari A Hoare Calculus for Graph Programs.............................. 139 Christopher M. Poskitt and Detlef Plump X Table of Contents Session 3. Models and Model Transformation Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars.................................. 155 Frank Hermann, Hartmut Ehrig, Fernando Orejas, and Ulrike Golas Conflict Detection for Model Versioning Based on Graph Modifications.................................................... 171 Gabriele Taentzer, Claudia Ermel, Philip Langer, and Manuel Wimmer A Component Concept for Typed Graphs with Inheritance and Containment Structures .......................................... 187 Stefan Jurack and Gabriele Taentzer Combining Termination Criteria by Isolating Deletion ................ 203 D´enes Bisztray and Reiko Heckel Session 4. Algebraic Foundations Graph Rewriting in Span-Categories................................ 218 Michael Lo¨we Finitary M-Adhesive Categories ................................... 234 Benjamin Braatz, Hartmut Ehrig, Karsten Gabriel, and Ulrike Golas Hereditary Pushouts Reconsidered ................................. 250 Tobias Heindel Session 5. Applications Graph Transformation for Domain-Specific Discrete Event Time Simulation ...................................................... 266 Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, and Paolo Torrini Counterpart Semantics for a Second-Order μ-Calculus ................ 282 Fabio Gadducci, Alberto Lluch Lafuente, and Andrea Vandin Declarative Mesh Subdivision Using Topological Rewriting in MGS..... 298 Antoine Spicher, Olivier Michel, and Jean-Louis Giavitto A Model for Distribution and Revocation of Certificates .............. 314 ˚Asa Hagstr¨om and Francesco Parisi-Presicce
The list of books you might like
