Graph and Model Transformation

General Framework and Applications

  • Hartmut Ehrig
  • Claudia Ermel
  • Ulrike Golas
  • Frank Hermann

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

  • Hartmut Ehrig
    • 1
  • Claudia Ermel
    • 2
  • Ulrike Golas
    • 3
  • Frank Hermann
    • 4
  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

  • 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
  • Print ISBN 978-3-662-47979-7
  • Online ISBN 978-3-662-47980-3
  • Series Print ISSN 1431-2654
  • Series Online ISSN 2193-2069
  • About this book