{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:09:54Z","timestamp":1725901794324},"publisher-location":"Cham","reference-count":34,"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_2","type":"book-chapter","created":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T11:10:41Z","timestamp":1497870641000},"page":"19-34","source":"Crossref","is-referenced-by-count":0,"title":["Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities"],"prefix":"10.1007","author":[{"given":"Christopher","family":"Gerking","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Schubert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingo","family":"Budde","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,20]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-642-21732-6_8","volume-title":"Theory and Practice of Model Transformations","author":"MF Amstel","year":"2011","unstructured":"Amstel, M.F., Brand, M.G.J.: Model transformation analysis: staying ahead of the maintenance nightmare. In: Cabot, J., Visser, E. (eds.) ICMT 2011. LNCS, vol. 6707, pp. 108\u2013122. Springer, Heidelberg (2011). doi:\n10.1007\/978-3-642-21732-6_8"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/978-3-642-54804-8_24","volume-title":"Fundamental Approaches to Software Engineering","author":"A Anjorin","year":"2014","unstructured":"Anjorin, A., Saller, K., Lochau, M., Sch\u00fcrr, A.: Modularizing triple graph grammars using rule refinement. In: Gnesi, S., Rensink, A. (eds.) FASE 2014. LNCS, vol. 8411, pp. 340\u2013354. Springer, Heidelberg (2014). doi:\n10.1007\/978-3-642-54804-8_24"},{"key":"2_CR3","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:\n10.1007\/978-3-642-16145-2_9"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Batot, E., Sahraoui, H.A., Syriani, E., Molins, P., Sboui, W.: Systematic mapping study of model transformations for concrete problems. In: MODELSWARD 2016, pp. 176\u2013183. SciTePress (2016)","DOI":"10.5220\/0005657301760183"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Becker, S., Dziwok, S., Gerking, C., Heinzemann, C., Sch\u00e4fer, W., Meyer, M., Pohlmann, U.: The MechatronicUML method. In: ICSE Companion 2014, pp. 614\u2013615. ACM (2014)","DOI":"10.1145\/2591062.2591142"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/11880240_31","volume-title":"Model Driven Engineering Languages and Systems","author":"J B\u00e9zivin","year":"2006","unstructured":"B\u00e9zivin, J., B\u00fcttner, F., Gogolla, M., Jouault, F., Kurtev, I., Lindow, A.: Model transformations? transformation models!. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MODELS 2006. LNCS, vol. 4199, pp. 440\u2013453. Springer, Heidelberg (2006). doi:\n10.1007\/11880240_31"},{"key":"2_CR7","unstructured":"Denil, J., Cicchetti, A., Biehl, M., Meulenaere, P.D., Eramo, R., Demeyer, S., Vangheluwe, H.: Automatic deployment space exploration using refinement transformations. Electronic Communications of the EASST 50 (2011)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Freund, M., Braune, A.: A generic transformation algorithm to simplify the development of mapping models. In: MoDELS 2016, pp. 284\u2013294. ACM (2016)","DOI":"10.1145\/2976767.2976777"},{"key":"2_CR9","unstructured":"Gerking, C., Dziwok, S., Heinzemann, C., Sch\u00e4fer, W.: Domain-specific model checking for cyber-physical systems. In: MoDeVVa 2015, pp. 18\u201327 (2015)"},{"issue":"3","key":"2_CR10","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1007\/s11219-015-9280-8","volume":"24","author":"CM Gerpheide","year":"2016","unstructured":"Gerpheide, C.M., Schiffelers, R.R.H., Serebrenik, A.: Assessing and improving quality of QVTo model transformations. Software Qual. J. 24(3), 797\u2013834 (2016)","journal-title":"Software Qual. J."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Giese, H., Tichy, M., Burmester, S., Sch\u00e4fer, W., Flake, S.: Towards the compositional verification of real-time UML designs. In: ESEC\/FSE 2003, pp. 38\u201347. ACM (2003)","DOI":"10.1145\/940071.940078"},{"key":"2_CR12","unstructured":"Goldschmidt, T., Wachsmuth, G.: Refinement transformation support for QVT relational transformations. In: MDSE 2008 (2008)"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-00434-6_14","volume-title":"Software Language Engineering","author":"P Gorp","year":"2009","unstructured":"Gorp, P., Keller, A., Janssens, D.: Transformation language integration based on profiles and higher order transformations. In: Ga\u0161evi\u0107, D., L\u00e4mmel, R., Wyk, E. (eds.) SLE 2008. LNCS, vol. 5452, pp. 208\u2013226. Springer, Heidelberg (2009). doi:\n10.1007\/978-3-642-00434-6_14"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Hebig, R., Khelladi, D., Bendraou, R.: Approaches to co-evolution of metamodels and models: a survey. IEEE Trans. Softw. Eng. 43(5), 396\u2013414 (2016)","DOI":"10.1109\/TSE.2016.2610424"},{"issue":"3","key":"2_CR15","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/s10270-009-0136-1","volume":"9","author":"Z Hemel","year":"2010","unstructured":"Hemel, Z., Kats, L.C.L., Groenewegen, D.M., Visser, E.: Code generation by model transformation: a case study in transformation modularity. Softw. Syst. Model. 9(3), 375\u2013402 (2010)","journal-title":"Softw. Syst. Model."},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Herrmannsd\u00f6rfer, M., Wachsmuth, G.: Coupled evolution of software metamodels and models. In: Mens, T., Serebrenik, A., Cleve, A. (eds.) Evolving Software Systems, pp. 33\u201363. Springer, Heidelberg (2014)","DOI":"10.1007\/978-3-642-45398-4_2"},{"issue":"2","key":"2_CR17","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/s10270-008-0080-5","volume":"7","author":"JM J\u00e9z\u00e9quel","year":"2008","unstructured":"J\u00e9z\u00e9quel, J.M.: Model driven design and aspect weaving. Softw. Syst. Model. 7(2), 209\u2013218 (2008)","journal-title":"Softw. Syst. Model."},{"issue":"1\u20132","key":"2_CR18","doi-asserted-by":"crossref","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."},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Kapov\u00e1, L., Goldschmidt, T.: Automated feature model-based generation of refinement transformations. In: SEAA 2009, pp. 141\u2013148 (2009)","DOI":"10.1109\/SEAA.2009.67"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Kapov\u00e1, L., Goldschmidt, T., Happe, J., Reussner, R.H.: Domain-specific templates for refinement transformations. In: MDI 2010, pp. 69\u201378. ACM (2010)","DOI":"10.1145\/1866272.1866282"},{"issue":"9","key":"2_CR21","doi-asserted-by":"crossref","first-page":"53","DOI":"10.5381\/jot.2007.6.9.a3","volume":"6","author":"DS Kolovos","year":"2007","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F., Rose, L.M.: Update transformations in the small with the Epsilon Wizard Language. J. Object Technol. 6(9), 53\u201369 (2007)","journal-title":"J. Object Technol."},{"key":"2_CR22","unstructured":"Kraas, A.: Realizing model simplifications with QVT operational mappings. In: OCL 2014, pp. 53\u201362 (2014)"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-38883-5_10","volume-title":"Theory and Practice of Model Transformations","author":"C Krause","year":"2013","unstructured":"Krause, C., Dyck, J., Giese, H.: Metamodel-specific coupled evolution based on dynamically typed graph transformations. In: Duddy, K., Kappel, G. (eds.) ICMT 2013. LNCS, vol. 7909, pp. 76\u201391. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-38883-5_10"},{"issue":"12","key":"2_CR24","doi-asserted-by":"crossref","first-page":"1224","DOI":"10.1109\/TSE.2014.2354344","volume":"40","author":"K Lano","year":"2014","unstructured":"Lano, K., Kolahdouz Rahimi, S.: Model-transformation design patterns. IEEE Trans. Softw. Eng. 40(12), 1224\u20131259 (2014)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"2_CR25","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1007\/s10270-014-0429-x","volume":"15","author":"L L\u00facio","year":"2016","unstructured":"L\u00facio, L., Amrani, M., Dingel, J., Lambers, L., Salay, R., Selim, G.M.K., Syriani, E., Wimmer, M.: Model transformation intents and their properties. Softw. Syst. Model. 15(3), 647\u2013684 (2016)","journal-title":"Softw. Syst. Model."},{"key":"2_CR26","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/j.entcs.2005.10.021","volume":"152","author":"T Mens","year":"2006","unstructured":"Mens, T., van Gorp, P.: A taxonomy of model transformation. Electron. Notes Theor. Comput. Sci. 152, 125\u2013142 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"2_CR27","unstructured":"Object Management Group: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification. No. formal\/15-02-01 (2015)"},{"key":"2_CR28","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1016\/j.jss.2015.08.047","volume":"111","author":"RF Paige","year":"2016","unstructured":"Paige, R.F., Matragkas, N.D., Rose, L.M.: Evolving models in model-driven engineering: State-of-the-art and future challenges. J. Syst. Softw. 111, 272\u2013280 (2016)","journal-title":"J. Syst. Softw."},{"issue":"2","key":"2_CR29","doi-asserted-by":"crossref","first-page":"735","DOI":"10.1007\/s10270-012-0296-2","volume":"13","author":"LM Rose","year":"2014","unstructured":"Rose, L.M., Kolovos, D.S., Paige, R.F., Polack, F.A.C., Poulding, S.M.: Epsilon Flock: a model migration language. Softw. Syst. Model. 13(2), 735\u2013755 (2014)","journal-title":"Softw. Syst. Model."},{"key":"2_CR30","unstructured":"Stahl, T., V\u00f6lter, M.: Model-driven software development: technology, engineering, management. Wiley (2013)"},{"key":"2_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-642-13688-7_15","volume-title":"Theory and Practice of Model Transformations","author":"M Tisi","year":"2010","unstructured":"Tisi, M., Cabot, J., Jouault, F.: Improving higher-order transformations support in ATL. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol. 6142, pp. 215\u2013229. Springer, Heidelberg (2010). doi:\n10.1007\/978-3-642-13688-7_15"},{"key":"2_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-02674-4_3","volume-title":"Model Driven Architecture - Foundations and Applications","author":"M Tisi","year":"2009","unstructured":"Tisi, M., Jouault, F., Fraternali, P., Ceri, S., B\u00e9zivin, J.: On the use of higher-order model transformations. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 18\u201333. Springer, Heidelberg (2009). doi:\n10.1007\/978-3-642-02674-4_3"},{"issue":"3","key":"2_CR33","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/s10270-009-0134-3","volume":"9","author":"D Wagelaar","year":"2009","unstructured":"Wagelaar, D., van der Straeten, R., Deridder, D.: Module superimposition: a composition technique for rule-based model transformation languages. Softw. Syst. Model. 9(3), 285\u2013309 (2009)","journal-title":"Softw. Syst. Model."},{"key":"2_CR34","unstructured":"Willink, E.D.: Modeling the OCL standard library. Electronic Communications of the EASST 44 (2011)"}],"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_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T11:11:28Z","timestamp":1497870688000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61473-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319614724","9783319614731"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61473-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}