Knowledge-based Graph Exploration Analysis

Ismênia Galvao, Eduardo Zambon, Arend Rensink, Lesley Wevers, Mehmet Aksit

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
    40 Downloads (Pure)

    Abstract

    In a context where graph transformation is used to explore a space of possible solutions to a given problem, it is almost always necessary to inspect candidate solutions for relevant properties. This means that there is a need for a flexible mechanism to query not only graphs but also their evolution. In this paper we show how to use Prolog queries to analyse graph exploration. Queries can operate both on the level of individual graphs and on the level of the transformation steps, enabling a very powerful and flexible analysis method. This has been implemented in the graph-based verification tool GROOVE. As an application of this approach, we show how it gives rise to a competitive analysis technique in the domain of feature modelling.
    Original languageEnglish
    Title of host publicationAGTIVE 2011
    Subtitle of host publicationApplications of Graph Transformations with Industrial Relevance
    EditorsAndy Schürr, Dániel Varró, Gergely Varró
    Place of PublicationBerlin, Heidelberg
    PublisherSpringer
    Pages105-120
    Number of pages16
    ISBN (Electronic)978-3-642-34176-2
    ISBN (Print)978-3-642-34175-5
    DOIs
    Publication statusPublished - Oct 2011
    Event4th International Symposium on Applications of Graph Transformations with Industrial Relevance, AGTIVE 2011 - Budapest, Hungary
    Duration: 4 Oct 20117 Oct 2011
    Conference number: 4

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume7233
    ISSN (Print)0302-9743

    Conference

    Conference4th International Symposium on Applications of Graph Transformations with Industrial Relevance, AGTIVE 2011
    Abbreviated titleAGTIVE
    CountryHungary
    CityBudapest
    Period4/10/117/10/11

    Keywords

    • METIS-285240
    • IR-79590
    • Graph Exploration Analysis
    • EWI-21401
    • Prolog
    • Feature Modelling
    • GROOVE

    Cite this