{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:17:07Z","timestamp":1742973427785,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662544938"},{"type":"electronic","value":"9783662544945"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-54494-5_15","type":"book-chapter","created":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T00:09:02Z","timestamp":1490141342000},"page":"264-282","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Reusing Model Transformations Through Typing Requirements Models"],"prefix":"10.1007","author":[{"given":"Juan","family":"de Lara","sequence":"first","affiliation":[]},{"given":"Juri","family":"Di Rocco","sequence":"additional","affiliation":[]},{"given":"Davide","family":"Di Ruscio","sequence":"additional","affiliation":[]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[]},{"given":"Ludovico","family":"Iovino","sequence":"additional","affiliation":[]},{"given":"Alfonso","family":"Pierantonio","sequence":"additional","affiliation":[]},{"given":"Jes\u00fas S\u00e1nchez","family":"Cuadrado","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,3,22]]},"reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"602","DOI":"10.1007\/978-3-319-11653-2_37","volume-title":"Model-Driven Engineering Languages and Systems","author":"F Basciani","year":"2014","unstructured":"Basciani, F., Di Ruscio, D., Iovino, L., Pierantonio, A.: Automated chaining of model transformations with incompatible metamodels. In: Dingel, J., Schulte, W., Ramos, I., Abrah\u00e3o, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 602\u2013618. Springer, Cham (2014). doi:10.1007\/978-3-319-11653-2_37"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Cheng, Z., Monahan, R., Power, J.F.: Formalised EMFTVM bytecode language for sound verification of model transformations. Softw. Syst. Model. 1\u201329 (2016, in press)","DOI":"10.1007\/s10270-016-0553-x"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: Automating co-evolution in model-driven engineering. In: 12th International IEEE Enterprise Distributed Object Computing Conference, EDOC 2008, pp. 222\u2013231. IEEE Computer Society (2008)","DOI":"10.1109\/EDOC.2008.44"},{"issue":"11","key":"15_CR4","doi-asserted-by":"publisher","first-page":"1042","DOI":"10.1109\/TSE.2014.2339852","volume":"40","author":"JS Cuadrado","year":"2014","unstructured":"Cuadrado, J.S., Guerra, E., de Lara, J.: A component model for model transformations. IEEE Trans. Softw. Eng. 40(11), 1042\u20131060 (2014)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/978-3-319-08789-4_14","volume-title":"Theory and Practice of Model Transformations","author":"JS Cuadrado","year":"2014","unstructured":"Cuadrado, J.S., Guerra, E., de Lara, J.: Reverse engineering of model transformations for reusability. In: Ruscio, D., Varr\u00f3, D. (eds.) ICMT 2014. LNCS, vol. 8568, pp. 186\u2013201. Springer, Cham (2014). doi:10.1007\/978-3-319-08789-4_14"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Cuadrado, J.S., Guerra, E., de Lara, J.: Uncovering errors in ATL model transformations using static analysis and constraint solving. In: 25th IEEE International Symposium on Software Reliability Engineering, ISSRE, pp. 34\u201344. IEEE Computer Society (2014)","DOI":"10.1109\/ISSRE.2014.10"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Cuadrado, J.S., Guerra, E., de Lara, J.: Quick fixing ATL transformations with speculative analysis. Softw. Syst. Model. 1\u201332 (2016, in press). Springer","DOI":"10.1007\/s10270-016-0541-1"},{"key":"15_CR8","unstructured":"Cuadrado, J.S., Guerra, E., de Lara, J.: Static analysis of model transformations. IEEE Trans. Softw. Eng. 1\u201332 (2017, in press)"},{"issue":"3","key":"15_CR9","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/s10270-011-0221-0","volume":"12","author":"J de Lara","year":"2011","unstructured":"de Lara, J., Guerra, E.: From types to type requirements: genericity for model-driven engineering. Softw. Syst. Model. 12(3), 453\u2013474 (2011)","journal-title":"Softw. Syst. Model."},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"de Lara, J., Guerra, E., Cuadrado, J.S.: A-posteriori typing for model-driven engineering. In: 18th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, pp. 156\u2013165. IEEE (2015)","DOI":"10.1109\/MODELS.2015.7338246"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Famelis, M., Salay, R., Chechik, M.: Partial models: towards modeling and reasoning with uncertainty. In: 34th International Conference on Software Engineering, ICSE 2012, 2\u20139 June 2012, Zurich, Switzerland, pp. 573\u2013583. IEEE Computer Society (2012)","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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). doi:10.1007\/978-3-642-31491-9_30"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Jeanneret, C., Glinz, M., Baudry, B.: Estimating footprints of model operations. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu, HI, USA, 21\u201328 May 2011, pp. 601\u2013610. ACM (2011)","DOI":"10.1145\/1985793.1985875"},{"issue":"1\u20132","key":"15_CR14","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: a model transformation tool. Sci. Comput. Program. 72(1\u20132), 31\u201339 (2008)","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"15_CR15","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1007\/s10270-013-0343-7","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? Softw. Syst. Model. 14(2), 537\u2013572 (2015)","journal-title":"Softw. Syst. Model."},{"key":"15_CR16","unstructured":"Object Management Group. UML 2.0 OCL Specification. http:\/\/www.omg.org\/docs\/ptc\/03-10-14.pdf"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Pescador, A., Garmendia, A., Guerra, E., Cuadrado, J.S., de Lara, J.: Pattern-based development of domain-specific modelling languages. In: MODELS, pp. 166\u2013175. IEEE (2015)","DOI":"10.1109\/MODELS.2015.7338247"},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-319-42064-6_8","volume-title":"Theory and Practice of Model Transformations","author":"R Salay","year":"2016","unstructured":"Salay, R., Zschaler, S., Chechik, M.: Correct reuse of transformations is hard to guarantee. In: Van Gorp, P., Engels, G. (eds.) ICMT 2016. LNCS, vol. 9765, pp. 107\u2013122. Springer, Cham (2016). doi:10.1007\/978-3-319-42064-6_8"},{"issue":"2","key":"15_CR19","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Guest editor\u2019s introduction: model-driven engineering. Computer 39(2), 25\u201331 (2006)","journal-title":"Computer"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-04425-0_4","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). doi:10.1007\/978-3-642-04425-0_4"},{"key":"15_CR21","volume-title":"Formal Syntax and Semantics of Programming Languages","author":"K Slonneger","year":"1995","unstructured":"Slonneger, K., Kurtz, B.L.: Formal Syntax and Semantics of Programming Languages, vol. 340. Addison-Wesley, Reading (1995)"},{"issue":"5","key":"15_CR22","first-page":"1","volume":"10","author":"J Troya","year":"2011","unstructured":"Troya, J., Vallecillo, A.: A rewriting logic semantics for ATL. J. Object Technol. 10(5), 1\u201329 (2011)","journal-title":"J. Object Technol."},{"issue":"6","key":"15_CR23","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/352029.352035","volume":"35","author":"A van Deursen","year":"2000","unstructured":"van Deursen, A., Klint, P., Visser, J.: Domain-specific languages: an annotated bibliography. SIGPLAN Not. 35(6), 26\u201336 (2000)","journal-title":"SIGPLAN Not."},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Zschaler, S.: Towards constraint-based model types: a generalised formal foundation for model genericity. In: VAO, pp. 11:11\u201311:18. ACM, New York (2014)","DOI":"10.1145\/2631675.2631678"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54494-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,21]],"date-time":"2021-04-21T02:20:15Z","timestamp":1618971615000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-54494-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662544938","9783662544945"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54494-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"22 March 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamental Approaches to Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Uppsala","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sweden","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 April 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 April 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fase2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.etaps.org\/index.php\/2017\/fase","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}