Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

Description

This book constitutes the refereed proceedings of the 10th International Conference on Graph Transformation, ICGT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 14 papers presented were carefully reviewed and selected from 23 submissions. The papers cover a wide range of topics including theoretical approaches to graph transformation and their verification, model-driven engineering, chemical reactions as well as various applications. They are organized in the following topical sections: foundations; graph language and parsing; analysis and verification; and model transformation and tools. Front Matter....Pages I-XIV Front Matter....Pages 1-1 The Pullback-Pushout Approach to Algebraic Graph Transformation....Pages 3-19 Hierarchical Graph Transformation Revisited....Pages 20-35 Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions....Pages 36-53 Chemical Graph Transformation with Stereo-Information....Pages 54-69 Front Matter....Pages 71-71 Specifying Graph Languages with Type Graphs....Pages 73-89 Fusion Grammars: A Novel Approach to the Generation of Graph Languages....Pages 90-105 Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars....Pages 106-122 Front Matter....Pages 123-123 Granularity of Conflicts and Dependencies in Graph Transformation Systems....Pages 125-141 k-Inductive Invariant Checking for Graph Transformation Systems....Pages 142-158 Probabilistic Timed Graph Transformation Systems....Pages 159-175 Front Matter....Pages 177-177 Leveraging Incremental Pattern Matching Techniques for Model Synchronisation....Pages 179-195 Henshin: A Usability-Focused Framework for EMF Model Transformation Development....Pages 196-208 GRAPE – A Graph Rewriting and Persistence Engine....Pages 209-220 Table Graphs....Pages 221-230 Back Matter....Pages 231-231