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

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
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
Telecommunications
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace