Towards attributed graphs in Groove

H. Kastenberg

    Research output: Book/ReportReportProfessional

    65 Downloads (Pure)

    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.
    Original languageEnglish
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Publication statusPublished - 2005
    EventWorkshop on Graph Transformation for Verification and Concurrency, GT-VC 2005 - San Francisco, United States
    Duration: 22 Aug 200522 Aug 2005

    Publication series

    NameCTIT technical report
    PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
    No.05-34

    Keywords

    • Attributed graphs
    • Signature structure
    • Algebra graph
    • Graph transformation

    Fingerprint Dive into the research topics of 'Towards attributed graphs in Groove'. Together they form a unique fingerprint.

    Cite this