Skip to main content
SpringerLink
Log in
Book cover

Graph Transformation, Specifications, and Nets

In Memory of Hartmut Ehrig

  • Book
  • © 2018

Overview

Editors:
  1. Reiko Heckel

    1. Department of Informatics, University of Leicester, Leicester, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gabriele Taentzer

    1. Fachbereich Mathematik und Informatik, Philipps-Universität Marburg, Marburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • High quality selected papers
  • Algebraic approach to graph transformation
  • The double-pushout approach

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

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

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 (17 chapters)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches

    • Andrea Corradini, Dominique Duval, Michael Löwe, Leila Ribeiro, Rodrigo Machado, Andrei Costa et al.
    Pages 1-18

  3. Integration of Graph Constraints into Graph Grammars

    • Annegret Habel, Christian Sandmann, Tilman Teusch
    Pages 19-36

  4. Multi-view Consistency in UML: A Survey

    • Alexander Knapp, Till Mossakowski
    Pages 37-60

  5. A Simple Notion of Parallel Graph Transformation and Its Perspectives

    • Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
    Pages 61-82

  6. A Tutorial on Graph Transformation

    • Barbara König, Dennis Nolte, Julia Padberg, Arend Rensink
    Pages 83-104

  7. Initial Conflicts and Dependencies: Critical Pairs Revisited

    • Leen Lambers, Kristopher Born, Fernando Orejas, Daniel Strüber, Gabriele Taentzer
    Pages 105-123

  8. Towards a Navigational Logic for Graphical Structures

    • Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino
    Pages 124-141

  9. Model Transformations as Free Constructions

    • Michael Löwe
    Pages 142-159

  10. The Verigraph System for Graph Transformation

    • Guilherme Grochau Azzi, Jonas Santos Bezerra, Leila Ribeiro, Andrei Costa, Leonardo Marques Rodrigues, Rodrigo Machado
    Pages 160-178

  11. Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach

    • Ugo Montanari, Matteo Sammartino, Alain Tcheukam
    Pages 179-200

  12. Overview of Reconfigurable Petri Nets

    • Julia Padberg, Laid Kahloul
    Pages 201-222

  13. A Category of “Undirected Graphs”

    • John L. Pfaltz
    Pages 223-230

  14. Modular Termination of Graph Transformation

    • Detlef Plump
    Pages 231-244

  15. Graph Attribution Through Sub-Graphs

    • Harmen Kastenberg, Arend Rensink
    Pages 245-265

  16. On Normal Forms for Structured Specifications with Generating Constraints

    • Donald Sannella, Andrzej Tarlecki
    Pages 266-284

  17. Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models

    • Dániel Varró, Oszkár Semeráth, Gábor Szárnyas, Ákos Horváth
    Pages 285-312

  18. Graph Operations and Free Graph Algebras

    • Uwe Wolter, Zinovy Diskin, Harald König
    Pages 313-331

  19. Back Matter

    Pages 333-333
    Download chapter PDF
Back to top

Keywords

About this book

This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016.

The contributions represent a selection from a symposium, held in October 2016 at TU Berlin,  commemorating Hartmut’ s life and work as well as other invited papers in the areas he was active in.

These areas include Graph Transformation, Model Transformation,  Concurrency Theory, in particular Petri Nets, Algebraic Specification, and Category Theory in Computer Science.

Editors and Affiliations

  • Department of Informatics, University of Leicester, Leicester, United Kingdom

    Reiko Heckel

  • Fachbereich Mathematik und Informatik, Philipps-Universität Marburg, Marburg, Germany

    Gabriele Taentzer

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation