Graph Transformations

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