Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Engineering Multi-Agent Systems

EMAS 2018: Engineering Multi-Agent Systems pp 3–16Cite as

Engineering Multi-agent Systems Anno 2025

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,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.

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   59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   74.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

Notes

  1. 1.

    https://www.forbes.com/sites/janakirammsv/2018/02/22/the-rise-of-artificial-intelligence-as-a-service-in-the-public-cloud.

  2. 2.

    https://assets.publishing.service.gov.uk/government/uploads/system/uploads/attachment_data/file/492972/gs-16-1-distributed-ledger-technology.pdf.

  3. 3.

    https://www.nsf.gov/publications/pub_summ.jsp?ods_key=nsf19553.

  4. 4.

    https://futureoflife.org/ai-principles/.

References

  1. Amazon elastic compute cloud (2006). https://docs.aws.amazon.com/ec2/index.html

  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_13

    Chapter  Google Scholar 

  3. Ashton, K.: That ‘internet of things’ thing. RFID J. 22, 97–114 (2009)

    Google Scholar 

  4. Atzori, L., Iera, A., Morabito, G.: The internet of things: a survey. Comput. Netw. 54(15), 2787–2805 (2010)

    Article  MATH  Google Scholar 

  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. Beck, K., et al.: Manifesto for agile software development (2001). http://agilemanifesto.org/

  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. Bordini, R.H., et al.: A survey of programming languages and platforms for multi-agent systems. Informatica (Slovenia) 30(1), 33–44 (2006)

    MATH  Google Scholar 

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

    Book  MATH  Google Scholar 

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

    Chapter  Google Scholar 

  12. Bozzelli, P., Gu, Q., Lago, P.: A systematic literature review on green software metrics. VU Amsterdam Technical report (2013)

    Google Scholar 

  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_5

    Chapter  Google Scholar 

  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_10

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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_9

    Chapter  Google Scholar 

  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. 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. 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. Compaq. Internet solutions division strategy for cloud computing. CTS Presentation (1997)

    Google Scholar 

  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. Dastani, M., Testerink, B.: Design patterns for multi-agent programming. Int. J. Agent-Oriented Softw. Eng. 5(2/3), 167–202 (2016)

    Article  Google Scholar 

  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_14

    Chapter  Google Scholar 

  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_1

    Chapter  Google Scholar 

  25. Dey, A.K.: Understanding and using context. Pers. Ubiquitous Comput. 5(1), 4–7 (2001)

    Article  Google Scholar 

  26. Dobson, S., et al.: A survey of autonomic communications. ACM Trans. Auton. Adapt. Syst. 1(2), 223–259 (2006)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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_15

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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_17

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  32. Henson, C., Anantharam, P., Sheth, A.: Physical-cyber-social computing: an early 21st century approach. IEEE Intell. Syst. 28(01), 78–82 (2013)

    Article  Google Scholar 

  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_16

    Chapter  Google Scholar 

  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_21

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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_5

    Chapter  Google Scholar 

  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. Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE Comput. 36(1), 41–50 (2003)

    Article  Google Scholar 

  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. Kraus, S.: Negotiation and cooperation in multi-agent environments. Artif. Intell. 94(1), 79–97 (1997). Economic Principles of Multi-Agent Systems

    Article  MathSciNet  MATH  Google Scholar 

  41. Lee, E.A.: Cyber physical systems: design challenges. In: ISORC, pp. 363–369. IEEE Computer Society (2008)

    Google Scholar 

  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)

    Article  Google Scholar 

  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 2010

    Google Scholar 

  44. Lurie, Y., Mark, S.: Professional ethics of software engineers: an ethical framework. Sci. Eng. Ethics 22(2), 417–434 (2016)

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Article  Google Scholar 

  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. Oreizy, P., et al.: An architecture-based approach to self-adaptive software. IEEE Intell. Syst. Appl. 14(3), 54–62 (1999)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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. Russell, S.J., Norvig, P.: Artificial Intelligence – A Modern Approach, 3rd edn. Pearson Education, London (2010)

    MATH  Google Scholar 

  54. Satyanarayanan, M.: Pervasive computing: vision and challenges. IEEE Pers. Commun. 8(4), 10–17 (2001)

    Article  Google Scholar 

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

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  58. Shoham, Y.: Agent-oriented programming. Artif. Intell. 60(1), 51–92 (1993)

    Article  MathSciNet  Google Scholar 

  59. Singh, M.P.: Agent communication languages: rethinking the principles. Computer 31(12), 40–47 (1998)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  61. Swan, M.: Blockchain: Blueprint for a New Economy. O’Reilly Media Inc., Sebastopol (2015)

    Google Scholar 

  62. Sycara, K.P., Pannu, A., Williamson, M., Zeng, D., Decker, K.: Distributed intelligent agents. IEEE Expert 11(6), 36–46 (1996)

    Article  Google Scholar 

  63. Tambe, M.: Towards flexible teamwork. J. Artif. Intell. Res. 7, 83–124 (1997)

    Article  Google Scholar 

  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. Van Dyke Parunak, H.: “Go to the ant”: engineering principles from natural multi-agent systems. Ann. Oper. Res. 75, 69–101 (1997)

    Article  MATH  Google Scholar 

  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 Manufacturing

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  68. Weyns, D.: An architecture-centric approach for software engineering with situated multiagent systems. Ph.D., Katholieke Universiteit Leuven, Belgium (2006)

    Google Scholar 

  69. Weyns, D.: Architecture-Based Design of Multi-Agent Systems. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-01064-4

    Book  MATH  Google Scholar 

  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_11

    Chapter  Google Scholar 

  71. Weyns, D., Helleboogh, A., Holvoet, T.: How to get multi-agent systems accepted in industry? IJAOSE 3(4), 383–390 (2009)

    Article  MATH  Google Scholar 

  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)

    Article  Google Scholar 

  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_1

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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_5

    Chapter  Google Scholar 

  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_1

    Chapter  Google Scholar 

  77. Wooldridge, M., Jennings, N.R.: Intelligent agents: theory and practice. Knowl. Eng. Rev. 10(2), 115–152 (1995)

    Article  Google Scholar 

  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_11

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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 2010

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Genova, Genova, Italy

    Viviana Mascardi

  2. KU Leuven, Kulak, Kortrijk, Belgium

    Danny Weyns

  3. Linnaeus University, Växjö, Sweden

    Danny Weyns

Authors
  1. Viviana Mascardi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Danny Weyns
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Viviana Mascardi .

Editor information

Editors and Affiliations

  1. Department of Computer Science, KU Leuven, Leuven, Belgium

    Danny Weyns

  2. Department of Computer Science, Bioengineering, Robotics and Systems Engineering, Università degli Studi di Genova, Genoa, Italy

    Viviana Mascardi

  3. Department of Computer Science and Engineering, University of Bologna, Cesena, Forli/Cesana, Italy

    Alessandro Ricci

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Mascardi, V., Weyns, D. (2019). Engineering Multi-agent Systems Anno 2025. In: Weyns, D., Mascardi, V., Ricci, A. (eds) Engineering Multi-Agent Systems. EMAS 2018. Lecture Notes in Computer Science(), vol 11375. Springer, Cham. https://doi.org/10.1007/978-3-030-25693-7_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-25693-7_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-25692-0

  • Online ISBN: 978-3-030-25693-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation