Abstract
Graph pattern matching is among the most costly operations in any graph transformation system. Incremental pattern matching aims at reducing this cost by incrementally updating, as opposed to totally recalculating, the possible matches of rules in the graph grammar at each step of the transformation. In this paper an implementation of one such algorithm is discussed with respect to the GROOVE
toolset, with a special emphasis put on state space exploration. Specifically, we shall discuss exploration strategies that could better harness the positive aspects of
incremental pattern matching in order to gain better performance.
Original language | Undefined |
---|---|
Title of host publication | Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010) |
Editors | J. De Lara, D. Varro |
Place of Publication | Enschede |
Publisher | European Association for the Study of Science and Technology |
Pages | 144-154 |
Number of pages | 12 |
Publication status | Published - 2010 |
Event | Fourth International Workshop on Graph-Based Tools, GraBaTs 2010: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010) - University of Twente, Enschede, Netherlands Duration: 28 Sep 2010 → 28 Sep 2010 Conference number: 4 |
Publication series
Name | CTIT Workshop Proceedings |
---|---|
Publisher | Centre for Telematics and Information Technology University of Twente |
Number | WP 10-06 |
ISSN (Print) | 0929-0672 |
ISSN (Electronic) | 0929-0672 |
Conference
Conference | Fourth International Workshop on Graph-Based Tools, GraBaTs 2010 |
---|---|
Abbreviated title | GraBaTs 2010 |
Country | Netherlands |
City | Enschede |
Period | 28/09/10 → 28/09/10 |
Other | 28 September 2010 |
Keywords
- FMT-TOOLS
- EWI-19547
- Graph Transformation
- Incremental pattern matching
- IR-75907
- METIS-275915