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 language | English |
---|---|
Title of host publication | AGTIVE 2011 |
Subtitle of host publication | Applications of Graph Transformations with Industrial Relevance |
Editors | Andy Schürr, Dániel Varró, Gergely Varró |
Place of Publication | Berlin, Heidelberg |
Publisher | Springer |
Pages | 105-120 |
Number of pages | 16 |
ISBN (Electronic) | 978-3-642-34176-2 |
ISBN (Print) | 978-3-642-34175-5 |
DOIs | |
Publication status | Published - Oct 2011 |
Event | 4th International Symposium on Applications of Graph Transformations with Industrial Relevance, AGTIVE 2011 - Budapest, Hungary Duration: 4 Oct 2011 → 7 Oct 2011 Conference number: 4 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 7233 |
ISSN (Print) | 0302-9743 |
Conference
Conference | 4th International Symposium on Applications of Graph Transformations with Industrial Relevance, AGTIVE 2011 |
---|---|
Abbreviated title | AGTIVE |
Country/Territory | Hungary |
City | Budapest |
Period | 4/10/11 → 7/10/11 |
Keywords
- METIS-285240
- IR-79590
- Graph Exploration Analysis
- EWI-21401
- Prolog
- Feature Modelling
- GROOVE