{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T06:28:02Z","timestamp":1750746482847},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319614724"},{"type":"electronic","value":"9783319614731"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-61473-1_7","type":"book-chapter","created":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T15:10:41Z","timestamp":1497885041000},"page":"92-107","source":"Crossref","is-referenced-by-count":13,"title":["Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations"],"prefix":"10.1007","author":[{"given":"Timo","family":"Kehrer","sequence":"first","affiliation":[]},{"given":"Abdullah","family":"Alshanqiti","sequence":"additional","affiliation":[]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,20]]},"reference":[{"key":"7_CR1","unstructured":"Accompanying material for this paper (2017). http:\/\/icmt.mtrproject.uk"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Acre\u0163oaie, V., St\u00f6rrle, H., Str\u00fcber, D.: VMTL: a language for end-user model transformation. Softw. Syst. Model., 1\u201329 (2016)","DOI":"10.1007\/s10270-016-0546-9"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Alshanqiti, A., Heckel, R.: Extracting visual contracts from Java programs. In: ASE (2015)","DOI":"10.1109\/ASE.2015.63"},{"key":"7_CR4","unstructured":"Alshanqiti, A., Heckel, R., Khan, T.: Learning minimal and maximal rules from observations of graph transformations. In: ECEASST, vol. 58 (2013)"},{"key":"7_CR5","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). doi: 10.1007\/978-3-642-16145-2_9"},{"issue":"3","key":"7_CR6","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1145\/2904904","volume":"25","author":"I Baki","year":"2016","unstructured":"Baki, I., Sahraoui, H.: Multi-step learning and adaptive search for learning complex model transformations from examples. TOSEM 25(3), 20 (2016)","journal-title":"TOSEM"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Balogh, A., Varr\u00f3, D.: Advanced model transformation language constructs in the VIATRA2 framework. In: ACM Symposium on Applied Computing (2006)","DOI":"10.1145\/1141277.1141575"},{"issue":"3","key":"7_CR8","first-page":"347","volume":"8","author":"Z Balogh","year":"2009","unstructured":"Balogh, Z., Varr\u00f3, D.: Model transformation by example using inductive logic programming. SoSym 8(3), 347\u2013364 (2009)","journal-title":"SoSym"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Bisztray, D., Heckel, R., Ehrig, H.: Verification of architectural refactorings: rule extraction and tool support. In: ECEASST, vol. 16 (2009)","DOI":"10.1007\/978-3-642-10248-6_13"},{"key":"7_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-02546-4","volume-title":"Model-Driven Software Engineering in Practice","author":"M Brambilla","year":"2012","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice. Morgan & Claypool Publishers, San Rafael (2012)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-642-04425-0_20","volume-title":"Model Driven Engineering Languages and Systems","author":"P Brosch","year":"2009","unstructured":"Brosch, P., Langer, P., Seidl, M., Wieland, K., Wimmer, M., Kappel, G., Retschitzegger, W., Schwinger, W.: An example is worth a thousand words: composite operation modeling by-example. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 271\u2013285. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-04425-0_20"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-319-09108-2_17","volume-title":"Graph Transformation","author":"HJS Bruggink","year":"2014","unstructured":"Bruggink, H.J.S.: Towards process mining with graph transformation systems. In: Giese, H., K\u00f6nig, B. (eds.) ICGT 2014. LNCS, vol. 8571, pp. 253\u2013268. Springer, Cham (2014). doi: 10.1007\/978-3-319-09108-2_17"},{"key":"7_CR13","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)"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-319-40530-8_13","volume-title":"Graph Transformation","author":"C Flamm","year":"2016","unstructured":"Flamm, C., Merkle, D., Stadler, P.F., Thorsen, U.: Automatic inference of graph transformation rules using the cyclic nature of chemical reactions. In: Echahed, R., Minas, M. (eds.) ICGT 2016. LNCS, vol. 9761, pp. 206\u2013222. Springer, Cham (2016). doi: 10.1007\/978-3-319-40530-8_13"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-642-02408-5_5","volume-title":"Theory and Practice of Model Transformations","author":"I Garc\u00eda-Magari\u00f1o","year":"2009","unstructured":"Garc\u00eda-Magari\u00f1o, I., G\u00f3mez-Sanz, J.J., Fuentes-Fern\u00e1ndez, R.: Model transformation by-example: an algorithm for generating many-to-many transformation rules in several model transformation languages. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 52\u201366. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02408-5_5"},{"key":"7_CR16","unstructured":"Getir, S., Rindt, M., Kehrer, T.: A generic framework for analyzing model co-evolution. In: ME@MoDELS (2014)"},{"key":"7_CR17","unstructured":"Gr\u00f8nmo, R.: Using concrete syntax in graph-based model transformations. Ph.D. thesis, University of Oslo (2009)"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"H\u00f6lldobler, K., Rumpe, B., Weisemoller, I.: Systematically deriving domain-specific transformation languages. In: MoDELS (2015)","DOI":"10.1109\/MODELS.2015.7338244"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-642-28279-9_15","volume-title":"Conceptual Modelling and Its Theoretical Foundations","author":"G Kappel","year":"2012","unstructured":"Kappel, G., Langer, P., Retschitzegger, W., Schwinger, W., Wimmer, M.: Model transformation by-example: a survey of the first wave. In: D\u00fcsterh\u00f6ft, A., Klettke, M., Schewe, K.-D. (eds.) Conceptual Modelling and Its Theoretical Foundations. LNCS, vol. 7260, pp. 197\u2013215. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-28279-9_15"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Kehrer, T., Kelter, U., Ohrndorf, M., Sollbach, T.: Understanding model evolution through semantically lifting model differences with silift. In: ICSM (2012)","DOI":"10.1109\/ICSM.2012.6405342"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Kehrer, T., Kelter, U., Reuling, D.: Workspace updates of visual models. In: ASE (2014)","DOI":"10.1145\/2642937.2648623"},{"key":"7_CR22","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: CVSM@ICSE (2009)","DOI":"10.1109\/CVSM.2009.5071714"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"K\u00fchne, T., Hamann, H., Arifulina, S., Engels, G.: Patterns for constructing mutation operators: limiting the search space in a software engineering application. In: European Conference on Genetic Programming (2016)","DOI":"10.1007\/978-3-319-30668-1_18"},{"key":"7_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/11877028_7","volume-title":"Generative and Transformational Techniques in Software Engineering","author":"T Mens","year":"2006","unstructured":"Mens, T.: On the use of graph transformations for model refactoring. In: L\u00e4mmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol. 4143, pp. 219\u2013257. Springer, Heidelberg (2006). doi: 10.1007\/11877028_7"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Mens, T., Van Gorp, P.: A taxonomy of model transformation. In: ENTCS, vol. 152 (2006)","DOI":"10.1016\/j.entcs.2005.10.022"},{"key":"7_CR26","unstructured":"Object Management Group: UML 2.5 superstructure specification. OMG Document Number: formal\/15-03-01 (2015)"},{"key":"7_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1007\/978-3-642-04425-0_58","volume-title":"Model Driven Engineering Languages and Systems","author":"Y Sun","year":"2009","unstructured":"Sun, Y., White, J., Gray, J.: Model transformation by demonstration. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 712\u2013726. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-04425-0_58"},{"key":"7_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-540-89020-1_8","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G Taentzer","year":"2008","unstructured":"Taentzer, G., Crema, A., Schmutzler, R., Ermel, C.: Generating domain-specific model editors with complex editing commands. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 98\u2013103. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-89020-1_8"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"You, C.h., Holder, L.B., Cook, D.J.: Learning patterns in the dynamics of biological networks. In: International Conference on Knowledge Discovery and Data Mining (2009)","DOI":"10.1145\/1557019.1557125"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61473-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,24]],"date-time":"2023-08-24T02:35:15Z","timestamp":1692844515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61473-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319614724","9783319614731"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61473-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}