{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T05:59:01Z","timestamp":1759730341119,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,12,4]],"date-time":"2023-12-04T00:00:00Z","timestamp":1701648000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Bundesministerium f\u00fcr Wirtschaft und Klimaschutz","award":["19S21002"],"award-info":[{"award-number":["19S21002"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,12,4]]},"DOI":"10.1145\/3603166.3632143","type":"proceedings-article","created":{"date-parts":[[2024,4,4]],"date-time":"2024-04-04T19:23:27Z","timestamp":1712258607000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Enhancing Deployment Variability Management by Pruning Elements in Deployment Models"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1538-5516","authenticated-orcid":false,"given":"Miles","family":"St\u00f6tzner","sequence":"first","affiliation":[{"name":"University of Stuttgart, Stuttgart, DE"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4760-5889","authenticated-orcid":false,"given":"Floriment","family":"Klinaku","sequence":"additional","affiliation":[{"name":"University of Stuttgart, Stuttgart, DE"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5980-9395","authenticated-orcid":false,"given":"Robin Dominic","family":"Pesl","sequence":"additional","affiliation":[{"name":"University of Stuttgart, Stuttgart, DE"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4532-1460","authenticated-orcid":false,"given":"Steffen","family":"Becker","sequence":"additional","affiliation":[{"name":"University of Stuttgart, Stuttgart, DE"}]}],"member":"320","published-online":{"date-parts":[[2024,4,4]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/3001867.3001870"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1007\/s10664-017-9499-z"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the 25th IEEE\/ACM International Conference on Automated Software Engineering (ASE '10)","author":"Boucher Quentin","year":"2010","unstructured":"Quentin Boucher, Andreas Classen, Patrick Heymans, Arnaud Bourdoux, and Laurent Demonceau. 2010. Tag and Prune: A Pragmatic Approach to Software Product Line Implementation. In Proceedings of the 25th IEEE\/ACM International Conference on Automated Software Engineering (ASE '10). ACM, 333--336."},{"key":"e_1_3_2_1_4_1","volume-title":"GCSE 2001 Young Researchers Workshop. Springer.","author":"Clau\u00df Matthias","year":"2001","unstructured":"Matthias Clau\u00df and Intershop Jena. 2001. Modeling variability with UML. In GCSE 2001 Young Researchers Workshop. Springer."},{"volume-title":"Generative Programming and Component Engineering","author":"Czarnecki Krzysztof","unstructured":"Krzysztof Czarnecki and Micha\u0142 Antkiewicz. 2005. Mapping Features to Models: A Template Approach Based on Superimposed Variants. In Generative Programming and Component Engineering. Springer, Berlin, Heidelberg, 422--437.","key":"e_1_3_2_1_5_1"},{"volume-title":"Software Fault Tree Analysis for Product Lines. In Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. 12--21","author":"Dehlinger Josh","unstructured":"Josh Dehlinger and Robyn R. Lutz. 2004. Software Fault Tree Analysis for Product Lines. In Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. 12--21.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 2007 International Conference on Software Engineering Research & Practice, SERP. CSREA Press, 269--275","author":"Dobrica Liliana","year":"2007","unstructured":"Liliana Dobrica and Eila Niemel\u00e4. 2007. Modeling Variability in the Software Product Line Architecture of Distributed Services. In Proceedings of the 2007 International Conference on Software Engineering Research & Practice, SERP. CSREA Press, 269--275."},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the Third International Conference on Software and Data Technologies. SciTePress.","author":"Dobrica Liliana","year":"2008","unstructured":"Liliana Dobrica and Eila Niemel\u00e4. 2008. A UML-Based Variability Specification For Product Line Architecture Views. In Proceedings of the Third International Conference on Software and Data Technologies. SciTePress."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1002\/spe.530"},{"key":"e_1_3_2_1_10_1","first-page":"5","article-title":"Automated analysis of feature models: Quo vadis","volume":"101","author":"Galindo Jos\u00e9 A.","year":"2018","unstructured":"Jos\u00e9 A. Galindo, David Benavides, Pablo Trinidad, Antonio-Manuel Guti\u00e9rrez-Fern\u00e1ndez, and Antonio Ruiz-Cort\u00e9s. 2018. Automated analysis of feature models: Quo vadis? Computing 101, 5 (Aug. 2018), 387--433.","journal-title":"Computing"},{"key":"e_1_3_2_1_11_1","volume-title":"Expressing Feature-Based Variability in Structural Models. In In Workshop on Managing Variability for Software Product Lines.","author":"Groher Iris","year":"2007","unstructured":"Iris Groher and Markus Voelter. 2007. Expressing Feature-Based Variability in Structural Models. In In Workshop on Managing Variability for Software Product Lines."},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the Twelfth International Conference on Pervasive Patterns and Applications (PATTERNS","author":"Harzenetter Lukas","year":"2020","unstructured":"Lukas Harzenetter, Uwe Breitenb\u00fccher, Michael Falkenthal, Jasmin Guth, and Frank Leymann. 2020. Pattern-based Deployment Models Revisited: Automated Pattern-driven Deployment Configuration. In Proceedings of the Twelfth International Conference on Pervasive Patterns and Applications (PATTERNS 2020). Xpert Publishing Services, 40--49."},{"key":"e_1_3_2_1_13_1","first-page":"2374","article-title":"Systematic Management of Variability in UML-based Software Product Lines","volume":"16","author":"Oliveira Junior Edson A","year":"2010","unstructured":"Edson A Oliveira Junior, Itana Maria de Souza Gimenes, and Jos\u00e9 Carlos Maldonado. 2010. Systematic Management of Variability in UML-based Software Product Lines. J. Univers. Comput. Sci. 16, 17 (2010), 2374--2393.","journal-title":"J. Univers. Comput. Sci."},{"volume-title":"Dynamic Automated Selection and Deployment of Software Components within a Heterogeneous Multi-Platform Environment. Master's thesis","author":"Knape Sander","unstructured":"Sander Knape. 2015. Dynamic Automated Selection and Deployment of Software Components within a Heterogeneous Multi-Platform Environment. Master's thesis. Utrecht University.","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","volume-title":"18th International Workshop on Database and Expert Systems Applications (DEXA","author":"Korherr Birgit","year":"2007","unstructured":"Birgit Korherr and Beate List. 2007. A UML 2 Profile for Variability Models and their Dependency to Business Processes. In 18th International Workshop on Database and Expert Systems Applications (DEXA 2007). 829--834."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 27th ACM International Systems and Software Product Line Conference -","volume":"140","author":"Krieter Sebastian","year":"2023","unstructured":"Sebastian Krieter, Jacob Kr\u00fcger, Thomas Leich, and Gunter Saake. 2023. VariantInc: Automatically Pruning and Integrating Versioned Software Variants. In Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A (Tokyo, Japan) (SPLC '23). ACM, 129--140."},{"volume-title":"A Method and Implementation to Define and Provision Variable Composite Applications, and its Usage in Cloud Computing. Ph. D. Dissertation","author":"Mietzner Ralph","unstructured":"Ralph Mietzner. 2010. A Method and Implementation to Define and Provision Variable Composite Applications, and its Usage in Cloud Computing. Ph. D. Dissertation. University of Stuttgart.","key":"e_1_3_2_1_18_1"},{"volume-title":"TOSCA Simple Profile in YAML Version 1.3","author":"OASIS.","unstructured":"OASIS. 2020. TOSCA Simple Profile in YAML Version 1.3. Organization for the Advancement of Structured Information Standards (OASIS).","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the 2003 Conference on Human Factors in Computer Systems workshop.","author":"Oppenheimer David","year":"2003","unstructured":"David Oppenheimer. 2003. The importance of understanding distributed system configuration. In Proceedings of the 2003 Conference on Human Factors in Computer Systems workshop."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.5555\/1251460.1251461"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/2305484.2305491"},{"volume-title":"Software Product Line Engineering","author":"Pohl Klaus","unstructured":"Klaus Pohl, G\u00fcnter B\u00f6ckle, and Frank van der Linden. 2005. Software Product Line Engineering. Springer Berlin Heidelberg.","key":"e_1_3_2_1_23_1"},{"volume-title":"Software Product Lines","author":"Pohl Klaus","unstructured":"Klaus Pohl and Andreas Metzger. 2018. Software Product Lines. Springer International Publishing, Cham, 185--201.","key":"e_1_3_2_1_24_1"},{"key":"e_1_3_2_1_25_1","volume-title":"Automated Selection and Configuration of Cloud Environments Using Software Product Lines Principles. In 7th International Conference on Cloud Computing. IEEE.","author":"Quinton Cl\u00e9ment","year":"2014","unstructured":"Cl\u00e9ment Quinton, Daniel Romero, and Laurence Duchien. 2014. Automated Selection and Configuration of Cloud Environments Using Software Product Lines Principles. In 7th International Conference on Cloud Computing. IEEE."},{"doi-asserted-by":"crossref","unstructured":"Jacopo Soldani et al. 2022. Tailoring Technology-Agnostic Deployment Models to Production-Ready Deployment Technologies. In Cloud Computing and Services Science. Springer.","key":"e_1_3_2_1_26_1","DOI":"10.1007\/978-3-031-21637-4_1"},{"key":"e_1_3_2_1_27_1","article-title":"ToscaMart: A method for adapting and reusing cloud applications","author":"Soldani Jacopo","year":"2015","unstructured":"Jacopo Soldani, Tobias Binz, Uwe Breitenb\u00fccher, Frank Leymann, and Antonio Brogi. 2015. ToscaMart: A method for adapting and reusing cloud applications. Journal of Systems and Software 113 (Dec. 2015), 395--406.","journal-title":"Journal of Systems and Software 113"},{"key":"e_1_3_2_1_28_1","volume-title":"Automated Setup of Multi-cloud Environments for Microservices Applications. In 2016 IEEE 9th International Conference on Cloud Computing (CLOUD). IEEE, 327--334","author":"Sousa Gustavo","year":"2016","unstructured":"Gustavo Sousa, Walter Rudametkin, and Laurence Duchien. 2016. Automated Setup of Multi-cloud Environments for Microservices Applications. In 2016 IEEE 9th International Conference on Cloud Computing (CLOUD). IEEE, 327--334."},{"key":"e_1_3_2_1_29_1","first-page":"10","article-title":"Modeling Different Deployment Variants of a Composite Application in a Single Declarative Deployment Model","volume":"15","author":"St\u00f6tzner Miles","year":"2022","unstructured":"Miles St\u00f6tzner, Steffen Becker, Uwe Breitenb\u00fccher, K\u00e9pes K\u00e1lm\u00e1n, and Frank Leymann. 2022. Modeling Different Deployment Variants of a Composite Application in a Single Declarative Deployment Model. Algorithms 15, 10 (Oct. 2022).","journal-title":"Algorithms"},{"volume-title":"Cooperative Information Systems","author":"St\u00f6tzner Miles","unstructured":"Miles St\u00f6tzner, Uwe Breitenb\u00fccher, Robin D. Pesl, and Steffen Becker. 2023. Managing the Variability of Component Implementations and Their Deployment Configurations Across Heterogeneous Deployment Technologies. In Cooperative Information Systems. Springer Nature Switzerland, 61--78.","key":"e_1_3_2_1_30_1"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1016\/j.jss.2009.10.011","article-title":"Modeling and managing the variability of Web service-based systems","volume":"83","author":"Rossing Rowan","year":"2010","unstructured":"Chang-ai Sun, Rowan Rossing, Marco Sinnema, Pavel Bulanov, and Marco Aiello. 2010. Modeling and managing the variability of Web service-based systems. Journal of Systems and Software 83, 3 (2010), 502--516.","journal-title":"Journal of Systems and Software"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_32_1","DOI":"10.1145\/2934466.2934472"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_33_1","DOI":"10.5555\/1308171.1308205"},{"key":"e_1_3_2_1_34_1","volume-title":"Presence-Condition Simplification in Highly Configurable Systems. In 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering","volume":"1","author":"Rhein Alexander Von","year":"2015","unstructured":"Alexander Von Rhein, Alexander Grebhahn, Sven Apel, Norbert Siegmund, Dirk Beyer, and Thorsten Berger. 2015. Presence-Condition Simplification in Highly Configurable Systems. In 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering, Vol. 1. IEEE, 178--188."},{"volume-title":"Automatic Generation of Program Families by Model Restrictions","author":"W\u0119sowski Andrzej","unstructured":"Andrzej W\u0119sowski. 2004. Automatic Generation of Program Families by Model Restrictions. In Software Product Lines, Robert L. Nord (Ed.). Springer, 73--89.","key":"e_1_3_2_1_35_1"},{"volume-title":"The EDMM Modeling and Transformation System. In Service-Oriented Computing - ICSOC 2019 Workshops. Springer.","author":"Michael","unstructured":"Michael Wurster et al. 2019. The EDMM Modeling and Transformation System. In Service-Oriented Computing - ICSOC 2019 Workshops. Springer.","key":"e_1_3_2_1_36_1"},{"doi-asserted-by":"crossref","unstructured":"Michael Wurster et al. 2019. The Essential Deployment Metamodel: A Systematic Review of Deployment Automation Technologies. SICS Software-Intensive Cyber-Physical Systems 35 (Aug. 2019) 63--75.","key":"e_1_3_2_1_37_1","DOI":"10.1007\/s00450-019-00412-x"},{"volume-title":"Proceedings of the 11th International Conference on Cloud Computing and Services Science. SciTePress.","author":"Michael","unstructured":"Michael Wurster et al. 2021. Automating the Deployment of Distributed Applications by Combining Multiple Deployment Technologies. In Proceedings of the 11th International Conference on Cloud Computing and Services Science. SciTePress.","key":"e_1_3_2_1_38_1"},{"volume-title":"Software Product-Family Engineering","author":"Ziadi Tewfik","unstructured":"Tewfik Ziadi, Lo\u00efc H\u00e9lou\u00ebt, and Jean-Marc J\u00e9z\u00e9quel. 2004. Towards a UML Profile for Software Product Lines. In Software Product-Family Engineering. Springer.","key":"e_1_3_2_1_39_1"}],"event":{"sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture","IEEE TCSC"],"acronym":"UCC '23","name":"UCC '23: IEEE\/ACM 16th International Conference on Utility and Cloud Computing","location":"Taormina (Messina) Italy"},"container-title":["Proceedings of the IEEE\/ACM 16th International Conference on Utility and Cloud Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3603166.3632143","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3603166.3632143","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:49:09Z","timestamp":1750286949000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3603166.3632143"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,4]]},"references-count":38,"alternative-id":["10.1145\/3603166.3632143","10.1145\/3603166"],"URL":"https:\/\/doi.org\/10.1145\/3603166.3632143","relation":{},"subject":[],"published":{"date-parts":[[2023,12,4]]},"assertion":[{"value":"2024-04-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}