Graph Transformations

1. Front Matter

   PDF

2. Invited Speakers

   1. A False History of True Concurrency: From Petri to Tools

      • Javier Esparza

      Pages 1-2

   2. How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation?

      • Christoph Brandt, Frank Hermann

      Pages 3-26

3. Session 1. Graphs and Logic

   1. Graph Transformation Units Guided by a SAT Solver

      • Hans-Jörg Kreowski, Sabine Kuske, Robert Wille

      Pages 27-42

   2. Delaying Constraint Solving in Symbolic Graph Transformation

      • Fernando Orejas, Leen Lambers

      Pages 43-58

   3. A Dynamic Logic for Termgraph Rewriting

      • Philippe Balbiani, Rachid Echahed, Andreas Herzig

      Pages 59-74

4. Session 2. Behavioural Analysis

   1. A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes

      • Victor Khomenko

      Pages 75-90

   2. On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars

      • Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon

      Pages 91-106

   3. Verification of Graph Transformation Systems with Context-Free Specifications

      • Barbara König, Javier Esparza

      Pages 107-122

   4. Saturated LTSs for Adhesive Rewriting Systems

      • Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari

      Pages 123-138

   5. A Hoare Calculus for Graph Programs

      • Christopher M. Poskitt, Detlef Plump

      Pages 139-154

5. Session 3. Models and Model Transformation

   1. Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars

      • Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas

      Pages 155-170

   2. Conflict Detection for Model Versioning Based on Graph Modifications

      • Gabriele Taentzer, Claudia Ermel, Philip Langer, Manuel Wimmer

      Pages 171-186

   3. A Component Concept for Typed Graphs with Inheritance and Containment Structures

      • Stefan Jurack, Gabriele Taentzer

      Pages 187-202

   4. Combining Termination Criteria by Isolating Deletion

      • Dénes Bisztray, Reiko Heckel

      Pages 203-217

6. Session 4. Algebraic Foundations

   1. Graph Rewriting in Span-Categories

      • Michael Löwe

      Pages 218-233

   2. Finitary \(\mathcal{M}\)-Adhesive Categories

      • Benjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas

      Pages 234-249

   3. Hereditary Pushouts Reconsidered

      • Tobias Heindel

      Pages 250-265

7. Session 5. Applications

   1. Graph Transformation for Domain-Specific Discrete Event Time Simulation

      • Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini

      Pages 266-281

   2. Counterpart Semantics for a Second-Order μ-Calculus

      • Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin

      Pages 282-297

Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the life sciences. When systems evolve we are interested in the way they change, to p- dict, support, or react to their evolution. Graph transformation combines the idea of graphs as a universal modelling paradigm with a rule-based approach to specify their evolution. The area is concerned with both the theory of graph transformation and their application to a variety of domains. The biannual International Conferences on Graph Transformation aim at bringingtogetherresearchersandpractitionersinterestedin the foundations and applicationsof graphtransformation.The ?fth conference,ICGT 2010,was held at the University of Twente (The Netherlands) in September/October 2010, alongwith severalsatellite events.It continuedthe line ofconferences previously held in Barcelona (Spain) in 2002, Rome (Italy) 2004, Natal (Brazil) in 2006 and Leicester (UK) in 2008, as well as a series of six International Workshops on Graph Transformation with Applications in Computer Science from 1978 to 1998. Also, ICGT alternates with the workshop series on Application of Graph Transformation with Industrial Relevance (AGTIVE). The conference was held under the auspices of EATCS and EASST.

• Factor
• Refactoring
• boolean satisfiability problem
• calculus
• constraint
• distributed systems
• grammars
• logic
• modeling
• semantics
• simulation
• software
• structured analysis
• verification
• versioning
• data structures
• algorithm analysis and problem complexity

• Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Berlin, Germany

  Hartmut Ehrig

• Afdeling Informatica, Universiteit Twente, Enschede, The Netherlands

  Arend Rensink

• Leiden Institute of Advanced Computer Science (LIACS), Universiteit Leiden, Leiden, The Netherlands

  Grzegorz Rozenberg

• Fachgebiet Echtzeitsysteme, Technische Universität Darmstadt, Darmstadt, Germany

  Andy Schürr

Policies and ethics