Abstract
Complexity of distributed and decentralized systems demands new tools for designing and programming processes. An idea of autonomous agents that arises as an extension of the object and process concepts may be applied to distributed and decentralized systems development. In the paper the authors have undertaken an attempt to describe formally the architecture of multiagent systems using a method of specification based upon the combination of Object-Z, Statecharts and M-agent architecture. The proposed method of multiagent system description may be considered as a starting point to develop a multi-agent system description method covering a gap existing between theoretical analysis and practical realization of multiagent systems.
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
F.M.T. Brazier, B. Dunin Keplicz, N. Jennings, and J. Treur. Desire: Modelling multi-agent systems in a compositional formal framework. International Journal of Cooperative Information Systems, 6:67–94, 1997.
K. Cetnarowicz and E. Cetnarowicz. Multi-agent decentralised system of medical help. In Management and Control of Production and Logistics. IFIP, IFAC, IEEE Conference, Grenoble, France, 2000. ENSIEG, LAG Grenoble, France 2000.
K. Cetnarowicz and E. Nawarecki. Système d’exploitation decentralisé realisé à l’aide de systèmes multi-agents. In Troisième Journées Francophone sur l’Intelligence Artificielle Distribuée et les Systèmes Multiagents, pages 311–322, St Baldoph, Savoie, Francja, 1995.
Y. Demazeau and J.-P. Müller. Decentralized artificial intelligence. In Y. Demazeau and J. P. Müller, editors, Decentralized A.I., pages 3–14. North-Holland ISBN 0-444-88705-9, 1990.
Y. Demazeau and J. P. Müller. From reactive to intentional agents. In Y. Demazeau and J. P. Müller, editors, Decentralized A.I. 2, pages 3–10. North-Holland, 1991.
Roger Duke, Gordos Rose, and Graeme Smith. Object-z: Specification language advocated for the description of standards. Tech. rep. no. 94–95, SoftwareVerification Research Centre, Dept. of Computer Science, the University of Queensland, Quinsland, Australia, 1994.
Pablo Gruer, Vincent Hilaire, and Abder Koukam. an Approach to the Verification of Multi-Agent Systems. In International Conference on Multi Agent Systems. IEEE Computer Society Press, 2000.
Olivier Gutknecht and Jacques Ferber. The madkit agent platform architecture. In 1stWorkshop on Infrastructure for Scalable Multi-Agent Systems, june 2000.
David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231–274, June 1987.
V. Hilaire, T. Lissajoux, and A. Koukam. Towards an executable specification of Multi-Agent Systems. In Kluwer Academic Publisher, editor, International Conference on Enterprise Information Systems’99, 1999.
Vincent Hilaire. Vers une approche de spécification, de prototypage et de vérification de Systèmes Multi-Agents. PhD thesis, UTBM, 2000.
Vincent Hilaire, Abder Koukam, Pablo Gruer, and Jean-Pierre Müller. Formal specification and prototyping of multi-agent systems. In Engineering Societies in theAgents’ World, number 1972 in Lecture Notes in Artificial Intelligence. Springer Verlag, 2000.
Carlos Iglesias, Mercedes Garrijo, and José Gonzalez. A survey of agent-oriented methodologies. In Jörg Müller, Munindar P. Singh, and Anand S. Rao, editors, Proceedings of the 5th InternationalWorkshop on Intelligent Agents V: Agent Theories, Architectures, and Languages (ATAL-98), volume 1555 of LNAI, pages 317–330, Berlin, July 04–07 1999. Springer.
D. Kinny, M. Georgeff, and A. Rao. A methodology and modelling technique for systems of bdi agents. In Van Velde and Perram [18], pages 56–71.
Crowley J. L. and Demazeau Y. Principles and techniques for sensor data fusion. In Signal Processing, volume 32, pages 5–27, Elsevier Science Publishers B. V., 1993.
Michael Luck and Mark d’Inverno. A formal framework for agency and autonomy. In AAAI Press/MIT Press, editor, Proceedings of the First International Conference on Multi-Agent Systems, pages 254–260, 1995.
A. Rao. Agentspeak(l): Bdi agents speak out in a logical computable language. In Van Velde and Perram [18], pages 42–55.
W. Van Velde and J.W. Perram, editors. 7th European Workshop on Modelling Autonomous Agents in Multi-Agent World, MAAMAW’96. Number 1038 in Lecture Notes in Artificial Intelligence. Springer-Verlag ISBN 3-540-60852-4, Berlin, 1996.
Michael Wooldridge and Nicholas R. Jennings. Intelligent agents: Theory and practice. Available by FTP, 1994. Submitted to The Knowledge Engineering Review, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cetnarowicz, K., Gruer, P., Hilaire, V., Koukam, A. (2002). A Formal Specification of M-Agent Architecture. In: Dunin-Keplicz, B., Nawarecki, E. (eds) From Theory to Practice in Multi-Agent Systems. CEEMAS 2001. Lecture Notes in Computer Science(), vol 2296. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45941-3_7
Download citation
DOI: https://doi.org/10.1007/3-540-45941-3_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43370-5
Online ISBN: 978-3-540-45941-5
eBook Packages: Springer Book Archive