Advertisement

Engineering Multi-agent Systems Anno 2025

  • Viviana MascardiEmail author
  • Danny Weyns
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11375)

Abstract

Modern software-intensive systems are increasingly blending cyber, physical, and social elements, demanding higher degrees of autonomy and adaptability than ever before. In combination with the ever growing integration and scale of systems, and the inherent uncertainties modern systems face, the principles from MAS engineering remain particularly attractive for engineering systems in a wide variety of domains today. In this chapter, we reflect on the role and potential of MAS engineering on a selection of key facets that characterize modern software engineering practice. We focus at facets that we believe are important in relation to MAS engineering. Concretely, we look at agile development, Cloud and edge computing, distributed ledgers and blockchain, Cyber-Physical Systems and Internet-of-Things, and finally green computing. For each of these facets we highlight opportunities to EMAS engineering, but also the challenges these facets raise. We conclude with highlighting a number of ethical issues that the engineers of modern software-intensive systems and thus also MAS will face in the years to come.

Keywords

Multi-agent systems Software engineering 

References

  1. 1.
    Amazon elastic compute cloud (2006). https://docs.aws.amazon.com/ec2/index.html
  2. 2.
    Ancona, D., Briola, D., El Fallah Seghrouchni, A., Mascardi, V., Taillibert, P.: Efficient verification of MASs with projections. In: Dalpiaz, F., Dix, J., van Riemsdijk, M.B. (eds.) EMAS 2014. LNCS (LNAI), vol. 8758, pp. 246–270. Springer, Cham (2014).  https://doi.org/10.1007/978-3-319-14484-9_13CrossRefGoogle Scholar
  3. 3.
    Ashton, K.: That ‘internet of things’ thing. RFID J. 22, 97–114 (2009)Google Scholar
  4. 4.
    Atzori, L., Iera, A., Morabito, G.: The internet of things: a survey. Comput. Netw. 54(15), 2787–2805 (2010)zbMATHCrossRefGoogle Scholar
  5. 5.
    Aydemir, F.B., Dalpiaz, F.: A roadmap for ethics-aware software engineering. In: Proceedings of the International Workshop on Software Fairness, FairWare 2018, pp. 15–21. ACM (2018)Google Scholar
  6. 6.
    Beck, K., et al.: Manifesto for agile software development (2001). http://agilemanifesto.org/
  7. 7.
    Bonomi, F., Milito, R., Zhu, J., Addepalli, S.: Fog computing and its role in the internet of things. In: Proceedings of the First Edition of the MCC Workshop on Mobile Cloud Computing, MCC 2012, pp. 13–16. ACM (2012)Google Scholar
  8. 8.
    Bordini, R.H., et al.: A survey of programming languages and platforms for multi-agent systems. Informatica (Slovenia) 30(1), 33–44 (2006)zbMATHGoogle Scholar
  9. 9.
    El Fallah Seghrouchni, A., Dix, J., Dastani, M., Bordini, R.H. (eds.): Multi-Agent Programming. Springer, Boston (2009).  https://doi.org/10.1007/978-0-387-89299-3zbMATHCrossRefGoogle Scholar
  10. 10.
    Bordini, R.H., Dennis, L.A., Farwer, B., Fisher, M.: Automated verification of multi-agent programs. In: ASE, pp. 69–78. IEEE Computer Society (2008)Google Scholar
  11. 11.
    Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifiable multi-agent programs. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) ProMAS 2003. LNCS (LNAI), vol. 3067, pp. 72–89. Springer, Heidelberg (2004).  https://doi.org/10.1007/978-3-540-25936-7_4CrossRefGoogle Scholar
  12. 12.
    Bozzelli, P., Gu, Q., Lago, P.: A systematic literature review on green software metrics. VU Amsterdam Technical report (2013)Google Scholar
  13. 13.
    Briola, D., Mascardi, V.: Can my test case run on your test plant? A logic-based compliance check and its evaluation on real data. In: Costantini, S., Franconi, E., Van Woensel, W., Kontchakov, R., Sadri, F., Roman, D. (eds.) RuleML+RR 2017. LNCS, vol. 10364, pp. 53–69. Springer, Cham (2017).  https://doi.org/10.1007/978-3-319-61252-2_5CrossRefGoogle Scholar
  14. 14.
    Briola, D., Mascardi, V., Ancona, D.: Distributed runtime verification of JADE multiagent systems. In: Camacho, D., Braubach, L., Venticinque, S., Badica, C. (eds.) Intelligent Distributed Computing VIII. SCI, vol. 570, pp. 81–91. Springer, Cham (2015).  https://doi.org/10.1007/978-3-319-10422-5_10CrossRefGoogle Scholar
  15. 15.
    Bures, T., et al.: Software engineering for smart cyber-physical systems - towards a research agenda: report on the first international workshop on software engineering for smart CPS. SIGSOFT Softw. Eng. Notes 40(6), 28–32 (2015)CrossRefGoogle Scholar
  16. 16.
    Calvaresi, D., Dubovitskaya, A., Calbimonte, J.P., Taveter, K., Schumacher, M.: Multi-agent systems and blockchain: results from a systematic literature review. In: Demazeau, Y., An, B., Bajo, J., Fernández-Caballero, A. (eds.) PAAMS 2018. LNCS (LNAI), vol. 10978, pp. 110–126. Springer, Cham (2018).  https://doi.org/10.1007/978-3-319-94580-4_9CrossRefGoogle Scholar
  17. 17.
    Chella, A., Cossentino, M., Sabatucci, L., Seidita, V.: Agile PASSI: an agile process for designing agents. Comput. Syst. Sci. Eng. 21(2), 133–144 (2006)Google Scholar
  18. 18.
    Cisco visual networking index: forecast and trends, 2017–2022 white paper (2019). https://www.cisco.com/c/en/us/solutions/collateral/service-provider/visual-networking-index-vni/white-paper-c11-741490.html
  19. 19.
    Clynch, N., Collier, R.: SADAAM: software agent development-an agile methodology. In: Proceedings of the Workshop of Languages, Methodologies, and Development Tools For Multi-agent Systems (LADS 2007) (2007)Google Scholar
  20. 20.
    Compaq. Internet solutions division strategy for cloud computing. CTS Presentation (1997)Google Scholar
  21. 21.
    Curry, E., Guyon, B., Sheridan, C., Donnellan, B.: Developing a sustainable IT capability: lessons from Intel’s journey. MIS Q. Exec. 11(2), 61–74 (2009)Google Scholar
  22. 22.
    Dastani, M., Testerink, B.: Design patterns for multi-agent programming. Int. J. Agent-Oriented Softw. Eng. 5(2/3), 167–202 (2016)CrossRefGoogle Scholar
  23. 23.
    Davidsson, P., Boman, M.: Saving energy and providing value added services in intelligent buildings: a MAS approach. In: Kotz, D., Mattern, F. (eds.) ASA/MA -2000. LNCS, vol. 1882, pp. 166–177. Springer, Heidelberg (2000).  https://doi.org/10.1007/978-3-540-45347-5_14CrossRefGoogle Scholar
  24. 24.
    de Lemos, R., et al.: Software engineering for self-adaptive systems: research challenges in the provision of assurances. In: de Lemos, R., Garlan, D., Ghezzi, C., Giese, H. (eds.) Software Engineering for Self-Adaptive Systems III. Assurances. LNCS, vol. 9640, pp. 3–30. Springer, Cham (2017).  https://doi.org/10.1007/978-3-319-74183-3_1CrossRefGoogle Scholar
  25. 25.
    Dey, A.K.: Understanding and using context. Pers. Ubiquitous Comput. 5(1), 4–7 (2001)CrossRefGoogle Scholar
  26. 26.
    Dobson, S., et al.: A survey of autonomic communications. ACM Trans. Auton. Adapt. Syst. 1(2), 223–259 (2006)CrossRefGoogle Scholar
  27. 27.
    Eddy, Y.F., Gooi, H.B., Chen, S.X.: Multi-agent system for distributed management of microgrids. IEEE Trans. Power Syst. 30(1), 24–34 (2015)CrossRefGoogle Scholar
  28. 28.
    Ferrando, A., Dennis, L.A., Ancona, D., Fisher, M., Mascardi, V.: Verifying and validating autonomous systems: towards an integrated approach. In: Colombo, C., Leucker, M. (eds.) RV 2018. LNCS, vol. 11237, pp. 263–281. Springer, Cham (2018).  https://doi.org/10.1007/978-3-030-03769-7_15CrossRefGoogle Scholar
  29. 29.
    Fisher, M., Wooldridge, M.: On the formal specification and verification of multi-agent systems. Int. J. Coop. Inf. Syst. 6(01), 37–65 (1997)CrossRefGoogle Scholar
  30. 30.
    Gómez-Rodríguez, A.M., González-Moreno, J.C.: Comparing agile processes for agent oriented software engineering. In: Ali Babar, M., Vierimaa, M., Oivo, M. (eds.) PROFES 2010. LNCS, vol. 6156, pp. 206–219. Springer, Heidelberg (2010).  https://doi.org/10.1007/978-3-642-13792-1_17CrossRefGoogle Scholar
  31. 31.
    González-Briones, A., De La Prieta, F., Mohamad, M., Omatu, S., Corchado, J.: Multi-agent systems applications in energy optimization problems: a state-of-the-art review. Energies 11(8), 1928 (2018)CrossRefGoogle Scholar
  32. 32.
    Henson, C., Anantharam, P., Sheth, A.: Physical-cyber-social computing: an early 21st century approach. IEEE Intell. Syst. 28(01), 78–82 (2013)CrossRefGoogle Scholar
  33. 33.
    Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent programming with declarative goals. In: Castelfranchi, C., Lespérance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol. 1986, pp. 228–243. Springer, Heidelberg (2001).  https://doi.org/10.1007/3-540-44631-1_16CrossRefGoogle Scholar
  34. 34.
    Iglesias, C.A., Garijo, M., González, J.C.: A survey of agent-oriented methodologies. In: Müller, J.P., Rao, A.S., Singh, M.P. (eds.) ATAL 1998. LNCS, vol. 1555, pp. 317–330. Springer, Heidelberg (1999).  https://doi.org/10.1007/3-540-49057-4_21CrossRefGoogle Scholar
  35. 35.
    Jennings, N.R., Sycara, K.P., Wooldridge, M.: A roadmap of agent research and development. Auton. Agent. Multi-Agent Syst. 1(1), 7–38 (1998)CrossRefGoogle Scholar
  36. 36.
    Juziuk, J., Weyns, D., Holvoet, T.: Design patterns for multi-agent systems: a systematic literature review. In: Shehory, O., Sturm, A. (eds.) Agent-Oriented Software Engineering, pp. 79–99. Springer, Heidelberg (2014).  https://doi.org/10.1007/978-3-642-54432-3_5CrossRefGoogle Scholar
  37. 37.
    Kacprzak, M., Lomuscio, A., Penczek, W.: Verification of multiagent systems via unbounded model checking. In: AAMAS, pp. 638–645. IEEE Computer Society (2004)Google Scholar
  38. 38.
    Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE Comput. 36(1), 41–50 (2003)CrossRefGoogle Scholar
  39. 39.
    Kirby Jr., J.: Model-driven agile development of reactive multi-agent systems. In: COMPSAC (2), pp. 297–302. IEEE Computer Society (2006)Google Scholar
  40. 40.
    Kraus, S.: Negotiation and cooperation in multi-agent environments. Artif. Intell. 94(1), 79–97 (1997). Economic Principles of Multi-Agent SystemsMathSciNetzbMATHCrossRefGoogle Scholar
  41. 41.
    Lee, E.A.: Cyber physical systems: design challenges. In: ISORC, pp. 363–369. IEEE Computer Society (2008)Google Scholar
  42. 42.
    Leitão, P., Colombo, A.W., Karnouskos, S.: Industrial automation based on cyber-physical systems technologies: prototype implementations and challenges. Comput. Ind. 81, 11–25 (2016)CrossRefGoogle Scholar
  43. 43.
    Li, J., Wei, H., Xia, X.: The multi-agent model and method for energy-saving generation dispatching system. In: 2010 International Conference on Power System Technology, pp. 1–8, October 2010Google Scholar
  44. 44.
    Lurie, Y., Mark, S.: Professional ethics of software engineers: an ethical framework. Sci. Eng. Ethics 22(2), 417–434 (2016)CrossRefGoogle Scholar
  45. 45.
    Lützenberger, M., Küster, T., Masuch, N., Fähndrich, J.: Multi-agent system in practice: When research meets reality. In: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, AAMAS 2016, pp. 796–805. International Foundation for Autonomous Agents and Multiagent Systems (2016)Google Scholar
  46. 46.
    Mamei, M., Zambonelli, F.: Programming pervasive and mobile computing applications: the TOTA approach. ACM Trans. Softw. Eng. Methodol. 18(4), 15:1–15:56 (2009)CrossRefGoogle Scholar
  47. 47.
    Muccini, H., Sharaf, M., Weyns, D.: Self-adaptation for cyber-physical systems: a systematic literature review. In: Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016, pp. 75–81. ACM (2016)Google Scholar
  48. 48.
    Omicini, A., Ricci, A., Viroli, M.: Artifacts in the A&A meta-model for multi-agent systems. Autonomous Agents and Multi-Agent Systems 17(3), 432–456 (2008)CrossRefGoogle Scholar
  49. 49.
    Omicini, A., Ricci, A., Viroli, M., Castelfranchi, C., Tummolini, L.: Coordination artifacts: environment-based coordination for intelligent agents. In: AAMAS, pp. 286–293. IEEE Computer Society (2004)Google Scholar
  50. 50.
    Oreizy, P., et al.: An architecture-based approach to self-adaptive software. IEEE Intell. Syst. Appl. 14(3), 54–62 (1999)CrossRefGoogle Scholar
  51. 51.
    Parunak, H.V.D., Weyns, D.: Guest editors’ introduction, special issue on environments for multi-agent systems. Auton. Agent. Multi-Agent Syst. 14(1), 1–4 (2007)CrossRefGoogle Scholar
  52. 52.
    Rajkumar, R., Lee, I., Sha, L., Stankovic, J.A.: Cyber-physical systems: the next computing revolution. In: Sapatnekar, S.S. (ed.) Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, 13–18 July 2010, pp. 731–736. ACM (2010)Google Scholar
  53. 53.
    Russell, S.J., Norvig, P.: Artificial Intelligence – A Modern Approach, 3rd edn. Pearson Education, London (2010)zbMATHGoogle Scholar
  54. 54.
    Satyanarayanan, M.: Pervasive computing: vision and challenges. IEEE Pers. Commun. 8(4), 10–17 (2001)CrossRefGoogle Scholar
  55. 55.
    Schelfthout, K., Coninx, T., Helleboogh, A., Holvoet, T., Steegmans, E., Weyns, D.: Agent implementation patterns. In: Workshop on Agent-Oriented Methodologies, 17th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA02) (2002)Google Scholar
  56. 56.
    Shehory, O., Sturm, A.: Multi-agent systems: a software architecture viewpoint. In: Shehory, O., Sturm, A. (eds.) Agent-Oriented Software Engineering: Reflections on Architectures. Methodologies, Languages, and Frameworks, pp. 57–78. Springer, Berlin Heidelberg (2014).  https://doi.org/10.1007/978-3-642-54432-3_4CrossRefGoogle Scholar
  57. 57.
    Shi, W., Cao, J., Zhang, Q., Li, Y., Xu, L.: Edge computing: vision and challenges. IEEE Internet Things J. 3(5), 637–646 (2016)CrossRefGoogle Scholar
  58. 58.
    Shoham, Y.: Agent-oriented programming. Artif. Intell. 60(1), 51–92 (1993)MathSciNetCrossRefGoogle Scholar
  59. 59.
    Singh, M.P.: Agent communication languages: rethinking the principles. Computer 31(12), 40–47 (1998)CrossRefGoogle Scholar
  60. 60.
    Suganuma, T., Oide, T., Kitagami, S., Sugawara, K., Shiratori, N.: Multiagent-based flexible edge computing architecture for IoT. IEEE Network 32(1), 16–23 (2018)CrossRefGoogle Scholar
  61. 61.
    Swan, M.: Blockchain: Blueprint for a New Economy. O’Reilly Media Inc., Sebastopol (2015)Google Scholar
  62. 62.
    Sycara, K.P., Pannu, A., Williamson, M., Zeng, D., Decker, K.: Distributed intelligent agents. IEEE Expert 11(6), 36–46 (1996)CrossRefGoogle Scholar
  63. 63.
    Tambe, M.: Towards flexible teamwork. J. Artif. Intell. Res. 7, 83–124 (1997)CrossRefGoogle Scholar
  64. 64.
    Ulieru, M.: Design for resilience of networked critical infrastructures. In: 2007 Inaugural IEEE-IES Digital EcoSystems and Technologies Conference, pp. 540–545. IEEE (2007)Google Scholar
  65. 65.
    Van Dyke Parunak, H.: “Go to the ant”: engineering principles from natural multi-agent systems. Ann. Oper. Res. 75, 69–101 (1997)zbMATHCrossRefGoogle Scholar
  66. 66.
    Wang, L., Haghighi, A.: Combined strength of holons, agents and function blocks in cyber-physical systems. J. Manuf. Syst. 40, 25–34 (2016). SI: Challenges in Smart ManufacturingCrossRefGoogle Scholar
  67. 67.
    Wang, S., Wan, J., Zhang, D., Li, D., Zhang, C.: Towards smart factory for industry 4.0: a self-organized multi-agent system with big data based feedback and coordination. Comput. Netw. 101, 158–168 (2016)CrossRefGoogle Scholar
  68. 68.
    Weyns, D.: An architecture-centric approach for software engineering with situated multiagent systems. Ph.D., Katholieke Universiteit Leuven, Belgium (2006)Google Scholar
  69. 69.
    Weyns, D.: Architecture-Based Design of Multi-Agent Systems. Springer, Heidelberg (2010).  https://doi.org/10.1007/978-3-642-01064-4zbMATHCrossRefGoogle Scholar
  70. 70.
    Weyns, D.: Software engineering of self-adaptive systems. Handbook of Software Engineering, pp. 399–443. Springer, Cham (2019).  https://doi.org/10.1007/978-3-030-00262-6_11CrossRefGoogle Scholar
  71. 71.
    Weyns, D., Helleboogh, A., Holvoet, T.: How to get multi-agent systems accepted in industry? IJAOSE 3(4), 383–390 (2009)zbMATHCrossRefGoogle Scholar
  72. 72.
    Weyns, D., Holvoet, T.: Architectural design of a situated multiagent system for controlling automatic guided vehicles. J. Agent-Oriented Softw. Eng. 2(1), 90–128 (2008)CrossRefGoogle Scholar
  73. 73.
    Weyns, D., Michel, F.: Agent environments for multi-agent systems – a research roadmap. In: Weyns, D., Michel, F. (eds.) E4MAS 2014. LNCS (LNAI), vol. 9068, pp. 3–21. Springer, Cham (2015).  https://doi.org/10.1007/978-3-319-23850-0_1CrossRefGoogle Scholar
  74. 74.
    Weyns, D., Omicini, A., Odell, J.: Environment as a first class abstraction in multiagent systems. Auton. Agent. Multi-Agent Syst. 14(1), 5–30 (2007)CrossRefGoogle Scholar
  75. 75.
    Weyns, D., Ramachandran, G.S., Singh, R.K.: Self-managing internet of things. In: Tjoa, A.M., Bellatreche, L., Biffl, S., van Leeuwen, J., Wiedermann, J. (eds.) SOFSEM 2018. LNCS, vol. 10706, pp. 67–84. Springer, Cham (2018).  https://doi.org/10.1007/978-3-319-73117-9_5CrossRefGoogle Scholar
  76. 76.
    Wooldridge, M., Jennings, N.R.: Agent theories, architectures, and languages: a survey. In: Wooldridge, M.J., Jennings, N.R. (eds.) ATAL 1994. LNCS, vol. 890, pp. 1–39. Springer, Heidelberg (1995).  https://doi.org/10.1007/3-540-58855-8_1CrossRefGoogle Scholar
  77. 77.
    Wooldridge, M., Jennings, N.R.: Intelligent agents: theory and practice. Knowl. Eng. Rev. 10(2), 115–152 (1995)CrossRefGoogle Scholar
  78. 78.
    Zalila-Wenkstern, R., Steel, T., Leask, G.: A self-organizing architecture for traffic management. In: Weyns, D., Malek, S., de Lemos, R., Andersson, J. (eds.) SOAR 2009. LNCS, vol. 6090, pp. 230–250. Springer, Heidelberg (2010).  https://doi.org/10.1007/978-3-642-14412-7_11CrossRefGoogle Scholar
  79. 79.
    Zambonelli, F., Jennings, N.R., Wooldridge, M.J.: Developing multiagent systems: the Gaia methodology. ACM Trans. Softw. Eng. Methodol. 12(3), 317–370 (2003)CrossRefGoogle Scholar
  80. 80.
    Zhao, P., Simões, M.G., Suryanarayanan, S.: A conceptual scheme for cyber-physical systems based energy management in building structures. In: 2010 9th IEEE/IAS International Conference on Industry Applications - INDUSCON 2010, pp. 1–6, November 2010Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.University of GenovaGenovaItaly
  2. 2.KU Leuven, KulakKortrijkBelgium
  3. 3.Linnaeus UniversityVäxjöSweden

Personalised recommendations