Skip to main content
SpringerLink
Log in
Book cover

Graph Transformation

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

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Juan de Lara

    1. Universidad Autónoma de Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Detlef Plump

    1. University of York, York, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ICGT 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Foundations

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. The Pullback-Pushout Approach to Algebraic Graph Transformation

      • Andrea Corradini, Dominque Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
      Pages 3-19

    3. Hierarchical Graph Transformation Revisited

      • Julia Padberg
      Pages 20-35

    4. Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions

      • Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall
      Pages 36-53

    5. Chemical Graph Transformation with Stereo-Information

      • Jakob Lykke Andersen, Christoph Flamm, Daniel Merkle, Peter F. Stadler
      Pages 54-69

  3. Graph Languages and Parsing

    1. Front Matter

      Pages 71-71
      Download chapter PDF

    2. Specifying Graph Languages with Type Graphs

      • Andrea Corradini, Barbara König, Dennis Nolte
      Pages 73-89

    3. Fusion Grammars: A Novel Approach to the Generation of Graph Languages

      • Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
      Pages 90-105

    4. Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars

      • Frank Drewes, Berthold Hoffmann, Mark Minas
      Pages 106-122

  4. Analysis and Verification

    1. Front Matter

      Pages 123-123
      Download chapter PDF

    2. Granularity of Conflicts and Dependencies in Graph Transformation Systems

      • Kristopher Born, Leen Lambers, Daniel Strüber, Gabriele Taentzer
      Pages 125-141

    3. k-Inductive Invariant Checking for Graph Transformation Systems

      • Johannes Dyck, Holger Giese
      Pages 142-158

    4. Probabilistic Timed Graph Transformation Systems

      • Maria Maximova, Holger Giese, Christian Krause
      Pages 159-175

  5. Model Transformation and Tools

    1. Front Matter

      Pages 177-177
      Download chapter PDF

    2. Leveraging Incremental Pattern Matching Techniques for Model Synchronisation

      • Erhan Leblebici, Anthony Anjorin, Lars Fritsche, Gergely Varró, Andy Schürr
      Pages 179-195

    3. Henshin: A Usability-Focused Framework for EMF Model Transformation Development

      • Daniel Strüber, Kristopher Born, Kanwal Daud Gill, Raffaela Groner, Timo Kehrer, Manuel Ohrndorf et al.
      Pages 196-208

    4. GRAPE – A Graph Rewriting and Persistence Engine

      • Jens H. Weber
      Pages 209-220

    5. Table Graphs

      • Albert Zündorf, Daniel Gebauer, Clemens Reichmann
      Pages 221-230

  6. Back Matter

    Pages 231-231
    Download chapter PDF
Back to top

Other volumes

  1. Graph Transformation

Keywords

About this book

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.


Editors and Affiliations

  • Universidad Autónoma de Madrid, Madrid, Spain

    Juan de Lara

  • University of York, York, United Kingdom

    Detlef Plump

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation