{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T06:27:34Z","timestamp":1770272854686,"version":"3.49.0"},"reference-count":54,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2018,3,31]],"date-time":"2018-03-31T00:00:00Z","timestamp":1522454400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Auton. Adapt. Syst."],"published-print":{"date-parts":[[2018,3,31]]},"abstract":"<jats:p>Self-adaptive software systems monitor their operation and adapt when their requirements fail due to unexpected phenomena in their environment. This article examines the case where the environment changes dynamically over time and the chosen adaptation has to take into account such changes. In control theory, this type of adaptation is known as Model Predictive Control and comes with a well-developed theory and myriad successful applications. The article focuses on modeling the dynamic relationship between requirements and possible adaptations. It then proposes a controller that exploits this relationship to optimize the satisfaction of requirements relative to a cost function. This is accomplished through a model-based framework for designing self-adaptive software systems that can guarantee a certain level of requirements satisfaction over time by dynamically composing adaptation strategies when necessary. The proposed framework is illustrated and evaluated through two simulated systems, namely, the Meeting-Scheduling exemplar and an E-Shop.<\/jats:p>","DOI":"10.1145\/3105748","type":"journal-article","created":{"date-parts":[[2018,4,16]],"date-time":"2018-04-16T12:27:57Z","timestamp":1523881677000},"page":"1-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":33,"title":["Engineering Self-Adaptive Software Systems"],"prefix":"10.1145","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9805-0131","authenticated-orcid":false,"given":"Konstantinos","family":"Angelopoulos","sequence":"first","affiliation":[{"name":"University of Brighton, UK"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1364-8127","authenticated-orcid":false,"given":"Alessandro V.","family":"Papadopoulos","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, Sweden"}]},{"given":"V\u00edtor E. Silva","family":"Souza","sequence":"additional","affiliation":[{"name":"Federal University of Esp\u00edrito Santo, Brazil"}]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[{"name":"University of Ottawa, Canada"}]}],"member":"320","published-online":{"date-parts":[[2018,4,16]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.64"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-8407-5"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804337.2804340"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897053.2897054"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593929.2593936"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25264-3_28"},{"key":"e_1_2_1_7_1","volume-title":"Murray","author":"\u00c5str\u00f6m Karl Johan","year":"2010","unstructured":"Karl Johan \u00c5str\u00f6m and Richard M . Murray . 2010 . Feedback Systems : An Introduction for Scientists and Engineers. Princeton University Press . Karl Johan \u00c5str\u00f6m and Richard M. Murray. 2010. Feedback Systems: An Introduction for Scientists and Engineers. Princeton University Press."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_3"},{"key":"e_1_2_1_9_1","volume-title":"Camacho and Carlos Bordons","author":"Eduardo","year":"2004","unstructured":"Eduardo F. Camacho and Carlos Bordons . 2004 . Model Predictive Control. Springer London . Eduardo F. Camacho and Carlos Bordons. 2004. Model Predictive Control. Springer London."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2695664.2695680"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.12.033"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1137677.1137679"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(93)90021-G"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100064"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568272"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786833"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3024188"},{"key":"e_1_2_1_18_1","unstructured":"Wladyslaw Findeisen Frederic N. Bailey M. Brdys Krzysztof Malinowski Piotr Tatjewski and A. Wozniak. 1980. Control and coordination in hierarchical systems. John Wiley 8 Sons.  Wladyslaw Findeisen Frederic N. Bailey M. Brdys Krzysztof Malinowski Piotr Tatjewski and A. Wozniak. 1980. Control and coordination in hierarchical systems. John Wiley 8 Sons."},{"key":"e_1_2_1_19_1","first-page":"2","article-title":"Predictive control for energy-aware consolidation in cloud datacenters","volume":"24","author":"Gaggero Mauro","year":"2016","unstructured":"Mauro Gaggero and Luca Caviglione . 2016 . Predictive control for energy-aware consolidation in cloud datacenters . IEEE Transactions on Control Systems Technology 24 , 2 (Mar. 2016), 461--474. Mauro Gaggero and Luca Caviglione. 2016. Predictive control for energy-aware consolidation in cloud datacenters. IEEE Transactions on Control Systems Technology 24, 2 (Mar. 2016), 461--474.","journal-title":"IEEE Transactions on Control Systems Technology"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2014.21"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.3182\/20140824-6-ZA-1003.00295"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2013.2271791"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2013.2271791"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/AQTR.2016.7501356"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2351991"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.03.010"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.605933"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2014.14"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(96)00063-5"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10586-008-0070-y"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCGRID.2017.71"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1041685.1029905"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2014.6912271"},{"key":"e_1_2_1_35_1","volume-title":"2000 IEEE International Conference on Systems, Man, and Cybernetics","volume":"5","author":"Liu Wei","year":"2000","unstructured":"Wei Liu and George Wang . 2000 . Auto-tuning procedure for model-based predictive controller . In 2000 IEEE International Conference on Systems, Man, and Cybernetics , Vol. 5 . 3421--3426. Wei Liu and George Wang. 2000. Auto-tuning procedure for model-based predictive controller. In 2000 IEEE International Conference on Systems, Man, and Cybernetics, Vol. 5. 3421--3426."},{"key":"e_1_2_1_36_1","volume-title":"System Identification: Theory for the User","author":"Ljung Lennart","year":"1999","unstructured":"Lennart Ljung . 1999 . System Identification: Theory for the User . Prentice Hall PTR , Upper Saddle River, NJ. Lennart Ljung. 1999. System Identification: Theory for the User. Prentice Hall PTR, Upper Saddle River, NJ."},{"key":"e_1_2_1_37_1","volume-title":"2010 29th Chinese Control Conference (CCC\u201910)","author":"Ljung Lennart","year":"2010","unstructured":"Lennart Ljung . 2010 . Approaches to identification of nonlinear systems . In 2010 29th Chinese Control Conference (CCC\u201910) . 1--5. Lennart Ljung. 2010. Approaches to identification of nonlinear systems. In 2010 29th Chinese Control Conference (CCC\u201910). 1--5."},{"key":"e_1_2_1_38_1","volume-title":"Predictive Control: With Constraints","author":"Maciejowski Jan M.","year":"2002","unstructured":"Jan M. Maciejowski . 2002 . Predictive Control: With Constraints . Prentice Hall . Jan M. Maciejowski. 2002. Predictive Control: With Constraints. Prentice Hall."},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382570.2382572"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2017.2"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786853"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1080\/13873954.2014.942785"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(02)00186-7"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2011.42"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950301"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00450-012-0232-2"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/2075144.2075179"},{"key":"e_1_2_1_48_1","doi-asserted-by":"crossref","unstructured":"V\u00edtor E. Silva Souza Alexei Lapouchnian and John Mylopoulos. 2012. Requirements-driven qualitative adaptation. In On the Move to Meaningful Internet Systems (OTM\u201912) Robert Meersman Herv\u00e9 Panetto Tharam Dillon Stefanie Rinderle-Ma Peter Dadam Xiaofang Zhou Siani Pearson Alois Ferscha Sonia Bergamaschi and Isabel F. Cruz (Eds.). Lecture Notes in Computer Science Vol. 7565. Springer Berlin 342--361.  V\u00edtor E. Silva Souza Alexei Lapouchnian and John Mylopoulos. 2012. Requirements-driven qualitative adaptation. In On the Move to Meaningful Internet Systems (OTM\u201912) Robert Meersman Herv\u00e9 Panetto Tharam Dillon Stefanie Rinderle-Ma Peter Dadam Xiaofang Zhou Siani Pearson Alois Ferscha Sonia Bergamaschi and Isabel F. Cruz (Eds.). Lecture Notes in Computer Science Vol. 7565. Springer Berlin 342--361.","DOI":"10.1007\/978-3-642-33606-5_21"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988008.1988018"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774180"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.3182\/20140824-6-ZA-1003.01494"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2009.2017934"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.11.019"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593929.2593935"}],"container-title":["ACM Transactions on Autonomous and Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3105748","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3105748","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:38Z","timestamp":1750217438000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3105748"}},"subtitle":["From Requirements to Model Predictive Control"],"short-title":[],"issued":{"date-parts":[[2018,3,31]]},"references-count":54,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,3,31]]}},"alternative-id":["10.1145\/3105748"],"URL":"https:\/\/doi.org\/10.1145\/3105748","relation":{},"ISSN":["1556-4665","1556-4703"],"issn-type":[{"value":"1556-4665","type":"print"},{"value":"1556-4703","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3,31]]},"assertion":[{"value":"2016-10-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-05-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-04-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}