Abstract
| Original language | Undefined |
|---|---|
| Title of host publication | 11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012 |
| Editors | Andrew Fish, Leen Lambers |
| Place of Publication | Berlin |
| Publisher | European Association for Software Science and Technology |
| Pages | 736:1-736:12 |
| Number of pages | 12 |
| Publication status | Published - Mar 2012 |
Publication series
| Name | Electronic Communications of the EASST |
|---|---|
| Publisher | European Association for Software Science and Technology |
| Volume | 47 |
| ISSN (Print) | 1863-2122 |
| ISSN (Electronic) | 1863-2122 |
Keywords
- EWI-22971
- Graph TransformationIncremental Pattern MatchingRegular Expressions
- Regular Expressions
- RETE Algorithm
- IR-84316
- State Space Exploration
- Incremental Matching
- METIS-296260
- Path Matching
Cite this
}
Incremental pattern matching for regular expressions. / Jalali, Arash; Ghamarian, A.H.; Rensink, Arend.
11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012. ed. / Andrew Fish; Leen Lambers. Berlin : European Association for Software Science and Technology, 2012. p. 736:1-736:12 (Electronic Communications of the EASST; Vol. 47).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
TY - GEN
T1 - Incremental pattern matching for regular expressions
AU - Jalali, Arash
AU - Ghamarian, A.H.
AU - Rensink, Arend
PY - 2012/3
Y1 - 2012/3
N2 - Graph pattern matching lies at the heart of any graph transformation-based system. Incremental pattern matching is one approach proposed for reducingthe overall cost of pattern matching over successive transformations by preserving the matches that stay relevant after a rule application. An important issue in any matching scheme, is the ability to properly and consistently deal with various facilities that add to the expressiveness of a GT-tool’s rule language. One such feature is the support for regular path expressions, which would let two nodes to be consideredas a “match‿, if a certain path of edges exists between them. In this paper, the incorporation of regular expression support into incremental pattern matching is discussed within the context of the GROOVE tool set. This includes laying down a formal foundation for incremental pattern matching for regular expressions which is then used to justify the extension proposed to add regular expression support to a well-known pattern matching algorithm.
AB - Graph pattern matching lies at the heart of any graph transformation-based system. Incremental pattern matching is one approach proposed for reducingthe overall cost of pattern matching over successive transformations by preserving the matches that stay relevant after a rule application. An important issue in any matching scheme, is the ability to properly and consistently deal with various facilities that add to the expressiveness of a GT-tool’s rule language. One such feature is the support for regular path expressions, which would let two nodes to be consideredas a “match‿, if a certain path of edges exists between them. In this paper, the incorporation of regular expression support into incremental pattern matching is discussed within the context of the GROOVE tool set. This includes laying down a formal foundation for incremental pattern matching for regular expressions which is then used to justify the extension proposed to add regular expression support to a well-known pattern matching algorithm.
KW - EWI-22971
KW - Graph TransformationIncremental Pattern MatchingRegular Expressions
KW - Regular Expressions
KW - RETE Algorithm
KW - IR-84316
KW - State Space Exploration
KW - Incremental Matching
KW - METIS-296260
KW - Path Matching
M3 - Conference contribution
T3 - Electronic Communications of the EASST
SP - 736:1-736:12
BT - 11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012
A2 - Fish, Andrew
A2 - Lambers, Leen
PB - European Association for Software Science and Technology
CY - Berlin
ER -