A Formal Specification of M-Agent Architecture

  • Krzysztof Cetnarowicz
  • Pablo Gruer
  • Vincent Hilaire
  • Abder Koukam
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2296)


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.


Multiagent System Autonomous Agent Formal Framework Agent Architecture Strategy Execution 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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.CrossRefGoogle Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    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.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    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.Google Scholar
  6. 6.
    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.Google Scholar
  7. 7.
    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
  8. 8.
    Olivier Gutknecht and Jacques Ferber. The madkit agent platform architecture. In 1stWorkshop on Infrastructure for Scalable Multi-Agent Systems, june 2000.Google Scholar
  9. 9.
    David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231–274, June 1987.zbMATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    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.Google Scholar
  11. 11.
    Vincent Hilaire. Vers une approche de spécification, de prototypage et de vérification de Systèmes Multi-Agents. PhD thesis, UTBM, 2000.Google Scholar
  12. 12.
    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.Google Scholar
  13. 13.
    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.Google Scholar
  14. 14.
    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.Google Scholar
  15. 15.
    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.CrossRefGoogle Scholar
  16. 16.
    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.Google Scholar
  17. 17.
    A. Rao. Agentspeak(l): Bdi agents speak out in a logical computable language. In Van Velde and Perram [18], pages 42–55.Google Scholar
  18. 18.
    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.Google Scholar
  19. 19.
    Michael Wooldridge and Nicholas R. Jennings. Intelligent agents: Theory and practice. Available by FTP, 1994. Submitted to The Knowledge Engineering Review, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Krzysztof Cetnarowicz
    • 1
  • Pablo Gruer
    • 2
  • Vincent Hilaire
    • 2
  • Abder Koukam
    • 2
  1. 1.Institute of Computer ScienceAGH — University of Mining and MetallurgyKrakowPoland
  2. 2.UTBM/Systèmes et TransportsBelfort TechnopôleBelfortFrance

Personalised recommendations