Advertisement

Graph Transformation

First International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 Proceedings

  • Andrea Corradini
  • Hartmut Ehrig
  • Hans -Jörg Kreowski
  • Grzegorz Rozenberg

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2505)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Invited Papers

  3. Contributed Papers

    1. Paolo Baldan, Barbara König
      Pages 14-29
    2. Roswitha Bardohl, Claudia Ermel, Julia Padberg
      Pages 30-44
    3. Michel Bauderon, Frédérique Carrère
      Pages 45-59
    4. J. Christopher Beck, Patrick Prosser, Evgeny Selensky
      Pages 60-74
    5. Maribel Fernández, Ian Mackie
      Pages 75-89
    6. Anna Gerber, Michael Lawley, Kerry Raymond, Jim Steel, Andrew Wood
      Pages 90-105
    7. Emmanuel Godard, Yves Métivier, Mohamed Mosbah, Afif Sellami
      Pages 106-119
    8. Szilvia Gyapay, Reiko Heckel, Dániel Varró
      Pages 120-134
    9. Annegret Habel, Detlef Plump
      Pages 135-147
    10. Jurriaan Hage, Tero Harju, Emo Welzl
      Pages 148-160
    11. Reiko Heckel, Jochen Malte Küster, Gabriele Taentzer
      Pages 161-176
    12. Renate Klempien-Hinrichs
      Pages 192-206
    13. Peter Knirsch, Sabine Kuske
      Pages 207-222
    14. Manuel Koch, Francesco Parisi-Presicce
      Pages 223-238
    15. Carla A. Lima Reis, Rodrigo Quites Reis, Marcelo M. de Abreu, Heribert Schlebbe, Daltro J. Nunes
      Pages 254-269
    16. André Marburger, Bernhard Westfechtel
      Pages 270-285
    17. Tom Mens, Serge Demeyer, Dirk Janssens
      Pages 286-301
    18. Mark Minas, Frank Strüber
      Pages 302-316
    19. Ugo Montanari, Leila Ribeiro
      Pages 317-333
    20. Janusz Szuba, Andy Schürr, Adam Borkowski
      Pages 363-377
    21. Sung-Ho Woo, Sung-Bong Yang
      Pages 393-401
  4. Tutorials and Workshops

    1. Detlef Plump
      Pages 435-439
    2. Tom Mens, Andy Schürr, Gabriele Taentzer
      Pages 440-444
    3. Paolo Bottoni, Mark Minas
      Pages 445-449
    4. Bruno Courcelle, Pascal Weil
      Pages 455-457
  5. Back Matter
    Pages 459-459

About these proceedings

Introduction

ICGT 2002 was the ?rst International Conference on Graph Transformation following a series of six international workshops on graph grammars with - plications in computer science, held in Bad Honnef (1978), Osnabruc ¨ k (1982), Warrenton (1986), Bremen (1990), Williamsburg (1994), and Paderborn (1998). ICGT 2002 was held in Barcelona (Spain), October 7–12, 2002 under the a- pices of the European Association of Theoretical Computer Science (EATCS), the European Association of Software Science and Technology (EASST), and the IFIP Working Group 1.3, Foundations of Systems Speci?cation. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams, visual sentences and others) that are useful to describe complex structures and systems in a direct and intuitive way. These structures are often augmented by formalisms which add to the static description a further dimension, allowing for the modeling of the evolution of systems via all kinds of transformations of such graphical structures. The ?eld of Graph Transformation is concerned with the theory, applications, and implementation issues of such formalisms. The theory is strongly related to areas such as graph theory and graph - gorithms, formal language and parsing theory, the theory of concurrent and distributed systems, formal speci?cation and veri?cation, logic, and semantics.

Keywords

Graph Graph theory algorithms distributed systems formal language formal specification logic verification

Editors and affiliations

  • Andrea Corradini
    • 1
  • Hartmut Ehrig
    • 2
  • Hans -Jörg Kreowski
    • 3
  • Grzegorz Rozenberg
    • 4
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly
  2. 2.Computer Science DepartmentTechnical University of BerlinBerlinGermany
  3. 3.Computer Science DepartmentUniversity of BremenBremenGermany
  4. 4.Leiden Institute of Advanced Computer ScienceLeiden UniversityCA LeidenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45832-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-44310-0
  • Online ISBN 978-3-540-45832-6
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Pharma
Materials & Steel
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Engineering