{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:02:46Z","timestamp":1760043766857},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540874041"},{"type":"electronic","value":"9783540874058"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87405-8_27","type":"book-chapter","created":{"date-parts":[[2008,9,17]],"date-time":"2008-09-17T06:48:17Z","timestamp":1221634097000},"page":"396-410","source":"Crossref","is-referenced-by-count":29,"title":["A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation"],"prefix":"10.1007","author":[{"given":"G\u00e1bor","family":"Bergmann","sequence":"first","affiliation":[]},{"given":"\u00c1kos","family":"Horv\u00e1th","sequence":"additional","affiliation":[]},{"given":"Istv\u00e1n","family":"R\u00e1th","sequence":"additional","affiliation":[]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"Bergmann, G., et al.: Incremental pattern matching in the VIATRA transformation system. In: GRaMoT 2008, 3rd International Workshop on Graph and Model Transformation, 30th International Conference on Software Engineering (accepted, 2008)","DOI":"10.1145\/1402947.1402953"},{"key":"27_CR2","volume-title":"Proc. Applications of Graph Transformations with Industrial Relevance (AGTIVE 2007)","author":"A. Matzner","year":"2007","unstructured":"Matzner, A., Minas, M., Schulte, A.: Efficient graph matching with application to cognitive automation. In: Proc. Applications of Graph Transformations with Industrial Relevance (AGTIVE 2007). Springer, Heidelberg (2007)"},{"key":"27_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/11880240_38","volume-title":"Model Driven Engineering Languages and Systems","author":"H. Giese","year":"2006","unstructured":"Giese, H., Wagner, R.: Incremental Model Synchronization with Triple Graph Grammars. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 543\u2013557. Springer, Heidelberg (2006)"},{"key":"27_CR4","volume-title":"Proc. Applications of Graph Transformations with Industrial Relevance (AGTIVE 2007)","author":"G. Varr\u00f3","year":"2007","unstructured":"Varr\u00f3, G., Horv\u00e1th, \u00c1., Varr\u00f3, D.: Recursive graph pattern matching with magic sets and global search plans. In: Proc. Applications of Graph Transformations with Industrial Relevance (AGTIVE 2007). Springer, Heidelberg (2007)"},{"key":"27_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/11841883_27","volume-title":"Graph Transformations","author":"R. Geiss","year":"2006","unstructured":"Geiss, R., et al.: GrGEN: A fast spo-based graph rewriting tool. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 383\u2013397. Springer, Heidelberg (2006)"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations: Foundations","year":"1997","key":"27_CR6","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations: Foundations. World Scientific, Singapore (1997)"},{"issue":"3","key":"27_CR7","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.scico.2007.05.004","volume":"68","author":"D. Varr\u00f3","year":"2007","unstructured":"Varr\u00f3, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Program.\u00a068(3), 214\u2013234 (2007)","journal-title":"Sci. Comput. Program."},{"key":"27_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/978-3-540-30203-2_23","volume-title":"Graph Transformations","author":"A. Rensink","year":"2004","unstructured":"Rensink, A.: Representing first-order logic using graphs. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 319\u2013335. Springer, Heidelberg (2004)"},{"key":"27_CR9","volume-title":"Handbook on Graph Grammars and Computing by Graph Transformation, Applications, Languages and Tools","author":"H. Ehrig","year":"1999","unstructured":"Ehrig, H., et al.: Handbook on Graph Grammars and Computing by Graph Transformation, Applications, Languages and Tools, vol.\u00a02. World Scientific, Singapore (1999)"},{"key":"27_CR10","volume-title":"Abstract State Machines. A method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., S\u00e4rk, R.: Abstract State Machines. A method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"27_CR11","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1109\/VLHCC.2005.23","volume-title":"Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2005)","author":"G. Varr\u00f3","year":"2005","unstructured":"Varr\u00f3, G., Sch\u00fcrr, A., Varr\u00f3, D.: Benchmarking for graph transformation. In: Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2005), Dallas, Texas, USA, pp. 79\u201388. IEEE Press, Los Alamitos (2005)"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. In: Proceedings of the IEEE, April 1989, published as Proceedings of the IEEE, vol.\u00a077(4), pp. 541\u2013580 (1989)","DOI":"10.1109\/5.24143"},{"key":"27_CR13","unstructured":"Jungel, M., Kindler, E., Weber, M.: The Petri Net Markup Language. In: Algorithmen und Werkzeuge fur Petrinetze (AWPN), Koblenz (June 2002)"},{"key":"27_CR14","unstructured":"The VIATRA2 Framework: official website (2008), http:\/\/viatra.inf.mit.bme.hu"},{"key":"27_CR15","unstructured":"Geiss, R., Kroll, M.: On improvements of the Varro benchmark for graph transformation tools. Technical Report 2007-7, Universit\u00e4t Karlsruhe, IPD Goos 12 (2007)"},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"Lawley, M., Steel, J.: Practical declarative model transformation with Tefkat. In: Proc. International Workshop on Model Transformation in Practice (MTiP 2005) (October 2005)","DOI":"10.1007\/11663430_15"},{"key":"27_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/11880240_23","volume-title":"Model Driven Engineering Languages and Systems","author":"D. Hearnden","year":"2006","unstructured":"Hearnden, D., et al.: Incremental model transformation for the evolution of model-driven systems. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 321\u2013335. Springer, Heidelberg (2006)"},{"key":"27_CR18","unstructured":"Varr\u00f3, G., Varr\u00f3, D., Sch\u00fcrr, A.: Incremental graph pattern matching: Data structures and initial experiments. In: Proc. Graph and Model Transformation (GraMoT 2006). Electronic Communications of the EASST, vol.\u00a04 (2006)"},{"issue":"1","key":"27_CR19","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C.L. Forgy","year":"1982","unstructured":"Forgy, C.L.: Rete: A fast algorithm for the many pattern\/many object pattern match problem. Artificial Intelligence\u00a019(1), 17\u201337 (1982)","journal-title":"Artificial Intelligence"},{"key":"27_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/BFb0017389","volume-title":"Graph Grammars and Their Application to Computer Science","author":"H. Bunke","year":"1991","unstructured":"Bunke, H., Glauser, T., Tran, T.H.: An efficient implementation of graph grammar based on the RETE-matching algorithm. In: Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) Graph Grammars 1990. LNCS, vol.\u00a0532, pp. 174\u2013189. Springer, Heidelberg (1991)"},{"key":"27_CR21","unstructured":"Matzner, A., Minas, M., Schulte, A.: Efficient graph matching with application to cognitive automation. In: Proc. 3rd International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance, Kassel, Germany, October 2007, pp. 293\u2013308 (2007)"},{"key":"27_CR22","first-page":"551","volume-title":"[9]","author":"C. Ermel","year":"1999","unstructured":"Ermel, C., Rudolf, M., Taentzer, G.: The AGG-Approach: Language and Tool Environment. In: [9], pp. 551\u2013603. World Scientific, Singapore (1999)"},{"key":"27_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/3-540-52292-1_11","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1990","unstructured":"Sch\u00fcrr, A.: Introduction to PROGRES, an attributed graph grammar based specification language. In: Nagl, M. (ed.) WG 1989. LNCS, vol.\u00a0411, pp. 151\u2013165. Springer, Heidelberg (1990)"},{"key":"27_CR24","volume-title":"The 22nd International Conference on Software Engineering (ICSE)","author":"U. Nickel","year":"2000","unstructured":"Nickel, U., Niere, J., Z\u00fcndorf, A.: Tool demonstration: The FUJABA environment. In: The 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland. ACM Press, New York (2000)"},{"key":"27_CR25","unstructured":"The AGTIVE Tool Contest: official website (2007), http:\/\/www.informatik.uni-marburg.de\/~swt\/agtive-contest"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87405-8_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:37:36Z","timestamp":1606167456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87405-8_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540874041","9783540874058"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87405-8_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}