{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:04:08Z","timestamp":1762459448429,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319502298"},{"type":"electronic","value":"9783319502304"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-50230-4_24","type":"book-chapter","created":{"date-parts":[[2016,11,30]],"date-time":"2016-11-30T08:31:26Z","timestamp":1480494686000},"page":"317-329","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Towards Model-Based Optimisation: Using Domain Knowledge Explicitly"],"prefix":"10.1007","author":[{"given":"Steffen","family":"Zschaler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lawrence","family":"Mandow","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,1]]},"reference":[{"issue":"14","key":"24_CR1","doi-asserted-by":"publisher","first-page":"833","DOI":"10.1016\/S0950-5849(01)00189-6","volume":"43","author":"M Harman","year":"2001","unstructured":"Harman, M., Jones, B.F.: Search-based software engineering. Inf. Softw. Technol. 43(14), 833\u2013839 (2001)","journal-title":"Inf. Softw. Technol."},{"issue":"8","key":"24_CR2","first-page":"1089","volume":"20","author":"D Efstathiou","year":"2014","unstructured":"Efstathiou, D., McBurney, P., Zschaler, S., Bourcier, J.: Efficient multi-objective optimisation of service compositions in mobile ad hoc networks using lightweight surrogate models. JUCS 20(8), 1089\u20131108 (2014). Special issue on WAS4FI 2013","journal-title":"JUCS"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Chatziprimou, K., Lano, K., Zschaler, S.: Surrogate-assisted online optimisation of cloud iaas configurations. In: IEEE 6th International Conference on Cloud Computing Technology and Science (CloudCom), pp. 138\u2013145 (2014)","DOI":"10.1109\/CloudCom.2014.101"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Burton, F.R., Poulding, S.: Complementing metaheuristic search with higher abstraction techniques. In: 1st International Workshop Combining Modelling and Search-Based Software Engineering (CMSBSE 2013), pp. 45\u201348 (2013)","DOI":"10.1109\/CMSBSE.2013.6604436"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Kessentini, M., Langer, P., Wimmer, M.: Searching models, modeling search: on the synergies of SBSE and MDE. In: 1st International Workshop Combining Modelling and Search-Based Software Engineering (CMSBSE 2013), pp. 51\u201354 (2013)","DOI":"10.1109\/CMSBSE.2013.6604438"},{"key":"24_CR6","unstructured":"Fleck, M., Troya, J., Wimmer, M.: Marrying search-based optimization and model transformation technology. In: Proceedings of 1st North American Search Based Software Engineering Symposium (NasBASE 2015) (2015). \n                      http:\/\/martin-fleck.github.io\/momot\/downloads\/NasBASE_MOMoT.pdf"},{"key":"24_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/978-3-642-21210-9_31","volume-title":"Models in Software Engineering","author":"ML Drago","year":"2011","unstructured":"Drago, M.L., Ghezzi, C., Mirandola, R.: QVTR2: a rational and performance-aware extension to the relations language. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol. 6627, p. 328. Springer, Heidelberg (2011). doi:\n                      10.1007\/978-3-642-21210-9_31"},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-24485-8_2","volume-title":"Model Driven Engineering Languages and Systems","author":"ML Drago","year":"2011","unstructured":"Drago, M.L., Ghezzi, C., Mirandola, R.: Towards quality driven exploration of model transformation spaces. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 2\u201316. Springer, Heidelberg (2011). doi:\n                      10.1007\/978-3-642-24485-8_2"},{"issue":"1","key":"24_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00450-011-0202-0","volume":"30","author":"ML Drago","year":"2015","unstructured":"Drago, M.L., Ghezzi, C., Mirandola, R.: A quality driven extension to the QVT-relations transformation language. Comput. Sci. Res. Dev. 30(1), 1\u201320 (2015). First online: 24 November 2011","journal-title":"Comput. Sci. Res. Dev."},{"key":"24_CR10","unstructured":"Williams, J.R.: A Novel Representation for Search-Based Model-Driven Engineering. Ph.d. thesis. University of York (2013)"},{"key":"24_CR11","unstructured":"Efstathiou, D., Williams, J.R., Zschaler, S.: Crepe complete: multi-objective optimisation for your models. In: Proceedings of 1st International Workshop on Combining Modelling with Search- and Example-Based Approaches (CMSEBA 2014) (2014)"},{"key":"24_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-319-11743-0_6","volume-title":"System Analysis and Modeling: Models and Reusability","author":"J Denil","year":"2014","unstructured":"Denil, J., Jukss, M., Verbrugge, C., Vangheluwe, H.: Search-based model optimization using model transformations. In: Amyot, D., Fonseca i Casas, P., Mussbacher, G. (eds.) SAM 2014. LNCS, vol. 8769, pp. 80\u201395. Springer, Heidelberg (2014). doi:\n                      10.1007\/978-3-319-11743-0_6"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Abdeen, H., Varr\u00f3, D., Sahraoui, H., Nagy, A.S., Debreceni, C., Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1.: Multi-objective optimization in rule-based design space exploration. In: Crnkovic, I., Chechik, M., Gr\u00fcnbacher, P. (eds.): Proceedings of 29th ACM\/IEEE International Conference Automated Software Engineering (ASE 2014), pp. 289\u2013300. ACM (2014)","DOI":"10.1145\/2642937.2643005"},{"key":"24_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-642-04425-0_9","volume-title":"Model Driven Engineering Languages and Systems","author":"\u00c1 Horv\u00e1th","year":"2009","unstructured":"Horv\u00e1th, \u00c1., Varr\u00f3, D.: CSP(M): constraint satisfaction problem over models. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 107\u2013121. Springer, Heidelberg (2009). doi:\n                      10.1007\/978-3-642-04425-0_9"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., R\u00e1th, I., Varr\u00f3, D.: A model-driven framework for guided design space exploration. In: Proceedings of 26th IEEE\/ACM International Conference Automated Software Engineering (ASE 2011), pp. 173\u2013182, November 2011","DOI":"10.1109\/ASE.2011.6100051"},{"issue":"2","key":"24_CR16","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1109\/4235.996017","volume":"6","author":"K Deb","year":"2002","unstructured":"Deb, K., Pratap, A., Agarwal, S., Meyarivan, T.: A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Trans. Evol. Comput. 6(2), 182\u2013197 (2002)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"24_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/978-3-642-31491-9_32","volume-title":"Modelling Foundations and Applications","author":"FR Burton","year":"2012","unstructured":"Burton, F.R., Paige, R.F., Rose, L.M., Kolovos, D.S., Poulding, S., Smith, S.: Solving acquisition problems using model-driven engineering. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., St\u00f6rrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol. 7349, pp. 428\u2013443. Springer, Heidelberg (2012). doi:\n                      10.1007\/978-3-642-31491-9_32"},{"key":"24_CR18","unstructured":"Mandow, L., Montenegro, J.A., Zschaler, S.: Mejora de una representaci\u00f3n gen\u00e9tica gen\u00e9rica para modelos. In: Actas de la XVII Conferencia de la Asociaci\u00f3n Espa\u00f1ola para la Inteligencia Artificial (CAEPIA 2016) (2016, in press)"},{"issue":"2","key":"24_CR19","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. 11(2), 256\u2013290 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Sen, S., Baudry, B., Mottu, J.M.: On combining multi-formalism knowledge to select models for model transformation testing. In: Proceedings of 1st International Conference on Software Testing, Verification, and Validation, pp. 328\u2013337 (2008)","DOI":"10.1109\/ICST.2008.62"},{"key":"24_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-02408-5_11","volume-title":"Theory and Practice of Model Transformations","author":"S Sen","year":"2009","unstructured":"Sen, S., Baudry, B., Mottu, J.-M.: Automatic model generation strategies for model transformation testing. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 148\u2013164. Springer, Heidelberg (2009). doi:\n                      10.1007\/978-3-642-02408-5_11"},{"key":"24_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-02674-4_11","volume-title":"Model Driven Architecture - Foundations and Applications","author":"DS Kolovos","year":"2009","unstructured":"Kolovos, D.S.: Establishing correspondences between models with the epsilon comparison language. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 146\u2013157. Springer, Heidelberg (2009). doi:\n                      10.1007\/978-3-642-02674-4_11"},{"key":"24_CR23","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Ruscio, D.D., Pierantonio, A., Paige, R.F.: Different models for model matching: an analysis of approaches to support model differencing. In: Proceedings of ICSE Workshop on Comparison and Versioning of Software Models (CVSM 2009). IEEE Computer Society, pp. 1\u20136 (2009)","DOI":"10.1109\/CVSM.2009.5071714"},{"key":"24_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-21210-9_19","volume-title":"Models in Software Engineering","author":"S Maoz","year":"2011","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: A manifesto for semantic model differencing. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol. 6627, pp. 194\u2013203. Springer, Heidelberg (2011). doi:\n                      10.1007\/978-3-642-21210-9_19"},{"key":"24_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-319-11653-2_8","volume-title":"Model-Driven Engineering Languages and Systems","author":"P Langer","year":"2014","unstructured":"Langer, P., Mayerhofer, T., Kappel, G.: Semantic model differencing utilizing behavioral semantics specifications. In: Dingel, J., Schulte, W., Ramos, I., Abrah\u00e3o, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 116\u2013132. Springer, Heidelberg (2014). doi:\n                      10.1007\/978-3-319-11653-2_8"},{"key":"24_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-642-21732-6_14","volume-title":"Theory and Practice of Model Transformations","author":"M Amstel","year":"2011","unstructured":"Amstel, M., Bosems, S., Kurtev, I., Ferreira Pires, L.: Performance in model transformations: experiments with ATL and QVT. In: Cabot, J., Visser, E. (eds.) ICMT 2011. LNCS, vol. 6707, pp. 198\u2013212. Springer, Heidelberg (2011). doi:\n                      10.1007\/978-3-642-21732-6_14"},{"issue":"3","key":"24_CR27","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/s10009-010-0151-0","volume":"12","author":"T M\u00e9sz\u00e1ros","year":"2010","unstructured":"M\u00e9sz\u00e1ros, T., Mezei, G., Levendovszky, T., Asztalos, M.: Manual and automated performance optimization of model transformation systems. Int. J. Softw. Tools Technol. Transf. 12(3), 231\u2013243 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transf."}],"container-title":["Lecture Notes in Computer Science","Software Technologies: Applications and Foundations"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-50230-4_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T01:37:46Z","timestamp":1558316266000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-50230-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319502298","9783319502304"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-50230-4_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"1 December 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"STAF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Federation of International Conferences on Software Technologies: Applications and Foundations","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vienna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 July 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 July 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"staf2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}