Fundamentals of Algebraic Graph Transformation

Part I. Introduction to Graph Transformation Systems

1. General Introduction

2. Graphs, Typed Graphs, and the Gluing Construction

3. Graph Transformation Systems

Part II. Adhesive High-Level Replacement Categories and Systems

4. Adhesive High-Level Replacement Categories

5. Adhesive High-Level Replacement Systems

6. Embedding and Local Confluence

7. Constraints and Application Conditions

Part III. Typed Attributed Graph Transformation Systems

8. Typed Attributed Graphs

9. Typed Attributed Graph Transformation Systems

10. Embedding and Local Confluence for Typed AGT Systems

11. Adhesive HLR Categories for Typed Attributed Graphs

12. Constraints, Application Conditions and Termination for Typed AGT Systems

13. Typed Attributed Graph Transformation with Inheritance

Part IV. Case Study on Model Transformation, and Tool Support by AGG

14. Case Study on Model Transformation

15. Implementation of Typed Attributed Graph Transformation by AGG

DRM-restrictions

Printing: not available
Clipboard copying: not available

Keywords: COMPUTERS / Computer Science COM014000