{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T21:14:01Z","timestamp":1792185241621,"version":"4.4.0"},"reference-count":77,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2023,11,14]],"date-time":"2023-11-14T00:00:00Z","timestamp":1699920000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,11,14]],"date-time":"2023-11-14T00:00:00Z","timestamp":1699920000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100005722","name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005722","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2023,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>An adaptive system is able to adapt at runtime to dynamically changing environments and to new requirements. Adaptive systems can be single adaptive entities or collective ones that consist of several collaborating entities. Rigorous engineering requires appropriate methods and tools that help guaranteeing that an adaptive system lives up to its intended purpose. This paper introduces the special section on \u201cRigorous Engineering of Collective Adaptive Systems.\u201d It presents the 11\u00a0contributions of the section categorizing them into five distinct research lines: correctness by design and synthesis, computing with bio-inspired communication, new system models, machine learning, and programming and analyzing ensembles.<\/jats:p>","DOI":"10.1007\/s10009-023-00734-x","type":"journal-article","created":{"date-parts":[[2023,11,14]],"date-time":"2023-11-14T12:02:01Z","timestamp":1699963321000},"page":"617-624","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Rigorous engineering of collective adaptive systems \u2013 2nd special section"],"prefix":"10.1007","volume":"25","author":[{"given":"Martin","family":"Wirsing","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefan","family":"J\u00e4hnichen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rocco","family":"De Nicola","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,11,14]]},"reference":[{"issue":"2","key":"734_CR1","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/s10458-021-09521-x","volume":"35","author":"Y. Abd Alrahman","year":"2021","unstructured":"Abd Alrahman, Y., Piterman, N.: Modelling and verification of reconfigurable multi-agent systems. Auton. Agents Multi-Agent Syst. 35(2), 47 (2021)","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"734_CR2","first-page":"373","volume-title":"[58]","author":"Y. Abd Alrahman","year":"2022","unstructured":"Abd Alrahman, Y., Azzopardi, S., Piterman, N.: Model checking reconfigurable interacting systems. In: [58], pp.\u00a0373\u2013389 (2022)"},{"key":"734_CR3","doi-asserted-by":"crossref","unstructured":"Abd Alrahman, Y., Azzopardi, S., Stefano, L.D., Piterman, N.: Language support for verifying reconfigurable interacting systems. Int. J. Softw. Tools Technol. Transf. This issue. (2023)","DOI":"10.1007\/s10009-023-00729-8"},{"key":"734_CR4","doi-asserted-by":"crossref","unstructured":"Alrahman, Y.A., De Nicola, R., Loreti, M.: A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268 (2019)","DOI":"10.1016\/j.ic.2019.104457"},{"key":"734_CR5","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"WADT 2002, Revised Selected Papers","author":"L.F. Andrade","year":"2002","unstructured":"Andrade, L.F., Baldan, P., Baumeister, H., Bruni, R., Corradini, A., De Nicola, R., Fiadeiro, J.L., Gadducci, F., Gnesi, S., et al.: AGILE: software architecture for mobility. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2002, Revised Selected Papers. Lecture Notes in Computer Science, vol.\u00a02755, pp.\u00a01\u201333. Springer, Berlin (2002)"},{"key":"734_CR6","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2022.102841","volume":"221","author":"D. Basile","year":"2022","unstructured":"Basile, D., ter Beek, M.H.: Contract automata library. Sci. Comput. Program. 221, 102841 (2022)","journal-title":"Sci. Comput. Program."},{"key":"734_CR7","first-page":"142","volume-title":"[58]","author":"D. Basile","year":"2022","unstructured":"Basile, D., ter Beek, M.H., Ciancia, V.: An experimental toolchain for strategy synthesis with spatial properties. In: [58], pp.\u00a0142\u2013164 (2022)"},{"key":"734_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/978-3-030-17462-0_16","volume-title":"TACAS 2019, Proceedings, Part I","author":"G. Belmonte","year":"2019","unstructured":"Belmonte, G., Ciancia, V., Latella, D., Voxlogica, M.M.: A spatial model checker for declarative image analysis. In: Vojnar, T., Zhang, L. (eds.) TACAS 2019, Proceedings, Part I. Lecture Notes in Computer Science, vol.\u00a011427, pp.\u00a0281\u2013298. Springer, Berlin (2019)"},{"key":"734_CR9","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-319-46508-1_10","volume":"1","author":"L. Belzner","year":"2016","unstructured":"Belzner, L., H\u00f6lzl, M.M., Koch, N., Wirsing, M.: Collective autonomic systems: towards engineering principles and their foundations. LNCS Trans. Found. Mastering Chang. 1, 180\u2013200 (2016)","journal-title":"LNCS Trans. Found. Mastering Chang."},{"key":"734_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"AISoLA 2023","author":"L. Belzner","year":"2023","unstructured":"Belzner, L., Gabor, T., Wirsing, M.: Large language model assisted software engineering: prospects, challenges, and a case study. In: AISoLA 2023. Lecture Notes in Computer Science, vol.\u00a014380. Springer, Berlin (2023)"},{"key":"734_CR11","first-page":"110","volume-title":"7th Workshop on Enabling Technologies (WETICE\u201998)","author":"L. Bettini","year":"1998","unstructured":"Bettini, L., De Nicola, R., Pugliese, R., Ferrari, G.: Interactive mobile agents in X-Klaim. In: 7th Workshop on Enabling Technologies (WETICE\u201998), pp.\u00a0110\u2013117. IEEE Comput. Soc., Los Alamitos (1998)"},{"key":"734_CR12","first-page":"179","volume-title":"[64]","author":"L. Bettini","year":"2004","unstructured":"Bettini, L., Nicola, R.D., Falassi, D., Lacoste, M., Lopes, L.M.B., Oliveira, L., Paulino, H., Vasconcelos, V.T.: A software framework for rapid prototyping of run-time systems for mobile calculi. In: Priami, C., Quaglia, P. (eds.) [64], pp.\u00a0179\u2013207 (2004)"},{"key":"734_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-030-21485-2_8","volume-title":"Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday","author":"L. Bettini","year":"2019","unstructured":"Bettini, L., Merelli, E., Tiezzi, F.: X-Klaim is back. In: Boreale, M., Corradini, F., Loreti, M., Pugliese, R. (eds.) Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, vol.\u00a011665, pp.\u00a0115\u2013135. Springer, Berlin (2019)"},{"key":"734_CR14","first-page":"361","volume-title":"[57]","author":"L. Bettini","year":"2020","unstructured":"Bettini, L., Bourr, K., Pugliese, R., Tiezzi, F.: Writing robotics applications with X-Klaim. In: [57], pp.\u00a0361\u2013379 (2020)"},{"key":"734_CR15","first-page":"283","volume-title":"[58]","author":"L. Bettini","year":"2022","unstructured":"Bettini, L., Bourr, K., Pugliese, R., Tiezzi, F.: Programming multi-robot systems with X-KLAIM. In: [58], pp.\u00a0283\u2013300 (2022)"},{"key":"734_CR16","doi-asserted-by":"crossref","unstructured":"Bettini, L., Bourr, K., Pugliese, R., Tiezzi, F.: Coordinating and programming multiple ROS-based robots with X-KLAIM. Int. J. Softw. Tools Technol. Transf. This issue. (2023)","DOI":"10.1007\/s10009-023-00727-w"},{"issue":"13","key":"734_CR17","doi-asserted-by":"publisher","first-page":"4786","DOI":"10.1073\/pnas.1118633109","volume":"109","author":"W. Bialek","year":"2012","unstructured":"Bialek, W., Cavagna, A., Giardina, I., Mora, T., Silvestri, E., Viale, M., Walczak, A.M.: Statistical mechanics for natural flocks of birds. Proc. Natl. Acad. Sci. 109(13), 4786\u20134791 (2012)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"734_CR18","volume-title":"1st FoCAS Workshop on Fundamentals of Collective Adaptive Systems","author":"L. Bortolussi","year":"2013","unstructured":"Bortolussi, L., De Nicola, R., Gast, N., Gilmore, S., Hillston, J., Massink, M., Tribastone, M.: A quantitative approach to the design and analysis of collective adaptive systems. In: 1st FoCAS Workshop on Fundamentals of Collective Adaptive Systems (2013)"},{"issue":"5","key":"734_CR19","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/j.peva.2013.01.001","volume":"70","author":"L. Bortolussi","year":"2013","unstructured":"Bortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective system behaviour: a tutorial. Perform. Eval. 70(5), 317\u2013349 (2013)","journal-title":"Perform. Eval."},{"key":"734_CR20","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/QEST.2007.8","volume-title":"Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007)","author":"J.L. Boudec","year":"2007","unstructured":"Boudec, J.L., McDonald, D.D., Mundinger, J.: A generic mean field convergence result for systems of interacting objects. In: Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17\u201319 September 2007, pp.\u00a03\u201318. IEEE Computer Society, Edinburgh, Scotland, UK (2007)"},{"key":"734_CR21","first-page":"13","volume-title":"[58]","author":"M. Bozga","year":"2022","unstructured":"Bozga, M., Sifakis, J.: Correct by design coordination of autonomous driving systems. In: [58], pp.\u00a013\u201329 (2022)"},{"key":"734_CR22","doi-asserted-by":"crossref","unstructured":"Bozga, M., Sifakis, J.: Correct by design coordination of autonomous driving systems. Int. J. Softw. Tools Technol. Transf. This issue. (2023)","DOI":"10.1007\/s10009-023-00723-0"},{"key":"734_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/978-3-642-54848-2_3","volume-title":"From Programs to Systems. The Systems Perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis. Proceedings","author":"M. Broy","year":"2014","unstructured":"Broy, M.: A model of dynamic systems. In: Bensalem, S., Lakhnech, Y., Legay, A. (eds.) From Programs to Systems. The Systems Perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis. Proceedings, Grenoble, France, April 6, 2014. Lecture Notes in Computer Science, vol.\u00a08415, pp.\u00a039\u201353. Springer, Berlin (2014)"},{"key":"734_CR24","doi-asserted-by":"crossref","unstructured":"Bucchiarone, A., Dulay, N., Lavygina, A., Marconi, A., Raik, H., Russo, A.: An approach for collective adaptation in socio-technical systems. SASO Workshops, 43\u201348 (2015)","DOI":"10.1109\/SASOW.2015.12"},{"key":"734_CR25","first-page":"71","volume-title":"7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, SASOW, 2013","author":"T. Bures","year":"2013","unstructured":"Bures, T., De Nicola, R., Gerostathopoulos, I., Hoch, N., Kit, M., Koch, N., Monreale, G.V., Montanari, U., Pugliese, R., Serbedzija, N.B., Wirsing, M., Zambonelli, F.: A life cycle for the development of autonomic systems: the e-mobility showcase. In: 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, SASOW, 2013, Philadelphia, PA, USA, September 9\u201313, 2013, pp.\u00a071\u201376. IEEE Comput. Soc., Los Alamitos (2013)"},{"key":"734_CR26","series-title":"Lecture Notes in Computer Science.","volume-title":"AISoLA 2023","author":"D. Busch","year":"2023","unstructured":"Busch, D., Nolte, G., Bainczyk, A., Steffen, B.: ChatGPT in the loop. In: AISoLA 2023. Lecture Notes in Computer Science., vol.\u00a014380. Springer, Berlin (2023)"},{"issue":"1","key":"734_CR27","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s11047-019-09761-7","volume":"19","author":"L. Cardelli","year":"2020","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M.: From electric circuits to chemical networks. Nat. Comput. 19(1), 237\u2013248 (2020)","journal-title":"Nat. Comput."},{"issue":"1","key":"734_CR28","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/s10270-021-00908-8","volume":"21","author":"G.L. Casalaro","year":"2022","unstructured":"Casalaro, G.L., Cattivera, G., Ciccozzi, F., Malavolta, I., Wortmann, A., Pelliccione, P.: Model-driven engineering for mobile robotic systems: a systematic mapping study. Softw. Syst. Model. 21(1), 19\u201349 (2022)","journal-title":"Softw. Syst. Model."},{"key":"734_CR29","first-page":"127","volume-title":"[58]","author":"Y. Chen","year":"2022","unstructured":"Chen, Y., Sanders, J.W.: A modal approach to consciousness of agents. In: [58], pp.\u00a0127\u2013141 (2022)"},{"key":"734_CR30","unstructured":"Chen, Y., Sanders, J.W.: A modal approach to conscious social agents. Int. J. Softw. Tools Technol. Transf. This issue. (2023)"},{"issue":"2","key":"734_CR31","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/0005-1098(94)90024-8","volume":"30","author":"R. David","year":"1994","unstructured":"David, R., Alla, H.: Petri nets for modeling of dynamic systems: a survey. Automatica 30(2), 175\u2013202 (1994)","journal-title":"Automatica"},{"issue":"5","key":"734_CR32","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. De Nicola","year":"1998","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R.: KLAIM: a kernel language for agents interaction and mobility. IEEE Trans. Softw. Eng. 24(5), 315\u2013330 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"734_CR33","doi-asserted-by":"publisher","first-page":"7:1","DOI":"10.1145\/2619998","volume":"9","author":"R. De Nicola","year":"2014","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. ACM Trans. Auton. Adapt. Syst. 9(2), 7:1\u20137:29 (2014)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"734_CR34","first-page":"3","volume-title":"[56]","author":"R. De Nicola","year":"2018","unstructured":"De Nicola, R., J\u00e4hnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive ensembles \u2013 track introduction. In: [56], pp.\u00a03\u201312 (2018)"},{"issue":"4","key":"734_CR35","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/s10009-020-00565-0","volume":"22","author":"R. De Nicola","year":"2020","unstructured":"De Nicola, R., J\u00e4hnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive systems: special section. Int. J. Softw. Tools Technol. Transf. 22(4), 389\u2013397 (2020)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"4","key":"734_CR36","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)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"734_CR37","first-page":"82","volume-title":"[58]","author":"R. De Nicola","year":"2022","unstructured":"De Nicola, R., Stefano, L.D., Inverso, O., Valiani, S.: Modelling flocks of birds from the bottom up. In: [58], pp.\u00a082\u201396 (2022)"},{"key":"734_CR38","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Stefano, L.D., Inverso, O., Valiani, S.: Modelling flocks of birds and colonies of ants from the bottom up. Int. J. Softw. Tools Technol. Transf. This issue. (2023)","DOI":"10.1007\/s10009-023-00731-0"},{"key":"734_CR39","series-title":"Proceedings of Machine Learning Research","first-page":"1279","volume-title":"Proceedings of the 35th International Conference on Machine Learning, ICML 2018","author":"A. Doerr","year":"2018","unstructured":"Doerr, A., Daniel, C., Schiegg, M., Nguyen-Tuong, D., Schaal, S., Toussaint, M., Trimpe, S.: Probabilistic recurrent state-space models. In: Dy, J.G., Krause, A. (eds.) Proceedings of the 35th International Conference on Machine Learning, ICML 2018. Proceedings of Machine Learning Research, vol.\u00a080, pp.\u00a01279\u20131288. PMLR (2018)"},{"key":"734_CR40","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/1290.001.0001","volume-title":"Ant Colony Optimization","author":"M. Dorigo","year":"2004","unstructured":"Dorigo, M., St\u00fctzle, T.: Ant Colony Optimization. MIT Press, Cambridge (2004)"},{"key":"734_CR41","unstructured":"Fettke, P., Reisig, W.: Handbook of heraklit. https:\/\/dblp.dagstuhl.de\/db\/conf\/fmas\/index.html. Heraklit working paper, v1.1, September 20, 2021"},{"key":"734_CR42","first-page":"65","volume-title":"[58]","author":"P. Fettke","year":"2022","unstructured":"Fettke, P., Reisig, W.: Discrete models of continuous behavior of collective adaptive systems. In: Margaria, T., Steffen, B. (eds.) [58], pp.\u00a065\u201381 (2022)"},{"key":"734_CR43","doi-asserted-by":"crossref","unstructured":"Fettke, P., Reisig, W.: A causal, time independent synchronization pattern for collective adaptive systems. Int. J. Softw. Tools Technol. Transf. This issue. (2023)","DOI":"10.1007\/s10009-023-00733-y"},{"issue":"3","key":"734_CR44","doi-asserted-by":"publisher","first-page":"9:1","DOI":"10.1145\/3469440","volume":"15","author":"O. Gheibi","year":"2020","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 (2020)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"issue":"1\u20132","key":"734_CR45","first-page":"1","volume":"4","author":"S. Gulwani","year":"2017","unstructured":"Gulwani, S., Polozov, O., Singh, R.: Program synthesis. Found. Trends Program. Lang. 4(1\u20132), 1\u2013119 (2017)","journal-title":"Found. Trends Program. Lang."},{"key":"734_CR46","doi-asserted-by":"crossref","unstructured":"H\u00f6lzl, M.M., Rauschmayer, A., Wirsing, M.: Engineering of software-intensive systems: state of the art and research challenges. In Wirsing et al. [71], pp.\u00a01\u201344","DOI":"10.1007\/978-3-540-89437-7_1"},{"key":"734_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-24933-4_12","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"M.M. H\u00f6lzl","year":"2011","unstructured":"H\u00f6lzl, M.M., Wirsing, M.: Towards a system model for ensembles. In: Formal Modeling: Actors, Open Systems, Biological Systems. Lecture Notes in Computer Science, vol.\u00a07000, pp.\u00a0241\u2013261. Springer, Berlin (2011)"},{"key":"734_CR48","volume-title":"Autonomic Computing: IBM\u2019s Perspective on the State of Information Technology","author":"P.J. Horn","year":"2001","unstructured":"Horn, P.J.: Autonomic Computing: IBM\u2019s Perspective on the State of Information Technology. IBM (2001)"},{"key":"734_CR49","first-page":"243","volume-title":"[57]","author":"O. Inverso","year":"2020","unstructured":"Inverso, O., Trubiani, C., Tuosto, E.: Abstractions for collective adaptive systems. In: [57], pp.\u00a0243\u2013260 (2020)"},{"key":"734_CR50","first-page":"535","volume-title":"[55]","author":"S. J\u00e4hnichen","year":"2016","unstructured":"J\u00e4hnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive systems \u2013 track introduction. In: [55], pp.\u00a0535\u2013538 (2016)"},{"key":"734_CR51","unstructured":"Kernbach, S., Schmickl, T., Timmis, J.: Collective adaptive systems: challenges beyond evolvability (2011). arXiv:1108.5643. CoRR"},{"key":"734_CR52","doi-asserted-by":"crossref","unstructured":"Macenski, S., Foote, T., Gerkey, B., Lalancette, C., Woodall, W.: Robot Operating System 2: Design, architecture, and uses in the wild. Science Robotics 7(66) (2022)","DOI":"10.1126\/scirobotics.abm6074"},{"issue":"4","key":"734_CR53","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/s10009-020-00557-0","volume":"22","author":"H.B. Mahfoudh","year":"2020","unstructured":"Mahfoudh, H.B., Serugendo, G.D.M., Naja, N., Abdennadher, N.: Learning-based coordination model for spontaneous self-composition of reliable services in a distributed system. Int. J. Softw. Tools Technol. Transf. 22(4), 417\u2013436 (2020)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"734_CR54","series-title":"Lecture Notes in Computer Science.","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Part I","year":"2014","unstructured":"Margaria, T., Steffen, B. (eds.): Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Part I. Lecture Notes in Computer Science., vol.\u00a08802. Springer, Berlin (2014)"},{"key":"734_CR55","series-title":"Lecture Notes in Computer Science.","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Part I","year":"2016","unstructured":"Margaria, T., Steffen, B. (eds.): Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Part I. Lecture Notes in Computer Science., vol.\u00a09952. Springer, Berlin (2016)"},{"key":"734_CR56","series-title":"Lecture Notes in Computer Science.","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 8th International Symposium, ISoLA 2018, Part III","year":"2018","unstructured":"Margaria, T., Steffen, B. (eds.): Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 8th International Symposium, ISoLA 2018, Part III. Lecture Notes in Computer Science., vol.\u00a011246. Springer, Berlin (2018)"},{"key":"734_CR57","series-title":"Lecture Notes in Computer Science.","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 9th International Symposium, ISoLA 2020, Part II","year":"2020","unstructured":"Margaria, T., Steffen, B. (eds.): Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 9th International Symposium, ISoLA 2020, Part II. Lecture Notes in Computer Science., vol.\u00a012477. Springer, Berlin (2020)"},{"key":"734_CR58","series-title":"Lecture Notes in Computer Science.","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 8th International Symposium, ISoLA 2022, Part III","year":"2022","unstructured":"Margaria, T., Steffen, B. (eds.): Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 8th International Symposium, ISoLA 2022, Part III. Lecture Notes in Computer Science., vol.\u00a013703. Springer, Berlin (2022)"},{"key":"734_CR59","first-page":"165","volume-title":"[58]","author":"S. Monica","year":"2022","unstructured":"Monica, S., Bergenti, F., Zambonelli, F.: Toward a kinetic framework to model the collective dynamics of multi-agent systems. In: [58], pp.\u00a0165\u2013180 (2022)"},{"key":"734_CR60","doi-asserted-by":"crossref","unstructured":"Monica, S., Bergenti, F., Zambonelli, F.: A kinetic approach to study the collective dynamics of multi-agent systems. Int. J. Softw. Tools Technol. Transf. This issue. (2023)","DOI":"10.1007\/s10009-023-00724-z"},{"key":"734_CR61","doi-asserted-by":"crossref","unstructured":"Murgia, M., Pinciroli, R., Trubiani, C., Tuosto, E.: Comparing perfomance abstractions for collective adaptive systems. Int. J. Softw. Tools Technol. Transf. This issue. (2023)","DOI":"10.1007\/s10009-023-00728-9"},{"issue":"3","key":"734_CR62","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1109\/TAC.2005.864190","volume":"51","author":"R. Olfati-Saber","year":"2006","unstructured":"Olfati-Saber, R.: Flocking for multi-agent dynamic systems: algorithms and theory. IEEE Trans. Autom. Control 51(3), 401\u2013420 (2006)","journal-title":"IEEE Trans. Autom. Control"},{"key":"734_CR63","first-page":"104","volume-title":"18th IEEE International Conference on Software Architecture, ICSA 2021","author":"R. Pinciroli","year":"2021","unstructured":"Pinciroli, R., Trubiani, C.: Model-based performance analysis for architecting cyber-physical dynamic spaces. In: 18th IEEE International Conference on Software Architecture, ICSA 2021, Stuttgart, Germany, March 22\u201326, 2021, pp.\u00a0104\u2013114. IEEE (2021)"},{"key":"734_CR64","series-title":"Lecture Notes in Computer Science","volume-title":"Global Computing, IST\/FET International Workshop, GC 2004","year":"2005","unstructured":"Priami, C., Quaglia, P. (eds.): Global Computing, IST\/FET International Workshop, GC 2004, Rovereto, Italy, March 9\u201312, 2004. Lecture Notes in Computer Science, vol.\u00a03267. Springer, Berlin (2005)"},{"key":"734_CR65","first-page":"77","volume-title":"International C* Conference on Computer Science & Software Engineering, C3S2E13","author":"M. Puviani","year":"2013","unstructured":"Puviani, M., Cabri, G., Zambonelli, F.: A taxonomy of architectural patterns for self-adaptive systems. In: Desai, B.C., Almeida, A.M., Bernardino, J., Mudur, S.P. (eds.) International C* Conference on Computer Science & Software Engineering, C3S2E13, Porto, Portugal, July 10\u201312, 2013, pp.\u00a077\u201385. ACM, New York (2013)"},{"key":"734_CR66","unstructured":"Radford, A., Wu, J., Child, R., Luan, D., Amodei, D., Sutskever, I.: Language models are unsupervised multitask learners. OpenAI, San Francisco, California, United States, 2019. https:\/\/cdn.openai.com\/better-language-models\/language_models_are_unsupervised_multitask_learners.pdf, accessed on July 05, 2023"},{"key":"734_CR67","doi-asserted-by":"crossref","unstructured":"Basile, D., ter Beek, M., Bussi, L., Ciancia, V.: A\u00a0toolchain for strategy synthesis with spatial properties. Int. J. Softw. Tools Technol. Transf. This issue. (2023)","DOI":"10.1007\/s10009-023-00730-1"},{"key":"734_CR68","unstructured":"Thoppilan, R., De Freitas, D., Hall, J., Shazeer, N., Kulshreshtha, A., Cheng, H.-T., Jin, A., Bos, T., Baker, L., Du, Y., et\u00a0al.: Lamda: Language models for dialog applications (2022). ArXiv preprint. arXiv:2201.08239"},{"key":"734_CR69","unstructured":"Touvron, H., Lavril, T., Izacard, G., Martinet, X., Lachaux, M., Lacroix, T., Rozi\u00e8re, B., Goyal, N., Hambro, E., Azhar, F., Rodriguez, A., Joulin, A., Grave, E., Llama, G.L.: Open and efficient foundation language models (2023). arXiv:2302.13971. CoRR"},{"key":"734_CR70","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/978-3-031-31476-6_16","volume-title":"Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday","author":"M. Wirsing","year":"2023","unstructured":"Wirsing, M., Belzner, L.: Towards systematically engineering autonomous systems using reinforcement learning and planning. In: L\u00f3pez-Garc\u00eda, P., Gallagher, J.P., Giacobazzi, R. (eds.) Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, vol.\u00a013160, pp.\u00a0281\u2013306. Springer, Berlin (2023)"},{"key":"734_CR71","series-title":"Lecture Notes in Computer Science.","volume-title":"Software-Intensive Systems and New Computing Paradigms - Challenges and Visions","year":"2008","unstructured":"Wirsing, M., Ban\u00e2tre, J.-P., H\u00f6lzl, M.M., Rauschmayer, A. (eds.): Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Lecture Notes in Computer Science., vol.\u00a05380. Springer, Berlin (2008)"},{"key":"734_CR72","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-20401-2","volume-title":"Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011","author":"M. Wirsing","year":"2011","unstructured":"Wirsing, M., H\u00f6lzl, M.M., Tribastone, M., Zambonelli, F.: ASCENS: engineering autonomic service-component ensembles. In: Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.) Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011. Lecture Notes in Computer Science, vol.\u00a07542, pp.\u00a01\u201324. Springer, Turin, Italy (2011). October 3-5, 2011, Revised Selected Papers"},{"key":"734_CR73","first-page":"96","volume-title":"[54]","author":"M. Wirsing","year":"2014","unstructured":"Wirsing, M., De Nicola, R., H\u00f6lzl, M.M.: Rigorous engineering of autonomic ensembles \u2013 track introduction. In: [54], pp.\u00a096\u201398 (2014)"},{"key":"734_CR74","series-title":"Lecture Notes in Computer Science.","volume-title":"Software Engineering for Collective Autonomic Systems \u2013 the ASCENS Approach","year":"2015","unstructured":"Wirsing, M., H\u00f6lzl, M.M., Koch, N., Mayer, P. (eds.): Software Engineering for Collective Autonomic Systems \u2013 the ASCENS Approach. Lecture Notes in Computer Science., vol.\u00a08998. Springer, Berlin (2015)"},{"key":"734_CR75","first-page":"161","volume-title":"[57]","author":"M. Wirsing","year":"2020","unstructured":"Wirsing, M., De Nicola, R., J\u00e4hnichen, S.: Rigorous engineering of collective adaptive systems introduction to the 3rd track edition. In: Margaria, T., Steffen, B. (eds.) [57], pp.\u00a0161\u2013170 (2020)"},{"key":"734_CR76","first-page":"3","volume-title":"[58]","author":"M. Wirsing","year":"2022","unstructured":"Wirsing, M., De Nicola, R., J\u00e4hnichen, S.: Rigorous engineering of collective adaptive systems introduction to the 4th track edition. In: [58], pp.\u00a03\u201312 (2022)"},{"key":"734_CR77","first-page":"197","volume-title":"The Europ. Future Technologies Conf. and Exhibition, Procedia Computer Science 7","author":"F. Zambonelli","year":"2011","unstructured":"Zambonelli, F., Castelli, G., Ferrari, L., Mamei, M., Rosi, A., Di Marzo Serugendo, G., Risoldi, M., Tchao, A.-E., Dobson, S., Stevenson, G., Ye, J., Nardini, E., Omicini, A., Montagna, S., Viroli, M.: Self-aware pervasive service ecosystems. In: The Europ. Future Technologies Conf. and Exhibition, Procedia Computer Science 7, pp.\u00a0197\u2013199 (2011)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-023-00734-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-023-00734-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-023-00734-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,6]],"date-time":"2023-12-06T12:07:03Z","timestamp":1701864423000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-023-00734-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,14]]},"references-count":77,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2023,12]]}},"alternative-id":["734"],"URL":"https:\/\/doi.org\/10.1007\/s10009-023-00734-x","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,11,14]]},"assertion":[{"value":"2 November 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 November 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 December 2023","order":3,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Update","order":4,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The original online version of this article was revised: authors were exchanged in reference 67","order":5,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}}]}}