Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2002

Graph Transformation

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

Editors:

  1. Andrea Corradini

    1. Dipartimento di Informatica, Università di Pisa, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hartmut Ehrig

    1. Computer Science Department, Technical University of Berlin, Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Hans -Jörg Kreowski

    1. Computer Science Department, University of Bremen, Bremen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Grzegorz Rozenberg

    1. Leiden Institute of Advanced Computer Science, Leiden University, CA Leiden, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Conference series link(s): ICGT: International Conference on Graph Transformation

Conference proceedings info: ICGT 2002.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (36 papers)

  1. Front Matter

    Pages I-IX
    PDF

  3. Contributed Papers

    1. Approximating the Behaviour of Graph Transformation Systems

      • Paolo Baldan, Barbara König
      Pages 14-29

    2. Transforming Specification Architectures by GenGED

      • Roswitha Bardohl, Claudia Ermel, Julia Padberg
      Pages 30-44

    3. Decomposing Graphs with Symmetries

      • Michel Bauderon, Frédérique Carrère
      Pages 45-59

    4. Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems

      • J. Christopher Beck, Patrick Prosser, Evgeny Selensky
      Pages 60-74

    5. Call-by-Value λ-Graph Rewriting Without Rewriting

      • Maribel Fernández, Ian Mackie
      Pages 75-89

    6. Transformation: The Missing Link of MDA

      • Anna Gerber, Michael Lawley, Kerry Raymond, Jim Steel, Andrew Wood
      Pages 90-105

    7. Termination Detection of Distributed Algorithms by Graph Relabelling Systems

      • Emmanuel Godard, Yves Métivier, Mohamed Mosbah, Afif Sellami
      Pages 106-119

    8. Graph Transformation with Time: Causality and Logical Clocks

      • Szilvia Gyapay, Reiko Heckel, Dániel Varró
      Pages 120-134

    9. Relabelling in Graph Transformation

      • Annegret Habel, Detlef Plump
      Pages 135-147

    10. Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes

      • Jurriaan Hage, Tero Harju, Emo Welzl
      Pages 148-160

    11. Confluence of Typed Attributed Graph Transformation Systems

      • Reiko Heckel, Jochen Malte Küster, Gabriele Taentzer
      Pages 161-176

    13. Hyperedge Substitution in Basic Atom-Replacement Languages

      • Renate Klempien-Hinrichs
      Pages 192-206

    14. Distributed Graph Transformation Units

      • Peter Knirsch, Sabine Kuske
      Pages 207-222

    15. Describing Policies with Graph Constraints and Rules

      • Manuel Koch, Francesco Parisi-Presicce
      Pages 223-238
Back to top

Other Volumes

  1. Graph Transformation

Back to top

About this book

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Dipartimento di Informatica, Università di Pisa, Pisa, Italy

    Andrea Corradini

  • Computer Science Department, Technical University of Berlin, Berlin, Germany

    Hartmut Ehrig

  • Computer Science Department, University of Bremen, Bremen, Germany

    Hans -Jörg Kreowski

  • Leiden Institute of Advanced Computer Science, Leiden University, CA Leiden, The Netherlands

    Grzegorz Rozenberg

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation