Incremental Pattern Matching in Graph-Based State Space Exploration

Autor:	Ghamarian, A.H., Rensink, Arend, Jalali, Arash, De Lara, J., Varro, D.
Rok vydání:	2010
Předmět:	Incremental pattern matching METIS-275915 Graph Transformation EWI-19547 IR-75907 FMT-TOOLS
Zdroj:	Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 144-154 STARTPAGE=144;ENDPAGE=154;TITLE=Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010)
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=narcis______::750e89a8ec8e255c7932550fbcd18eb0 https://research.utwente.nl/en/publications/200ef86e-c7a9-485a-bf14-ad60c4ac0df7 Zobrazit plný text záznamu