{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:00:08Z","timestamp":1725858008755},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319405292"},{"type":"electronic","value":"9783319405308"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40530-8_9","type":"book-chapter","created":{"date-parts":[[2016,6,23]],"date-time":"2016-06-23T02:53:01Z","timestamp":1466650381000},"page":"137-152","source":"Crossref","is-referenced-by-count":1,"title":["Rete Network Slicing for Model Queries"],"prefix":"10.1007","author":[{"given":"Zolt\u00e1n","family":"Ujhelyi","sequence":"first","affiliation":[]},{"given":"G\u00e1bor","family":"Bergmann","sequence":"additional","affiliation":[]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,22]]},"reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/978-3-642-33666-9_14","volume-title":"Model Driven Engineering Languages and Systems","author":"A Reder","year":"2012","unstructured":"Reder, A., Egyed, A.: Incremental consistency checking for complex design rules and larger model changes. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 202\u2013218. Springer, Heidelberg (2012)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/978-3-642-16145-2_6","volume-title":"Model Driven Engineering Languages and Systems","author":"G Bergmann","year":"2010","unstructured":"Bergmann, G., Horv\u00e1th, A., R\u00e1th, I., Varr\u00f3, D., Balogh, A., Balogh, Z., \u00d6kr\u00f6s, A.: Incremental evaluation of model queries over EMF models. In: Rouquette, N., Haugen, \u00d8., Petriu, D.C. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 76\u201390. Springer, Heidelberg (2010)"},{"key":"9_CR3","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1016\/j.scico.2014.01.004","volume":"98","author":"Z Ujhelyi","year":"2015","unstructured":"Ujhelyi, Z., Heged\u00fcs, A., Bergmann, G., Horv\u00e1th, A., R\u00e1th, I., Varr\u00f3, D.: EMF-IncQuery: an integrated development environment for live model queries. Sci. Comput. Program. 98, 80\u201399 (2015)","journal-title":"Sci. Comput. Program."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Heged\u00fcs, A., Horv\u00e1th, A., R\u00e1th, I., Starr, R., Varr\u00f3, D.: Query-driven soft traceability links for models. Softw. Syst. Model. 1\u201324 (2014). http:\/\/link.springer.com\/article\/10.1007\/s10270-014-0436-y","DOI":"10.1007\/s10270-014-0436-y"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-3-642-21732-6_12","volume-title":"Theory and Practice of Model Transformations","author":"G Bergmann","year":"2011","unstructured":"Bergmann, G., Ujhelyi, Z., R\u00e1th, I., Varr\u00f3, D.: A graph query language for EMF models. In: Cabot, J., Visser, E. (eds.) ICMT 2011. LNCS, vol. 6707, pp. 167\u2013182. Springer, Heidelberg (2011)"},{"issue":"1","key":"9_CR6","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"CL Forgy","year":"1982","unstructured":"Forgy, C.L.: Rete: A fast algorithm for the many pattern\/many object pattern match problem. Artif. Intell. 19(1), 17\u201337 (1982)","journal-title":"Artif. Intell."},{"key":"9_CR7","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/j.entcs.2005.10.025","volume":"152","author":"G Varr\u00f3","year":"2006","unstructured":"Varr\u00f3, G., Friedl, K., Varr\u00f3, D.: Adaptive graph pattern matching for model transformations using model-sensitive search plans. Electron. Notes Theoret. Comput. Sci. 152, 191\u2013205 (2006). Proceedings of the International Workshop on Graph and Model Transformation (GraMoT 2005)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/978-3-319-21145-9_18","volume-title":"Graph Transformation","author":"M B\u00far","year":"2015","unstructured":"B\u00far, M., Ujhelyi, Z., Horv\u00e1th, \u00c1., Varr\u00f3, D.: Local search-based pattern matching features in EMF-IncQuery. In: Parisi-Presicce, F., Westfechtel, B. (eds.) ICGT 2015. LNCS, vol. 9151, pp. 275\u2013282. Springer, Heidelberg (2015)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Ujhelyi, Z., Horv\u00e1th, A., Varr\u00f3, D.: Dynamic backward slicing of model transformations. In: Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation. ICST 2012, Computer Society , pp. 1\u201310. IEEE, Washington, DC (2012)","DOI":"10.1109\/ICST.2012.80"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Claris\u00f3, R., Cabot, J., Guerra, E., de\u00a0Lara, J.: Backwards reasoning for model transformations: method and applications. J. Syst. Softw. 116, 113\u2013132 (2016). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0164121215001788","DOI":"10.1016\/j.jss.2015.08.017"},{"issue":"5","key":"9_CR11","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1109\/TSE.2014.2375201","volume":"41","author":"L Burgueno","year":"2015","unstructured":"Burgueno, L., Troya, J., Wimmer, M., Vallecillo, A.: Static fault localization in model transformations. IEEE Trans. Softw. Eng. 41(5), 490\u2013506 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"9_CR12","unstructured":"Bergmann, G.: Incremental model queries in model-driven design. Ph.D. dissertation, Budapest University of Technology and Economics, Budapest (2013)"},{"issue":"1","key":"9_CR13","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/343369.343384","volume":"1","author":"Y Gurevich","year":"2000","unstructured":"Gurevich, Y.: Sequential abstract-state machines capture sequential algorithms. ACM Trans. Comput. Logic 1(1), 77\u2013111 (2000)","journal-title":"ACM Trans. Comput. Logic"},{"key":"9_CR14","unstructured":"The JBoss Project: Drools - The Business Logic integration Platform (2014). http:\/\/www.jboss.org\/drools"},{"key":"9_CR15","unstructured":"Ghamarian, A., Jalali, A., Rensink, A.: Incremental pattern matching in graph-based state space exploration. Electron. Commun. EASST 32 (2011)"},{"issue":"3","key":"9_CR16","first-page":"121","volume":"3","author":"F Tip","year":"1995","unstructured":"Tip, F.: A survey of program slicing techniques. J. Program. Lang. 3(3), 121\u2013189 (1995)","journal-title":"J. Program. Lang."},{"issue":"2","key":"9_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1050849.1050865","volume":"30","author":"B Xu","year":"2005","unstructured":"Xu, B., Qian, J., Zhang, X., Wu, Z., Chen, L.: A brief survey of program slicing. ACM SIGSOFT Softw. Eng. Notes 30(2), 1\u201336 (2005)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"issue":"3","key":"9_CR18","doi-asserted-by":"crossref","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. 68(3), 214\u2013234 (2007)","journal-title":"Sci. Comput. Program."},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/978-3-540-31987-0_6","volume-title":"Programming Languages and Systems","author":"M Leuschel","year":"2005","unstructured":"Leuschel, M., Vidal, G.: Forward slicing by conjunctive partial deduction and argument filtering. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol. 3444, pp. 61\u201376. Springer, Heidelberg (2005)"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","first-page":"259","volume-title":"Practical Aspects of Declarative Languages","author":"W Weber Vasconcelos","year":"1999","unstructured":"Weber Vasconcelos, W.: A flexible framework for dynamic and static slicing of logic programs. In: Gupta, G. (ed.) PADL 1999. LNCS, vol. 1551, p. 259. Springer, Heidelberg (1999)"},{"issue":"2","key":"9_CR21","first-page":"257","volume":"15","author":"G Szil\u00e1gyi","year":"2001","unstructured":"Szil\u00e1gyi, G., Harmath, L., Gyim\u00f3thy, T.: The debug slicing of logic programs. Acta Cybernetica 15(2), 257\u2013278 (2001)","journal-title":"Acta Cybernetica"},{"key":"9_CR22","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1023\/A:1013280119003","volume":"9","author":"G Szil\u00e1gyi","year":"2002","unstructured":"Szil\u00e1gyi, G., Gyim\u00f3thy, T., Ma\u0142uszy\u0144ski, J.: Static and dynamic slicing of constraint logic programs. Autom. Softw. Eng. 9, 41\u201365 (2002)","journal-title":"Autom. Softw. Eng."},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Uzuncaova, E., Khurshid, S.: Kato: A program slicing tool for declarative specifications. In: 29th International Conference on Software Engineering, pp. 767\u2013770. IEEE (2007)","DOI":"10.1109\/ICSE.2007.47"},{"issue":"2","key":"9_CR24","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1145\/357775.357777","volume":"25","author":"Y Cui","year":"2000","unstructured":"Cui, Y., Widom, J., Wiener, J.L.: Tracing the lineage of view data in a warehousing environment. ACM Trans. Database Syst. 25(2), 179\u2013227 (2000)","journal-title":"ACM Trans. Database Syst."},{"issue":"3","key":"9_CR25","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/MCSE.2008.79","volume":"10","author":"J Freire","year":"2008","unstructured":"Freire, J., Koop, D., Santos, E., Silva, C.T.: Provenance for computational tasks: a survey. Comput. Sci. Eng. 10(3), 11\u201321 (2008)","journal-title":"Comput. Sci. Eng."},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Kagdi, H., Maletic, J.I., Sutton, A.: Context-free slicing of UML class models. In: 21st International Conference on Software Maintenance ICSM 2005, pp. 635\u2013638. IEEE (2005)","DOI":"10.1109\/ICSM.2005.34"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Poetzsch-Heffter, A.: Slicing for model reduction in adaptive embedded systems development. In: International Workshop on Software Engineering for Adaptive and Self-managing Systems, pp. 25\u201332. ACM, NewYork (2008)","DOI":"10.1145\/1370018.1370024"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Shaikh, A., Claris\u00f3, R., Wiil, U.K., Memon, N.: Verification-driven slicing of UML\/OCL models. In: 25th IEEE\/ACM International Conference on Automated Software Engineering, pp. 185\u2013194. ACM (2010)","DOI":"10.1145\/1858996.1859038"},{"key":"9_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/978-3-642-16129-2_17","volume-title":"Model Driven Engineering Languages and Systems","author":"K Lano","year":"2010","unstructured":"Lano, K., Kolahdouz-Rahimi, S.: Slicing of UML models using model transformations. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010, Part II. LNCS, vol. 6395, pp. 228\u2013242. Springer, Heidelberg (2010)"},{"key":"9_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1007\/978-3-642-00593-0_15","volume-title":"Fundamental Approaches to Software Engineering","author":"K Androutsopoulos","year":"2009","unstructured":"Androutsopoulos, K., Clark, D., Harman, M., Li, Z., Tratt, L.: Control dependence for extended finite state machines. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol. 5503, pp. 216\u2013230. Springer, Heidelberg (2009)"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"Korel, B., Singh, I., Tahat, L., Vaysburg, B.: Slicing of state-based models. In: IEEE International Conference on Software Maintenance, pp. 34\u201343 (2003)","DOI":"10.1109\/ICSM.2003.1235404"},{"issue":"6","key":"9_CR32","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1109\/TSE.2010.112","volume":"37","author":"JT Lallchandani","year":"2011","unstructured":"Lallchandani, J.T., Mall, R.: A dynamic slicing technique for UML architectural models. IEEE Trans. Softw. Eng. 37(6), 737\u2013771 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"9_CR33","series-title":"Lecture Notes in Computer Science","first-page":"32","volume-title":"Model Driven Engineering Languages and Systems","author":"S Sen","year":"2009","unstructured":"Sen, S., Moha, N., Baudry, B., J\u00e9z\u00e9quel, J.-M.: Meta-model Pruning. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 32\u201346. Springer, Heidelberg (2009)"},{"key":"9_CR34","doi-asserted-by":"crossref","unstructured":"Bae, J.H., Lee, K., Chae, H.S.: Modularization of the UML metamodel using model slicing. In: 3rd International Conference on Information Technology: New Generations, IEEE, pp. 1253\u20131254 (2008)","DOI":"10.1109\/ITNG.2008.179"},{"key":"9_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/978-3-642-24485-8_6","volume-title":"Model Driven Engineering Languages and Systems","author":"A Blouin","year":"2011","unstructured":"Blouin, A., Combemale, B., Baudry, B., Beaudoux, O.: Modeling model slicers. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 62\u201376. Springer, Heidelberg (2011)"},{"key":"9_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/978-3-642-14107-2_3","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"P Dhoolia","year":"2010","unstructured":"Dhoolia, P., Mani, S., Sinha, V.S., Sinha, S.: Debugging model-transformation failures using dynamic tainting. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 26\u201351. Springer, Heidelberg (2010)"},{"key":"9_CR37","doi-asserted-by":"crossref","unstructured":"Mani, S., Sinha, V.S., Dhoolia, P., Sinha, S.: Automated support for repairing input-model faults. In: 25th IEEE\/ACM International Conference on Automated Software Engineering, pp. 195\u2013204. ACM (2010)","DOI":"10.1145\/1858996.1859039"},{"key":"9_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/978-3-642-12261-3_2","volume-title":"Models in Software Engineering","author":"J Schoenboeck","year":"2010","unstructured":"Schoenboeck, J., Kappel, G., Kusel, A., Retschitzegger, W., Schwinger, W., Wimmer, M.: Catch me if you can \u2013 debugging support for model transformations. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol. 6002, pp. 5\u201320. Springer, Heidelberg (2010)"},{"key":"9_CR39","unstructured":"Seifert, M., Katscher, S.: Debugging triple graph grammar-based model transformations. In: Fujaba Days, pp. 19\u201325 (2008)"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40530-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T12:54:13Z","timestamp":1498308853000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40530-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319405292","9783319405308"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40530-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}