Graph and Model Transformation
Graph and Model Transformation: General Framework and Applications
Springer | Theoretical Computer Science | January 03, 2016 | ISBN-10: 3662479796 | 472 pages | pdf | 15.5 mb
Springer | Theoretical Computer Science | January 03, 2016 | ISBN-10: 3662479796 | 472 pages | pdf | 15.5 mb
by Hartmut Ehrig (Author), Claudia Ermel (Author), Ulrike Golas (Author), Frank Hermann (Author)
Authors among the leading scientists and educators in the field
Techniques applicable in software engineering, concurrent and distributed systems, and visual modelling
Comprehensive treatment, includes a brief introduction to category theory
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.
Number of Illustrations and Tables
460 illus., 5 in colour
Topics
Theory of Computation
Software Engineering / Programming and Operating Systems
Category Theory, Homological Algebra
More info and Hardcover at Springer
Donate to Support :)