Abstract
Agent technology is widely used in the construction of large software systems, in particular E-Commerce and secure-critical systems. To fully utilize the potential of agents in the software system, it is essential to embed the BDI (Beliefs, Desires, Intentions) properties of agents in the software agents that model them. This paper introduces a formal software architectural design of a Multi-agent system (MAS) in which the BDI architecture is embedded. We embed the BDI properties of agents in an extended state machine (ESM) model and suggest that an implementation of the BDI architecture in a high-level programming language can be tested for conformance by generating test cases from the ESMs.
This work is supported by grants from Natural Sciences and Engineering Research Council, Canada.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alagar, V.S., Ormandjieva, O., Zheng, M.: Incremental Testing forSelf-Evolving Systems. In: Proceedings of Third International Conference on Quality of Software, Dallas, U.S.A, November 6-7, pp. 12–19 (2003)
Alagar, V.S., Ormandjieva, O., Chen, M., Zheng, M.: Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems. In: Proceedings of 10th Asia Pacific Software Engineering Conference, Chiang Mai, Thailand, December 10-12, pp. 406–414 (2003)
Austin, J.: How to Do Things With Words. Oxford University Press, Oxford (1962)
Bordini, R.H., Moreira, A.F.: Proving BDI properties of agent-oriented programming languages. Annals of Mathematics and Artificial Intelligence, 1–30 (2004)
Bordini, R.H., Fisher, M., Pardavilla, C., Woolridge, M.: Model Checking AgentSpeak. In: Proceedings of AAMAS 2003. Melbourne, Australia, July 14-18 (2003)
Foundations of Intelligent Physical Agents: FIPA Specification Part 2 - Agent Communication Language (1999), http://www.fipa.org
Halpern, J.Y., Vardi, M.Y.: The complexity of reasoning about knowledge and time. In: ACM Symposium on Theory of Computing, Baltimore, USA, pp. 304–315. ACM Press, New York (1986)
Lomuscio, A., Lasica, T., Penczek, W.: Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A., Gordon-Spears, D.F. (eds.) FAABS 2002. LNCS (LNAI), vol. 2699, pp. 115–125. Springer, Heidelberg (2003)
Patil, R., Fikes, R.F., Patil-Schneider, P.L., Mckay, D., Finin, T., Gruber, T., Neches, R.: The DARPA Knowledge Sharing Effort: Progress Report. In: Nebel, B., Rich, C., Swartout, W. (eds.) KR 1992. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference, pp. 777–788. Morgan Kaufmann, San Mateo (1992)
Rao, A.S., Georgeff, M.P.: BDI Agents: From theory to practice. In: Lesser, V., Gasser, L. (eds.) Proceedings of the First International Conference on Multi-Agent Systems (ICMAS 1995), pp. 312–319. AAAI Press, Menlo Park (1995)
Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Cousot, R., Schmidt, D.A. (eds.) SAS 1996. LNCS, vol. 1145, pp. 42–55. Springer, Heidelberg (1996)
Zheng, M.: Automated Test Generation From Formal Specification of Real-Time Reactive Systems. Ph.D. Thesis, Department of Computer Science, Concordia University, Montreal, Canada (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alagar, V.S., Zheng, M. (2005). A Software Architecture for Multi-agent Systems. In: Hao, Y., et al. Computational Intelligence and Security. CIS 2005. Lecture Notes in Computer Science(), vol 3801. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11596448_44
Download citation
DOI: https://doi.org/10.1007/11596448_44
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30818-8
Online ISBN: 978-3-540-31599-5
eBook Packages: Computer ScienceComputer Science (R0)