Abstract
Fault tolerance is an important issue in mobile, agent-based computing systems. However, most research in this area has focused on security and mobility issues. The DaAgent (Dependable Agent) system [8] is similar to several other agentbased computingsystems includingAg ent-Tcl [6], Messengers [5], and Ajanta [9]. However, unlike these systems DaAgent is being designed to address fault tolerance issues. Within the DaAgent system several fault tolerant protocols are being investigated. These protocols have been speci.ed in natural language, English prose, and a Java implementation within the DaAgent system is being tested. This approach has proved to be extremely time-consumingand in.exible, for example, it is di.cult to rapidly change test conditions and fault injection is extremely primitive involvingph ysically haltingor resetinga machine, pulling network connections, or sending a kill message to the agent process. Testing the implementation of course serves as a weak form of evidence of correctness, but o.ers little real assurance of the correctness of the system.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
M. Clavel, F. Durán, S. Eker, P. Lincoln, N. MartÃ-Oliet, and J. Meseguer. Metalevel computation in Maude. In C. Kirchner, and H. Kirchner, editors, 2nd Intl. Workshop on Rewriting logic and its Applications, volume 15. Elsevier, 1998.
M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, and J. Quesada. Maude: Specification and Programming in Rewriting Logic. Technical report, SRI International, Menlo Park, CA, Jan 1999.
M. Clavel and J. Meseguer. Reflection in rewriting logic and its applications in the Maude language. In Proceedings of IMSA-97, pages 128–139, Japan, 1997. Information-Technology Promotion Agency.
G. Denker, J. Meseguer, and C. Talcott. Formal specification and analysis of active networks and communication protocols: The Maude experience. In DARPA Information and Survivability Conference and Exposition (DISCEX’00), pages 251–265, Hilton Head, South Carolina, Jan 2000. IEEE Computer Society Press.
M. Dillencourt, L. F. Bic, and M. Fukuda. Distributed computing using autonomous agents. IEEE Computer, 28(8), Aug 1996.
R. S. Gray. Agent tcl: A transportable agent system. Technical report, Dartmouth College, November 1995.
J. Meseguer. Membership algebra as a semantic framework for equational specification. In F. Parisi-Presicce, editor, Proceedings WADT’97, volume 1376 of LNCS, pages 18–61. Springer Verlag, 1998.
S. Mishra, Y. Huang, and H. Kuntur. Daagent: A dependable mobile agent system (fastabstract). In Proceedings of the 29th International Symposium on Fault-tolerant Computing, Madison, WI, June 1999. IEEE.
A. Tripathi, N. Karnik, M. Vora, T. Ahmed, and R Singh. Mobile agent programming in Ajanta. In Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Van Baalen, J., Caldwell, J.L., Mishra, S. (2001). Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude. In: Rash, J.L., Truszkowski, W., Hinchey, M.G., Rouff, C.A., Gordon, D. (eds) Formal Approaches to Agent-Based Systems. FAABS 2000. Lecture Notes in Computer Science(), vol 1871. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45484-5_15
Download citation
DOI: https://doi.org/10.1007/3-540-45484-5_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42716-2
Online ISBN: 978-3-540-45484-7
eBook Packages: Springer Book Archive