My Library

University LibraryCatalogue

For faster,
Use Lean
Get it now
Don't show me again
Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Cover Art
Author Ehrig, Hartmut

Title Graph and Model Transformation [electronic resource] : General Framework and Applications

Published Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015


Location Call No. Status
Edition 1. ed. 2015
Physical description 1 online resource (XI, 472 s. 465 illus., 5 illus. in color. :) online resource.
Series Monographs in Theoretical Computer Science. An EATCS Series, 1431-2654
Monographs in Theoretical Computer Science. An EATCS Series,, 1431-2654
Springer English/International eBooks 2015 - Full Set
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
Bibliography Includes bibliographical references and index.
Summary 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. @222B@03C2 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
Other author Ermel, Claudia, author
Golas, Ulrike, author
Hermann, Frank, author
SpringerLink issuing body.
Subject Computer science.
Software engineering.
Categories (Mathematics)
Algebra, Homological.
Theory of Computation
Software Engineering/Programming and Operating Systems
Category Theory, Homological Algebra
Electronic books.
Electronic books.
ISBN 9783662479803
Standard Number 10.1007/978-3-662-47980-3