Graph Transformation : 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held As Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Graph Transformation, ICGT 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 14 papers presented in this were carefully reviewed and selected from 33 submissions. They were organized in topical sections named: foundations, tools and algorithms, queries, and applications. The book also contains one keynote paper in full paper length. The book is dedicated to Hartmut Ehrig, one of the fathers and most productive members of the Graph Transformation community, who passed away in 2016. An obituary is included in the front matter of the volume. Front Matter....Pages I-XVIII Front Matter....Pages 1-1 Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering....Pages 3-18 Front Matter....Pages 19-19 Sesqui-Pushout Rewriting with Type Refinements....Pages 21-36 Parallelism in AGREE Transformations....Pages 37-53 Model Checking Reconfigurable Petri Nets with Maude....Pages 54-70 Front Matter....Pages 71-71 A Software Package for Chemically Inspired Graph Transformation....Pages 73-88 A Tool Environment for Managing Families of Model Transformation Rules....Pages 89-101 Compiling Graph Programs to C....Pages 102-117 An Algorithm for the Critical Pair Analysis of Amalgamated Graph Transformations....Pages 118-134 Front Matter....Pages 135-135 Rete Network Slicing for Model Queries....Pages 137-152 An SQL-Based Query Language and Engine for Graph Pattern Matching....Pages 153-169 On the Operationalization of Graph Queries with Generalized Discrimination Networks....Pages 170-186 Front Matter....Pages 187-187 The Incremental Advantage: Evaluating the Performance of a TGG-based Visualisation Framework....Pages 189-205 Automatic Inference of Graph Transformation Rules Using the Cyclic Nature of Chemical Reactions....Pages 206-222 Using Graph Transformation for Puzzle Game Level Generation and Validation....Pages 223-235 Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization....Pages 236-251 Back Matter....Pages 253-253