Skip to main content
SpringerLink
Log in

Crash failure detection in asynchronous agent communication languages

  • Published:
Autonomous Agents and Multi-Agent Systems Aims and scope Submit manuscript

Abstract

Agent Communication Languages (ACLs) have been developed to provide a way for agents to communicate with each other supporting cooperation in Multi-Agent Systems (MAS). In the past few years many ACLs have been proposed for MAS and new standards are emerging such as the ACL developed by the Foundation for Intelligent Physical Agents (FIPA). Despite these efforts, an important issue in the research on ACLs is still open and concerns how these languages should deal with failures of agents in asynchronous MAS. The Fault Tolerant Agent Communication Language (\(\mathbb{FT}\)-\(\mathbb{ACL}\)) presented in this paper addresses this issue dealing with crash failures of agents. \(\mathbb{FT}\)-\(\mathbb{ACL}\) provides high-level communication primitives which support a fault-tolerant anonymous interaction protocol designed for open MAS. We present a formal semantics for \(\mathbb{FT}\)-\(\mathbb{ACL}\) and a formal specification of the underlying agent architecture. This formal framework allows us to prove that the ACL satisfies a set of well defined knowledge-level programming requirements. To illustrate the language features we show how \(\mathbb{FT}\)-\(\mathbb{ACL}\) can be effectively used to write high-level executable specifications of fault tolerant protocols, such as the Contract Net one.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Agha, G. (1986). Actors: A model of concurrent computation in distributed systems. MIT Press.

  2. Amadio, R. (1997). An asynchronous model of locality, failure, and process mobility. In Proceedings of coordination, volume 1282 of Lecture notes in computer science (pp. 374–391) Springer-Verlag.

  3. Amadio, R., & Prasad, S. (1994). Localities and failures. In Proceedings of the 14th foundations of software technology and theoretical computer science conference, volume 880 of Lecture notes in computer science (pp. 205–216) Springer-Verlag.

  4. C. Bernardeschi A. Fantechi L. Simoncini (2000) ArticleTitleFormally verifying fault tolerant system designs The Computer Journal 43 IssueID3 191–205 Occurrence Handle0969.68567 Occurrence Handle10.1093/comjnl/43.3.191

    Article  MATH  Google Scholar 

  5. B. Chaib-draa F. Dignum (2002) ArticleTitleTrends in agent communication language Computational Intelligence 2 IssueID5 89–101 Occurrence Handle10.1111/1467-8640.00184

    Article  Google Scholar 

  6. T.D. Chandra S. Toueg (1996) ArticleTitleUnreliable failure detectors for reliable distributed systems Journal of the ACM 43 IssueID2 225–267 Occurrence Handle0885.68021 Occurrence Handle1408322 Occurrence Handle10.1145/226643.226647

    Article  MATH  MathSciNet  Google Scholar 

  7. N. Dragoni M. Gaspari (2005) ArticleTitleAn object based algebra for specifying a fault tolerant software architecture Journal of Logic and Algebraic Programming 63 IssueID2 271–297 Occurrence Handle1080.68013 Occurrence Handle2133290 Occurrence Handle10.1016/j.jlap.2004.05.006

    Article  MATH  MathSciNet  Google Scholar 

  8. Dragoni, N., Gaspari, M., & Guidi, D. (To apper). A reasoning infrastructure to support cooperation of intelligent agents on the semantic grid. International Journal of Applied Intelligence.

  9. Finin, T., Labrou, Y., & Mayfield, J. (1997). KQML as an Agent communication language. In Software agents, (pp. 291–316) MIT Press.

  10. FIPA Communicative Act Library Specification. (2002). Available online: http://www.fipa.org/, Document number: SC00037J.

  11. Fournet, C., Gonthier, G., Levy, J., Maranget, L., & Remy, D. (1996). A calculus of mobile agents. In Proceedings of the 7th international conference on concurrency theory (CONCUR) (pp. 406–421). Springer-Verlag.

  12. Gaspari, M. (1998). Concurrency and knowledge-level communication in agent languages. Artificial Intelligence, 105(1–2), 1–45.

    Google Scholar 

  13. M. Gaspari (2002) ArticleTitleAn ACL for a dynamic system of agents Computational Intelligence 18 IssueID2 102–119 Occurrence Handle10.1111/1467-8640.00185

    Article  Google Scholar 

  14. Gaspari, M., & Zavattaro, G. (1999). A process algebraic specification of the new asynchronous corba messaging service. In Proceedings of European conference on object oriented programming (ECOOP), volume 1628 of Lecture notes in computer science (pp. 495–518) Berlin: Springer-Verlag.

  15. Gaspari, M., & Zavattaro, G. (1999). An algebra of actors. In Proceedings of IFIP conference on formal methods for open object-based distributed systems (FMOODS), (pp. 3–18) Kluwer Academic Publisher.

  16. Gaspari, M., & Zavattaro, G. (2001). An actor algebra for specifying distributed systems: The hurried philosophers case study. In G. Agha, F. Decindio, & G. Rozenberg (Eds), Concurrent object-oriented programming and Petri Nets, volume 200 of Lecture notes in computer science (pp. 428–444) Berlin: Springer-Verlag.

  17. J.Y. Halpern Y. Moses (1990) ArticleTitleKnowledge and common knowledge in a distributed environment Journal of the ACM 37 IssueID3 549–587 Occurrence Handle0699.68115 Occurrence Handle1072269 Occurrence Handle10.1145/79147.79161

    Article  MATH  MathSciNet  Google Scholar 

  18. He, H., Haas, H., & Orchard, D. (2004). Web services architecture usage scenarios. Technical report NOTE-ws-arch-scenarios-20040211, W3C, February 2004.

  19. G.A. Kaminka M. Tambe (2000) ArticleTitleRobust agent teams via socially-attentive monitoring Journal of Artificial Intelligence Research 12 105–147 Occurrence Handle0940.68032

    MATH  Google Scholar 

  20. Klein, M., & Dellarocas, C. (1999). Exception handling in agent systems. In AGENTS ’99: Proceedings of the third annual conference on autonomous agents (pp. 62–68) New York, NY, USA: ACM Press.

  21. M. Klein J.A. Rodríguez-Aguilar C. Dellarocas (2003) ArticleTitleUsing domain-independent exception handling services to enable robust open multi-agent systems: The case of agent death Autonomous Agents and Multi-Agent Systems 7 IssueID1–2 179–189 Occurrence Handle10.1023/A:1024145408578

    Article  Google Scholar 

  22. M. Luck P. McBurney C. Preist (2004) ArticleTitleManifesto for agent technology: Towards next generation computing Autonomous Agents and Multi-Agent Systems 9 IssueID3 203–252 Occurrence Handle10.1023/B:AGNT.0000038027.29035.7c

    Article  Google Scholar 

  23. Milner, R. (1989). Communication and concurrency. Prentice Hall.

  24. R. Milner (1992) ArticleTitleFunctions as processes Mathematical Structures in Computer Science 2 IssueID2 119–141 Occurrence Handle0773.03012 Occurrence Handle1171507 Occurrence Handle10.1017/S0960129500001407

    Article  MATH  MathSciNet  Google Scholar 

  25. Milner, R. (1999). Communicating and mobile systems: The π-calculus. Cambridge University Press.

  26. Mullender, S. (1993). Distributed systems. Addison Wesley.

  27. Nestmann, U., & Fuzzati, R. (2003). Unreliable failure detectors via operational semantics. In V. A. Saraswat (Ed.), Proceedings of ASIAN conference, volume 2896 of Lecture notes in computer science (pp. 54–71). Springer Verlag.

  28. Nestmann, U., Fuzzati, R., & Merro, M. (2003). Modeling consensus in process calculus. In Proceedings of the international conference on concurrency theory (CONCUR), volume 2761 of Lecture notes in computer science (pp. 393–407). Springer Verlag.

  29. Parsons, S., & Klein, M. (2004). Towards robust multi-agent systems: Handling communication exceptions in double auctions. In AAMAS, (pp. 1482–1483). IEEE Computer Society.

  30. G. Plotkin (1981) A structural approach to operational semantics Department of Computer Science, Aarhus University Denmark

    Google Scholar 

  31. K.V.S. Prasad (1984) Specification and proof of a simple fault tolerant system in CCS Department of Computer Science, University of Edinburgh Scotland

    Google Scholar 

  32. J. Riely M. Hennessy (2001) ArticleTitleDistributed processes and location failures Theoretical Computer Science 266 IssueID1–2 693–735 Occurrence Handle0989.68007 Occurrence Handle1850286 Occurrence Handle10.1016/S0304-3975(00)00326-1

    Article  MATH  MathSciNet  Google Scholar 

  33. Searle, J. R. (1969). Speech acts. Cambridge University Press.

  34. Shah, N., Chao, K. M., Anane, R., & Godwin, N. (2003). A flexible approach to exception handling in open multi-agent systems. In Proceedings of the 2nd international joint conference on autonomous agents and multi-agent systems (AAMAS-03) Challenges’03 Workshop (pp. 7–10).

  35. M.P. Singh (1998) ArticleTitleAgent communication languages: Rethinking the principles IEEE Computer 31 IssueID12 40–47

    Google Scholar 

  36. M. Singhal (1989) ArticleTitleDeadlock detection in distributed systems IEEE Computer 22 IssueID11 37–48

    Google Scholar 

  37. R.G. Smith (1980) ArticleTitleThe contract net protocol: High level communication and control in a distributed problem solver IEEE Transactions on Computers 29 IssueID12 1104–1113

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Scienze dell’Informazione, University of Bologna, Bologna, Italy

    Nicola Dragoni & Mauro Gaspari

Authors
  1. Nicola Dragoni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mauro Gaspari
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mauro Gaspari.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Dragoni, N., Gaspari, M. Crash failure detection in asynchronous agent communication languages. Auton Agent Multi-Agent Syst 13, 355–390 (2006). https://doi.org/10.1007/s10458-006-0006-y

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10458-006-0006-y

Keywords

Search

Navigation