Towards Attributed Graphs in Groove

Share/Save/Bookmark

Kastenberg, Harmen (2006) Towards Attributed Graphs in Groove. Electronic Notes in Theoretical Computer Science (ENTCS), 154 (2). pp. 47-54. ISSN 1571-0661

[img]PDF
Restricted to UT campus only
: Request a copy
208Kb
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.
Item Type:Article
Copyright:© 2006 Elsevier
Faculty:
Engineering Technology (CTW)
Research Group:
Link to this item:http://purl.utwente.nl/publications/78477
Official URL:http://dx.doi.org/10.1016/j.entcs.2005.03.030
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 237984