<p>“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)</p><p>“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)</p>

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.
Les mer
This book is a comprehensive explanation of graph and model transformation. 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.
Les mer
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.
Les mer
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.
Les mer
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
Les mer
GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com
Les mer

Produktdetaljer

ISBN
9783662479797
Publisert
2015-12-30
Utgiver
Vendor
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, P, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet