{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T05:09:42Z","timestamp":1781672982934,"version":"3.54.5"},"reference-count":73,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2025,6,23]],"date-time":"2025-06-23T00:00:00Z","timestamp":1750636800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,6,23]],"date-time":"2025-06-23T00:00:00Z","timestamp":1750636800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100018693","name":"HORIZON EUROPE Framework Programme","doi-asserted-by":"publisher","award":["825480 (H2020)"],"award-info":[{"award-number":["825480 (H2020)"]}],"id":[{"id":"10.13039\/100018693","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2026,4]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>Infrastructure as Code (IaC) uses versionable software code to define, deploy, and configure physical computational resources, software execution platforms, and applications. As a result, IaC enables the scalable management of complex computing environments while preventing environment drift. IaC frameworks typically offer specific languages such as the industrial Terraform, Ansible, Chef, or TOSCA\u2014standing for Topology and Orchestration Specification for Cloud Applications\u2014the OASIS (Organization for the Advancement of Structured Information Standards) open standard approach to IaC. Developing high-quality IaC for deploying and managing applications demands expertise and knowledge in specific IaC languages, infrastructure resources, resource providers, quality issues in IaC scripts, and so on. While several model-driven engineering (MDE) approaches have been proposed to simplify IaC development, they cannot capture and use expert knowledge to assist with modeling tasks and MDE processes by providing interactive recommendations. This paper presents a knowledge-based framework for guiding the model-driven development of IaC. We use TOSCA as the target IaC language as it is an open standard. We enable IaC and resource experts to share their IaC and resource-related knowledge with application operational experts to help simplify the development of application deployment models. We use an ontology to record the relevant deployment knowledge and ontology reasoning to implement modeling guidance capabilities such as TOSCA model auto-completion, code smell and error detection, and model element matchmaking. We show the flexibility of our methodology by applying it to three industrial applications, covering cloud, edge, and HPC (High-Performance Computing) domains. Moreover, we also assess the use acceptance of our approach and framework by conducting controlled experiments with expert and non-expert IaC users. The results indicate that our method can simplify IaC development by providing appropriate recommendations.<\/jats:p>","DOI":"10.1007\/s10270-025-01294-1","type":"journal-article","created":{"date-parts":[[2025,6,23]],"date-time":"2025-06-23T05:43:58Z","timestamp":1750657438000},"page":"515-548","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["A knowledge-based approach for guided development of Infrastructure as Code"],"prefix":"10.1007","volume":"25","author":[{"given":"Zoe","family":"Vasileiou","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Indika","family":"Kumara","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Georgios","family":"Meditskos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kamil","family":"Tokmakov","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dragan","family":"Radolovi\u0107","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jes\u00fas Gorro\u00f1ogoitia","family":"Cruz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Elisabetta","family":"Di Nitto","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Damian Andrew","family":"Tamburri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Willem-Jan","family":"Van Den Heuvel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefanos","family":"Vrochidis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,6,23]]},"reference":[{"issue":"1","key":"1294_CR1","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10270-021-00905-x","volume":"21","author":"L Almonte","year":"2022","unstructured":"Almonte, L., Guerra, E., Cantador, I., de Lara, J.: Recommender systems in model-driven engineering. Softw. Syst. Model. 21(1), 249\u2013280 (2022). https:\/\/doi.org\/10.1007\/s10270-021-00905-x","journal-title":"Softw. Syst. Model."},{"key":"1294_CR2","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/j.future.2019.04.049","volume":"100","author":"RB Antequera","year":"2019","unstructured":"Antequera, R.B., Calyam, P., Chandrashekara, A.A., Mitra, R.: Recommending heterogeneous resources for science gateway applications based on custom templates composition. Futur. Gener. Comput. Syst. 100, 281\u2013297 (2019). https:\/\/doi.org\/10.1016\/j.future.2019.04.049","journal-title":"Futur. Gener. Comput. Syst."},{"key":"1294_CR3","unstructured":"Atrey, A., Moens, H., Van\u00a0Seghbroeck, G., Volckaert, B., De\u00a0Turck, F.: An overview of the OASIS TOSCA standard: topology and orchestration specification for cloud applications (2015)"},{"issue":"4","key":"1294_CR4","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/s10664-021-10072-8","volume":"27","author":"S Baltes","year":"2022","unstructured":"Baltes, S., Ralph, P.: Sampling in software engineering research: a critical review and guidelines. Empir. Softw. Eng. 27(4), 94 (2022). https:\/\/doi.org\/10.1007\/s10664-021-10072-8","journal-title":"Empir. Softw. Eng."},{"issue":"1","key":"1294_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3150227","volume":"51","author":"A Bergmayr","year":"2018","unstructured":"Bergmayr, A., Breitenb\u00fccher, U., Ferry, N., Rossini, A., Solberg, A., Wimmer, M., Kappel, G., Leymann, F.: A systematic review of cloud modeling languages. ACM Comput. Surv. 51(1), 1\u201338 (2018). https:\/\/doi.org\/10.1145\/3150227","journal-title":"ACM Comput. Surv."},{"key":"1294_CR6","doi-asserted-by":"publisher","unstructured":"Bhattacharjee, A., Barve, Y., Gokhale, A., Kuroda, T.: (WIP) CloudCAMP: automating the deployment and management of cloud services. In: 2018 IEEE International Conference on Services Computing (SCC), pp. 237\u2013240 (2018). https:\/\/doi.org\/10.1109\/SCC.2018.00038","DOI":"10.1109\/SCC.2018.00038"},{"key":"1294_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/SW-150202","volume":"7","author":"E Blomqvist","year":"2015","unstructured":"Blomqvist, E., Hitzler, P., Janowicz, K., Krisnadhi, A., Narock, T., Solanki, M.: Considerations regarding ontology design patterns. Semant. Web 7, 1\u20137 (2015). https:\/\/doi.org\/10.3233\/SW-150202","journal-title":"Semant. Web"},{"issue":"7","key":"1294_CR8","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/s10664-022-10215-5","volume":"27","author":"N Borovits","year":"2022","unstructured":"Borovits, N., Kumara, I., Di Nucci, D., Krishnan, P., Palma, S.D., Palomba, F., Tamburri, D.A., Heuvel, W.J.: FindICI: using machine learning to detect linguistic inconsistencies between code and natural language descriptions in infrastructure-as-code. Empir. Softw. Eng. 27(7), 178 (2022). https:\/\/doi.org\/10.1007\/s10664-022-10215-5","journal-title":"Empir. Softw. Eng."},{"issue":"3","key":"1294_CR9","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s00450-016-0332-5","volume":"32","author":"A Brogi","year":"2017","unstructured":"Brogi, A., Cifariello, P., Soldani, J.: DrACO: discovering available cloud offerings. Comput. Sci. Res. Dev. 32(3), 269\u2013279 (2017). https:\/\/doi.org\/10.1007\/s00450-016-0332-5","journal-title":"Comput. Sci. Res. Dev."},{"key":"1294_CR10","doi-asserted-by":"publisher","unstructured":"Brogi, A., Di\u00a0Tommaso, A., Soldani, J.: Sommelier: a tool for validating TOSCA application topologies, pp. 1\u201322 (2018). https:\/\/doi.org\/10.1007\/978-3-319-94764-8_1","DOI":"10.1007\/978-3-319-94764-8_1"},{"key":"1294_CR11","doi-asserted-by":"publisher","first-page":"2","DOI":"10.19153\/cleiej.18.1.1","volume":"18","author":"A Brogi","year":"2015","unstructured":"Brogi, A., Fazzolari, M., Ibrahim, A., Soldani, J., Wang, P., Carrasco, J., Cubo, J., Dur\u00e1n, F., Pimentel, E., Di Nitto, E., D\u2019Andria, F.: Adaptive management of applications across multiple clouds: the seaclouds approach. CLEI Electron. J. 18, 2\u20132 (2015). https:\/\/doi.org\/10.19153\/cleiej.18.1.1","journal-title":"CLEI Electron. J."},{"key":"1294_CR12","doi-asserted-by":"crossref","unstructured":"Burgue\u00f1o, L., Claris\u00f3, R., G\u00e9rard, S., Li, S., Cabot, J.: An NLP-based architecture for the autocompletion of partial domain models. In: Advanced Information Systems Engineering, pp. 91\u2013106 (2021)","DOI":"10.1007\/978-3-030-79382-1_6"},{"issue":"5","key":"1294_CR13","doi-asserted-by":"publisher","first-page":"1609","DOI":"10.1007\/s10270-021-00869-y","volume":"20","author":"S Challita","year":"2021","unstructured":"Challita, S., Korte, F., Erbel, J., Zalila, F., Grabowski, J., Merle, P.: Model-based cloud resource management with TOSCA and OCCI. Softw. Syst. Model. 20(5), 1609\u20131631 (2021). https:\/\/doi.org\/10.1007\/s10270-021-00869-y","journal-title":"Softw. Syst. Model."},{"key":"1294_CR14","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-031-34560-9_18","volume-title":"Advanced Information Systems Engineering","author":"M Chiari","year":"2023","unstructured":"Chiari, M., Xiang, B., Nedeltcheva, G.N., Di Nitto, E., Blasi, L., Benedetto, D., Niculut, L.: DOML: a new modelling approach to infrastructure-as-code. In: Indulska, M., Reinhartz-Berger, I., Cetina, C., Pastor, O. (eds.) Advanced Information Systems Engineering, pp. 297\u2013313. Springer Nature Switzerland, Cham (2023)"},{"key":"1294_CR15","doi-asserted-by":"publisher","unstructured":"Conto, J., Z\u00fa\u00f1iga\u00a0Prieto, M., Solano-Quinde, L.: A Systematic Mapping Study of Specification Languages in Cloud Services Development: 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29\u201331, 2018, Revised Selected Papers, pp. 72\u201388 (2019). https:\/\/doi.org\/10.1007\/978-3-030-05532-5_6","DOI":"10.1007\/978-3-030-05532-5_6"},{"issue":"3","key":"1294_CR16","doi-asserted-by":"publisher","first-page":"319","DOI":"10.2307\/249008","volume":"13","author":"FD Davis","year":"1989","unstructured":"Davis, F.D.: Perceived usefulness, perceived ease of use, and user acceptance of information technology. MIS Q. 13(3), 319\u2013340 (1989)","journal-title":"MIS Q."},{"issue":"3","key":"1294_CR17","doi-asserted-by":"publisher","first-page":"319","DOI":"10.2307\/249008","volume":"13","author":"FD Davis","year":"1989","unstructured":"Davis, F.D.: Perceived usefulness, perceived ease of use, and user acceptance of information technology. MIS Q. 13(3), 319\u2013340 (1989)","journal-title":"MIS Q."},{"key":"1294_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-04961-3","volume-title":"Deployment and Operation of Complex Software in Heterogeneous Execution Environments: The SODALITE Approach","author":"E Di Nitto","year":"2022","unstructured":"Di Nitto, E., Cruz, J.G., Kumara, I., Radolovi\u0107, D., Tokmakov, K., Vasileiou, Z.: Deployment and Operation of Complex Software in Heterogeneous Execution Environments: The SODALITE Approach. Springer Nature, Berlin (2022)"},{"key":"1294_CR19","doi-asserted-by":"publisher","unstructured":"Di\u00a0Nitto, E., Mohagheghi, P., Mosser, S., Ballagny, C., D\u2019Andria, F., Casale, G., Matthews, P., Nechifor, C.S., Petcu, D., Gericke, A., Sheridan, C.: MODAClouds: a model-driven approach for the design and execution of applications on multiple clouds. ICSE Workshop on Modeling in Software Engineering (MISE 2012), pp. 50\u201356 (2012). https:\/\/doi.org\/10.1109\/MISE.2012.6226014","DOI":"10.1109\/MISE.2012.6226014"},{"issue":"2","key":"1294_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10664-020-09919-3","volume":"26","author":"J D\u00edaz","year":"2021","unstructured":"D\u00edaz, J., L\u00f3pez-Fern\u00e1ndez, D., P\u00e9rez, J., Gonz\u00e1lez-Prieto, \u00c1.: Why are many businesses instilling a DevOps culture into their organization? Empir. Softw. Eng. 26(2), 1\u201350 (2021)","journal-title":"Empir. Softw. Eng."},{"key":"1294_CR21","doi-asserted-by":"publisher","unstructured":"Ejarque, J., Badia, R.M., Albertin, L., Aloisio, G., Baglione, E., Becerra, Y., Boschert, S., Berlin, J.R., D\u2019Anca, A., Elia, D., Exertier, F., Fiore, S., Flich, J., Folch, A., Gibbons, S.J., Koldunov, N., Lordan, F., Lorito, S., L\u00f8vholt, F., Mac\u00edas, J., Marozzo, F., Michelini, A., Monterrubio-Velasco, M., Pienkowska, M., de la Puente, J., Queralt, A., Quintana-Ort\u00ed, E.S., Rodr\u00edquez, J.E., Romano, F., Rossi, R., Rybicki, J., Kupczyk, M., Selva, J., Talia, D., Tonini, R., Trunfio, P., Volpe, M.: Enabling dynamic and intelligent workflows for hpc, data analytics, and AI convergence. Fut. Gener. Comput. Syst. 134, 414\u2013429 (2022). https:\/\/doi.org\/10.1016\/j.future.2022.04.014","DOI":"10.1016\/j.future.2022.04.014"},{"issue":"2","key":"1294_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3125621","volume":"18","author":"N Ferry","year":"2018","unstructured":"Ferry, N., Chauvel, F., Song, H., Rossini, A., Lushpenko, M., Solberg, A.: CloudMF: model-driven management of multi-cloud applications. ACM Trans. Internet Technol. 18(2), 1\u201324 (2018). https:\/\/doi.org\/10.1145\/3125621","journal-title":"ACM Trans. Internet Technol."},{"key":"1294_CR23","doi-asserted-by":"publisher","unstructured":"Ferry, N., Dautov, R., Song, H.: Towards a model-based serverless platform for the cloud-edge-IoT continuum. In: 2022 22nd IEEE International Symposium on Cluster, Cloud and Internet Computing (CCGrid), pp. 851\u2013858 (2022). https:\/\/doi.org\/10.1109\/CCGrid54584.2022.00101","DOI":"10.1109\/CCGrid54584.2022.00101"},{"key":"1294_CR24","doi-asserted-by":"crossref","unstructured":"Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., Schneider, L.: Sweetening ontologies with DOLCE. In: Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, pp. 166\u2013181. Springer-Verlag, Berlin, Heidelberg (2002)","DOI":"10.1007\/3-540-45810-7_18"},{"key":"1294_CR25","doi-asserted-by":"publisher","unstructured":"Gangemi, A., Mika, P.: Understanding the semantic web through descriptions and situations. In: CoopIS\/DOA\/ODBASE (2003). https:\/\/doi.org\/10.1007\/978-3-540-39964-3_44","DOI":"10.1007\/978-3-540-39964-3_44"},{"key":"1294_CR26","doi-asserted-by":"crossref","unstructured":"Guerriero, M., Garriga, M., Tamburri, D.A., Palomba, F.: Adoption, support, and challenges of infrastructure-as-code: insights from industry. In: 2019 IEEE International Conference on Software Maintenance and Evolution (ICSME), pp. 580\u2013589. IEEE (2019)","DOI":"10.1109\/ICSME.2019.00092"},{"key":"1294_CR27","doi-asserted-by":"publisher","unstructured":"Harzenetter, L., Breitenb\u00fccher, U., Falkenthal, M., Guth, J., Krieger, C., Leymann, F.: Pattern-based deployment models and their automatic execution. In: 2018 IEEE\/ACM 11th International Conference on Utility and Cloud Computing (UCC), pp. 41\u201352 (2018).https:\/\/doi.org\/10.1109\/UCC.2018.00013","DOI":"10.1109\/UCC.2018.00013"},{"key":"1294_CR28","unstructured":"Imam, F.T.: Application of ontologies in cloud computing: the state-of-the-art. ArXiv:abs\/1610.02333 (2016). https:\/\/api.semanticscholar.org\/CorpusID:9940694"},{"key":"1294_CR29","unstructured":"Indika, K., , Radolovi\u0107, D., Cruz, J.G., Vasileiou, Z., Tokmakov, K.: Orchestrating data-intensive applications on federated hybrid infrastructures with the sodalite framework. https:\/\/indico.egi.eu\/event\/5464\/contributions\/15656\/contribution.pdf (2021)"},{"issue":"1","key":"1294_CR30","first-page":"11","volume":"1","author":"R Johns","year":"2010","unstructured":"Johns, R.: Likert items and scales. Survey Question Bank: Methods Fact Sheet 1(1), 11\u201328 (2010)","journal-title":"Survey Question Bank: Methods Fact Sheet"},{"issue":"1","key":"1294_CR31","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/s10664-013-9279-3","volume":"20","author":"AJ Ko","year":"2015","unstructured":"Ko, A.J., LaToza, T.D., Burnett, M.M.: A practical guide to controlled experiments of software engineering tools with human participants. Empir. Softw. Eng. 20(1), 110\u2013141 (2015). https:\/\/doi.org\/10.1007\/s10664-013-9279-3","journal-title":"Empir. Softw. Eng."},{"key":"1294_CR32","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2021.106593","volume":"137","author":"I Kumara","year":"2021","unstructured":"Kumara, I., Garriga, M., Romeu, A.U., Di Nucci, D., Palomba, F., Tamburri, D.A., van den Heuvel, W.J.: The do\u2019s and don\u2019ts of infrastructure code: a systematic gray literature review. Inf. Softw. Technol. 137, 106593 (2021)","journal-title":"Inf. Softw. Technol."},{"key":"1294_CR33","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/s10723-021-09572-0","volume":"19","author":"I Kumara","year":"2021","unstructured":"Kumara, I., Mundt, P., Tokmakov, K., Radolovi\u0107, D., Maslennikov, A., Gonz\u00e1lez, R., Fern\u00e1ndez Fabeiro, J., Quattrocchi, G., Meth, K., Nitto, E., Tamburri, D., Heuvel, W.J., Meditskos, G.: Sodalite@rt: orchestrating applications on cloud-edge infrastructures. J. Grid Comput. 19, 29 (2021)","journal-title":"J. Grid Comput."},{"key":"1294_CR34","doi-asserted-by":"crossref","unstructured":"Kumara, I., Vasileiou, Z., Meditskos, G., Tamburri, D.A., Heuvel, W.V.D., Karakostas, A., Vrochidis, S., Kompatsiaris, I.: Towards semantic detection of smells in cloud infrastructure code. In: WIMS 2020: Proceedings of the 10th International Conference on Web Intelligence, Mining and Semantics pp. 63\u201367 (2020)","DOI":"10.1145\/3405962.3405979"},{"key":"1294_CR35","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2022.3142853","author":"IP Kumara","year":"2022","unstructured":"Kumara, I.P., Ariz, M., Baruwal Chhetri, M., Mohammadi, M., Heuvel, W.J.V.D., Tamburri, D.A.A.: FOCloud: feature model guided performance prediction and explanation for deployment configurable cloud applications. IEEE Trans. Services Comput. (2022). https:\/\/doi.org\/10.1109\/TSC.2022.3142853","journal-title":"IEEE Trans. Services Comput."},{"key":"1294_CR36","doi-asserted-by":"publisher","unstructured":"Low, E., Cheh, C., Chen, B.: Repairing infrastructure-as-code using large language models. In: 2024 IEEE Secure Development Conference (SecDev), pp. 20\u201327 (2024). https:\/\/doi.org\/10.1109\/SecDev61143.2024.00008","DOI":"10.1109\/SecDev61143.2024.00008"},{"issue":"4","key":"1294_CR37","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1109\/TCC.2015.2433259","volume":"5","author":"BD Martino","year":"2017","unstructured":"Martino, B.D., Esposito, A., Cretella, G.: Semantic representation of cloud patterns and services with automated reasoning to support cloud application portability. IEEE Trans. Cloud Comput. 5(4), 765\u2013779 (2017). https:\/\/doi.org\/10.1109\/TCC.2015.2433259","journal-title":"IEEE Trans. Cloud Comput."},{"key":"1294_CR38","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-023-01094-5","author":"\u00c1 MoraSegura","year":"2023","unstructured":"MoraSegura, \u00c1., de Lara, J., Wimmer, M.: Modelling assistants based on information reuse: a user evaluation for language engineering. Softw. Syst. Model. (2023). https:\/\/doi.org\/10.1007\/s10270-023-01094-5","journal-title":"Softw. Syst. Model."},{"key":"1294_CR39","volume-title":"Infrastructure as Code: Managing Servers in the Cloud","author":"K Morris","year":"2016","unstructured":"Morris, K.: Infrastructure as Code: Managing Servers in the Cloud. O\u2019Reilly Media Inc, Sebastopol (2016)"},{"issue":"4","key":"1294_CR40","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1093\/logcom\/exm027","volume":"17","author":"B Motik","year":"2007","unstructured":"Motik, B.: On the properties of metamodeling in owl. J. Log. Comput. 17(4), 617\u2013637 (2007). https:\/\/doi.org\/10.1093\/logcom\/exm027","journal-title":"J. Log. Comput."},{"key":"1294_CR41","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-031-72578-4_5","volume-title":"Service-Oriented Computing","author":"R Nasiri","year":"2025","unstructured":"Nasiri, R., Kumara, I., Tamburri, D.A., van den Heuvel, W.J.: Towards a taxonomy of infrastructure as code misconfigurations: an ansible study. In: Aiello, M., Barzen, J., Dustdar, S., Leymann, F. (eds.) Service-Oriented Computing, pp. 83\u2013103. Springer Nature Switzerland, Cham (2025)"},{"issue":"1","key":"1294_CR42","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s10270-021-00906-w","volume":"21","author":"M Nieke","year":"2022","unstructured":"Nieke, M., Sampaio, G., Th\u00fcm, T., Seidl, C., Teixeira, L., Schaefer, I.: Guiding the evolution of product-line configurations. Softw. Syst. Model. 21(1), 225\u2013247 (2022). https:\/\/doi.org\/10.1007\/s10270-021-00906-w","journal-title":"Softw. Syst. Model."},{"key":"1294_CR43","doi-asserted-by":"publisher","unstructured":"Novakova\u00a0Nedeltcheva, G., De\u00a0La Fuente\u00a0Ruiz, A., Orue-Echevarria\u00a0Arrieta, L., Bat, N., Blasi, L.: Towards supporting the generation of infrastructure as code through modelling approaches - systematic literature review. In: 2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C), pp. 210\u2013217 (2022). https:\/\/doi.org\/10.1109\/ICSA-C54293.2022.00048","DOI":"10.1109\/ICSA-C54293.2022.00048"},{"key":"1294_CR44","unstructured":"OASIS: Tosca primer (2013). http:\/\/docs.oasis-open.org\/tosca\/tosca-primer\/v1.0\/cnd01\/toscaprimer-v1.0-cnd01.pdf"},{"issue":"7","key":"1294_CR45","doi-asserted-by":"publisher","first-page":"3580","DOI":"10.1109\/TKDE.2024.3352100","volume":"36","author":"S Pan","year":"2024","unstructured":"Pan, S., Luo, L., Wang, Y., Chen, C., Wang, J., Wu, X.: Unifying large language models and knowledge graphs: a roadmap. IEEE Trans. Knowl. Data Eng. 36(7), 3580\u20133599 (2024). https:\/\/doi.org\/10.1109\/TKDE.2024.3352100","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"1294_CR46","doi-asserted-by":"publisher","unstructured":"Philippe, J., Omond, A., Coullon, H., Prud\u2019Homme, C., Ra\u00efs, I.: Fast choreography of cross-DevOps reconfiguration with ballet: a multi-site openstack case study. In: 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), pp. 1\u201311 (2024). https:\/\/doi.org\/10.1109\/SANER60148.2024.00007","DOI":"10.1109\/SANER60148.2024.00007"},{"issue":"5","key":"1294_CR47","doi-asserted-by":"publisher","first-page":"1983","DOI":"10.1007\/s10270-022-01027-8","volume":"21","author":"B Piedade","year":"2022","unstructured":"Piedade, B., Dias, J.P., Correia, F.F.: Visual notations in container orchestrations: an empirical study with docker compose. Softw. Syst. Model. 21(5), 1983\u20132005 (2022). https:\/\/doi.org\/10.1007\/s10270-022-01027-8","journal-title":"Softw. Syst. Model."},{"key":"1294_CR48","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/j.infsof.2018.12.004","volume":"108","author":"A Rahman","year":"2019","unstructured":"Rahman, A., Mahdavi-Hezaveh, R., Williams, L.: A systematic mapping study of infrastructure as code research. Inf. Softw. Technol. 108, 65\u201377 (2019). https:\/\/doi.org\/10.1016\/j.infsof.2018.12.004","journal-title":"Inf. Softw. Technol."},{"key":"1294_CR49","doi-asserted-by":"publisher","unstructured":"Rahman, A., Parnin, C., Williams, L.: The seven sins: security smells in infrastructure as code scripts. In: 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE), pp. 164\u2013175 (2019). https:\/\/doi.org\/10.1109\/ICSE.2019.00033","DOI":"10.1109\/ICSE.2019.00033"},{"key":"1294_CR50","doi-asserted-by":"publisher","unstructured":"\u00c1ngel Rodr\u00edguez-Garc\u00eda, M., Valencia-Garc\u00eda, R., Garc\u00eda-S\u00e1nchez, F., Samper-Zapater, J.J.: Ontology-based annotation and retrieval of services in the cloud. Knowl. Based Syst. 56, 15\u201325 (2014). https:\/\/doi.org\/10.1016\/j.knosys.2013.10.006","DOI":"10.1016\/j.knosys.2013.10.006"},{"issue":"3","key":"1294_CR51","doi-asserted-by":"publisher","first-page":"1015","DOI":"10.1007\/s10270-021-00942-6","volume":"21","author":"R Saini","year":"2022","unstructured":"Saini, R., Mussbacher, G., Guo, J.L.C., Kienzle, J.: Automated, interactive, and traceable domain modelling empowered by artificial intelligence. Softw. Syst. Model. 21(3), 1015\u20131045 (2022). https:\/\/doi.org\/10.1007\/s10270-021-00942-6","journal-title":"Softw. Syst. Model."},{"key":"1294_CR52","doi-asserted-by":"publisher","unstructured":"Sandobalin, J., Insfran, E., Abrah\u00e3o, S.: Argon: a model-driven infrastructure provisioning tool. In: 2019 ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 738\u2013742 (2019). https:\/\/doi.org\/10.1109\/MODELS-C.2019.00114","DOI":"10.1109\/MODELS-C.2019.00114"},{"key":"1294_CR53","doi-asserted-by":"publisher","first-page":"17734","DOI":"10.1109\/ACCESS.2020.2966597","volume":"8","author":"J Sandobal\u00edn","year":"2020","unstructured":"Sandobal\u00edn, J., Insfran, E., Abrah\u00e3o, S.: On the effectiveness of tools to support infrastructure as code: model-driven versus code-centric. IEEE Access 8, 17734\u201317761 (2020). https:\/\/doi.org\/10.1109\/ACCESS.2020.2966597","journal-title":"IEEE Access"},{"key":"1294_CR54","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-023-01104-6","author":"M Savary-Leblanc","year":"2023","unstructured":"Savary-Leblanc, M., Le Pallec, X., G\u00e9rard, S.: Understanding the need for assistance in software modeling: interviews with experts. Softw. Syst. Model. (2023). https:\/\/doi.org\/10.1007\/s10270-023-01104-6","journal-title":"Softw. Syst. Model."},{"key":"1294_CR55","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/j.jss.2017.12.034","volume":"138","author":"T Sharma","year":"2017","unstructured":"Sharma, T., Spinellis, D.: A survey on software smells. J. Syst. Softw. 138, 158\u2013173 (2017). https:\/\/doi.org\/10.1016\/j.jss.2017.12.034","journal-title":"J. Syst. Softw."},{"key":"1294_CR56","first-page":"36","volume":"1242","author":"G Silva","year":"2014","unstructured":"Silva, G., Rose, L., Calinescu, R.: Cloud DSL: A language for supporting cloud portability by describing cloud entities. CEUR Workshop Proc. 1242, 36\u201345 (2014)","journal-title":"CEUR Workshop Proc."},{"key":"1294_CR57","doi-asserted-by":"publisher","unstructured":"Sokolowski, D., Weisenburger, P., Salvaneschi, G.: Automating serverless deployments for DevOps organizations. In: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/FSE 2021, pp. 57\u201369. Association for Computing Machinery, New York (2021). https:\/\/doi.org\/10.1145\/3468264.3468575","DOI":"10.1145\/3468264.3468575"},{"key":"1294_CR58","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-022-01006-z","author":"H Song","year":"2022","unstructured":"Song, H., Dautov, R., Ferry, N., Solberg, A., Fleurey, F.: Model-based fleet deployment in the IoT-edge-cloud continuum. Softw. Syst. Model. (2022). https:\/\/doi.org\/10.1007\/s10270-022-01006-z","journal-title":"Softw. Syst. Model."},{"key":"1294_CR59","doi-asserted-by":"publisher","unstructured":"Sp\u0103taru, A., Iuhasz, G., Panica, S.: Tufa: A TOSCA extension for the specification of accelerator-aware applications in the cloud continuum. In: 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC), pp. 1178\u20131183 (2022). https:\/\/doi.org\/10.1109\/COMPSAC54236.2022.00185","DOI":"10.1109\/COMPSAC54236.2022.00185"},{"key":"1294_CR60","unstructured":"Srivatsa, K.G., Mukhopadhyay, S., Katrapati, G., Shrivastava, M.: A survey of using large language models for generating infrastructure as code. In: J.\u00a0D.\u00a0Pawar, S.\u00a0Lalitha\u00a0Devi (eds.) Proceedings of the 20th International Conference on Natural Language Processing (ICON), pp. 523\u2013533. NLP Association of India (NLPAI), Goa University, Goa, India (2023). https:\/\/aclanthology.org\/2023.icon-1.48"},{"key":"1294_CR61","volume-title":"Handbook on Ontologies","author":"R Studer","year":"2004","unstructured":"Studer, R., Staab, S.: Handbook on Ontologies, vol. 2. Springer, Berlin (2004)"},{"issue":"2","key":"1294_CR62","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1109\/TSE.2015.2467378","volume":"42","author":"S Vegas","year":"2016","unstructured":"Vegas, S., Apa, C., Juristo, N.: Crossover designs in software engineering experiments: benefits and perils. IEEE Trans. Softw. Eng. 42(2), 120\u2013135 (2016). https:\/\/doi.org\/10.1109\/TSE.2015.2467378","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1294_CR63","doi-asserted-by":"publisher","unstructured":"Weiss, A., Guha, A., Brun, Y.: Tortoise: Interactive system configuration repair. In: 2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 625\u2013636 (2017). https:\/\/doi.org\/10.1109\/ASE.2017.8115673","DOI":"10.1109\/ASE.2017.8115673"},{"key":"1294_CR64","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/j.future.2015.07.017","volume":"56","author":"J Wettinger","year":"2016","unstructured":"Wettinger, J., Breitenb\u00fccher, U., Kopp, O., Leymann, F.: Streamlining DevOps automation for cloud applications using TOSCA as standardized metamodel. Fut. Gener. Comput. Syst. 56, 317\u2013332 (2016). https:\/\/doi.org\/10.1016\/j.future.2015.07.017","journal-title":"Fut. Gener. Comput. Syst."},{"key":"1294_CR65","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2","volume-title":"Experimentation in Software Engineering","author":"C Wohlin","year":"2012","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B., Wessl\u00e9n, A.: Experimentation in Software Engineering. Springer Science & Business Media, Berlin (2012)"},{"key":"1294_CR66","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-030-45989-5_26","volume-title":"Service-Oriented Computing\u2014ICSOC 2019 Workshops","author":"M Wurster","year":"2020","unstructured":"Wurster, M., Breitenb\u00fccher, U., Brogi, A., Falazi, G., Harzenetter, L., Leymann, F., Soldani, J., Yussupov, V.: The EDMM modeling and transformation system. In: Yangui, S., Bouguettaya, A., Xue, X., Faci, N., Gaaloul, W., Yu, Q., Zhou, Z., Hernandez, N., Nakagawa, E.Y. (eds.) Service-Oriented Computing\u2014ICSOC 2019 Workshops, pp. 294\u2013298. Springer International Publishing, Cham (2020)"},{"key":"1294_CR67","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-030-44769-4_8","volume-title":"Service-Oriented and Cloud Computing","author":"M Wurster","year":"2020","unstructured":"Wurster, M., Breitenb\u00fccher, U., Brogi, A., Harzenetter, L., Leymann, F., Soldani, J.: Technology-agnostic declarative deployment automation of cloud applications. In: Brogi, A., Zimmermann, W., Kritikos, K. (eds.) Service-Oriented and Cloud Computing, pp. 97\u2013112. Springer International Publishing, Cham (2020)"},{"issue":"1","key":"1294_CR68","first-page":"63","volume":"35","author":"M Wurster","year":"2020","unstructured":"Wurster, M., Breitenbucher, U., Falkenthal, M., Krieger, C., Leymann, F., Saatkamp, K., Soldani, J.: The essential deployment metamodel: a systematic review of deployment automation technologies. SICS Softw.-Intensive Cyber-Phys. Syst. 35(1), 63\u201375 (2020)","journal-title":"SICS Softw.-Intensive Cyber-Phys. Syst."},{"key":"1294_CR69","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-030-58135-0_12","volume-title":"Advanced Information Systems Engineering","author":"M Wurster","year":"2020","unstructured":"Wurster, M., Breitenb\u00fccher, U., Harzenetter, L., Leymann, F., Soldani, J.: Tosca lightning: an integrated toolchain for transforming TOSCA light into production-ready deployment technologies. In: Herbaut, N., La Rosa, M. (eds.) Advanced Information Systems Engineering, pp. 138\u2013146. Springer International Publishing, Cham (2020)"},{"key":"1294_CR70","doi-asserted-by":"crossref","unstructured":"Wurster, M., Breitenbucher, U., Harzenetter, L., Leymann, F., Soldani, J., Yussupov, V.: TOSCA light: bridging the gap between the TOSCA specification and production-ready deployment technologies. In: CLOSER (2020)","DOI":"10.5220\/0009794302160226"},{"key":"1294_CR71","doi-asserted-by":"crossref","unstructured":"Yanju, R.: Abba counterbalancing. In: The ECPH Encyclopedia of Psychology, pp. 1\u20131. Springer (2025)","DOI":"10.1007\/978-981-97-7874-4_251"},{"key":"1294_CR72","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1016\/j.future.2019.04.015","volume":"99","author":"F Zalila","year":"2019","unstructured":"Zalila, F., Challita, S., Merle, P.: Model-driven cloud resource management with OCCIware. Fut. Gener. Comput. Syst. 99, 260\u2013277 (2019). https:\/\/doi.org\/10.1016\/j.future.2019.04.015","journal-title":"Fut. Gener. Comput. Syst."},{"key":"1294_CR73","doi-asserted-by":"crossref","unstructured":"Zimmermann, M., Breitenb\u00fccher, U., Krieger, C., Leymann, F.: Deployment enforcement rules for TOSCA-based applications. In: Proceedings of The Twelfth International Conference on Emerging Security Information, Systems and Technologies (SECURWARE 2018), pp. 114\u2013121. Xpert Publishing Services (2018)","DOI":"10.5220\/0006332501210131"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-025-01294-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-025-01294-1","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-025-01294-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T12:01:54Z","timestamp":1773748914000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-025-01294-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":73,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2026,4]]}},"alternative-id":["1294"],"URL":"https:\/\/doi.org\/10.1007\/s10270-025-01294-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,6,23]]},"assertion":[{"value":"24 January 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 April 2025","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 April 2025","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 June 2025","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}