{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:06:28Z","timestamp":1762459588487,"version":"3.37.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319929965"},{"type":"electronic","value":"9783319929972"}],"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:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-92997-2_3","type":"book-chapter","created":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T08:13:16Z","timestamp":1527495196000},"page":"28-45","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Optimising OCL Synthesized Code"],"prefix":"10.1007","author":[{"given":"Jes\u00fas S\u00e1nchez","family":"Cuadrado","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,29]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/11767138_18","volume-title":"Advanced Information Systems Engineering","author":"J Ackermann","year":"2006","unstructured":"Ackermann, J., Turowski, K.: A library of OCL specification patterns for behavioral specification of software components. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 255\u2013269. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11767138_18"},{"key":"3_CR2","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"},{"issue":"8","key":"3_CR3","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/2854695.2854699","volume":"50","author":"G Bracha","year":"2015","unstructured":"Bracha, G., Ungar, D.: OOPSLA 2004: mirrors: design principles for meta-level facilities of object-oriented programming languages. ACM SIGPLAN Not. 50(8), 35\u201348 (2015)","journal-title":"ACM SIGPLAN Not."},{"issue":"1\u20132","key":"3_CR4","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.scico.2007.11.003","volume":"72","author":"M Bravenboer","year":"2008","unstructured":"Bravenboer, M., Kalleberg, K.T., Vermaas, R., Visser, E.: Stratego\/XT 0.17. A language and toolset for program transformation. Sci. Comput. Program. 72(1\u20132), 52\u201370 (2008)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"3_CR5","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/j.scico.2007.05.001","volume":"68","author":"J Cabot","year":"2007","unstructured":"Cabot, J., Teniente, E.: Transformation techniques for OCL constraints. Sci. Comput. Program. 68(3), 179\u2013195 (2007)","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"3_CR6","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s10270-006-0023-y","volume":"6","author":"A Correa","year":"2007","unstructured":"Correa, A., Werner, C.: Refactoring object constraint language specifications. Softw. Syst. Model. 6(2), 113\u2013138 (2007)","journal-title":"Softw. Syst. Model."},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-75209-7_6","volume-title":"Model Driven Engineering Languages and Systems","author":"A Correa","year":"2007","unstructured":"Correa, A., Werner, C., Barros, M.: An empirical study of the impact of OCL smells and refactorings on the understandability of OCL specifications. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 76\u201390. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75209-7_6"},{"issue":"11","key":"3_CR8","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":"3_CR9","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":"J S\u00e1nchez Cuadrado","year":"2014","unstructured":"S\u00e1nchez Cuadrado, J., Guerra, E., de Lara, J.: Reverse engineering of model transformations for reusability. In: Di Ruscio, D., Varr\u00f3, D. (eds.) ICMT 2014. LNCS, vol. 8568, pp. 186\u2013201. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08789-4_14"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-319-21155-8_5","volume-title":"Theory and Practice of Model Transformations","author":"JS Cuadrado","year":"2015","unstructured":"Cuadrado, J.S., Guerra, E., de Lara, J.: Reusable model transformation components with bent\u014d. In: Kolovos, D., Wimmer, M. (eds.) ICMT 2015. LNCS, vol. 9152, pp. 59\u201365. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21155-8_5"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Cuadrado, J.S., Guerra, E., de Lara, J.: Quick fixing ATL transformations with speculative analysis. Softw. Syst. Model. 1\u201335 (2016)","DOI":"10.1007\/s10270-016-0541-1"},{"issue":"9","key":"3_CR12","doi-asserted-by":"publisher","first-page":"868","DOI":"10.1109\/TSE.2016.2635137","volume":"43","author":"JS Cuadrado","year":"2017","unstructured":"Cuadrado, J.S., Guerra, E., de Lara, J.: Static analysis of model transformations. IEEE Trans. Softw. Eng. 43(9), 868\u2013897 (2017)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Cuadrado, J.S., Guerra, E., de Lara, J.: AnATLyzer: an advanced IDE for ATL model transformations. In: 40th International Conference on Software Engineering (ICSE). ACM\/IEEE (2018)","DOI":"10.1145\/3183440.3183479"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Cuadrado, J.S., Guerra, E., de Lara, J., Claris\u00f3, R., Cabot, J.: Translating target to source constraints in model-to-model transformations. In: 2017 ACM\/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 12\u201322. IEEE (2017)","DOI":"10.1109\/MODELS.2017.12"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-642-01648-6_29","volume-title":"Models in Software Engineering","author":"J S\u00e1nchez Cuadrado","year":"2009","unstructured":"S\u00e1nchez Cuadrado, J., Jouault, F., Garc\u00eda Molina, J., B\u00e9zivin, J.: Optimization patterns for OCL-based model transformations. In: Chaudron, M.R.V. (ed.) MODELS 2008. LNCS, vol. 5421, pp. 273\u2013284. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-01648-6_29"},{"issue":"3","key":"3_CR16","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/s10270-011-0221-0","volume":"12","author":"J Lara de","year":"2013","unstructured":"de Lara, J., Guerra, E.: From types to type requirements: genericity for model-driven engineering. Softw. Syst. Mod. 12(3), 453\u2013474 (2013)","journal-title":"Softw. Syst. Mod."},{"key":"3_CR17","unstructured":"Eclipse Modelling Framework. https:\/\/www.eclipse.org\/modeling\/emf\/"},{"key":"3_CR18","unstructured":"Epsilon. http:\/\/www.eclipse.org\/gmt\/epsilon"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/11557432_23","volume-title":"Model Driven Engineering Languages and Systems","author":"M Giese","year":"2005","unstructured":"Giese, M., Larsson, D.: Simplifying transformations of OCL constraints. In: Briand, L., Williams, C. (eds.) MODELS 2005. LNCS, vol. 3713, pp. 309\u2013323. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11557432_23"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Hassam, K., Sadou, S., Le Gloahec, V., Fleurquin, R.: Assistance system for OCL constraints adaptation during metamodel evolution. In: 2011 15th European Conference on Software Maintenance and Reengineering (CSMR), pp. 151\u2013160. IEEE (2011)","DOI":"10.1109\/CSMR.2011.21"},{"issue":"1\u20132","key":"3_CR21","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). http:\/\/www.emn.fr\/z-info\/atlanmod\/index.php\/Main_Page . Accessed Nov 2010","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"3_CR22","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/321992.322000","volume":"24","author":"DB Loveman","year":"1977","unstructured":"Loveman, D.B.: Program improvement by source-to-source transformation. J. ACM (JACM) 24(1), 121\u2013145 (1977)","journal-title":"J. ACM (JACM)"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Monperrus, M.: A critical review of automatic patch generation learned from human-written patches: essay on the problem statement and the evaluation of automatic software repair. In: Proceedings of the 36th International Conference on Software Engineering, pp. 234\u2013242. ACM (2014)","DOI":"10.1145\/2568225.2568324"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Mottu, J.-M., Simula, S.S., Cadavid, J., Baudry, B.: Discovering model transformation pre-conditions using automatically generated test models. In: 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE), pp. 88\u201399. IEEE (2015)","DOI":"10.1109\/ISSRE.2015.7381802"},{"key":"3_CR25","unstructured":"OMG. Object Constraint Language (OCL) (2014). http:\/\/www.omg.org\/spec\/OCL\/2.4\/PDF"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Reimann, J., Wilke, C., Demuth, B., Muck, M., A\u00dfmann, U.: Tool supported OCL refactoring catalogue. In: Proceedings of the 12th Workshop on OCL and Textual Modelling, Innsbruck, Austria, pp. 7\u201312, 30 September 2012","DOI":"10.1145\/2428516.2428518"},{"issue":"1","key":"3_CR27","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/s10270-011-0203-2","volume":"12","author":"L Rose","year":"2013","unstructured":"Rose, L., Guerra, E., De Lara, J., Etien, A., Kolovos, D., Paige, R.: Genericity for model management operations. Softw. Syst. Model. 12(1), 201\u2013219 (2013)","journal-title":"Softw. Syst. Model."},{"issue":"11","key":"3_CR28","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1145\/1168918.1168907","volume":"41","author":"A Solar-Lezama","year":"2006","unstructured":"Solar-Lezama, A., Tancau, L., Bodik, R., Seshia, S., Saraswat, V.: Combinatorial sketching for finite programs. ACM Sigplan Not. 41(11), 404\u2013415 (2006)","journal-title":"ACM Sigplan Not."},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Tibermacine, C., Sadou, S., Dony, C., Fabresse, L.: Component-based specification of software architecture constraints. In: Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, pp. 31\u201340. ACM (2011)","DOI":"10.1145\/2000229.2000235"},{"issue":"3","key":"3_CR30","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/s10270-016-0530-4","volume":"15","author":"D Varr\u00f3","year":"2016","unstructured":"Varr\u00f3, D., Bergmann, G., Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., R\u00e1th, I., Ujhelyi, Z.: Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework. Softw. Syst. Model. 15(3), 609\u2013629 (2016)","journal-title":"Softw. Syst. Model."},{"key":"3_CR31","unstructured":"Wagelaar, D.: Simpleocl. https:\/\/github.com\/dwagelaar\/simpleocl"},{"issue":"2","key":"3_CR32","first-page":"1","volume":"11","author":"M Wimmer","year":"2012","unstructured":"Wimmer, M., Perez, S.M., Jouault, F., Cabot, J.: A catalogue of refactorings for model-to-model transformations. J. Object Technol. 11(2), 1\u201340 (2012)","journal-title":"J. Object Technol."}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92997-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,18]],"date-time":"2019-10-18T13:57:26Z","timestamp":1571407046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-92997-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319929965","9783319929972"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92997-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}