Skip to main content
SpringerLink
Log in
Book cover

Transactions on Foundations for Mastering Change I pp 180–200Cite as

Collective Autonomic Systems: Towards Engineering Principles and Their Foundations

  • Chapter
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((TFMC,volume 9960))

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).

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. 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

    Google Scholar 

  2. 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

    Chapter  Google Scholar 

  3. 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)

    Google Scholar 

  4. 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

    Article  MathSciNet  Google Scholar 

  5. Bijani, S., Robertson, D.: A review of attacks and security approaches in open multi-agent systems. Artif. Intell. Rev. 42(4), 607–636 (2014)

    Article  Google Scholar 

  6. Bishop, C.M.: Pattern Recognition and Machine Learning. Springer, Heidelberg (2006)

    Google Scholar 

  7. 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

    MATH  Google Scholar 

  8. Borgers, T., Krahmer, D., Strausz, R.: An Introduction to the Theory of Mechanism Design. Oxford University Press, Oxford (2015)

    Book  Google Scholar 

  9. 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)

    Google Scholar 

  10. 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)

    Article  Google Scholar 

  11. 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

    Chapter  Google Scholar 

  12. 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]

    Google Scholar 

  13. 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

    Chapter  Google Scholar 

  14. 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

    Article  Google Scholar 

  15. Castelfranchi, C., Tan, Y.H.: Trust and Deception in Virtual Societies. Springer, Heidelberg (2001)

    Book  Google Scholar 

  16. 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

    Chapter  Google Scholar 

  17. 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)

    Google Scholar 

  18. Special Issue of the Journal for Cognitive Systems Research: Stigmergy 3.0: From Ants to Economics. Elsevier, March 2013

    Google Scholar 

  19. 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)

    Google Scholar 

  20. IBM Corporation: An architectural blueprint for autonomic computing. Technical report, IBM (2005). http://researchr.org/publication/autonomic-architecture-2005

  21. 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)

    MATH  Google Scholar 

  22. 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

    Article  MATH  Google Scholar 

  23. Dechter, R.: Constraint Processing. Morgan Kaufmann, Burlington (2003)

    MATH  Google Scholar 

  24. 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)

    Google Scholar 

  25. 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

    Article  Google Scholar 

  26. 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)

    Chapter  Google Scholar 

  27. 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

    Article  Google Scholar 

  28. Hillier, F., Lieberman, G.: Introduction to Operations Research. McGraw-Hill Higher Education, New York (2010). https://books.google.de/books?id=NvE5PgAACAAJ

    MATH  Google Scholar 

  29. Hinton, G.E., Osindero, S., Teh, Y.W.: A fast learning algorithm for deep belief nets. Neural Comput. 18(7), 1527–1554 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  30. 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

    Google Scholar 

  31. Hölzl, M., Gabor, T.: Reasoning and learning for awareness and adaptation. In: Wirsing et al. [68]

    Google Scholar 

  32. 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]

    Google Scholar 

  33. 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)

    Google Scholar 

  34. 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

    Chapter  Google Scholar 

  35. Hurwicz, L., Reiter, S.: Designing Economic Mechanisms. Cambridge University Press, New York (2006). https://books.google.de/books?id=Mvn8chTLeFwC

    Book  Google Scholar 

  36. 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

    Chapter  Google Scholar 

  37. Jolliffe, I.: Principal Component Analysis. Wiley Online Library, New York (2002)

    MATH  Google Scholar 

  38. 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

    Article  Google Scholar 

  39. 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)

    Article  Google Scholar 

  40. Kahneman, D., Tversky, A.: Prospect theory: an analysis of decision under risk. Econometrica 47, 263–291 (1979)

    Article  MATH  Google Scholar 

  41. Keeney, R., Raiffa, H.: Decisions with Multiple Objectives: Preferences and Value Tradeoffs. Wiley, New York (1976)

    MATH  Google Scholar 

  42. Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36(1), 41–50 (2003). doi:10.1109/MC.2003.1160055

    Article  MathSciNet  Google Scholar 

  43. 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)

    Google Scholar 

  44. Koch, N.: ASCENS: autonomic service-component ensembles (brochure), February 2015

    Google Scholar 

  45. 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)

    Google Scholar 

  46. 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)

    Google Scholar 

  47. 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)

    Google Scholar 

  48. 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

    Chapter  Google Scholar 

  49. Mertens, J.F., Neyman, A.: Stochastic games. Int. J. Game Theor. 10(2), 53–66 (1981). doi:10.1007/BF01769259

    Article  MathSciNet  MATH  Google Scholar 

  50. Millington, I.: Game Physics Engine Development. Morgan Kaufmann Publishers, Amsterdam (2007)

    Google Scholar 

  51. 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

  52. 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

    Book  Google Scholar 

  53. Pharr, M., Humphreys, G.: Physically Based Rendering: From Theory to Implementation. Morgan Kaufmann, Burlington (2004)

    Google Scholar 

  54. 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)

    Article  Google Scholar 

  55. 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

    Google Scholar 

  56. Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming, 1st edn. Wiley, New York (1994)

    Book  MATH  Google Scholar 

  57. Rasmussen, C.E.: Gaussian Processes for Machine Learning. MIT Press, Massachusetts (2006)

    MATH  Google Scholar 

  58. Scott, W.R.: The adolescence of institutional theory. Adm. Sci. Q. 32(4), 493–511 (1987)

    Article  Google Scholar 

  59. 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

    Chapter  Google Scholar 

  60. Shoham, Y., Leyton-Brown, K.: Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations. Cambridge University Press, New York (2008)

    Book  MATH  Google Scholar 

  61. 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

    Article  Google Scholar 

  62. Thrun, S., Burgard, W., Fox, D.: Probabilistic Robotics. MIT Press, Massachusetts (2005)

    MATH  Google Scholar 

  63. Weibull, J.W.: Evolutionary Game Theory. MIT Press, Cambridge (1995)

    MATH  Google Scholar 

  64. 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

  65. Weiss, G. (ed.): Multiagent Systems, 2nd edn. MIT Press, Massachusetts (2013)

    Google Scholar 

  66. Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.): Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998. Springer, Heidelberg (2015)

    Google Scholar 

  67. Wooldridge, M.: An Introduction to MultiAgent Systems. Wiley, New York (2009). https://books.google.de/books?id=X3ZQ7yeDn2IC

    Google Scholar 

  68. 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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Ludwig-Maximilians-Universität München, Munich, Germany

    Lenz Belzner, Matthias Hölzl, Nora Koch & Martin Wirsing

Authors
  1. Lenz Belzner
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Matthias Hölzl
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Nora Koch
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Martin Wirsing
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Martin Wirsing .

Editor information

Editors and Affiliations

  1. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation