Advertisement

Graph Transformations

Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings

  • Andrea Corradini
  • Hartmut Ehrig
  • Ugo Montanari
  • Leila Ribeiro
  • Grzegorz Rozenberg
Conference proceedings ICGT 2006

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

Table of contents

  1. Front Matter
  2. Invited Papers

  3. New Graph Transformation Models

    1. Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König
      Pages 30-45
    2. Dietmar Berwanger, David Janin
      Pages 46-60
    3. Leen Lambers, Hartmut Ehrig, Fernando Orejas
      Pages 61-76
    4. Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde
      Pages 77-91
  4. Structure Manipulation

    1. Rachid Echahed, Nicolas Peltier
      Pages 92-106
    2. Karsten Ehrig, Reiko Heckel, Georgios Lajios
      Pages 107-121
    3. Pedro Pablo Pérez Velasco, Juan de Lara
      Pages 122-137
    4. Martin Riedl, Sebastian Seifert, Ingrid Fischer
      Pages 138-152
  5. Borrowed Contexts and Adhesive Categories

    1. Paolo Baldan, Hartmut Ehrig, Barbara König
      Pages 153-167
    2. Filippo Bonchi, Fabio Gadducci, Barbara König
      Pages 168-183
    3. Stephen Lack, Paweł Sobociński
      Pages 184-198
  6. Extensions for Distributed and Global Computing

    1. Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci
      Pages 199-214
    2. Hartmut Ehrig, Fernando Orejas, Ulrike Prange
      Pages 215-229
    3. Roberto Bruni, Hernán Melgratti
      Pages 230-244
    4. Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske
      Pages 245-259
  7. Software Engineering Methods and Tools

    1. Dániel Varró, Szilvia Varró–Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
      Pages 260-274
    2. Tobias Rötschke, Andy Schürr
      Pages 291-305
    3. Luciano Baresi, Paola Spoletini
      Pages 306-320
  8. Model-Driven Development

    1. Johannes Jakob, Alexander Königs, Andy Schürr
      Pages 321-335
    2. Gregor Engels, Marc Lohmann, Stefan Sauer, Reiko Heckel
      Pages 336-350
    3. Esther Guerra, Juan de Lara
      Pages 351-366
  9. Efficient Implementation

    1. Mike Dodds, Detlef Plump
      Pages 367-382
    2. Rubino Geiß, Gernot Veit Batz, Daniel Grund, Sebastian Hack, Adam Szalkowski
      Pages 383-397
    3. Stefan Edelkamp, Shahid Jabbar, Alberto Lluch Lafuente
      Pages 414-429
  10. Logics

    1. Annegret Habel, Karl-Heinz Pennemann
      Pages 430-444
    2. Annegret Habel, Karl-Heinz Pennemann, Arend Rensink
      Pages 445-460
  11. Tutorial and Workshops

    1. Yves Métivier, Mohamed Mosbah
      Pages 463-464
    2. Albert Zündorf, Dániel Varró
      Pages 465-466
    3. Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
      Pages 467-469
  12. Back Matter

About these proceedings

Introduction

ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and Rome (2004), and a series of six international workshops between 1978 and 1998. ICGT 2006 was held in Natal (Rio Grande do Norte, Brazil) on September 17-23, 2006, co-located with the Brazilian Symposium on Formal Methods (SBMF 2006), under the auspices of the BrazilianComputer Society (SBC), the EuropeanAssociation of Software Science and Technology (EASST), the European Association for Theoretical Computer Science (EATCS) and the IFIP WG 1.3 on Foundations of Systems Speci?cation. The conference obtained partial support from Formal Methods Europe and IFIP TC 1 on Foundations of Computer Science. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams and visual sentences) that are useful when describing complex structures and systems in a direct and intuitive way. These structures are often enriched with formalisms that model their evolution via suitable kinds of transformations. The ?eld of the conference was concerned with the theory, applications, and implementation issues of such formalisms. Particularemphasis wasputonmetamodelswhichcanaccommodateavarietyofgraphicalstructures within the same abstract theory.

Keywords

Hypergraph algorithmic graph theory algorithms automata computational graph theory conceptual design distributed systems graph algorithms graph computations graph design graph drawing graph grammars graph transformations graphical structu modeling

Editors and affiliations

  • Andrea Corradini
    • 1
  • Hartmut Ehrig
    • 2
  • Ugo Montanari
    • 3
  • Leila Ribeiro
    • 4
  • Grzegorz Rozenberg
    • 5
  1. 1.Institute of Business Communication and Information ScienceUniversity of Southern DenmarkKoldingDenmark
  2. 2.Technische Universität BerlinGermany
  3. 3.Dipartimento di InformaticaUniversità di Pisa 
  4. 4.Instituto de InformáticaUniversidade Federal do Rio Grande do SulPorto AlegreBrazil
  5. 5.Leiden Center of Advanced Computer Science (LIACS)Leiden UniversityLeidenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/11841883
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-38870-8
  • Online ISBN 978-3-540-38872-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site