Towards Attributed Graphs in Groove. Work in Progress

Electronic Notes in Theoretical Computer Science

Volumn 154, Issue 2 SPEC. ISS., 2006, Pages 47-54

  Kastenberg, Harmen ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

algebra graph; attributed graphs; graph transformation; signature structure

Indexed keywords

ALGEBRA; COMPUTER SIMULATION; ELECTRONIC DOCUMENT IDENTIFICATION SYSTEMS; MATHEMATICAL TRANSFORMATIONS; SYSTEMS ANALYSIS;

ALGEBRA GRAPH; ATTRIBUTED GRAPHS; GRAPH TRANSFORMATION; SIGNATURE STRUCTURE;

GRAPH THEORY;

EID: 33646712359     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.03.030     Document Type: Article

References (11)

1. Berthold, M.R., I. Fischer and M. Koch, Attributed Graph Transformation with Partial Attribution, in: H. Ehrig and G. Taentzer, editors, Proceedings Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (2000), pp. 171-178
2. nd International Conference on Graph Transformation. Lecture Notes in Computer Science 3256 (2004), Springer
3. Ehrig H., Heckel R., Korff M., Löwe M., Ribeiro L., Wagner A., and Corradini A. Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach. In: Rozenberg G. (Ed). Handbook of Graph Grammars and Computing by Graph Transformation. Foundations Vol. 1 (1997), World Scientific 247-312
4. Ehrig H., and Mahr B. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Monographs on Theoretical Computer Science 6 (1985), Springer-Verlag
5. Ehrig, H., U. Prange and G. Taentzer, Fundamentel Theory for Typed Attributed Graph Transformation, in: Ehrig et al. [2] pp. 161-177
6. st International Conference on Graph Transformations. Lecture Notes in Computer Science 2505 (2002), Springer 161-176
7. Löwe M., Korff M., and Wagner A. An Algebraic Framework for the Transformation of Attributed Graphs. Term Graph Rewriting: Theory and Practice (1993), John Wiley and Sons Ltd. 185-199
8. Plump D. Term Graph Rewriting. In: Ehrig H., Engels G., Kreowski H.J., and Rozenberg G. (Eds). Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools Vol. 2 (1999), World Scientific 3-61
9. Plump, D. and S. Steinert, Towards Graph Programs for Graph Algorithms, in: Ehrig et al. [2], pp. 128-143
10. Rensink A. The GROOVE Simulator: A Tool for State Space Generation. In: Pfalz J.L., Nagl M., and Böhlen B. (Eds). Applications of Graph Transformations with Industrial Relevance (AGTIVE). Lecture Notes in Computer Science 3062 (2004) 479-485
11. Taentzer G. AGG: The Attributed Graph Grammar System (2005). http://tfs.cs.tu-berlin.de/agg/