Skip to main content
SpringerLink
Log in

Towards Dependable Agent Systems

  • Chapter
Multiagent Engineering

Part of the book series: International Handbooks on Information Systems ((INFOSYS))

Abstract

If an environment depends on the services of a multiagent system it should do so only if it can justifiably place reliance on this service. If so, the system appears to the environment reliable, or dependable. It is well-known that dependability should be designed right into a system rather than added as an afterthought. Particularly due to the high degree of distribution and the autonomy of agents, multiagent systems pose numerous and often novel challenges but also offer new opportunities to deal with dependability. This chapter examines the important issues and discusses how appropriate solutions can be associated with specific layers of the reference architecture of IV.4. Specifically, a distinction is made between unintentional and intentional failures, the former resulting in a suite of solutions referred to as error processing, the latter in measures called trust management.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Further Reading

  1. Halsall, F.: Data Communications, Computer Networks and Open Systems. Addison-Wesley, Harlow, 1996.

    MATH  Google Scholar 

  2. Motro, A.; Smets, P. (Eds): Uncertainty Management in Information Systems — From Needs to Solutions. Kluwer Academic Publishers, Boston, 1997.

    Google Scholar 

  3. Weikum, G.; Vossen, G.: Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery. Morgan Kaufmann Publishers, San Francisco, 2002.

    Google Scholar 

References

  1. Anderson, T.; Lee, P. A.: Fault Tolerance: Principles and Practice. Pearson Prentice Hall, Upper Saddle River, 1981.

    Google Scholar 

  2. Axelrod, R.: The Evolution of Cooperation. Basic Books, New York, 1984.

    Google Scholar 

  3. Bellifemine, F.; Bergenti, F.; Caire, G.; Poggi, A.: JADE — A Java Agent Development Framework. In: Bordini, R.; Dastani, M.; Dix, J.; El Fallah-Seghrouchni, A. (Eds.): Mutli-Agent Programming. Kluwer, Dordrecht, 2005.

    Google Scholar 

  4. Galan, A.; Baker, A.: Multi-agent communication in jafmas. In: Working Notes of the Workshop on Specifying and Implementing Conversation Policies. 1999, pp. 67–70.

    Google Scholar 

  5. Garcia-Molina, H.: Elections in a Distributed Computing System. In: IEEE Transactions on Computers C-31(1982)1, pp. 48–59.

    Google Scholar 

  6. Garcia-Molina, H.; Salem, K.: SAGAS. In: Dayal, U.; Traiger, I. (Eds.): Proceedings of the SIGMod 1987 Annual Conference. ACM Press, New York, 1987, pp. 249–259.

    Chapter  Google Scholar 

  7. Garcia-Molina, H.; Gawlick, D.; Klein, J.; Kleissner, K.; Salem, K.: Modeling long-running activities as nested sagas. In: IEEE Data Engineering 14(1991)1, pp. 14–18.

    Google Scholar 

  8. Greenfield, P.; Fekete, A.; Jang, J.; Kuo, D.: Compensation is not enough. In: Proceedings of the 7th IEEE International Enterprise Distributed Object Computing Conference. IEEE Press, New York, 2003, pp. 232–239.

    Chapter  Google Scholar 

  9. Halsall, F.: Data Communications, Computer Networks and Open Systems. Addison-Wesley, Harlow, 1996.

    MATH  Google Scholar 

  10. Hannebauer, M.: Modeling and verifying agent interaction protocols with algebraic petri nets. In: Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT-2002). 2002.

    Google Scholar 

  11. Harman, G. H.: Change in View: Principles of Reasoning. MIT Press, Cambridge, 1986.

    Google Scholar 

  12. Kamvar, S. D.; Schlosser, M. T.; Garcia-Molina, H.: The Eigen-Trust Algorithm for Reputation Management in P2P Networks. In: Hencsey, G.; White, B.; Chen, Y. F. R.; Kovács, L.; Lawrence, S. (Eds.): Proceedings of the Twelfth International World Wide Web Conference (WWW2003). ACM Press, New York, 2003, pp. 640–651.

    Chapter  Google Scholar 

  13. Katsuno, H.; Mendelzon, A.: On the difference between updating a knowledge base and revising it. In: Gärdenfors, P. (Ed.): Belief Revision. Cambridge University Press, Cambridge, 1992, pp. 183–203.

    Google Scholar 

  14. Kumar, S.; Cohen, P. R.: Towards a fault-tolerant multi-agent system architecture. In: Sierra, C.; Maria, G.; Rosenschein, J. S. (Eds.): Proceedings of the 4th International Conference on Autonomous Agents (Agents 2000). ACM Press, New York, 2000, pp. 459–466.

    Chapter  Google Scholar 

  15. Laprie, J. C.: Dependable computing and fault tolerance: concepts and terminology. In: Proceedings of the 15th IEEE Symposium on Fault Tolerant Computing Systems (FTCS-15). IEEE Press, New York, 1985, pp. 2–11.

    Google Scholar 

  16. Laprie, J. C. (Ed.): Dependable computing and fault tolerant systems — vol. 5: Dependability: basic concepts and terminology: in English, French, German, Italian and Japanese. Springer Verlag, Heidelberg, 1992.

    Google Scholar 

  17. Lopez y Lopez, F.; Luck, M.; d’Inverno, M.: Constraining autonomy through norms. In: Gini, M.; Ishida, T.; Castelfranchi, C.; Johnson, W. L. (Eds.): Proceedings of the first international joint conference on autonomous agents and multiagent systems: part 2 (AAMAS 2002). ACM Press, New York, 2002, pp. 674–681.

    Chapter  Google Scholar 

  18. Marsh, S.: Formalizing Trust as a Computational Concept. Ph.D. thesis. Department of Computing Science and Mathematics, University of Stirling, 1994.

    Google Scholar 

  19. Mena, E.; Illarramendi, A.; Goni, A.: Automatic ontology construction for a multiagent-based software gathering service. In: Klusch, M.; Kerschberg, L. (Eds.): Proceedings of the Fourth International ICMAS’2000 Workshop on Cooperative Information Agents (CIA’2000). Springer Verlag, Heidelberg, 2000, pp. 232–243.

    Google Scholar 

  20. Motro, A.; Smets, P. (Eds.): Uncertainty Management in Information Systems — From Needs to Solutions. Kluwer Academic Publishers, Boston, 1997.

    Google Scholar 

  21. Nagi, K.: Scalability of a transactional infrastructure for multiagent systems. In: Wagner, T.; Rana, O. F. (Eds.): Proceedings of the First International Workshop on Infrastructure for Scalable Multi-Agent Systems. Springer-Verlag, Heidelberg, 2000, pp. 266–278.

    Google Scholar 

  22. Nagi, K.: Transactional Agents: Towards a Robust Multi-Agent System. Lecture Notes in Computer Science 2249. Springer-Verlag, Heidelberg, 2001.

    Google Scholar 

  23. Nagi, K.: Modeling and simulation of cooperative multi-agents in transactional database environments. In: Wagner, T.; Rana, O. F. (Eds.): Proceedings of the Second International Workshop on Infrastructure for Scalable Multi-Agent Systems. 2001.

    Google Scholar 

  24. Nimis, J.; Lockemann, P. C.: Robust Multi-Agent Systems: The Transactional Conversation Approach. In: Proceedings of the First International Workshop on Safety and Security in Multiagent Systems (SASEMAS 2004). 2004, pp. 73–84.

    Google Scholar 

  25. Nodine, M. H.; Unruh, A.: Constructing robust conversation policies in dynamic agent communities. In: Dignum, F.; Greaves, M. (Eds.): Issues in Agent Communication. Springer Verlag, Heidelberg, 1999, pp. 205–219.

    Google Scholar 

  26. The Open Group: X/Open Distributed TP: Reference Model. Version 3, 1996. http://www.opengroup.org/products/publications/catalog/g504.htm, accessed on 2005-12-03.

    Google Scholar 

  27. Paurobally, S.; Cunningham, J.; Jennings, N. R.: Ensuring consistency in the joint beliefs of interacting agents. In: Rosenschein, S.; Wooldridge, M. J.; Sandholm, T.; Yokoo, M. (Eds.): Proceedings of the second international joint conference on Au tonomous agents and multiagent systems (AAMAS 2003). ACM Press, New York, 2003, pp. 662–669.

    Chapter  Google Scholar 

  28. Pearl, J.: Belief Networks Revisited. In: Bobrow, D. G. (Ed.): Artificial intelligence in Perspective. MIT Press, Cambridge, 1994, pp. 49–56.

    Google Scholar 

  29. Pleisch, S.; Schiper, A.: Approaches to Fault-Tolerant and Transactional Mobile Agent Execution — An Algorithmic View. ACM Computing Surveys 36(2004)3, pp. 219–262.

    Article  Google Scholar 

  30. Poslad, S.; Buckle, P.; Hadingham, R.: FIPA-OS: the FIPA agent Platform available as Open Source. In: Bradshaw, J.; Arnold, G. (Eds.): Proceedings of the 5th International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM 2000). 2000, pp. 355–368.

    Google Scholar 

  31. Poslad, S.; Charlton, P.: Standardizing agent interoperability: The FIPA approach. In: Luck, M.; Maík, V.; Stpánková, O.; Trappl, R. (Eds.): Proceedings of Agent Link’s Third European Agent Systems Summer School (EASSS 2001). Springer Verlag, Heidelberg, 2001, pp. 98–117.

    Google Scholar 

  32. Ramchurn, S. D.; Jennings, N. R.: Trust in agent-based software. In: Mansell, R.; Collins, B. S. (Eds.): Trust and Crime in Information Societies. Elgar Publishing, Northampton, 2005, pp. 165–204.

    Google Scholar 

  33. Resnick, P.; Kuwabara, K.; Zeckhauser, R.; Friedman, E.: Reputation systems. In: Communications of the ACM 43(2000)12, pp. 45–48.

    Article  Google Scholar 

  34. Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton, 1976.

    MATH  Google Scholar 

  35. Smith, R.: The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver. IEEE Transactions on Computers 29(1980), pp. 1104–1113.

    Google Scholar 

  36. Unruh, A.; Bailey, J.; Ramamohanarao, K.: A Framework for Goal-Based Semantic Compensation in Agent Systems. In: Proceedings of the Second International Workshop on Safety and Security in Multi Agent Systems (SaSeMAS2004). 2004, pp. 125–141.

    Google Scholar 

  37. Unruh, A.; Harjadi, H.; Bailey, J.; Ramamohanarao, K.: Semantic-compensation-based recovery in multi-agent systems. In: Proceedings of the 2nd IEEE Symposium on Multi-Agent Security and Survivability. 2005, pp. 85–94.

    Google Scholar 

  38. Vogt, R.: Embedding a transaction-based robustness-service into a fipa-compliant multi-agent framework in German). Diploma thesis, Universität Karlsruhe (TH), 2001.

    Google Scholar 

  39. Wang, Y.; Vassileva, J.: Bayesian Network-Based Trust Model. In: Proceedings of the IEEE/WIC International Conference on Web Intelligence (WI 2003). IEEE Press, New York, 2003, pp. 372–378.

    Chapter  Google Scholar 

  40. Weikum, G.; Vossen, G.: Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery. Morgan Kaufmann Publishers, San Francisco, 2002.

    Google Scholar 

  41. Whitestein Technologies AG: LS/TS — Living Systems® Technology Suite — Product Flyer. 2005. http://www.whitestein.com/resources/products/whitestein_lsts_flyer.pdf, accessed on 2005-08-24.

    Google Scholar 

  42. Zacharia, G.; Moukas, A.; Maes, P.: Collaborative Reputation Mechanisms in Electronic Marketplaces. In: Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32). IEEE Press, New York, 1999, p. 8026.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Instiut für Programmstrukturen und Datenorganisation, Universität Karlsruhe (TH), Karlsruhe

    Jens Nimis, Peter C. Lockemann & Klemens Böhm

  2. Lehrstuhl für Informatik IV, RWTH Aachen, Aachen

    Karl-Heinz Krempels

  3. Institut für Technische und Betriebliche Informationssysteme, Universität Magdeburg, Magdeburg

    Erik Buchmann

Authors
  1. Jens Nimis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter C. Lockemann
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Karl-Heinz Krempels
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Erik Buchmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Klemens Böhm
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Wirtschaftsinformatik II (510 O), Universität Hohenheim, Schwerzstraße 35, 70599, Stuttgart, Germany

    Stefan Kirn

  2. Technologie-Zentrum Informatik, Universität Bremen, Am Fallturm 1, 28359, Bremen, Germany

    Otthein Herzog

  3. Institut für Programmstrukturen und Datenorganisation (IPD), Universität Karlsruhe (TH), Am Fasanengarten 5, 76131, Karlsruhe, Germany

    Peter Lockemann

  4. Lehrstuhl für Informatik 4, RWTH Aachen, Ahornstraße 55, 52074, Aachen, Germany

    Otto Spaniol

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer Berlin · Heidelberg

About this chapter

Cite this chapter

Nimis, J., Lockemann, P.C., Krempels, KH., Buchmann, E., Böhm, K. (2006). Towards Dependable Agent Systems. In: Kirn, S., Herzog, O., Lockemann, P., Spaniol, O. (eds) Multiagent Engineering. International Handbooks on Information Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-32062-8_23

Download citation

  • DOI: https://doi.org/10.1007/3-540-32062-8_23

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-31406-6

  • Online ISBN: 978-3-540-32062-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation