Graph Transformations

1. Front Matter

   PDF

2. Invited Papers

   1. Nested Quantification in Graph Transformation Rules

      • Arend Rensink

      Pages 1-13

   2. Idioms of Logical Modelling

      • Daniel Jackson

      Pages 14-14

   3. New Algorithms and Applications of Cyclic Reference Counting

      • Rafael Dueire Lins

      Pages 15-29

3. New Graph Transformation Models

   1. Sesqui-Pushout Rewriting

      • Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König

      Pages 30-45

   2. Automata on Directed Graphs: Edge Versus Vertex Marking

      • Dietmar Berwanger, David Janin

      Pages 46-60

   3. Conflict Detection for Graph Transformation with Negative Application Conditions

      • Leen Lambers, Hartmut Ehrig, Fernando Orejas

      Pages 61-76

   4. Adaptive Star Grammars

      • Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde

      Pages 77-91

4. Structure Manipulation

   1. Narrowing Data-Structures with Pointers

      • Rachid Echahed, Nicolas Peltier

      Pages 92-106

   2. Molecular Analysis of Metabolic Pathway with Graph Transformation

      • Karsten Ehrig, Reiko Heckel, Georgios Lajios

      Pages 107-121

   3. Matrix Approach to Graph Transformation: Matching and Sequences

      • Pedro Pablo Pérez Velasco, Juan de Lara

      Pages 122-137

   4. String Generating Hypergraph Grammars with Word Order Restrictions

      • Martin Riedl, Sebastian Seifert, Ingrid Fischer

      Pages 138-152

5. Borrowed Contexts and Adhesive Categories

   1. Composition and Decomposition of DPO Transformations with Borrowed Context

      • Paolo Baldan, Hartmut Ehrig, Barbara König

      Pages 153-167

   2. Process Bisimulation Via a Graphical Encoding

      • Filippo Bonchi, Fabio Gadducci, Barbara König

      Pages 168-183

   3. Toposes Are Adhesive

      • Stephen Lack, Paweł Sobociński

      Pages 184-198

6. Extensions for Distributed and Global Computing

   1. Graph Transactions as Processes

      • Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci

      Pages 199-214

   2. Categorical Foundations of Distributed Graph Transformation

      • Hartmut Ehrig, Fernando Orejas, Ulrike Prange

      Pages 215-229

   3. Dynamic Graph Transformation Systems

      • Roberto Bruni, Hernán Melgratti

      Pages 230-244

   4. Autonomous Units and Their Semantics — The Sequential Case

      • Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske

      Pages 245-259

7. Software Engineering Methods and Tools

   1. Termination Analysis of Model Transformations by Petri Nets

      • Dániel Varró, Szilvia Varró–Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer

      Pages 260-274

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.

• 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
• data structures
• algorithm analysis and problem complexity

• Institute of Business Communication and Information Science, University of Southern Denmark, Kolding, Denmark

  Andrea Corradini

• Technische Universität Berlin, Germany

  Hartmut Ehrig

• Dipartimento di Informatica, Università di Pisa,  

  Ugo Montanari

• Instituto de Informática, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil

  Leila Ribeiro

• Leiden Center of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

  Grzegorz Rozenberg

Policies and ethics