Abstract
Collective autonomic systems (CAS) are adaptive, open-ended, highly parallel, interactive and distributed software systems. They consist of many collaborative entities that manage their own knowledge and processes. CAS present many engineering challenges, such as awareness of the environmental situation, performing suitable and adequate adaptations in response to environmental changes, or preserving adaptations over system updates and modifications. Recent research has proposed initial solutions to some of these challenges, but many of the difficult questions remain unanswered and will open up a rich field of future research.
In an attempt to initiate a discussion about the structure of this emerging research area, we present eight engineering principles that we consider promising candidates for relevant future research, and shortly address their possible foundations. Our discussion is based on a development life cycle (EDLC) for autonomic systems. Going beyond the traditional iterative development process, the EDLC proposes three control loops for system design, runtime adaptation, as well as feedback between design- and runtime. Some of our principles concern the whole development process, while others focus on a particular control loop.
This work has been sponsored by the EU project ASCENS IP 257414 (FP7).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abeywickrama, D., Bicocchi, N., Zambonelli, F.: SOTA: towards a general model for self-adaptive systems. In: 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), pp. 48–53, June 2012
Lemos, R., et al.: Software engineering for self-adaptive systems: a second research roadmap. In: Lemos, R., Giese, H., Müller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II. LNCS, vol. 7475, pp. 1–32. Springer, Heidelberg (2013). doi:10.1007/978-3-642-35813-5_1
Alexander, J.M.: Evolutionary game theory. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Stanford Center for the Study of Language and Information, Fall 2009 edn. (2009)
Barberis, N.C.: Thirty years of prospect theory in economics: a review and assessment. J. Econ. Perspect. 27(1), 173–196 (2013). http://www.aeaweb.org/articles.php?doi=10.1257/jep.27.1.173
Bijani, S., Robertson, D.: A review of attacks and security approaches in open multi-agent systems. Artif. Intell. Rev. 42(4), 607–636 (2014)
Bishop, C.M.: Pattern Recognition and Machine Learning. Springer, Heidelberg (2006)
Bonabeau, E., Dorigo, M., Theraulaz, G.: Swarm Intelligence-From Natural to Artificial Systems. Studies in the Sciences of Complexity. Oxford University Press, Oxford (1999). http://ukcatalogue.oup.com/product/9780195131598.do
Borgers, T., Krahmer, D., Strausz, R.: An Introduction to the Theory of Mechanism Design. Oxford University Press, Oxford (2015)
Briggs, R.: Normative theories of rational choice: expected utility. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Stanford Center for the Study of Language and Information, fall 2014 edn. (2014)
Browne, C.B., Powley, E., Whitehouse, D., Lucas, S.M., Cowling, P., Rohlfshagen, P., Tavener, S., Perez, D., Samothrakis, S., Colton, S., et al.: A survey of monte carlo tree search methods. IEEE Trans. Comput. Intell. AI Games 4(1), 1–43 (2012)
Brun, Y., et al.: Engineering self-adaptive systems through feedback loops. In: Cheng, B.H.C., Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 48–70. Springer, Heidelberg (2009). doi:10.1007/978-3-642-02161-9_3
Bruni, R., Corradini, A., Gadducci, F., Hölzl, M., Lafuente, A.L., Vandin, A., Wirsing, M.: Reconciling white-box and black-box perspectives on behavioural self-adaptation. In: Wirsing et al. [68]
Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: A conceptual framework for adaptation. In: Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 240–254. Springer, Heidelberg (2012). doi:10.1007/978-3-642-28872-2_17
Cailliau, A., van Lamsweerde, A.: Assessing requirements-related risks through probabilistic goals and obstacles. Requir. Eng. 18(2), 129–146 (2013). doi:10.1007/s00766-013-0168-5
Castelfranchi, C., Tan, Y.H.: Trust and Deception in Virtual Societies. Springer, Heidelberg (2001)
Cheng, B.H.C., et al.: Software engineering for self-adaptive systems: a research roadmap. In: Cheng, B.H.C., Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 1–26. Springer, Heidelberg (2009). doi:10.1007/978-3-642-02161-9_1
Clark, C., Storkey, A.: Training deep convolutional neural networks to play go. In: Proceedings of the 32nd International Conference on Machine Learning, pp. 1766–1774 (2015)
Special Issue of the Journal for Cognitive Systems Research: Stigmergy 3.0: From Ants to Economics. Elsevier, March 2013
Connelly, B.L., Certo, S.T., Ireland, R.D., Reutzel, C.R.: Signaling theory: a review and assessment. J. Manag. 37(1), 39–67 (2011)
IBM Corporation: An architectural blueprint for autonomic computing. Technical report, IBM (2005). http://researchr.org/publication/autonomic-architecture-2005
Criminisi, A., Shotton, J., Konukoglu, E.: Decision Forests: A Unified Framework for Classification, Regression, Density Estimation Manifold Learning and Semi-supervised Learning. Now, Breda (2012)
Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Sci. Comput. Program. 20(1), 3–50 (1993). http://www.sciencedirect.com/science/article/pii/016764239390021G
Dechter, R.: Constraint Processing. Morgan Kaufmann, Burlington (2003)
Deng, L., Seltzer, M.L., Yu, D., Acero, A., Mohamed, A.r., Hinton, G.E.: Binary coding of speech spectrograms using a deep auto-encoder. In: Interspeech, pp. 1692–1695. Citeseer (2010)
Dorigo, M., Bonabeau, E., Theraulaz, G.: Ant algorithms and stigmergy. Future Gener. Comput. Syst. 16(9), 851–871 (2000). http://dl.acm.org/citation.cfm?id=348599.348601
Falcone, R., Castelfranchi, C.: Social trust: a cognitive approach. In: Castelfranchi, C., Tan, Y.-H. (eds.) Trust and Deception in Virtual Societies, pp. 55–90. Springer, Netherlands (2001)
Geels, F.W.: From sectoral systems of innovation to socio-technical systems: insights about dynamics and change from sociology and institutional theory. Res. Policy 33(67), 897–920 (2004). http://www.sciencedirect.com/science/article/pii/S0048733304000496
Hillier, F., Lieberman, G.: Introduction to Operations Research. McGraw-Hill Higher Education, New York (2010). https://books.google.de/books?id=NvE5PgAACAAJ
Hinton, G.E., Osindero, S., Teh, Y.W.: A fast learning algorithm for deep belief nets. Neural Comput. 18(7), 1527–1554 (2006)
Hölzl, M., Gabor, T.: Continuous collaboration for changing environments. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 201–224. Springer, Heidelberg (2016). doi:10.1007/978-3-319-46508-1_11
Hölzl, M., Gabor, T.: Reasoning and learning for awareness and adaptation. In: Wirsing et al. [68]
Hölzl, M., Koch, N., Puviani, M., Wirsing, M., Zambonelli, F.: The ensemble development life cycle and best practises for collective autonomic systems. In: Wirsing et al. [68]
Hölzl, M., Wirsing, M.: Issues in engineering self-aware and self-expressive ensembles. In: Pitt, J. (ed.) The Computer After Me: Awareness and Self-awareness in Autonomic Systems. Imperial College Press, London (2014)
Hölzl, M., Wirsing, M.: Towards a system model for ensembles. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of her 70th Birthday. LNCS, vol. 7000, pp. 241–261. Springer, Heidelberg (2011). doi:10.1007/978-3-642-24933-4_12
Hurwicz, L., Reiter, S.: Designing Economic Mechanisms. Cambridge University Press, New York (2006). https://books.google.de/books?id=Mvn8chTLeFwC
Inverardi, P., Mori, M.: A software lifecycle process to support consistent evolutions. In: Lemos, R., Giese, H., Müller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II. LNCS, vol. 7475, pp. 239–264. Springer, Heidelberg (2013). doi:10.1007/978-3-642-35813-5_10
Jolliffe, I.: Principal Component Analysis. Wiley Online Library, New York (2002)
Jones, A., Artikis, A., Pitt, J.: The design of intelligent socio-technical systems. Artif. Intell. Rev. 39(1), 5–20 (2013). doi:10.1007/s10462-012-9387-2
Jung, Y., Kim, M., Masoumzadeh, A., Joshi, J.B.: A survey of security issue in multi-agent systems. Artif. Intell. Rev. 37(3), 239–260 (2012)
Kahneman, D., Tversky, A.: Prospect theory: an analysis of decision under risk. Econometrica 47, 263–291 (1979)
Keeney, R., Raiffa, H.: Decisions with Multiple Objectives: Preferences and Value Tradeoffs. Wiley, New York (1976)
Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36(1), 41–50 (2003). doi:10.1109/MC.2003.1160055
Keznikl, J., Bures, T., Plasil, F., Gerostathopoulos, I., Hnetynka, P., Hoch, N.: Design of ensemble-based component systems by invariant refinement. In: Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, CBSE 2013, pp. 91–100. ACM, New York (2013)
Koch, N.: ASCENS: autonomic service-component ensembles (brochure), February 2015
Krizhevsky, A., Sutskever, I., Hinton, G.E.: Imagenet classification with deep convolutional neural networks. In: Proceedings of Advances in Neural Information Processing Systems, pp. 1097–1105 (2012)
van Lamsweerde, A.: Requirements engineering in the year 00: a research perspective. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), pp. 5–19. ACM (2000)
Lee, H., Battle, A., Raina, R., Ng, A.Y.: Efficient sparse coding algorithms. In: Proceedings of Advances in Neural Information Processing Systems, pp. 801–808 (2006)
Legay, A., Delahaye, B., Bensalem, S.: Statistical model checking: an overview. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Roşu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 122–135. Springer, Heidelberg (2010). doi:10.1007/978-3-642-16612-9_11
Mertens, J.F., Neyman, A.: Stochastic games. Int. J. Game Theor. 10(2), 53–66 (1981). doi:10.1007/BF01769259
Millington, I.: Game Physics Engine Development. Morgan Kaufmann Publishers, Amsterdam (2007)
Mnih, V., Kavukcuoglu, K., Silver, D., Graves, A., Antonoglou, I., Wierstra, D., Riedmiller, M.A.: Playing atari with deep reinforcement learning. CoRR abs/1312.5602 (2013). http://arXiv.org/abs/1312.5602
Ostrom, E.: Governing the Commons: The Evolution of Institutions for Collective Action. Political Economy of Institutions and Decisions. Cambridge University Press, New York (1990). https://books.google.de/books?id=4xg6oUobMz4C
Pharr, M., Humphreys, G.: Physically Based Rendering: From Theory to Implementation. Morgan Kaufmann, Burlington (2004)
Pinyol, I., Sabater-Mir, J.: Computational trust and reputation models for open multi-agent systems: a review. Artif. Intell. Rev. 40(1), 1–25 (2013)
Pitt, J., Busquets, D., Bourazeri, A., Petruzzi, P.: Collective intelligence and algorithmic governance of socio-technical systems. In: Miorandi, D., Maltese, V., Rovatsos, M., Nijholt, A., Stewart, J. (eds.) Social Collective Intelligence. Computational Social Sciences, pp. 31–50. Springer International Publishing, Switzerland (2014). doi:10.1007/978-3-319-08681-1_2
Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming, 1st edn. Wiley, New York (1994)
Rasmussen, C.E.: Gaussian Processes for Machine Learning. MIT Press, Massachusetts (2006)
Scott, W.R.: The adolescence of institutional theory. Adm. Sci. Q. 32(4), 493–511 (1987)
Sen, K., Viswanathan, M., Agha, G.: On statistical model checking of stochastic systems. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 266–280. Springer, Heidelberg (2005). doi:10.1007/11513988_26
Shoham, Y., Leyton-Brown, K.: Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations. Cambridge University Press, New York (2008)
Spence, M.: Signaling in retrospect and the informational structure of markets. Am. Econ. Rev. 92(3), 434–459 (2002). http://www.aeaweb.org/articles.php?doi=10.1257/00028280260136200
Thrun, S., Burgard, W., Fox, D.: Probabilistic Robotics. MIT Press, Massachusetts (2005)
Weibull, J.W.: Evolutionary Game Theory. MIT Press, Cambridge (1995)
Weinstein, A., Littman, M.L.: Open-loop planning in large-scale stochastic domains. In: desJardins, M., Littman, M.L. (ed.) Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 14–18 July 2013, Bellevue, Washington, USA. AAAI Press (2013). http://www.aaai.org/ocs/index.php/AAAI/AAAI13/paper/view/6341
Weiss, G. (ed.): Multiagent Systems, 2nd edn. MIT Press, Massachusetts (2013)
Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.): Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998. Springer, Heidelberg (2015)
Wooldridge, M.: An Introduction to MultiAgent Systems. Wiley, New York (2009). https://books.google.de/books?id=X3ZQ7yeDn2IC
Yang, X.-S. (ed.): Recent Advances in Swarm Intelligence and Evolutionary Computation. SCI, vol. 585. Springer, Heidelberg (2015). doi:10.1007/978-3-319-13826-8
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this chapter
Cite this chapter
Belzner, L., Hölzl, M., Koch, N., Wirsing, M. (2016). Collective Autonomic Systems: Towards Engineering Principles and Their Foundations. In: Steffen, B. (eds) Transactions on Foundations for Mastering Change I. Lecture Notes in Computer Science(), vol 9960. Springer, Cham. https://doi.org/10.1007/978-3-319-46508-1_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-46508-1_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-46507-4
Online ISBN: 978-3-319-46508-1
eBook Packages: Computer ScienceComputer Science (R0)