Abstract
Interaction in a multi-agent system is susceptible to failure. A rigorous development of a multi-agent system must include the treatment of fault-tolerance of agent interactions for the agents to be able to continue to function independently. Patterns can be used to capture fault-tolerance techniques. A set of modelling patterns is presented that specify fault-tolerance in Event-B specifications of multi-agent interactions. The purpose of these patterns is to capture common modelling structures for distributed agent interaction in a form that is re-usable on other related developments. The patterns have been applied to a case study of the contract net interaction protocol.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable Secure Computing 1(1), 11–33 (2004)
Ferber, J.: Multi-Agent Systems: Introduction to Distributed Artificial Intelligence. Addison-Wesley, Reading (1999)
Jennings, N.R.: On agent-based software engineering. Artificial Intelligence 117, 277–296 (2000)
Storey, N.: Safety-Critical Computer Systems. Pearson Education Limited, Bath (1996)
Abrial, J.R., Mussat, L.: Introducing dynamic constraints in B. In: Bert, D. (ed.) B 1998. LNCS, vol. 1393, pp. 83–128. Springer, Heidelberg (1998)
Jackson, D.: Dependable software by design. Scientific American - American Edition 294(6), 68 (2006)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley Longman Publishing Co., Inc., Boston (1995)
FIPA: FIPA contract net interaction protocol specification. Available From: Technical report, FIPA (2002), http://www.fipa.org/specs/fipa00029/SC00029H.pdf
Leavens, G., Abrial, J., Batory, D., Butler, M., Coglio, A., Fisler, K., Hehner, E., Jones, C., Miller, D., Peyton-Jones, S.: Roadmap for enhanced languages and methods to aid verification. In: Proceedings of the 5th international conference on Generative programming and component engineering, Portland, Oregan, USA, pp. 221–236. ACM Press, New York (2006)
Abrial, J., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: Application to Event-B. Fundamenta Informaticae, XXI 77(1-2), 1–28 (2006)
Jones, C.B.: RODIN deliverable D9. preliminary report on methodology. Technical report, University of Newcastle-upon-Tyne, UK (2005), http://rodin.cs.ncl.ac.uk/deliverables/rodinD9.pdf
Smith, R.: The contract net protocol: High-level communication and control in a distributed problem solver. IEEE Transactions on Computers 29(12), 1104–1113 (1980)
Meyer, B.: Object-oriented software construction. Prentice-Hall, Inc., Upper Saddle River (1997)
Blazy, S., Gervais, F., Laleau, R.: Reuse of specification patterns with the B Method. In: Bert, D., Bowen, J.P., King, S. (eds.) ZB 2003. LNCS, vol. 2651, pp. 40–57. Springer, Heidelberg (2003)
Chan, E., Robinson, K., Welch, B.: Patterns for B: Bridging formal and informal development. In: Julliand, J., Kouchnarenko, O. (eds.) B 2007. LNCS, vol. 4355, pp. 125–139. Springer, Heidelberg (2006)
Cansell, D., Méry, D.: Time constraint patterns for Event B development. In: Julliand, J., Kouchnarenko, O. (eds.) B 2007. LNCS, vol. 4355, pp. 140–154. Springer, Heidelberg (2006)
Deugo, D., Weiss, M., Kendall, E.: Reusable patterns for agent coordination. In: Coordination of Internet Agents: Models, Technologies and Applications, pp. 347–368. Springer, Heidelberg (2001)
Aridor, Y., Lange, D.: Agent design patterns: elements of agent application design. In: Proceedings of the second international conference on autonomous agents, pp. 108–115. ACM Press, New York (1998)
Schelfthout, K., Coninx, T., Helleboogh, A., Holvoet, T., Steegmans, E., Weyns, D.: Agent implementation patterns. In: Debenham, J., Henderson-Sellers, B., Jennings, N., Odell, J. (eds.) Proceedings of the OOPSLA 2002 Workshop on Agent-Oriented Methodologies, pp. 119–130 (2002)
Weiss, M.: Pattern-driven design of agent systems: Approach and case study. In: Eder, J., Missikoff, M. (eds.) CAiSE 2003. LNCS, vol. 2681, pp. 711–723. Springer, Heidelberg (2003)
Back, R.: Incremental software construction with refinement diagrams. In: Broy, M., Gruenbauer, J., Harel, D., Hoare, T. (eds.) Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, pp. 3–46. Springer, Heidelberg (2005)
Fedoruk, A., Deters, R.: Improving fault-tolerance by replicating agents. In: Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2, pp. 737–744. ACM Press, New York (2002)
Kumar, S., Cohen, P.: Towards a fault-tolerant multi-agent system architecture. In: Proceedings of the Fourth International Conference on Autonomous Agents, pp. 459–466. ACM Press, New York (2000)
Wang, L., Hon, F.L., Goswami, D., Wei, Z.: A fault-tolerant multi-agent development framework. In: Cao, J., Yang, L.T., Guo, M., Lau, F. (eds.) ISPA 2004. LNCS, vol. 3358, pp. 126–135. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ball, E., Butler, M. (2009). Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction. In: Butler, M., Jones, C., Romanovsky, A., Troubitsyna, E. (eds) Methods, Models and Tools for Fault Tolerance. Lecture Notes in Computer Science, vol 5454. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00867-2_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-00867-2_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00866-5
Online ISBN: 978-3-642-00867-2
eBook Packages: Computer ScienceComputer Science (R0)