Graph Transformation

7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings

  • Holger Giese
  • Barbara König
Conference proceedings ICGT 2014

DOI: 10.1007/978-3-319-09108-2

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8571)

Table of contents (18 papers)

  1. Front Matter
  2. Invited Contribution

  3. Verification

    1. Tableau-Based Reasoning for Graph Properties
      Leen Lambers, Fernando Orejas
      Pages 17-32
    2. Verifying Monadic Second-Order Properties of Graph Programs
      Christopher M. Poskitt, Detlef Plump
      Pages 33-48
    3. Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs
      Christina Jansen, Florian Göbe, Thomas Noll
      Pages 65-80
    4. Attribute Handling for Generating Preconditions from Graph Constraints
      Frederik Deckwerth, Gergely Varró
      Pages 81-96
  4. Meta-Modelling and Model Transformations

    1. From Core OCL Invariants to Nested Graph Constraints
      Thorsten Arendt, Annegret Habel, Hendrik Radke, Gabriele Taentzer
      Pages 97-112
    2. Specification and Verification of Graph-Based Model Transformation Properties
      Gehan M. K. Selim, Levi Lúcio, James R. Cordy, Juergen Dingel, Bentley J. Oakes
      Pages 113-129
    3. A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation
      Anthony Anjorin, Erhan Leblebici, Andy Schürr, Gabriele Taentzer
      Pages 130-145
  5. Rewriting and Applications in Biology

    1. Transformation and Refinement of Rigid Structures
      Vincent Danos, Reiko Heckel, Pawel Sobocinski
      Pages 146-160
    2. Reversible Sesqui-Pushout Rewriting
      Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
      Pages 161-176
    3. On Pushouts of Partial Maps
      Jonathan Hayman, Tobias Heindel
      Pages 177-191
  6. Graph Languages and Graph Transformation

    1. Canonical Derivations with Negative Application Conditions
      Andrea Corradini, Reiko Heckel
      Pages 207-221
    2. Van Kampen Squares for Graph Transformation
      Harald König, Michael Löwe, Christoph Schulz, Uwe Wolter
      Pages 222-236
  7. Applications

    1. Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis
      Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Melanie Luderer
      Pages 237-252
    2. Towards Process Mining with Graph Transformation Systems
      H. J. Sander Bruggink
      Pages 253-268
    3. Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling
      Hakim Belhaouari, Agnés Arnould, Pascale Le Gall, Thomas Bellet
      Pages 269-284
  8. Back Matter

About these proceedings

Introduction

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.

Keywords

computational systems biology graph rewriting graph theory hypergraphs meta-modeling model transformations static analysis verification

Editors and affiliations

  • Holger Giese
    • 1
  • Barbara König
    • 2
  1. 1.Hasso Plattner Institut an der Universität PotsdamPotsdamGermany
  2. 2.Fakultät für Ingenieurwissenschaften, Abteilung für Informatik und Angewandte KognitionswissenscaftUniversität Duisburg-EssenDuisburgGermany

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-09107-5
  • Online ISBN 978-3-319-09108-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349