Fundamentals of Algebraic Graph Transformation

• Κύριοι συγγραφείς: Ehrig, Hartmut (Συγγραφέας), Ehrig, Karsten (Συγγραφέας), Prange, Ulrike (Συγγραφέας), Taentzer, Gabriele (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Monographs in Theoretical Computer Science. An EATCS Series,
• Θέματα: Computer science.; Computer programming.; Programming languages (Electronic computers).; Computers.; Computer logic.; Mathematical logic.; Computer Science.; Theory of Computation.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields. This is the first textbook treatment of the algebra...

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

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