Skip to main content
SpringerLink
Log in

Graph Transformation

8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Francesco Parisi-Presicce

    1. Dipartimento di Informatica, Sapienza Università di Roma, Rome, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bernhard Westfechtel

    1. Angewandte Informatik 1, Universität Bayreuth, Bayreuth, Germany

    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 9151)

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

Included in the following conference series:

Conference proceedings info: ICGT 2015.

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 (18 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Foundations

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Polymorphic Sesqui-Pushout Graph Rewriting

      • Michael Löwe
      Pages 3-18

    3. Predictive Top-Down Parsing for Hyperedge Replacement Grammars

      • Frank Drewes, Berthold Hoffmann, Mark Minas
      Pages 19-34

    4. AGREE – Algebraic Graph Rewriting with Controlled Embedding

      • Andrea Corradini, Dominique Duval, Rachid Echahed, Frederic Prost, Leila Ribeiro
      Pages 35-51

    5. Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings

      • H. J. Sander Bruggink, Barbara König, Dennis Nolte, Hans Zantema
      Pages 52-68

    6. Towards Local Confluence Analysis for Amalgamated Graph Transformation

      • Gabriele Taentzer, Ulrike Golas
      Pages 69-86

    7. Multi-amalgamated Triple Graph Grammars

      • Erhan Leblebici, Anthony Anjorin, Andy Schürr, Gabriele Taentzer
      Pages 87-103

    8. Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs

      • Julia Padberg
      Pages 104-120

    9. Reachability in Graph Transformation Systems and Slice Languages

      • Mateus de Oliveira Oliveira
      Pages 121-137

    10. Equational Reasoning with Context-Free Families of String Diagrams

      • Aleks Kissinger, Vladimir Zamdzhiev
      Pages 138-154

    11. Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations

      • Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer
      Pages 155-170

    12. Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems

      • Rodrigo Machado, Leila Ribeiro, Reiko Heckel
      Pages 171-186

  3. Applications: Technical Papers

    1. Front Matter

      Pages 187-187
      Download chapter PDF

    2. Graph Pattern Matching as an Embedded Clojure DSL

      • Tassilo Horn
      Pages 189-204

    3. Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence

      • Jens H. Weber, Simon Diemert, Morgan Price
      Pages 205-220

    4. Towards Compliance Verification Between Global and Local Process Models

      • Pieter M. Kwantes, Pieter Van Gorp, Jetty Kleijn, Arend Rensink
      Pages 221-236

    5. Inductive Invariant Checking with Partial Negative Application Conditions

      • Johannes Dyck, Holger Giese
      Pages 237-253

  4. Applications: Tool Presentations

    1. Front Matter

      Pages 255-255
      Download chapter PDF

    2. Tool Support for Multi-amalgamated Triple Graph Grammars

      • Erhan Leblebici, Anthony Anjorin, Andy Schürr
      Pages 257-265
Back to top

Other volumes

  1. Graph Transformation

Keywords

About this book

This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on foundations; applications: technical papers, and tool presentations.

Editors and Affiliations

  • Dipartimento di Informatica, Sapienza Università di Roma, Rome, Italy

    Francesco Parisi-Presicce

  • Angewandte Informatik 1, Universität Bayreuth, Bayreuth, Germany

    Bernhard Westfechtel

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation