Graph Transformations

4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings

  • Hartmut Ehrig
  • Reiko Heckel
  • Grzegorz Rozenberg
  • Gabriele Taentzer
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5214)

Table of contents

  1. Front Matter
  2. Invited Papers

  3. Hypergraphs and Termgraph Rewriting

    1. Steffen Mazanek, Sonja Maier, Mark Minas
      Pages 39-53
    2. Jérémie Chalopin, Antoni Mazurkiewicz, Yves Métivier
      Pages 54-68
    3. Stefan Rieger, Thomas Noll
      Pages 69-83
  4. Applications of Graph Transformation

    1. Bilel Derbel, Mohamed Mosbah, Stefan Gruner
      Pages 99-114
    2. Fabio Gadducci, Giacoma Valentina Monreale
      Pages 115-130
    3. Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto
      Pages 131-146
    4. Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall
      Pages 147-161
  5. Execution of Graph Transformations

  6. Compositional Systems

    1. Filippo Bonchi, Fabio Gadducci, Tobias Heindel
      Pages 226-241
    2. Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan
      Pages 242-256
    3. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König
      Pages 257-273
  7. Validation and Verification

    1. Fernando Orejas
      Pages 274-288

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held in Leicester, UK, in September 2008.

The 27 revised full papers presented together with 5 tutorial and workshop papers and 3 invited lectures were carefully selected from 57 submissions. All current aspects in graph drawing are addressed including hypergraphs and termgraph rewriting, applications of graph transformation, execution of graph transformations, compositional systems, validation and verification, graph languages and special transformation concepts, as well as patterns and model transformations. In addition the volume contains 17 short papers of the ICGT 2008 Doctoral Symposium.

Keywords

behavior preservation benchmarking computational graph theory concurrency distributed algorithms formal languages generalized map geometric modelling graph algorithms graph computations graph design graph grammar graph layout validation verification

Editors and affiliations

  • Hartmut Ehrig
    • 1
  • Reiko Heckel
    • 2
  • Grzegorz Rozenberg
    • 3
  • Gabriele Taentzer
    • 4
  1. 1.Technische Universität BerlinGermany
  2. 2.Department of Computer ScienceUniversity of LeicesterLeicesterUK
  3. 3.Leiden Center for Natural ComputingLeiden UniversityLeidenThe Netherlands
  4. 4.Department of Mathematics and Computer SciencePhilipps-University MarburgMarburgGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-87405-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-87404-1
  • Online ISBN 978-3-540-87405-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book