Abstract
The work presented in this article is based upon a methodological approach for building Multi-Agent Systems specifications. The basic idea is to de.ne such systems as a set of entities playing roles which have interactions between them. We present a mechanism for dynamic role-playing specification within a formal framework. The framework use a formalism which can express Multi-Agent Systems aspects. This formalism composes Object-Z and statecharts. The main features of this approach are: enough expressive power to obtain unbiased specifications, tools for specification analysis and refinement mechanisms allowing the refinement of a high level specification into a low level specification which can be easily implemented.
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
M. Ainsworth, A. H. Cruickshank, P. J. L. Wallis, and L. J. Groves. Viewpoint specification and Z. Information and Software Technology, 36(1):43–51, 1994.
Federico Bergenti and Agostino Poggi. Exploiting uml in the design of multi-agent systems. In Andrea Omicini, Robert Tolksdorf, and Franco Zambonelli, editors, Engineering Societies in the Agents’ World, Lecture Notes in Artificial Intelligence. Springer Verlag, 2000.
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.
P. Bresciani and F. Sannicolo. Requirements analysis in tropos: A self referencing example. 2002. In this volume.
R. Campero, P. Gruer, V. Hilaire, and P. Rovarini. Modeling and simulation of agent-oriented systems: an approach based on object-z and the statecharts. In Christoph Urban, editor, Agent Based Simulation, 2000.
Anne Collinot, Alexis Drogoul, and Philippe Benhamou. Agent oriented design of a soccer robot team. In Victor Lesser, editor, ICMAS. Springer Verlag, 1995.
Scoot DeLoach. Multiagent systems engineering: a methodology and language for designing agent systems. In Agent Oriented Information Systems’ 99, 1999.
J. Derrick, H. Bowman, and M. Steen. Viewpoints and objects. In J. P. Bowen and M. G. Hinchey, editors, Ninth Annual Z User Workshop, volume 967 of Lecture Notes in Computer Science, pages 449–468, Limerick, September 1995. Springer-Verlag.
M. d'Inverno, M. Fisher, A. Lomuscio, M. Luck, M. de Rijke, M. Ryan, and M. Wooldridge. Formalisms for multi-agent systems. Knowledge Engineering Review, 12(3), 1997.
A. Drogoul and J. Zucker. Methodological issues for designing multi-agent systems with machine learning techniques: Capitalizing experiences from the robocup challenge, 1998.
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.
Jacques Ferber and Olivier Gutknecht. A meta-model for the analysis and design of organizations in multi-agent systems. In Y. Demazeau, E. Durfee, and N.R. Jennings, editors, ICMAS’98, july 1998.
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.
P. Gruer, V. Hilaire, and Abder Koukam. approche multi-formalismes pour la spécification des systémes multi-agents. Technical report, UTBM-SeT, 2001. to appear in “Systéme Multi-Agents: des Théories Organisationnelles aux Applications Industrielles” Hermés.
P. Gruer, V. Hilaire, Abder Koukam, and Krzysztof Cetnarowicz. A formal framework for multi-agent systems analysis and design. Expert Systems with Applications, 23, December 2002.
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.
Pablo Gruer, Vincent Hilaire, and Abder Koukam. Verification of Object-Z Specifications by using Transition Systems. In T. S. E. Maibaum, editor, Fundamental Aspects of Software Engineering, number 1783 in Lecture Notes in Computer Science. Springer Verlag, 2000.
Olivier Gutknecht and Jacques Ferber. The madkit agent platform architecture. In 1st Workshop 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.
D. E. Herlea, C. M. Jonker, J. Treur, and N. J. E. Wijngaards. Specification of behavioural requirements within compositional multi-agent system design. Lecture Notes in Computer Science, 1647:8–27, 1999.
V. Hilaire, T. Lissajoux, and A. Koukam. Towards an executable specification of Multi-Agent Systems. In Joaquim Filipe and José Cordeiro, editors, International Conference on Enterprise Information Systems’99. Kluwer Academic Publisher, 1999.
Vincent Hilaire, Abder Koukam, Pablo Gruer, and Jean-Pierre Müller. Formal specification and prototyping of multi-agent systems. In Andrea Omicini, Robert Tolksdorf, and Franco Zambonelli, editors, Engineering Societies in the Agents’ World, number 1972 in Lecture Notes in Artificial Intelligence. Springer Verlag, 2000.
M.P. Huget. Agent uml class diagrams revisited. 2002. In this volume.
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 International Workshop on Intelligent Agents V: Agent Theories, Architectures, and Languages (ATAL-98), volume 1555 of LNAI, pages 317–330, Berlin, July 04-07 1999. Springer.
Elizabeth A. Kendall. Role modeling for agent system analysis, design, and implementation. IEEE Concurrency, 8(2):34–41, 2000.
Elizabeth A. Kendall, P. V. Murali Krishna, C. B. Suresh, and Chira G. V. Pathak. An application framework for intelligent and mobile agents. ACM Computing Surveys, 32(1), 2000.
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 S. Albayrak and F. J. Garijo, editors, Lecture Notes in Artificial Intelligence, number 1437 in LNAI. Springer Verlag, 1998.
Michael Luck and Mark d'Inverno. A formal framework for agency and autonomy. In Victor Lesser and Les Gasser, editors, Proceedings of the First International Conference on Multi-Agent Systems, pages 254–260. AAAI Press, 1995.
J. Odell, H. Parunak, and B. Bauer. Extending uml for agents. In Yves Lesperance E. Y. Gerd Wagner, editor, Information Systems Workshop at the 17th National conference on Artificial Intelligence, pages 3–17, 2000.
M. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. The Knowledge Engineering Review, 10(2):115–152, 1995.
Michael Wooldridge, Nicholas R. Jennings, and David Kinny. A methodology for agent-oriented analysis and design. In Proceedings of the Third International Conference on Autonomous Agents (Agents’99), pages 69–76, Seattle, WA, USA, 1999. ACM Press.
E. Yu. Towards modelling and reasoning support for early-phase requirements engineering. In 3rd IEEE Int. Symp. on Requirements Engineering, pages 226–235, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hilaire, V., Koukam, A., Gruer, P. (2003). A Mechanism for Dynamic Role Playing. In: Carbonell, J.G., Siekmann, J., Kowalczyk, R., Müller, J.P., Tianfield, H., Unland, R. (eds) Agent Technologies, Infrastructures, Tools, and Applications for E-Services. NODe 2002. Lecture Notes in Computer Science(), vol 2592. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36559-1_5
Download citation
DOI: https://doi.org/10.1007/3-540-36559-1_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00742-5
Online ISBN: 978-3-540-36559-4
eBook Packages: Springer Book Archive