{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:24:47Z","timestamp":1757312687515,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":54,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789811999475"},{"type":"electronic","value":"9789811999482"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-981-19-9948-2_4","type":"book-chapter","created":{"date-parts":[[2023,7,19]],"date-time":"2023-07-19T14:05:16Z","timestamp":1689775516000},"page":"93-117","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Leveraging Artificial Intelligence for\u00a0Model-based Software Analysis and\u00a0Design"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Garmendia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominik","family":"Bork","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Eisenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thiago","family":"Ferreira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marouane","family":"Kessentini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Wimmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,7,20]]},"reference":[{"key":"4_CR1","unstructured":"A. Dennis, B.H. Wixom, R.M. Roth, Systems Analysis and Design, (John Wiley & Sons, 2008)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"M. Harman, S.A. Mansouri, Y. Zhang, Search-based software engineering: Trends, techniques and applications. ACM Comput. Surv. (CSUR). 45(1), 1\u201361 (2012)","DOI":"10.1145\/2379776.2379787"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"P.P.S. Chen, The entity-relationship model-toward a unified view of data. ACM Trans. Database Syst. (TODS). 1(1), 9\u201336 (1976)","DOI":"10.1145\/320434.320440"},{"key":"4_CR4","unstructured":"G. Booch, J. Rumbaugh, I. Jacobson, Unified Modeling Language User Guide,(The 2nd Edition). (2005)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"D. Bork, D. Karagiannis, B. Pittl, A survey of modeling language specification techniques. Inf. Syst. 87, 101425 (2020)","DOI":"10.1016\/j.is.2019.101425"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"A. Wortmann, O. Barais, B. Combemale et al., Modeling languages in Industry 4.0: An extended systematic mapping study. Softw. Syst. Model. 19(1), 67\u201394 (2020)","DOI":"10.1007\/s10270-019-00757-6"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"M. Harman, The role of artificial intelligence in software engineering, in First International Workshop on Realizing AI Synergies in Software Engineering (RAISE 2012), (IEEE, 2012), pp. 1\u20136","DOI":"10.1109\/RAISE.2012.6227961"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"I. Boussa\u00efd, P. Siarry, M. Ahmed-Nacer, A survey on search-based modeldriven engineering. Autom. Softw. Eng. 24(2), 233\u2013294 (2017)","DOI":"10.1007\/s10515-017-0215-4"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"M. Harman, The current state and future of search based software engineering, inFuture of Software Engineering (FOSE\u201907), (IEEE, 2007), pp. 342\u2013357","DOI":"10.1109\/FOSE.2007.29"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"M. Brambilla, J. Cabot, M. Wimmer, Model-Driven Software Engineering in Practice, (Morgan & Claypool Publishers, 2017)","DOI":"10.1007\/978-3-031-02549-5"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"D. Schmidt, Guest editor\u2019s introduction: model-driven engineering. Comput. 39(2), 25\u201331 (2006)","DOI":"10.1109\/MC.2006.58"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"H. Ishibuchi, Y. Nojima, T. Doi, Comparison between single-objective and multi-objective genetic algorithms: performance comparison and performance measures, in Proceedings of the IEEE International Conference on Evolutionary Computation, (IEEE, 2006), pp. 1143\u20131150","DOI":"10.1109\/CEC.2006.1688438"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"A. Jaszkiewicz, On the computational efficiency of multiple objective metaheuristics. The knapsack problem case study. Eur. J. Oper. Res. 158(2), 418\u2013433 (2004)","DOI":"10.1016\/j.ejor.2003.06.015"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"D.L. Parnas, Software structures: a careful look. IEEE Softw. 35(6), 68\u201371 (2018)","DOI":"10.1109\/MS.2018.4321239"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"D.L. Moody, A. Flitman, A methodology for clustering entity relationship models\u2013a human information processing approach, in Proceedings of the International Conference on Conceptual Modeling, (Springer, 1999), pp. 114\u2013130","DOI":"10.1007\/3-540-47866-3_8"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"S. Sendall, W. Kozaczynski, Model transformation: the heart and soul of model-driven software development. IEEE Softw. 20(5), 42\u201345 (2003)","DOI":"10.1109\/MS.2003.1231150"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"K. Czarnecki, S. Helsen, Feature-based survey of model transformation approaches. IBM Syst. J. 45(3), 621\u2013646 (2006)","DOI":"10.1147\/sj.453.0621"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"T. Mens, P.V. Gorp, A taxonomy of model transformation. Electron. Notes Theor. Comput. Sci. 152, 125\u2013142 (2006)","DOI":"10.1016\/j.entcs.2005.10.021"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"R. Heckel, G. Taentzer, Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering, (Springer, 2020)","DOI":"10.1007\/978-3-030-43916-3"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"S. Kelly, J.P. Tolvanen, Domain-Specific Modeling: Enabling Full Code Generation, (John Wiley & Sons, 2008)","DOI":"10.1002\/9780470249260"},{"key":"4_CR21","unstructured":"D. Steinberg, F. Budinsky, M. Paternostro et al., EMF: Eclipse Modeling Framework, 2nd edn. (Addison-Wesley Professional, 2008)"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"T. Arendt, E. Biermann, S. Jurack et al., Henshin: advanced concepts and tools for in-place EMF model transformations, in International Conference on Model Driven Engineering Languages and Systems, (Springer, 2010), pp. 121\u2013135","DOI":"10.1007\/978-3-642-16145-2_9"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"N. Kahani, M. Bagherzadeh, J.R. Cordy et al., Survey and classification of model transformation tools. Softw. Syst. Model. 18(4), 2361\u20132397 (2019)","DOI":"10.1007\/s10270-018-0665-6"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"D.L. Moody, Comparative evaluation of large data model representation methods: the analyst\u2019s perspective, in Proceedings of the International Conference on Conceptual Modeling, (Springer, 2002), pp. 214\u2013231","DOI":"10.1007\/3-540-45816-6_25"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"D. Moody, A multi-level architecture for representing enterprise data models, in Proceedings of the International Conference on Conceptual Modeling, (Springer, 1997), pp. 184\u2013197","DOI":"10.1007\/3-540-63699-4_16"},{"key":"4_CR26","unstructured":"D. Bork, A. Garmendia, M. Wimmer, Towards a Multi-Objective Modularization Approach for Entity-Relationship Models. ER Forum, Demo and Poster 2020. (CEUR, 2020), pp. 45\u201358"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"P. Jaeschke, A. Oberweis, W. Stucky, Extending ER model clustering by relationship clustering, in International Conference on Conceptual Modeling, (Springer, 1993), pp. 451\u2013462","DOI":"10.1007\/BFb0024387"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"M. Tavana, P. Joglekar, M.A. Redmond, An automated entity-relationship clustering algorithm for conceptual database design. Inf. Syst. 32(5), 773\u2013792 (2007)","DOI":"10.1016\/j.is.2006.07.001"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"A. Burdusel, S. Zschaler, S. John, Automatic Generation of Atomic Consistency Preserving Search Operators for Search-Based Model Engineering, in Proceedings of the 22nd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), (IEEE, 2019), pp. 106\u2013116","DOI":"10.1109\/MODELS.2019.00-10"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"P. Feldman, D. Miller, Entity model clustering: structuring a data model by abstraction. Comput. J. 29(4), 348\u2013360 (1986)","DOI":"10.1093\/comjnl\/29.4.348"},{"key":"4_CR31","unstructured":"G. Simsion, A structured approach to data modelling. Aust. Comput. J. 21(3), 108\u2013117 (1989)"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"K.S. Komar, A. Santra, S. Bhowmick et al., EER->MLN: EER Approach for Modeling, Mapping, and Analyzing Complex Data Using Multilayer Networks (MLNs), in International Conference on Conceptual Modeling, (Springer, 2020), pp. 555\u2013572","DOI":"10.1007\/978-3-030-62522-1_41"},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"Y. Tzitzikas, J.L. Hainaut, How to tame a very large ER diagram (using link analysis and force-directed drawing algorithms), in Proceedings of the International Conference on Conceptual Modeling, (Springer, 2005), pp. 144\u2013159","DOI":"10.1007\/11568322_10"},{"key":"4_CR34","unstructured":"F. P\u00e9rez, J. Font, L. Arcega et al., Empowering the human as the fitness function in search-based model-driven engineering. IEEE Trans. Softw. Eng. 10(10), 1\u201316 (2021)"},{"key":"4_CR35","doi-asserted-by":"crossref","unstructured":"A. Burdusel, S. Zschaler, S. John, Automatic generation of atomic multiplicity-preserving search operators for search-based model engineering. Softw. Syst. Model. 20(6), 1857\u20131887 (2021)","DOI":"10.1007\/s10270-021-00914-w"},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"W. Mkaouer, M. Kessentini, A. Shaout et al., Many-objective software remodularization using NSGA-III. ACM Trans. Softw. Eng. Methodol. (TOSEM). 24(3), 1\u201345 (2015)","DOI":"10.1145\/2729974"},{"key":"4_CR37","doi-asserted-by":"crossref","unstructured":"W. Kessentini, M. Wimmer, H. Sahraoui, Integrating the designer in-the-loop for metamodel\/model co-evolution via interactive computational search, in Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, (2018), pp. 101\u2013111","DOI":"10.1145\/3239372.3239375"},{"key":"4_CR38","doi-asserted-by":"crossref","unstructured":"W. Kessentini, V. Alizadeh, Interactive metamodel\/model co-evolution using unsupervised learning and multi-objective search, in Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, (2020), pp. 68\u201378","DOI":"10.1145\/3365438.3410966"},{"key":"4_CR39","unstructured":"C. Abid, V. Alizadeh, M. Kessentini et al., 30 years of software refactoring research: a systematic literature review (2020), arXiv preprint arXiv:2007.02194"},{"key":"4_CR40","doi-asserted-by":"crossref","unstructured":"R. Bill, M. Fleck, J. Troya et al., A local and global tour on MOMoT. Softw. Syst. Model. 18(2), 1017\u20131046 (2019)","DOI":"10.1007\/s10270-017-0644-3"},{"key":"4_CR41","doi-asserted-by":"crossref","unstructured":"A. Burdusel, S. Zschaler, D. Str\u00fcber, MDEoptimiser: a search based model engineering tool, in Companion Proceedings of the 21stACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), (ACM, 2018), pp. 12\u201316","DOI":"10.1145\/3270112.3270130"},{"key":"4_CR42","doi-asserted-by":"crossref","unstructured":"H. Abdeen, D. Varr\u00f3, H.A. Sahraoui et al., Multi-objective optimization in rule-based design space exploration, in Proceedings of the ACM\/IEEE International Conference on Automated Software Engineering (ASE), (ACM, 2014), pp. 289\u2013300","DOI":"10.1145\/2642937.2643005"},{"key":"4_CR43","doi-asserted-by":"crossref","unstructured":"M. Kessentini, H. Sahraoui, M. Boukadoum et al., Search-based model transformation by example. Softw. & Syst. Model. 11(2), 209\u2013226 (2012)","DOI":"10.1007\/s10270-010-0175-7"},{"key":"4_CR44","unstructured":"A. Garc\u00eda Dom\u00ednguez, F. Krikava, and L. M. Rose, eds. Proc. of the 9th Transformation Tool Contest @ STAF. Vol. 1758. CEUR Workshop Proc. 2016"},{"key":"4_CR45","unstructured":"M. Fleck, J. Troya, M. Wimmer, Proc. of the 9th Transformation Tool Contest @ STAF. vol. 1758. CEUR Workshop Proc. 2016, pp. 1\u20138"},{"key":"4_CR46","doi-asserted-by":"crossref","unstructured":"F. Rothlauf, Representations for Genetic and Evolutionary Algorithms, (Springer, 2006), pp. 9\u201332","DOI":"10.1007\/3-540-32444-5_2"},{"key":"4_CR47","doi-asserted-by":"crossref","unstructured":"S. Rizzi, Genetic operators for hierarchical graph clustering. Pattern Recognit. Lett. 19(14), 1293\u20131300 (1998)","DOI":"10.1016\/S0167-8655(98)00110-X"},{"key":"4_CR48","doi-asserted-by":"crossref","unstructured":"A.E. Eiben, J.E. Smith et al., Introduction to Evolutionary Computing, vol. 53, (Springer, 2003)","DOI":"10.1007\/978-3-662-05094-1"},{"key":"4_CR49","unstructured":"Goldberg DE, Lingle R, et al. \u201cAlleles, loci, and the traveling salesman problem\". Proc. of the International Conference on Genetic Algorithms and their Applications. 1985, pp. 154\u2013159"},{"key":"4_CR50","doi-asserted-by":"crossref","unstructured":"M. Fleck, J. Troya, and M. Wimmer, \u201cSearch-based model transformations\". J. Softw. Evol. Process. 28.12 (2016), pp. 1081\u20131117","DOI":"10.1002\/smr.1804"},{"key":"4_CR51","doi-asserted-by":"crossref","unstructured":"M Eisenberg, H Pichler, A Garmendia, et al. Towards Reinforcement Learning for In-Place Model Transformations. 24th International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, 2021, pp. 82\u201388","DOI":"10.1109\/MODELS50736.2021.00017"},{"key":"4_CR52","doi-asserted-by":"crossref","unstructured":"S. Zschaler, L. Mandow, Towards Model-Based Optimisation: Using Domain Knowledge Explicitly. Software Technologies: Applications and Foundations STAF, CollocatedWorkshops. Vol. 9946. LNCS. Springer 2016, 317\u2013329 (2016)","DOI":"10.1007\/978-3-319-50230-4_24"},{"key":"4_CR53","unstructured":"M. Li, T. Chen, X. Yao, How to evaluate solutions in pareto-based search-based software engineering? a critical review and methodological guidance. IEEE Trans. Softw. Eng. (2020)"},{"key":"4_CR54","doi-asserted-by":"crossref","unstructured":"A. Ramirez, J.R. Romero, C.L. Simons, A systematic review of interaction in search-based software engineering. IEEE Trans. Softw. Eng. 45(8), 760\u2013781 (2018)","DOI":"10.1109\/TSE.2018.2803055"}],"container-title":["Natural Computing Series","Optimising the Software Development Process with Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-19-9948-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,24]],"date-time":"2024-10-24T13:39:58Z","timestamp":1729777198000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-19-9948-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9789811999475","9789811999482"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/978-981-19-9948-2_4","relation":{},"ISSN":["1619-7127"],"issn-type":[{"type":"print","value":"1619-7127"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"20 July 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}