{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:18:38Z","timestamp":1759331918808,"version":"3.37.3"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319893624"},{"type":"electronic","value":"9783319893631"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-89363-1_1","type":"book-chapter","created":{"date-parts":[[2018,4,3]],"date-time":"2018-04-03T09:04:43Z","timestamp":1522746283000},"page":"3-20","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A Formal Framework for Incremental Model Slicing"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3975-5238","authenticated-orcid":false,"given":"Gabriele","family":"Taentzer","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2582-5557","authenticated-orcid":false,"given":"Timo","family":"Kehrer","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3413-0810","authenticated-orcid":false,"given":"Christopher","family":"Pietsch","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2052-4912","authenticated-orcid":false,"given":"Udo","family":"Kelter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,4,4]]},"reference":[{"key":"1_CR1","unstructured":"Weiser, M.: Program slicing. In: Proceedings of ICSE 1981. IEEE Press (1981)"},{"issue":"2","key":"1_CR2","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":"1","key":"1_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2200\/S00441ED1V01Y201208SWE001","volume":"1","author":"M Brambilla","year":"2012","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-driven software engineering in practice. Synth. Lect. Softw. Eng. 1(1), 1\u2013182 (2012)","journal-title":"Synth. Lect. Softw. Eng."},{"issue":"4","key":"1_CR4","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/2501654.2501667","volume":"45","author":"K Androutsopoulos","year":"2013","unstructured":"Androutsopoulos, K., Clark, D., Harman, M., Krinke, J., Tratt, L.: State-based model slicing: A survey. ACM Comput. Surv. 45(4), 36 (2013). https:\/\/doi.org\/10.1145\/2501654.2501667 . Article 53","journal-title":"ACM Comput. Surv."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Gerlitz, T., Kowalewski, S.: Flow sensitive slicing for matlab\/simulink models. In: Proceedings of WICSA 2016. IEEE (2016)","DOI":"10.1109\/WICSA.2016.23"},{"issue":"1","key":"1_CR6","first-page":"71","volume":"2","author":"P Samuel","year":"2008","unstructured":"Samuel, P., Mall, R.: A novel test case design technique using dynamic slicing of UML sequence diagrams. e-Informatica 2(1), 71\u201392 (2008)","journal-title":"e-Informatica"},{"issue":"1","key":"1_CR7","first-page":"321","volume":"14","author":"A Blouin","year":"2015","unstructured":"Blouin, A., Combemale, B., Baudry, B., Beaudoux, O.: Kompren: modeling and generating model slicers. SoSyM 14(1), 321\u2013337 (2015)","journal-title":"SoSyM"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Pietsch, C., Ohrndorf, M., Kelter, U., Kehrer, T.: Incrementally slicing editable submodels. In: Proceedings of ASE 2017. IEEE Press (2017)","DOI":"10.1109\/ASE.2017.8115704"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1007\/11557432_36","volume-title":"Model Driven Engineering Languages and Systems","author":"P Baker","year":"2005","unstructured":"Baker, P., Loh, S., Weil, F.: Model-driven engineering in a large industrial context\u2014Motorola case study. In: Briand, L., Williams, C. (eds.) MODELS 2005. LNCS, vol. 3713, pp. 476\u2013491. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11557432_36"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Hutchinson, J., Whittle, J., Rouncefield, M., Kristoffersen, S.: Empirical assessment of MDE in industry. In: Proceedings of ICSE 2011. IEEE (2011)","DOI":"10.1145\/1985793.1985858"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-01648-6_5","volume-title":"Models in Software Engineering","author":"DS Kolovos","year":"2009","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The grand challenge of scalability for model driven engineering. In: Chaudron, M.R.V. (ed.) MODELS 2008. LNCS, vol. 5421, pp. 48\u201353. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-01648-6_5"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Rose, L.M., Matragkas, N., Paige, R.F., Guerra, E., Cuadrado, J.S., De Lara, J., R\u00e1th, I., Varr\u00f3, D., Tisi, M., et al.: A research roadmap towards achieving scalability in model driven engineering. In: Proceedings of BigMDE @ STAF 2013. ACM (2013)","DOI":"10.1145\/2487766.2487768"},{"key":"1_CR13","unstructured":"Capozucca, A., Cheng, B., Guelfi, N., Istoan, P.: OO-SPL modelling of the focused case study. In: Proceedings of CMA @ MoDELS 2011 (2011)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-15928-2_12","volume-title":"Graph Transformations","author":"G Taentzer","year":"2010","unstructured":"Taentzer, G., Ermel, C., Langer, P., Wimmer, M.: Conflict detection for model versioning based on graph modifications. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol. 6372, pp. 171\u2013186. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15928-2_12"},{"key":"1_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-31188-2","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-31188-2"},{"issue":"2","key":"1_CR16","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1017\/S0960129508007202","volume":"19","author":"A Habel","year":"2009","unstructured":"Habel, A., Pennemann, K.: Correctness of high-level transformation systems relative to nested conditions. Math. Struct. Comput. Sci. 19(2), 245\u2013296 (2009)","journal-title":"Math. Struct. Comput. Sci."},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Kehrer, T., Kelter, U., Taentzer, G.: Consistency-preserving edit scripts in model versioning. In: Proceedings of ASE 2013. IEEE (2013)","DOI":"10.1109\/ASE.2013.6693079"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Di Ruscio, D., Pierantonio, A., Paige, R.F.: Different models for model matching: an analysis of approaches to support model differencing. In: Proceedings of CVSM @ ICSE 2009. IEEE (2009)","DOI":"10.1109\/CVSM.2009.5071714"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Kehrer, T., Kelter, U., Pietsch, P., Schmidt, M.: Adaptability of model comparison tools. In: Proceedings of ASE 2011. ACM (2012)","DOI":"10.1145\/2351676.2351731"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Kehrer, T., Kelter, U., Taentzer, G.: A rule-based approach to the semantic lifting of model differences in the context of model versioning. In: Proceedings of ASE 2011. IEEE (2011)","DOI":"10.1109\/ASE.2011.6100050"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Kehrer, T., Kelter, U., Ohrndorf, M., Sollbach, T.: Understanding model evolution through semantically lifting model differences with SiLift. In: Proceedings of ICSM 2012. IEEE Computer Society (2012)","DOI":"10.1109\/ICSM.2012.6405342"},{"issue":"2","key":"1_CR22","first-page":"29","volume":"9","author":"C Brun","year":"2008","unstructured":"Brun, C., Pierantonio, A.: Model differences in the eclipse modeling framework. UPGRADE Eur. J. Inform. Prof. 9(2), 29\u201334 (2008)","journal-title":"UPGRADE Eur. J. Inform. Prof."},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-16145-2_9","volume-title":"Model Driven Engineering Languages and Systems","author":"T Arendt","year":"2010","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010. LNCS, vol. 6394, pp. 121\u2013135. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16145-2_9"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-319-61470-0_12","volume-title":"Graph Transformation","author":"D Str\u00fcber","year":"2017","unstructured":"Str\u00fcber, D., Born, K., Gill, K.D., Groner, R., Kehrer, T., Ohrndorf, M., Tichy, M.: Henshin: a usability-focused framework for EMF model transformation development. In: de Lara, J., Plump, D. (eds.) ICGT 2017. LNCS, vol. 10373, pp. 196\u2013208. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61470-0_12"},{"key":"1_CR25","unstructured":"Taentzer, G., Kehrer, T., Pietsch, C., Kelter, U.: Accompanying website for this paper (2017). http:\/\/pi.informatik.uni-siegen.de\/projects\/SiLift\/fase2018\/"},{"key":"1_CR26","series-title":"Foundations","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. I. World Scientific Publishing Co., Inc., River Edge (1997)"},{"key":"1_CR27","unstructured":"Biermann, E., Ermel, C., Taentzer, G.: Lifting parallel graph transformation concepts to model transformation based on the eclipse modeling framework. Electron. Commun. EASST 26 (2010)"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-319-42064-6_12","volume-title":"Theory and Practice of Model Transformations","author":"T Kehrer","year":"2016","unstructured":"Kehrer, T., Taentzer, G., Rindt, M., Kelter, U.: Automatically deriving the specification of model editing operations from meta-models. In: Van Van Gorp, P., Engels, G. (eds.) ICMT 2016. LNCS, vol. 9765, pp. 173\u2013188. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-42064-6_12"},{"key":"1_CR29","unstructured":"Rindt, M., Kehrer, T., Kelter, U.: Automatic generation of consistency-preserving edit operations for MDE tools. In: Proceedings of Demos @ MoDELS 2014. CEUR Workshop Proceedings, vol. 1255 (2014)"},{"key":"1_CR30","unstructured":"Kehrer, T., Rindt, M., Pietsch, P., Kelter, U.: Generating edit operations for profiled UML models. In: Proceedings ME @ MoDELS 2013. CEUR Workshop Proceedings, vol. 1090 (2013)"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Kagdi, H., Maletic, J.I., Sutton, A.: Context-free slicing of UML class models. In: Proceedings of ICSM 2005. IEEE (2005)","DOI":"10.1109\/ICSM.2005.34"},{"issue":"6","key":"1_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."},{"issue":"6","key":"1_CR33","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1016\/j.infsof.2012.01.005","volume":"54","author":"S Nejati","year":"2012","unstructured":"Nejati, S., Sabetzadeh, M., Falessi, D., Briand, L., Coq, T.: A SysML-based approach to traceability management and design slicing in support of safety certification: framework, tool support, and case studies. Inf. Softw. Technol. 54(6), 569\u2013590 (2012)","journal-title":"Inf. Softw. Technol."},{"key":"1_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-642-18023-1_5","volume-title":"Generative and Transformational Techniques in Software Engineering III","author":"J-M J\u00e9z\u00e9quel","year":"2011","unstructured":"J\u00e9z\u00e9quel, J.-M., Barais, O., Fleurey, F.: Model driven language engineering with Kermeta. In: Fernandes, J.M., L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2009. LNCS, vol. 6491, pp. 201\u2013221. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-18023-1_5"},{"key":"1_CR35","unstructured":"Etzlstorfer, J., Kusel, A., Kapsammer, E., Langer, P., Retschitzegger, W., Schoenboeck, J., Schwinger, W., Wimmer, M.: A survey on incremental model transformation approaches. In: Pierantonio, A., Sch\u00e4tz, B. (eds.) Proceedings of the Workshop on Models and Evolution. CEUR Workshop Proceedings, vol. 1090, pp. 4\u201313 (2013)"},{"key":"1_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-35122-3_1","volume-title":"Software Reuse: Bridging with Social-Awareness","author":"S Lity","year":"2016","unstructured":"Lity, S., Morbach, T., Th\u00fcm, T., Schaefer, I.: Applying incremental model slicing to product-line regression testing. In: Kapitsaki, G.M., Santana de Almeida, E. (eds.) ICSR 2016. LNCS, vol. 9679, pp. 3\u201319. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-35122-3_1"},{"key":"1_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-15579-6_6","volume-title":"Software Product Lines: Going Beyond","author":"I Schaefer","year":"2010","unstructured":"Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 77\u201391. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15579-6_6"},{"key":"1_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-642-54804-8_4","volume-title":"Fundamental Approaches to Software Engineering","author":"D Struber","year":"2014","unstructured":"Struber, D., Rubin, J., Taentzer, G., Chechik, M.: Splitting models using information retrieval and model crawling techniques. In: Gnesi, S., Rensink, A. (eds.) FASE 2014. LNCS, vol. 8411, pp. 47\u201362. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54804-8_4"},{"issue":"2","key":"1_CR39","first-page":"921","volume":"14","author":"Q Ma","year":"2015","unstructured":"Ma, Q., Kelsen, P., Glodt, C.: A generic model decomposition technique and its application to the eclipse modeling framework. SoSyM 14(2), 921\u2013952 (2015)","journal-title":"SoSyM"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-89363-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,13]],"date-time":"2019-10-13T20:15:47Z","timestamp":1570997747000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-89363-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319893624","9783319893631"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-89363-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}