4. ICGT 2008: Leicester, United Kingdom

Invited Papers

• Perdita Stevens:
  Towards an Algebraic Theory of Bidirectional Transformations. 1-17
  
• Wil M. P. van der Aalst:
  Discovery, Verification and Conformance of Workflows with Cancellation. 18-37
  
• Heiko Dörr:
  The AUTOSAR Way of Model-Based Engineering of Automotive Systems. 38
  

Hypergraphs and Termgraph Rewriting

• Steffen Mazanek, Sonja Maier, Mark Minas:
  An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars. 39-53
  
• Jérémie Chalopin, Antoni Mazurkiewicz, Yves Métivier:
  Labelled (Hyper)Graphs, Negotiations and the Naming Problem. 54-68
  
• Stefan Rieger, Thomas Noll:
  Abstracting Complex Data Structures by Hyperedge Replacement. 69-83
  
• Rachid Echahed:
  Inductively Sequential Term-Graph Rewrite Systems. 84-98
  

Applications of Graph Transformation

• Bilel Derbel, Mohamed Mosbah, Stefan Gruner:
  Mobile Agents Implementing Local Computations in Graphs. 99-114
  
• Fabio Gadducci, Giacoma Valentina Monreale:
  A Decentralized Implementation of Mobile Ambients. 115-130
  
• Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto:
  Network Applications of Graph Bisimulation. 131-146
  
• Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall:
  Graph Transformation for Topology Modelling. 147-161
  
• Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas:
  Embedding and Confluence of Graph Transformations with Negative Application Conditions. 162-177
  

Execution of Graph Transformations

• Hartmut Ehrig, Ulrike Prange:
  Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. 178-193
  
• Hartmut Ehrig, Claudia Ermel:
  Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. 194-210
  
• Karl Azab, Annegret Habel:
  High-Level Programs and Program Conditions. 211-225
  

Compositional Systems

• Filippo Bonchi, Fabio Gadducci, Tobias Heindel:
  Parallel and Sequential Independence for Borrowed Contexts. 226-241
  
• Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan:
  Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. 242-256
  
• Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König:
  Open Petri Nets: Non-deterministic Processes and Compositionality. 257-273
  

Validation and Verification

• Fernando Orejas:
  Attributed Graph Constraints. 274-288
  
• Karl-Heinz Pennemann:
  Resolution-Like Theorem Proving for High-Level Conditions. 289-304
  
• Barbara König, Vitali Kozioura:
  Towards the Verification of Attributed Graph Transformation Systems. 305-320
  
• Jörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink:
  A Modal-Logic Based Graph Abstraction. 321-335
  

Graph Languages and Special Transformation Concepts

• Harrie Jan Sander Bruggink, Barbara König:
  On the Recognizability of Arrow and Graph Languages. 336-350
  
• Hans-Jörg Kreowski, Sabine Kuske:
  Graph Multiset Transformation as a Framework for Massively Parallel Computation. 351-365
  
• Michel Bauderon, Rui Chen, Olivier Ly:
  Pullback Grammars Are Context-Free. 366-378
  
• Eva Jelínková, Jan Kratochvíl:
  On Switching to H-Free Graphs. 379-395
  

Patterns and Model Transformations

• Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró:
  A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation. 396-410
  
• Andy Schürr, Felix Klar:
  15 Years of Triple Graph Grammars. 411-425
  
• Juan de Lara, Esther Guerra:
  Pattern-Based Model-to-Model Transformation. 426-441
  
• Frank Drewes, Berthold Hoffmann, Mark Minas:
  Adaptive Star Grammars for Graph Models. 442-457
  

Tutorial and Workshops

• Reiko Heckel:
  Tutorial Introduction to Graph Transformation. 458-459
  
• Mohamed Mosbah, Annegret Habel:
  Workshop on Graph Computation Models. 460-462
  
• Arend Rensink, Pieter Van Gorp:
  Graph-Based Tools: The Contest. 463-466
  
• Paolo Baldan, Barbara König:
  Workshop on Petri Nets and Graph Transformations. 467-469
  
• Ion Petre, Grzegorz Rozenberg:
  Summary of the Workshop on Natural Computing and Graph Transformations. 470-472
  

Doctoral Symposium

• Andrea Corradini, Emilio Tuosto:
  ICGT 2008 Doctoral Symposium. 473-474
  
• Dénes Bisztray:
  Verification of Architectural Refactorings: Rule Extraction and Tool Support. 475-477
  
• Filippo Bonchi:
  Abstract Semantics by Observable Contexts. 478-480
  
• Duc-Hanh Dang:
  Triple Graph Grammars and OCL for Validating System Behavior. 481-483
  
• Mike Dodds:
  From Separation Logic to Hyperedge Replacement and Back. 484-486
  
• Davide Grohmann:
  Security, Cryptography and Directed Bigraphs. 487-489
  
• Mohammad Hammoudeh:
  Modelling Clustering of Sensor Networks with Synchronised Hyperedge Replacement. 490-492
  
• Tobias Heindel:
  Grammar Morphisms and Weakly Adhesive Categories. 493-495
  
• Frank Hermann:
  Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions. 496-498
  
• Ákos Horváth:
  Towards a Two Layered Verification Approach for Compiled Graph Transformation. 499-501
  
• Ajab Khan:
  Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems. 502-504
  
• Carlos Matos:
  Service Extraction from Legacy Systems. 505-507
  
• Karl-Heinz Pennemann:
  Development of Correct Graph Transformation Systems. 508-510
  
• HongQing Yu, Yi Hong:
  Graph Transformation for the Semantic Web: Queries and Inference Rules. 511-513
  
• Michael Striewe:
  Using a Triple Graph Grammar for State Machine Implementations. 514-516
  
• Pieter Van Gorp:
  Model-Driven Development of Model Transformations. 517-519
  
• Erhard Weinell:
  Transformation-Based Operationalization of Graph Languages. 520-522