-
Zusatztext
-
Inhaltsangabeto 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.
-
-
Kurztext
-
First textbook treatment of the algebraic approach to graph transformationIncludes supplementary material: sn.pub/extras
-
Detailansicht
Fundamentals of Algebraic Graph Transformation
Monographs in Theoretical Computer Science. An EATCS Series
Ehrig, Hartmut/Ehrig, Karsten/Prange, Ulrike et al
ISBN/EAN: 9783642068317
Umbreit-Nr.: 1557369
Sprache:
Englisch
Umfang: xiii, 390 S.
Format in cm:
Einband:
kartoniertes Buch
Erschienen am 18.11.2010
Auflage: 1/2006