Abstract
Purchase PDF (203 K)
E-mail Article
Add to my Quick Links
Cited By in Scopus (2)
Purchase PDF (518 K)
doi:10.1016/j.entcs.2005.03.030 
Copyright © 2006 Elsevier B.V. All rights reserved.
Towards Attributed Graphs in Groove Work in Progress
Harmen Kastenberg1, 
Available online 24 May 2006.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
Graphs are a very expressive formalism for system modeling, especially when attributes are allowed. Our research is mainly focused on the use of graphs for system verification.
Up to now, there are two main different approaches of modeling (typed) attributed graphs and specifying their transformation. Here we report preliminary results of our investigation on a third approach. In our approach we couple a graph to a data signature that consists of unary operations only. Therefore, we transform arbitrary signatures into a structure comparable to what is called a graph structure signature in the literature, and arbitrary algebras into the corresponding algebra graph.
Keywords: attributed graphs; graph transformation; algebra graph; signature structure
