Advertisement

Theory and Application of Graph Transformations

6th International Workshop, TAGT’98, Paderborn, Germany, November 16-20, 1998. Selected Papers

  • Hartmut Ehrig
  • Gregor Engels
  • Hans-Jörg Kreowski
  • Grzegorz Rozenberg
Conference proceedings TAGT 1998

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

Table of contents

  1. Front Matter
  2. Graph Languages

    1. Joost Engelfriet, Sebastian Maneth
      Pages 15-29
    2. John L. Pfaltz
      Pages 30-44
    3. Konstantin Skodinis, Egon Wanke
      Pages 45-58
  3. Graph Theory

    1. Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg
      Pages 59-70
    2. Emmanuel Godard, Yves Métivier, Anca Muscholl
      Pages 71-84
  4. Categorical Approaches

    1. Hartmut Ehrig, Reiko Heckel, Mercè Llabrés, Fernando Orejas, Julia Padberg, Grzegorz Rozenberg
      Pages 85-102
    2. Annegret Habel, Jürgen Müller, Detlef Plump
      Pages 103-116
    3. Hélène Jacquet, Renate Klempien-Hinrichs
      Pages 117-130
    4. Mercè Llabrés, Francesc Rosselló
      Pages 131-144
  5. Concurrency and Distribution

    1. Paolo Baldan, Andrea Corradini, Ugo Montanari
      Pages 145-163
    2. Ingrid Fischer, Manuel Koch, Gabriele Taentzer
      Pages 164-178
    3. Nico Verlinden, Dirk Janssens
      Pages 194-214
  6. Artificial Intelligence

  7. Visual Languages

    1. Paolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni
      Pages 267-280
  8. Specification Concepts

    1. Thorsten Fischer, Jörg Niere, Lars Torunski, Albert Zündorf
      Pages 296-309
    2. Fabio Gadducci, Reiko Heckel, Manuel Koch
      Pages 310-322
    3. Manfred Münch, Andy Schürr, Andreas J. Winter
      Pages 338-351
  9. Modularity and Refinement

    1. Giorgio Busatto, Gregor Engels, Katharina Mehner, Annika Wagner
      Pages 352-367
    2. Martin Große-Rhode, Francesco Parisi Presicce, Marta Simeoni
      Pages 368-382
    3. Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske
      Pages 383-395
    4. Andy Schürr, Andreas J. Winter
      Pages 396-409
    5. Julia Padberg, Maike Gajewsky, Kathrin Hoffmann
      Pages 410-425
  10. Software Engineering

  11. Back Matter

About these proceedings

Introduction

Theareaofgraphtransformationoriginatedinthelate1960sunderthename “graph grammars” – the main motivation came from practical considerations concerning pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph transformation has grown impressively. The areas include: software speci?cation and development, VLSI layout schemes, database design, modeling of concurrent systems, m- sively parallel computer architectures, logic programming, computer animation, developmentalbiology,musiccomposition,distributedsystems,speci?cationl- guages, software and web engineering, and visual languages. As a matter of fact, graph transformation is now accepted as a fundamental computation paradigm where computation includes speci?cation, programming, and implementation. Over the last three decades the area of graph transfor- tion has developed at a steady pace into a theoretically attractive research ?eld, important for applications. Thisvolume consistsofpapersselectedfromcontributionsto the Sixth Int- national Workshop on Theory and Applications of Graph Transformation that took place in Paderborn, Germany, November 16-20, 1998. The papers und- went an additional refereeing process which yielded 33 papers presented here (out of 55 papers presented at the workshop). This collection of papers provides a very broad snapshot of the state of the art of the whole ?eld today. They are grouped into nine sections representing most active research areas. Theworkshopwasthe sixth in a seriesof internationalworkshopswhich take place every four years. Previous workshops were called “Graph Grammars and Their Application to Computer Science”. The new name of the Sixth Workshop re?ectsmoreaccuratelythecurrentsituation,whereboththeoryandapplication play an equally central role.

Keywords

Graph Graph grammar Graph theory artificial intelligence concurrent systems distributed computing formal methods grammar systems graph languages graph transformations intelligence system specifications visual languages

Editors and affiliations

  • Hartmut Ehrig
    • 1
  • Gregor Engels
    • 2
  • Hans-Jörg Kreowski
    • 3
  • Grzegorz Rozenberg
    • 4
  1. 1.Technische Universität BerlinGermany
  2. 2.University of PaderbornPaderbornGermany
  3. 3.Department of Computer ScienceUniversity of BremenBremenGermany
  4. 4.Leiden Center of Advanced Computer Science (LIACS)Leiden UniversityLeidenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/b75045
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67203-6
  • Online ISBN 978-3-540-46464-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site