Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , , , |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2006.
|
| Edición: | 1st ed. 2006. |
| Colección: | Monographs in Theoretical Computer Science. An EATCS Series,
|
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.