{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:01:40Z","timestamp":1725858100459},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319420639"},{"type":"electronic","value":"9783319420646"}],"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-42064-6_8","type":"book-chapter","created":{"date-parts":[[2016,6,23]],"date-time":"2016-06-23T06:03:01Z","timestamp":1466661781000},"page":"107-122","source":"Crossref","is-referenced-by-count":7,"title":["Correct Reuse of Transformations is Hard to Guarantee"],"prefix":"10.1007","author":[{"given":"Rick","family":"Salay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"Zschaler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marsha","family":"Chechik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,22]]},"reference":[{"issue":"4","key":"8_CR1","first-page":"401","volume":"6","author":"J Steel","year":"2007","unstructured":"Steel, J., J\u00e9z\u00e9quel, J.M.: On model typing. SoSyM 6(4), 401\u2013413 (2007)","journal-title":"SoSyM"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"400","DOI":"10.1007\/978-3-642-31491-9_30","volume-title":"Modelling Foundations and Applications","author":"C Guy","year":"2012","unstructured":"Guy, C., Combemale, B., Derrien, S., Steel, J.R.H., J\u00e9z\u00e9quel, J.-M.: On model subtyping. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., St\u00f6rrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol. 7349, pp. 400\u2013415. Springer, Heidelberg (2012)"},{"issue":"3","key":"8_CR3","first-page":"453","volume":"12","author":"J Lara de","year":"2013","unstructured":"de Lara, J., Guerra, E.: From types to type requirements: genericity for model-driven engineering. SoSyM 12(3), 453\u2013474 (2013)","journal-title":"SoSyM"},{"key":"8_CR4","first-page":"201","volume":"12","author":"L Rose","year":"2011","unstructured":"Rose, L., Guerra, E., de Lara, J., Etien, A., Kolovos, D., Paige, R.: Genericity for model management operations. SoSyM 12, 201\u2013219 (2011)","journal-title":"SoSyM"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Pham, Q.T., Beugnard, A.: Automatic adaptation of transformations based on type graph with multiplicity. In: Proceedings of SEAA 2012, pp. 170\u2013174 (2012)","DOI":"10.1109\/SEAA.2012.21"},{"key":"8_CR6","unstructured":"Pham, Q.T.: Model Transformation Reuse: A Graph-based Model Typing Approach. PhD thesis, Universit\u00e9 de Rennes (2012)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Zschaler, S.: Towards constraint-based model types: a generalised formal foundation for model genericity. In: Proceedings of VAO 2014 (2014)","DOI":"10.1145\/2631675.2631678"},{"key":"8_CR8","unstructured":"Salay, R., Zschaler, S., Chechik, M.: Transformation reuse: what is the intent? In: Proceedings of AMT@MODELS 2015, pp. 7\u201315 (2015)"},{"issue":"3","key":"8_CR9","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/s10270-012-0241-4","volume":"12","author":"T K\u00fchne","year":"2013","unstructured":"K\u00fchne, T.: On model compatibility with referees and contexts. Softw. Syst. Model. 12(3), 475\u2013488 (2013)","journal-title":"Softw. Syst. Model."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"L\u00facio, L., Amrani, M., Dingel, J., Lambers, L., Salay, R., Selim, G.M., Syriani, E., Wimmer, M.: Model transformation intents and their properties. SoSym 1\u201338 (2014)","DOI":"10.1007\/s10270-014-0429-x"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Paull, M.C., Unger, S.H.: Minimizing the number of states in incompletely specified sequential switching functions. IRE Trans. Electron. Comput. EC-8(3), 356\u2013367 (1959)","DOI":"10.1109\/TEC.1959.5222697"},{"issue":"5\u20136","key":"8_CR12","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1016\/j.jlamp.2014.08.005","volume":"83","author":"J Lara de","year":"2014","unstructured":"de Lara, J., Guerra, E.: Towards the flexible reuse of model transformations: a formal approach based on graph transformation. J. Logical Algebraic Methods Program. 83(5\u20136), 427\u2013458 (2014)","journal-title":"J. Logical Algebraic Methods Program."},{"issue":"2","key":"8_CR13","first-page":"537","volume":"14","author":"A Kusel","year":"2015","unstructured":"Kusel, A., Sch\u00f6nb\u00f6ck, J., Wimmer, M., Kappel, G., Retschitzegger, W., Schwinger, W.: Reuse in model-to-model transformation languages: are we there yet? SoSyM 14(2), 537\u2013572 (2015)","journal-title":"SoSyM"},{"key":"8_CR14","unstructured":"Kusel, A., Sch\u00f6nb\u00f6ck, J., Wimmer, M., Retschitzegger, W., Schwinger, W., Kappel, G.: Reality check for model transformation reuse: the ATL transformation zoo case study. In: Proceedings of AMT@MODELS 2013 (2013)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/978-3-540-75209-7_3","volume-title":"Model Driven Engineering Languages and Systems","author":"B Vanhooff","year":"2007","unstructured":"Vanhooff, B., Ayed, D., Van Baelen, S., Joosen, W., Berbers, Y.: UniTI: a unified transformation infrastructure. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 31\u201345. Springer, Heidelberg (2007)"},{"key":"8_CR16","first-page":"285","volume":"9","author":"D Wagelaar","year":"2010","unstructured":"Wagelaar, D., van der Straeten, R., Deridder, D.: Module superimposition: a composition technique for rule-based model transformation languages. SoSyM 9, 285\u2013309 (2010)","journal-title":"SoSyM"},{"key":"8_CR17","unstructured":"Zschaler, S., Terrell, J., Poernomo, I.: Towards modular reasoning for model transformations. In: Workshop on Composition and Evolution of Model Transformations, King\u2019s College London, Department of Informatics (2011)"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","first-page":"13","volume-title":"Symbolic and Algebraic Computation","author":"DR Musser","year":"1988","unstructured":"Musser, D.R., Stepanov, A.A.: Generic programming. In: Gianni, P. (ed.) ISSAC 1988. LNCS, vol. 358, pp. 13\u201325. Springer, Heidelberg (1988)"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42064-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T22:45:58Z","timestamp":1568069158000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42064-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319420639","9783319420646"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42064-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}