Advertisement

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
    2. Barbara König, Vitali Kozioura
      Pages 305-320
    3. Jörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink
      Pages 321-335
  8. Graph Languages and Special Transformation Concepts

    1. H. J. Sander Bruggink, Barbara König
      Pages 336-350
    2. Michel Bauderon, Rui Chen, Olivier Ly
      Pages 366-378
    3. Eva Jelínková, Jan Kratochvíl
      Pages 379-395
  9. Patterns and Model Transformations

    1. Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró
      Pages 396-410
    2. Andy Schürr, Felix Klar
      Pages 411-425
    3. Juan de Lara, Esther Guerra
      Pages 426-441
    4. Frank Drewes, Berthold Hoffmann, Mark Minas
      Pages 442-457
  10. Tutorial and Workshops

    1. Mohamed Mosbah, Annegret Habel
      Pages 460-462
    2. Arend Rensink, Pieter Van Gorp
      Pages 463-466
    3. Paolo Baldan, Barbara König
      Pages 467-469
  11. Doctoral Symposium

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
  • Buy this book on publisher's site