Advertisement

© 2015

Graph and Model Transformation

General Framework and Applications

Book

Table of contents

  1. Front Matter
    Pages I-XI
  2. Introduction to Graph and Model Transformation

    1. Front Matter
      Pages 1-3
    2. Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
      Pages 5-12
    3. Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
      Pages 13-41
    4. Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
      Pages 43-62
  3. $$\mathcal{M}$$ -Adhesive Transformation Systems

    1. Front Matter
      Pages 63-65
    2. Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
      Pages 67-89
    3. Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
      Pages 91-138
    4. Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
      Pages 139-166
  4. Model Transformation Based on Triple Graph Grammars

    1. Front Matter
      Pages 167-169
    2. Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
      Pages 171-213
    3. Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
      Pages 215-247
    4. Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
      Pages 249-294
  5. Application Domains, Case Studies and Tool Support

    1. Front Matter
      Pages 295-297
    2. Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
      Pages 299-326
    3. Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
      Pages 327-349
    4. Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
      Pages 351-399
  6. Back Matter
    Pages 401-472

About this book

Introduction

This book is a comprehensive explanation of graph and model transformation. It contains a detailed introduction, including basic results and applications of the algebraic theory of graph transformations, and references to the historical context. Then in the main part the book contains detailed chapters on M-adhesive categories, M-adhesive transformation systems, and multi-amalgamated transformations, and model transformation based on triple graph grammars. In the final part of the book the authors examine application of the techniques in various domains, including chapters on case studies and tool support.

 

The book will be of interest to researchers and practitioners in the areas of theoretical computer science, software engineering, concurrent and distributed systems, and visual modelling.

Keywords

Category Theory Graph Grammars Graph Transformation Graphs Model Synchronisation Model Transformation Static Analysis Transformation Systems

Authors and affiliations

  1. 1.Fakultät IV - Elektrotech. & InformatikTechnische Universität BerlinBerlinGermany
  2. 2.Fakultät IV - Elektrotech. & InformatikTechnische Universität BerlinBerlinGermany
  3. 3.Institut für InformatikHumboldt-Universität zu BerlinBerlinGermany
  4. 4.IC f. Security, Reliabl. & TrustUniversity of LuxembourgLuxembourgLuxembourg

Bibliographic information

  • Book Title Graph and Model Transformation
  • Book Subtitle General Framework and Applications
  • Authors Hartmut Ehrig
    Claudia Ermel
    Ulrike Golas
    Frank Hermann
  • Series Title Monographs in Theoretical Computer Science. An EATCS Series
  • Series Abbreviated Title Monographs Theoret.Computer Science(formerly:EATCS)
  • DOI https://doi.org/10.1007/978-3-662-47980-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Hardcover ISBN 978-3-662-47979-7
  • Softcover ISBN 978-3-662-56910-8
  • eBook ISBN 978-3-662-47980-3
  • Series ISSN 1431-2654
  • Series E-ISSN 2193-2069
  • Edition Number 1
  • Number of Pages XI, 472
  • Number of Illustrations 460 b/w illustrations, 5 illustrations in colour
  • Topics Theory of Computation
    Software Engineering/Programming and Operating Systems
    Category Theory, Homological Algebra
  • Buy this book on publisher's site

Reviews

“The book is a comprehensive mathematical introduction to graph transformation and model transformations. … I must say that the text is written in a clear and well-structured manner; as such, it can be a valuable addition to the bookshelf of any researcher from mathematics or theoretical computer science or those practitioners who develop parallel code for visual modeling.” (Alexander Tzanov, Computing Reviews, computingreviews.com, October, 2016)

“The text is very coherent and uses a unified notation throughout. The language is easily understandable and examples and illustrations are generously used in all parts of the book. Any graduate of computer science should, in principle, be able to appreciate the contents of the book … .” (Andreas Maletti, zbMATH 1341.68002, 2016)