{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:48:44Z","timestamp":1742914124900,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031197581"},{"type":"electronic","value":"9783031197598"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-19759-8_20","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T09:07:32Z","timestamp":1666170452000},"page":"318-334","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Ensemble-Based Modeling Abstractions for\u00a0Modern Self-optimizing Systems"],"prefix":"10.1007","author":[{"given":"Michal","family":"T\u00f6pfer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Milad","family":"Abdullah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomas","family":"Bure\u0161","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"Hn\u011btynka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Kruli\u0161","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,17]]},"reference":[{"key":"20_CR1","unstructured":"jRESP: Java Runtime Environment for SCEL Programs. http:\/\/jresp.sourceforge.net\/. Accessed 31 July 2022"},{"key":"20_CR2","unstructured":"Replication package (2022). https:\/\/github.com\/smartarch\/ml-deeco-security-isola"},{"key":"20_CR3","doi-asserted-by":"publisher","unstructured":"Al-Ali, R., et al.: Dynamic security rules for legacy systems. In: Proceedings of ECSA 2019, vol. 2, Paris, France (2019). https:\/\/doi.org\/10.1145\/3344948.3344974","DOI":"10.1145\/3344948.3344974"},{"key":"20_CR4","doi-asserted-by":"publisher","unstructured":"Alrahman, Y.A., De Nicola, R., Loreti, M.: Programming interactions in collective adaptive systems by relying on attribute-based communication. Sci. Comput. Programm. 192 (2020). https:\/\/doi.org\/10.1016\/j.scico.2020.102428","DOI":"10.1016\/j.scico.2020.102428"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-39570-8_1","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"Y Abd Alrahman","year":"2016","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: On the power of attribute-based communication. In: Albert, E., Lanese, I. (eds.) FORTE 2016. LNCS, vol. 9688, pp. 1\u201318. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39570-8_1"},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1007\/978-3-319-47166-2_38","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"Y Abd Alrahman","year":"2016","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: Programming of CAS systems by relying on attribute-based communication. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 539\u2013553. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47166-2_38"},{"issue":"10","key":"20_CR7","doi-asserted-by":"publisher","first-page":"1315","DOI":"10.1109\/TC.2008.26","volume":"57","author":"S Bliudze","year":"2008","unstructured":"Bliudze, S., Sifakis, J.: The algebra of connectors-structuring interaction in BIP. IEEE Trans. Comput. 57(10), 1315\u20131330 (2008). https:\/\/doi.org\/10.1109\/TC.2008.26","journal-title":"IEEE Trans. Comput."},{"key":"20_CR8","doi-asserted-by":"publisher","unstructured":"Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.: DEECO: an ensemble-based component system. In: Proceedings of CBSE 2013, Vancouver, Canada, pp. 81\u201390. ACM (2013). https:\/\/doi.org\/10.1145\/2465449.2465462","DOI":"10.1145\/2465449.2465462"},{"issue":"4","key":"20_CR9","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/s10009-020-00558-z","volume":"22","author":"T Bures","year":"2020","unstructured":"Bures, T., et al.: A language and framework for dynamic component ensembles in smart systems. Int. J. Softw. Tools Technol. Transf. 22(4), 497\u2013509 (2020). https:\/\/doi.org\/10.1007\/s10009-020-00558-z","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"20_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-030-90636-8_2","volume-title":"Formal Aspects of Component Software","author":"S Chehida","year":"2021","unstructured":"Chehida, S., Baouya, A., Bensalem, S.: Component-based approach combining uml and bip for rigorous system design. In: Sala\u00fcn, G., Wijs, A. (eds.) FACS 2021. LNCS, vol. 13077, pp. 27\u201343. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-90636-8_2"},{"key":"20_CR11","doi-asserted-by":"publisher","unstructured":"C\u00e1mara, J., Muccini, H., Vaidhyanathan, K.: Quantitative verification-aided machine learning: a tandem approach for architecting self-adaptive IoT systems. In: Proceedings of ICSA 2021, Salvador, Brazil, pp. 11\u201322. IEEE (2020). https:\/\/doi.org\/10.1109\/ICSA47634.2020.00010","DOI":"10.1109\/ICSA47634.2020.00010"},{"key":"20_CR12","doi-asserted-by":"publisher","unstructured":"De Nicola, R., Duong, T., Loreti, M.: ABEL - a domain specific framework for programming with attribute-based communication. In: Proceedings of COORDINATION 2019, Lyngby, Denmark. LNCS, vol. 11533, pp. 111\u2013128. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-22397-7_7","DOI":"10.1007\/978-3-030-22397-7_7"},{"issue":"4","key":"20_CR13","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/s10009-020-00555-2","volume":"22","author":"R De Nicola","year":"2020","unstructured":"De Nicola, R., Maggi, A., Sifakis, J.: The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications. Int. J. Softw. Tools Technol. Transf. 22(4), 437\u2013455 (2020). https:\/\/doi.org\/10.1007\/s10009-020-00555-2","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"5","key":"20_CR14","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/s10009-020-00596-7","volume":"23","author":"R El Ballouli","year":"2021","unstructured":"El Ballouli, R., Bensalem, S., Bozga, M., Sifakis, J.: Programming dynamic reconfigurable systems. Int. J. Softw. Tools Technol. Transf. 23(5), 701\u2013719 (2021). https:\/\/doi.org\/10.1007\/s10009-020-00596-7","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"4","key":"20_CR15","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/s10009-020-00560-5","volume":"22","author":"T Gabor","year":"2020","unstructured":"Gabor, T., et al.: The scenario coevolution paradigm: adaptive quality assurance for adaptive systems. Int. J. Softw. Tools Technol. Transf. 22(4), 457\u2013476 (2020). https:\/\/doi.org\/10.1007\/s10009-020-00560-5","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"20_CR16","doi-asserted-by":"publisher","unstructured":"Gheibi, O., Weyns, D., Quin, F.: Applying machine learning in self-adaptive systems: a systematic literature review. ACM Trans. Auton. Adapt. Syst. 15(3), 9:1\u20139:37 (2021). https:\/\/doi.org\/10.1145\/3469440","DOI":"10.1145\/3469440"},{"key":"20_CR17","doi-asserted-by":"publisher","unstructured":"Gheibi, O., Weyns, D., Quin, F.: On the Impact of applying machine learning in the decision-making of self-adaptive systems. In: Proceedings of SEAMS 2021, Madrid, Spain, pp. 104\u2013110. IEEE (2021). https:\/\/doi.org\/10.1109\/SEAMS51251.2021.00023","DOI":"10.1109\/SEAMS51251.2021.00023"},{"issue":"2","key":"20_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3463369","volume":"15","author":"J Grohmann","year":"2021","unstructured":"Grohmann, J., et al.: SARDE: a framework for continuous and self-adaptive resource demand estimation. ACM Trans. Auton. Adapt. Syst. 15(2), 1\u201331 (2021). https:\/\/doi.org\/10.1145\/3463369","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"20_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.dss.2015.07.005","volume":"78","author":"B Heinrich","year":"2015","unstructured":"Heinrich, B., Klier, M., Zimmermann, S.: Automated planning of process models: design of a novel approach to construct exclusive choices. Decis. Support Syst. 78, 1\u201314 (2015). https:\/\/doi.org\/10.1016\/j.dss.2015.07.005","journal-title":"Decis. Support Syst."},{"key":"20_CR20","doi-asserted-by":"publisher","unstructured":"Hennicker, R., Klarl, A.: Foundations for ensemble modeling - the helena approach. In: Specification, Algebra, and Software, pp. 359\u2013381. No. 8373 in LNCS, Springer (2014). https:\/\/doi.org\/10.1007\/978-3-642-54624-2_1","DOI":"10.1007\/978-3-642-54624-2_1"},{"key":"20_CR21","doi-asserted-by":"publisher","unstructured":"Hennicker, R., Wirsing, M.: A dynamic logic for systems with predicate-based communication. In: Proceedings of ISOLA 2020, Rhodes, Greece. LNCS, vol. 12477, pp. 224\u2013242. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-61470-6_14","DOI":"10.1007\/978-3-030-61470-6_14"},{"issue":"7","key":"20_CR22","doi-asserted-by":"publisher","first-page":"881","DOI":"10.1109\/TPAMI.2002.1017616","volume":"24","author":"T Kanungo","year":"2002","unstructured":"Kanungo, T., Mount, D., Netanyahu, N., Piatko, C., Silverman, R., Wu, A.: An efficient k-means clustering algorithm: analysis and implementation. IEEE Trans. Pattern Anal. Mach. Intell. 24(7), 881\u2013892 (2002). https:\/\/doi.org\/10.1109\/TPAMI.2002.1017616","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"key":"20_CR23","doi-asserted-by":"publisher","unstructured":"Muccini, H., Vaidhyanathan, K.: A machine learning-driven approach for proactive decision making in adaptive architectures. In: Companion Proceedings of ICSA 2019, Hamburg, Germany, pp. 242\u2013245 (2019). https:\/\/doi.org\/10.1109\/ICSA-C.2019.00050","DOI":"10.1109\/ICSA-C.2019.00050"},{"key":"20_CR24","doi-asserted-by":"publisher","unstructured":"Nicola, R.D., et al.: The SCEL language: design, implementation, verification. In: Software Engineering for Collective Autonomic Systems, pp. 3\u201371. No. 8998 in LNCS, Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-16310-9_1","DOI":"10.1007\/978-3-319-16310-9_1"},{"key":"20_CR25","doi-asserted-by":"publisher","unstructured":"Palm, A., Metzger, A., Pohl, K.: Online reinforcement learning for self-adaptive information systems. In: Proceedings of CAiSE 2020, Grenoble, France. LNCS, vol. 12127, pp. 169\u2013184. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-49435-3_11","DOI":"10.1007\/978-3-030-49435-3_11"},{"key":"20_CR26","doi-asserted-by":"publisher","first-page":"205948","DOI":"10.1109\/ACCESS.2020.3036037","volume":"8","author":"TRD Saputri","year":"2020","unstructured":"Saputri, T.R.D., Lee, S.W.: The application of machine learning in self-adaptive systems: a systematic literature review. IEEE Access 8, 205948\u2013205967 (2020). https:\/\/doi.org\/10.1109\/ACCESS.2020.3036037","journal-title":"IEEE Access"},{"key":"20_CR27","doi-asserted-by":"publisher","unstructured":"Van Der Donckt, J., Weyns, D., Iftikhar, M.U., Buttar, S.S.: Effective decision making in self-adaptive systems using cost-benefit analysis at runtime and online learning of adaptation spaces. In: Evaluation of Novel Approaches to Software Engineering, LNCS, vol. 1023, pp. 373\u2013403. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-22559-9_17","DOI":"10.1007\/978-3-030-22559-9_17"},{"key":"20_CR28","doi-asserted-by":"publisher","unstructured":"Van Der Donckt, J., Weyns, D., Quin, F., Van Der Donckt, J., Michiels, S.: Applying deep learning to reduce large adaptation spaces of self-adaptive systems with multiple types of goals. In: Proceedings of SEAMS 2020, Seoul, South Korea, pp. 20\u201330. ACM (2020). https:\/\/doi.org\/10.1145\/3387939.3391605","DOI":"10.1145\/3387939.3391605"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-19759-8_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T23:21:26Z","timestamp":1666221686000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19759-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031197581","9783031197598"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19759-8_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"17 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}