Graph transformation : 7th International Conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22-24, 2014 : Proceedings

This book constitutes the proceedings of the 7th International Conference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014. The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on verification, meta-modelling and model transformations, rewriting and applications in biology, graph languages and graph transformation, and applications. Front Matter....Pages - Parameterized Verification and Model Checking for Distributed Broadcast Protocols....Pages 1-16 Tableau-Based Reasoning for Graph Properties....Pages 17-32 Verifying Monadic Second-Order Properties of Graph Programs....Pages 33-48 Generating Abstract Graph-Based Procedure Summaries for Pointer Programs....Pages 49-64 Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs....Pages 65-80 Attribute Handling for Generating Preconditions from Graph Constraints....Pages 81-96 From Core OCL Invariants to Nested Graph Constraints....Pages 97-112 Specification and Verification of Graph-Based Model Transformation Properties....Pages 113-129 A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation....Pages 130-145 Transformation and Refinement of Rigid Structures....Pages 146-160 Reversible Sesqui-Pushout Rewriting....Pages 161-176 On Pushouts of Partial Maps....Pages 177-191 The Subgraph Isomorphism Problem on a Class of Hyperedge Replacement Languages....Pages 192-206 Canonical Derivations with Negative Application Conditions....Pages 207-221 Van Kampen Squares for Graph Transformation....Pages 222-236 Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis....Pages 237-252 Towards Process Mining with Graph Transformation Systems....Pages 253-268 Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling....Pages 269-284 Back Matter....Pages -