Graph and Model Transformation General Framework and Applications /

• Main Authors: Ehrig, Hartmut (Author), Ermel, Claudia (Author), Golas, Ulrike (Author), Hermann, Frank (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
• Edition: 1st ed. 2015.
• Series: Monographs in Theoretical Computer Science. An EATCS Series,
• Subjects: Computer science.; Software engineering.; Computers.; Category theory (Mathematics).; Homological algebra.; Computer Science.; Theory of Computation.; Software Engineering/Programming and Operating Systems.; Category Theory, Homological Algebra.

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 chapt...

Table of Contents:

• General Introduction
• Graph Transformation
• Model Transformation
• Adhesive and M-adhesive Categories
• M-adhesive Transformation Systems
• Multi-amalgamated Transformations
• Model Transformation and Model Integration
• Analysis of Model Transformations
• Model Synchronisation
• Modelling and Static Analysis of Self-adaptive Systems by Graph Transformation
• Enterprise Modelling and Model Integration
• Tool Support
• App. A, Basic Notions of Category Theory
• App. B, Proofs and Additional Properties
• References
• Index.