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.
Author(s): Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
Series: Monographs in Theoretical Computer Science. An EATCS Series
Publisher: Springer
Year: 2016
Language: English
Pages: 468
Tags: Theory of Computation; Software Engineering/Programming and Operating Systems; Category Theory, Homological Algebra
Front Matter....Pages I-XI
Front Matter....Pages 1-3
General Introduction....Pages 5-12
Graph Transformation....Pages 13-41
Model Transformation....Pages 43-62
Front Matter....Pages 63-65
Adhesive and \(\mathcal{M}\) -Adhesive Categories....Pages 67-89
\(\mathcal{M}\) -Adhesive Transformation Systems....Pages 91-138
Multi-amalgamated Transformations....Pages 139-166
Front Matter....Pages 167-169
Model Transformation and Model Integration....Pages 171-213
Analysis of Model Transformations....Pages 215-247
Model Synchronisation....Pages 249-294
Front Matter....Pages 295-297
Modelling and Static Analysis of Self-adaptive Systems by Graph Transformation....Pages 299-326
Enterprise Modelling and Model Integration....Pages 327-349
Tool Support....Pages 351-399
Back Matter....Pages 401-472
