Table of Contents

Invited Papers.- Towards an Algebraic Theory of Bidirectional Transformations.- Discovery, Verification and Conformance of Workflows with Cancellation.- The AUTOSAR Way of Model-Based Engineering of Automotive Systems.- Hypergraphs and Termgraph Rewriting.- An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars.- Labelled (Hyper)Graphs, Negotiations and the Naming Problem.- Abstracting Complex Data Structures by Hyperedge Replacement.- Inductively Sequential Term-Graph Rewrite Systems.- Applications of Graph Transformation.- Mobile Agents Implementing Local Computations in Graphs.- A Decentralized Implementation of Mobile Ambients.- Network Applications of Graph Bisimulation.- Graph Transformation for Topology Modelling.- Execution of Graph Transformations.- Embedding and Confluence of Graph Transformations with Negative Application Conditions.- Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels.- Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation.- High-Level Programs and Program Conditions.- Compositional Systems.- Parallel and Sequential Independence for Borrowed Contexts.- Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts.- Open Petri Nets: Non-deterministic Processes and Compositionality.- Validation and Verification.- Attributed Graph Constraints.- Resolution-Like Theorem Proving for High-Level Conditions.- Towards the Verification of Attributed Graph Transformation Systems.- A Modal-Logic Based Graph Abstraction.- Graph Languages and Special Transformation Concepts.- On the Recognizability of Arrow and Graph Languages.- Graph Multiset Transformation as a Framework for Massively Parallel Computation.- Pullback Grammars Are Context-Free.- On Switching to H-Free Graphs.- Patterns and Model Transformations.- A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation.- 15 Years of Triple Graph Grammars.- Pattern-Based Model-to-Model Transformation.- Adaptive Star Grammars for Graph Models.- Tutorial and Workshops.- Tutorial Introduction to Graph Transformation.- Workshop on Graph Computation Models.- Graph-Based Tools: The Contest.- Workshop on Petri Nets and Graph Transformations.- Summary of the Workshop on Natural Computing and Graph Transformations.- Doctoral Symposium.- ICGT 2008 Doctoral Symposium.- Verification of Architectural Refactorings: Rule Extraction and Tool Support.- Abstract Semantics by Observable Contexts.- Triple Graph Grammars and OCL for Validating System Behavior.- From Separation Logic to Hyperedge Replacement and Back.- Security, Cryptography and Directed Bigraphs.- Modelling Clustering of Sensor Networks with Synchronised Hyperedge Replacement.- Grammar Morphisms and Weakly Adhesive Categories.- Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions.- Towards a Two Layered Verification Approach for Compiled Graph Transformation.- Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems.- Service Extraction from Legacy Systems.- Development of Correct Graph Transformation Systems.- Graph Transformation for the Semantic Web: Queries and Inference Rules.- Using a Triple Graph Grammar for State Machine Implementations.- Model-Driven Development of Model Transformations.- Transformation-Based Operationalization of Graph Languages.