Abstract
This paper describes an architecture allowing to verify properties of a multiagent system during its execution. This architecture is the basis of our study whose goal is to check at runtime, if agents and more generally multiagent systems satisfy requirements. Considering that a correct system is a system verifying the properties specified by the designer, we are interested in the “property” notion. That is why we give here a definition of “property” and we present an architecture to validate them. The architecture, a multiagent system itself, is based on a set of agents whose goals are to check at runtime the whole system’s properties. So after a brief description of the “property” notion, we describe our architecture and the way to check systems.
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
Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking agentspeak. In: AAMAS’03, Melbourne, Australia, pp. 409–416. ACM Press, New York (2003)
Mani, K.: Chandy and Jayadev Misra. In: Parallel Program Design: A Foundation, Addison-Wesley, Reading (1988)
Ferber, J.: Les Systèmes Multi-Agents, Vers une intelligence collective, pp. 13–29. InterEditions, Paris (1995)
Flater, D.W.: Debugging agent interactions: a case study. In: Selected Areas in Cryptography, pp. 107–114 (2001)
Garion, C., van der Torre, L.: Design by contract deontic design language for multiagent systems. In: Je sais pas, pp. 107–114 (2005)
Garneau, T., Delisle, S.: Programmation orienté-agent : évaluation comparative d’outils et environnements. In: JFIADSMA’02 (2002)
Gutknecht, O., Ferber, J.: The MADKIT agent platform architecture. In: Agents Workshop on Infrastructure for Multi-Agent Systems, pp. 48–55 (2000)
Karaorman, M., Abercrombie, P.: jcontractor: Introducing design-by-contract to java using reflective bytecode instrumentation. In: Formal Methods in System Design (March 2003)
Karaorman, M., Hölzle, U., Bruno, J.: jContractor: A reflective Java library to support design by contract. In: Cointe, P. (ed.) Reflection 1999. LNCS, vol. 1616, p. 175. Springer, Heidelberg (1999)
Klein, M., Dallarocas, C.: Exception handling in agent systems. In: Etzioni, O., Müller, J.P., Bradshaw, J.M. (eds.) Proceedings of the Third International Conference on Autonomous Agents (Agents’99), pp. 62–68. ACM Press, New York (1999)
Kramer, R.: icontract – the java design by contract tool. In: Technology of Object-Oriented Languages and Systems, pp. 295–307. IEEE, Los Alamitos (1998)
Lamport, L.: The temporal logic of actions. ACM Transactions on Programming Languages and Systems 16(3), 872–923 (1994)
Meron, D., Mermet, B., Simon, G., Sauvage, S.: Specifying properties of mas: Towards on the fly architecture. In: SASEMAS’04 (2004)
Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall, Englewood Cliffs (1997)
Meyer, B.: Applying design by contract. Computer 25(10), 40–51 (1992)
Ndumu, D., Nwana, H., Lee, L., Collins, J.: Vilualising and debugging distributed multi-agent systems. In: The Third Annual Conference on Autonomous Agents, pp. 326–333 (1999)
Owre, S., Rajan, S., Rushby, J.M., Shankar, N., Srivas, M.K.: PVS: combining specification, proof checking, and model checking. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 411–414. Springer, Heidelberg (1996)
Poutakidis, D., Padgham, L., Winikoff, M.: Debugging multi-agent systems using design artifacts: The case of interaction protocols. In: Alonso, E., Kudenko, D., Kazakov, D. (eds.) Adaptive Agents and Multi-Agent Systems. LNCS (LNAI), vol. 2636, Springer, Heidelberg (2003)
Poutakidis, D., Padgham, L., Winikoff, M.: An exploration of bugs and debugging in multi-agent systems. In: Alonso, E., Kudenko, D., Kazakov, D. (eds.) Adaptive Agents and Multi-Agent Systems. LNCS (LNAI), vol. 2636, Springer, Heidelberg (2003)
Shapiro, S., Lespérance, Y., Levesque, H J.: The cognitive agents specification langage and verification environment for multiagent systems. In: AAMAS’02 (2002)
Van Liedekerke, M.H., Avouris, N.M.: Debugging multi-agent system. Information and Software Technology Journal 37(2), 103–112 (1995)
Wooldridge, M., Jennings, N.R., Kinny, D.: The gaia methodology for agent-oriented analysis and design. In: AAMAS’00 (2000)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Meron, D., Mermet, B. (2007). A Tool Architecture to Verify Properties of Multiagent System at Runtime. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds) Programming Multi-Agent Systems. ProMAS 2006. Lecture Notes in Computer Science(), vol 4411. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71956-4_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-71956-4_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71955-7
Online ISBN: 978-3-540-71956-4
eBook Packages: Computer ScienceComputer Science (R0)