Skip to main content
SpringerLink
Log in
Book cover

Net.ObjectDays: International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World

NODe 2002: Agent Technologies, Infrastructures, Tools, and Applications for E-Services pp 36–48Cite as

A Mechanism for Dynamic Role Playing

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2592))

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.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Article  Google Scholar 

  2. 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.

    Google Scholar 

  3. 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.

    Article  Google Scholar 

  4. P. Bresciani and F. Sannicolo. Requirements analysis in tropos: A self referencing example. 2002. In this volume.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. Anne Collinot, Alexis Drogoul, and Philippe Benhamou. Agent oriented design of a soccer robot team. In Victor Lesser, editor, ICMAS. Springer Verlag, 1995.

    Google Scholar 

  7. Scoot DeLoach. Multiagent systems engineering: a methodology and language for designing agent systems. In Agent Oriented Information Systems’ 99, 1999.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. 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.

    Google Scholar 

  10. A. Drogoul and J. Zucker. Methodological issues for designing multi-agent systems with machine learning techniques: Capitalizing experiences from the robocup challenge, 1998.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. 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.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. 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.

    Google Scholar 

  16. 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.

    Google Scholar 

  17. 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.

    Chapter  Google Scholar 

  18. Olivier Gutknecht and Jacques Ferber. The madkit agent platform architecture. In 1st Workshop on Infrastructure for Scalable Multi-Agent Systems, june 2000.

    Google Scholar 

  19. David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231–274, June 1987.

    Article  MATH  MathSciNet  Google Scholar 

  20. 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.

    Google Scholar 

  21. 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.

    Google Scholar 

  22. 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.

    Google Scholar 

  23. M.P. Huget. Agent uml class diagrams revisited. 2002. In this volume.

    Google Scholar 

  24. 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.

    Google Scholar 

  25. Elizabeth A. Kendall. Role modeling for agent system analysis, design, and implementation. IEEE Concurrency, 8(2):34–41, 2000.

    Article  Google Scholar 

  26. 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.

    Google Scholar 

  27. 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.

    Google Scholar 

  28. 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.

    Google Scholar 

  29. 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.

    Google Scholar 

  30. M. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. The Knowledge Engineering Review, 10(2):115–152, 1995.

    Article  Google Scholar 

  31. 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.

    Google Scholar 

  32. E. Yu. Towards modelling and reasoning support for early-phase requirements engineering. In 3rd IEEE Int. Symp. on Requirements Engineering, pages 226–235, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. UTBM, Systems and Transports Laboratory, 90010, Belfort Cedex, FRANCE

    V. Hilaire, A. Koukam & P. Gruer

Authors
  1. V. Hilaire
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. Koukam
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. P. Gruer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Carnegie Mellon University, Pittsburgh, PA, USA

    Jaime G. Carbonell

  2. University of Saarland, Saabrücken, Germany

    Jörg Siekmann

  3. CSIRO Mathematical and Information Sciences, 723 Swanston Street, Carlton, 3053, Victoria, Australia

    Ryszard Kowalczyk

  4. Siemens AG, CT IC 6, Munich, Germany

    Jörg P. Müller

  5. Department of Computing, Glasgow Caledonian University, City Campus, 70 Cowcaddens Road, G4 0BA, Glasgow, Scotland, UK

    Huaglory Tianfield

  6. Institute for Computer Science, University of Essen, 45117, Essen, Germany

    Rainer Unland

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation