Abstract
This paper presents a multi agent-oriented prototyping approach. It is a generic approach, applicable to a wide range of multi-agent systems. This approach relies on a few assumptions, the most important is that MAS must be described by an organizational model which semantics is given in term of a formal framework. This model allows for a simple description of both individual and collective multi-agent system aspects. The framework we use to give a formal description of this model is based on a multi-formalism approach. We illustrate this approach through a case study.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Federico Bergenti and Agostino Poggi. Exploiting UML in the Design of Multi-Agent Systems. In Engineering Societies in the Agents’ World, Lecture Notes in Artificial Intelligence. Springer Verlag, 2000. 117
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. 125
Cristiano Castelfranchi. Engineering Social Order. In Engineering Societies in the Agents’ World, Lecture Notes in Artificial Intelligence. Springer Verlag, 2000. 116
Mark d’Inverno, Michael Fisher, Alessio Lomuscio, Michael Luck, Maarten de Rijke, Mark Ryan, and Michael Wooldridge. Formalisms for multi-agent systems. In First UK Workshop on Foundations of Multi-Agent Systems, 1996. 114, 125
Roger Duke, Paul King, Gordon Rose, and Graeme Smith. The Object-Z specification language. Technical report, Software Verification Research Center, Departement of Computer Science, University of Queensland, AUSTRALIA, 1991. 115
Benoit Durand. Simulation multi-agents et épidémiologie opérationnelle. Thèse de doctorat, Université de Caen, 1996. 115, 116
Jacques Ferber and Olivier Gutknecht. Aalaadin: a meta-model for the analysis and design of organizations in multi-agent systems. In ICMAS’98, july 1998. 115, 125
M. Fisher. If Z is the answer, what could the question possibly be? In Intelligent Agents III, number 1193 in Lecture Note of Artificial Intelligence, 1997. 125
Pablo Gruer, Vincent Hilaire, and Abder Koukam. an Approach to the Verification of Multi-Agent Systems. In International Conference on Multi Agent Systems. UTBM/SET, IEEE Computer Society Press, 2000. 125
Pablo Gruer, Vincent Hilaire, and Abder Koukam. Verification of Object-Z Specifications by using Transition Systems. In Fundamental Aspects of Software Engineering, number 1783 in Lecture Notes in Computer Science. Springer Verlag, 2000. 126
Olivier Gutknecht and Jacques Ferber. Madkit: Organizing heterogeneity with groups in a platform for multiple multi-agent systems. Technical Report 97188, LIRMM, 1997. 125
D. Harel and A. Pnueli. On the development of reactive systems. In K. R. Apt, Editor, Logics and Models of Concurrent Systems. Springer Verlag, 1985. 115
David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231–274, June 1987. 115
David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, and Mark B. Trakhtenbrot. Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403–414, April 1990. 123
T. Lissajoux, V. Hilaire, A. Koukam, and A. Caminada. Genetic Algorithms as Prototyping Tools for Multi-Agent Systems: Application to the Antenna Parameter Setting Problem. In Springer Verlag, editor, Lecture Notes in Artificial Intelligence, number 1437 in LNAI, 1998. 115
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. 125
Richard F. Paige. A meta-method for formal method integration. In John Fitzgerald, Cliff B. Jones, and Peter Lucas, editors, FME’97: Industrial Applications and Strengthened Foundations of Formal Methods (Proc. 4th Intl. Symposium of Formal Methods Europe, Graz, Austria, September 1997), volume 1313 of Lecture Notes in Computer Science, pages 473–494. Springer-Verlag, September 1997. ISBN 3-540-63533-5. 117
Trygve Reenskaug. Working with Objects: The OOram Software Engineering Method. Manning Publications, 1996. 116
Michael Wooldridge and Nicholas R. Jennings. Intelligent agents: Theory and practice. Available by FTP, 1994. Submitted to The Knowledge Engineering Review, 1995. 125
Michael Wooldridge, Nicholas R. Jennings, and David Kinny. A methodology for agent-oriented analysis and design. In Oren Etzioni, Jörg P. Müller, and Jeffrey M. Bradshaw, Editors, Proceedings of the Third Annual Conference on Autonomous Agents (AGENTS-99), pages 69–76, New York, May 1-5 1999. ACM Press. 115
Pamela Zave and Michael Jackson. Conjunction as composition. acm Transactions of Software Engineering and Methodology, 2(4):379–411, October 1993. 117
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hilaire, V., Koukam, A., Gruer, P., Müller, JP. (2000). Formal Specification and Prototyping of Multi-agent Systems. In: Omicini, A., Tolksdorf, R., Zambonelli, F. (eds) Engineering Societies in the Agents World. ESAW 2000. Lecture Notes in Computer Science(), vol 1972. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44539-0_9
Download citation
DOI: https://doi.org/10.1007/3-540-44539-0_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41477-3
Online ISBN: 978-3-540-44539-5
eBook Packages: Springer Book Archive