Graph and Model Transformation General Framework and Applications /

• Κύριοι συγγραφείς: Ehrig, Hartmut (Συγγραφέας), Ermel, Claudia (Συγγραφέας), Golas, Ulrike (Συγγραφέας), Hermann, Frank (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
• Έκδοση: 1st ed. 2015.
• Σειρά: Monographs in Theoretical Computer Science. An EATCS Series,
• Θέματα: 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...

Πίνακας περιεχομένων:

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