Abstract
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 “Rigorous Engineering of Collective Adaptive Systems.” It presents the 11 contributions 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.
Article PDF
Similar content being viewed by others
Explore related subjects
Find the latest articles, discoveries, and news in related topics.Avoid common mistakes on your manuscript.
Change history
07 December 2023
The original online version of this article was revised: authors were exchanged in reference 67
References
Abd Alrahman, Y., Piterman, N.: Modelling and verification of reconfigurable multi-agent systems. Auton. Agents Multi-Agent Syst. 35(2), 47 (2021)
Abd Alrahman, Y., Azzopardi, S., Piterman, N.: Model checking reconfigurable interacting systems. In: [58], pp. 373–389 (2022)
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)
Alrahman, Y.A., De Nicola, R., Loreti, M.: A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268 (2019)
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. 2755, pp. 1–33. Springer, Berlin (2002)
Basile, D., ter Beek, M.H.: Contract automata library. Sci. Comput. Program. 221, 102841 (2022)
Basile, D., ter Beek, M.H., Ciancia, V.: An experimental toolchain for strategy synthesis with spatial properties. In: [58], pp. 142–164 (2022)
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. 11427, pp. 281–298. Springer, Berlin (2019)
Belzner, L., Hölzl, M.M., Koch, N., Wirsing, M.: Collective autonomic systems: towards engineering principles and their foundations. LNCS Trans. Found. Mastering Chang. 1, 180–200 (2016)
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. 14380. Springer, Berlin (2023)
Bettini, L., De Nicola, R., Pugliese, R., Ferrari, G.: Interactive mobile agents in X-Klaim. In: 7th Workshop on Enabling Technologies (WETICE’98), pp. 110–117. IEEE Comput. Soc., Los Alamitos (1998)
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. 179–207 (2004)
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. 11665, pp. 115–135. Springer, Berlin (2019)
Bettini, L., Bourr, K., Pugliese, R., Tiezzi, F.: Writing robotics applications with X-Klaim. In: [57], pp. 361–379 (2020)
Bettini, L., Bourr, K., Pugliese, R., Tiezzi, F.: Programming multi-robot systems with X-KLAIM. In: [58], pp. 283–300 (2022)
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)
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–4791 (2012)
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)
Bortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective system behaviour: a tutorial. Perform. Eval. 70(5), 317–349 (2013)
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–19 September 2007, pp. 3–18. IEEE Computer Society, Edinburgh, Scotland, UK (2007)
Bozga, M., Sifakis, J.: Correct by design coordination of autonomous driving systems. In: [58], pp. 13–29 (2022)
Bozga, M., Sifakis, J.: Correct by design coordination of autonomous driving systems. Int. J. Softw. Tools Technol. Transf. This issue. (2023)
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. 8415, pp. 39–53. Springer, Berlin (2014)
Bucchiarone, A., Dulay, N., Lavygina, A., Marconi, A., Raik, H., Russo, A.: An approach for collective adaptation in socio-technical systems. SASO Workshops, 43–48 (2015)
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–13, 2013, pp. 71–76. IEEE Comput. Soc., Los Alamitos (2013)
Busch, D., Nolte, G., Bainczyk, A., Steffen, B.: ChatGPT in the loop. In: AISoLA 2023. Lecture Notes in Computer Science., vol. 14380. Springer, Berlin (2023)
Cardelli, L., Tribastone, M., Tschaikowski, M.: From electric circuits to chemical networks. Nat. Comput. 19(1), 237–248 (2020)
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–49 (2022)
Chen, Y., Sanders, J.W.: A modal approach to consciousness of agents. In: [58], pp. 127–141 (2022)
Chen, Y., Sanders, J.W.: A modal approach to conscious social agents. Int. J. Softw. Tools Technol. Transf. This issue. (2023)
David, R., Alla, H.: Petri nets for modeling of dynamic systems: a survey. Automatica 30(2), 175–202 (1994)
De Nicola, R., Ferrari, G., Pugliese, R.: KLAIM: a kernel language for agents interaction and mobility. IEEE Trans. Softw. Eng. 24(5), 315–330 (1998)
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–7:29 (2014)
De Nicola, R., Jähnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive ensembles – track introduction. In: [56], pp. 3–12 (2018)
De Nicola, R., Jähnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive systems: special section. Int. J. Softw. Tools Technol. Transf. 22(4), 389–397 (2020)
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–455 (2020)
De Nicola, R., Stefano, L.D., Inverso, O., Valiani, S.: Modelling flocks of birds from the bottom up. In: [58], pp. 82–96 (2022)
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)
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. 80, pp. 1279–1288. PMLR (2018)
Dorigo, M., Stützle, T.: Ant Colony Optimization. MIT Press, Cambridge (2004)
Fettke, P., Reisig, W.: Handbook of heraklit. https://dblp.dagstuhl.de/db/conf/fmas/index.html. Heraklit working paper, v1.1, September 20, 2021
Fettke, P., Reisig, W.: Discrete models of continuous behavior of collective adaptive systems. In: Margaria, T., Steffen, B. (eds.) [58], pp. 65–81 (2022)
Fettke, P., Reisig, W.: A causal, time independent synchronization pattern for collective adaptive systems. Int. J. Softw. Tools Technol. Transf. This issue. (2023)
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–9:37 (2020)
Gulwani, S., Polozov, O., Singh, R.: Program synthesis. Found. Trends Program. Lang. 4(1–2), 1–119 (2017)
Hölzl, M.M., Rauschmayer, A., Wirsing, M.: Engineering of software-intensive systems: state of the art and research challenges. In Wirsing et al. [71], pp. 1–44
Hölzl, M.M., Wirsing, M.: Towards a system model for ensembles. In: Formal Modeling: Actors, Open Systems, Biological Systems. Lecture Notes in Computer Science, vol. 7000, pp. 241–261. Springer, Berlin (2011)
Horn, P.J.: Autonomic Computing: IBM’s Perspective on the State of Information Technology. IBM (2001)
Inverso, O., Trubiani, C., Tuosto, E.: Abstractions for collective adaptive systems. In: [57], pp. 243–260 (2020)
Jähnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive systems – track introduction. In: [55], pp. 535–538 (2016)
Kernbach, S., Schmickl, T., Timmis, J.: Collective adaptive systems: challenges beyond evolvability (2011). arXiv:1108.5643. CoRR
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)
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–436 (2020)
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. 8802. Springer, Berlin (2014)
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. 9952. Springer, Berlin (2016)
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. 11246. Springer, Berlin (2018)
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. 12477. Springer, Berlin (2020)
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. 13703. Springer, Berlin (2022)
Monica, S., Bergenti, F., Zambonelli, F.: Toward a kinetic framework to model the collective dynamics of multi-agent systems. In: [58], pp. 165–180 (2022)
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)
Murgia, M., Pinciroli, R., Trubiani, C., Tuosto, E.: Comparing perfomance abstractions for collective adaptive systems. Int. J. Softw. Tools Technol. Transf. This issue. (2023)
Olfati-Saber, R.: Flocking for multi-agent dynamic systems: algorithms and theory. IEEE Trans. Autom. Control 51(3), 401–420 (2006)
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–26, 2021, pp. 104–114. IEEE (2021)
Priami, C., Quaglia, P. (eds.): Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9–12, 2004. Lecture Notes in Computer Science, vol. 3267. Springer, Berlin (2005)
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–12, 2013, pp. 77–85. ACM, New York (2013)
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
Basile, D., ter Beek, M., Bussi, L., Ciancia, V.: A toolchain for strategy synthesis with spatial properties. Int. J. Softw. Tools Technol. Transf. This issue. (2023)
Thoppilan, R., De Freitas, D., Hall, J., Shazeer, N., Kulshreshtha, A., Cheng, H.-T., Jin, A., Bos, T., Baker, L., Du, Y., et al.: Lamda: Language models for dialog applications (2022). ArXiv preprint. arXiv:2201.08239
Touvron, H., Lavril, T., Izacard, G., Martinet, X., Lachaux, M., Lacroix, T., Rozière, 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
Wirsing, M., Belzner, L.: Towards systematically engineering autonomous systems using reinforcement learning and planning. In: López-García, 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. 13160, pp. 281–306. Springer, Berlin (2023)
Wirsing, M., Banâtre, J.-P., Hölzl, M.M., Rauschmayer, A. (eds.): Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Lecture Notes in Computer Science., vol. 5380. Springer, Berlin (2008)
Wirsing, M., Hölzl, 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. 7542, pp. 1–24. Springer, Turin, Italy (2011). October 3-5, 2011, Revised Selected Papers
Wirsing, M., De Nicola, R., Hölzl, M.M.: Rigorous engineering of autonomic ensembles – track introduction. In: [54], pp. 96–98 (2014)
Wirsing, M., Hölzl, M.M., Koch, N., Mayer, P. (eds.): Software Engineering for Collective Autonomic Systems – the ASCENS Approach. Lecture Notes in Computer Science., vol. 8998. Springer, Berlin (2015)
Wirsing, M., De Nicola, R., Jähnichen, S.: Rigorous engineering of collective adaptive systems introduction to the 3rd track edition. In: Margaria, T., Steffen, B. (eds.) [57], pp. 161–170 (2020)
Wirsing, M., De Nicola, R., Jähnichen, S.: Rigorous engineering of collective adaptive systems introduction to the 4th track edition. In: [58], pp. 3–12 (2022)
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. 197–199 (2011)
Acknowledgements
As the editors of this special section, we would like to extend our heartfelt thanks to all the authors for their valuable contributions and to all the reviewers for their careful evaluations and constructive comments. We are also grateful to the ISoLA chairs, Tiziana Margaria and Bernhard Steffen, for giving us the opportunity to organize this special section, and we thank them and STTT for providing us with the EquiNOCS system, which significantly facilitated the editorial process.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The original online version of this article was revised: authors were exchanged in reference 67
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Wirsing, M., Jähnichen, S. & De Nicola, R. Rigorous engineering of collective adaptive systems – 2nd special section. Int J Softw Tools Technol Transfer 25, 617–624 (2023). https://doi.org/10.1007/s10009-023-00734-x
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-023-00734-x