E-Book, Englisch, 390 Seiten, eBook
Reihe: Monographs in Theoretical Computer Science. An EATCS Series
Ehrig / Prange / Taentzer Fundamentals of Algebraic Graph Transformation
1. Auflage 2006
ISBN: 978-3-540-31188-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Englisch, 390 Seiten, eBook
Reihe: Monographs in Theoretical Computer Science. An EATCS Series
ISBN: 978-3-540-31188-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
to Graph Transformation Systems.- General Introduction.- Graphs, Typed Graphs, and the Gluing Construction.- Graph Transformation Systems.- Adhesive High-Level Replacement Categories and Systems.- Adhesive High-Level Replacement Categories.- Adhesive High-Level Replacement Systems.- Embedding and Local Confluence.- Constraints and Application Conditions.- Typed Attributed Graph Transformation Systems.- Typed Attributed Graphs.- Typed Attributed Graph Transformation Systems.- Embedding and Local Confluence for Typed AGT Systems.- Adhesive HLR Categories for Typed Attributed Graphs.- Constraints, Application Conditions and Termination for Typed AGT Systems.- Typed Attributed Graph Transformation with Inheritance.- Case Study on Model Transformation, and Tool Support by AGG.- Case Study on Model Transformation.- Implementation of Typed Attributed Graph Transformation by AGG.