Portada

FUNDAMENTALS OF ALGEBRAIC GRAPH TRANSFORMATION IBD

SPRINGER
11 / 2010
9783642068317
Inglés

Sinopsis

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.

PVP
181,33