Chargement en cours…
Fundamentals of Algebraic Graph Transformation
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...
| Cote: | Libro Electrónico |
|---|---|
| Auteurs principaux: | , , , |
| Collectivité auteur: | |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2006.
|
| Édition: | 1st ed. 2006. |
| Collection: | Monographs in Theoretical Computer Science. An EATCS Series,
|
| Sujets: | |
| Accès en ligne: | Texto Completo |
Table des matières:
- 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.