Overview   Tree   Domains   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

[HKG+01]  Formal Specification and Prototyping of Multi-agent Systems

Hilaire.lnia01 (In a collection)
Author(s)Hilaire, Vincent and Koukam, Abder and Gruer, Pablo and Müller, Jean-Pierre
Title« Formal Specification and Prototyping of Multi-agent Systems »

Abstract & Keywords
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.

Keywords: agent, specification, prototyping

BibTeX code
@incollection{Hilaire.lnia01,
  volume = {1972},
  author = {Hilaire, Vincent and Koukam, Abder and Gruer, Pablo and M{\"u}ller,
            Jean-Pierre},
  booktitle = {Lecture Notes in Artificial Intelligence - Engineering Societies
               in the Agents' World},
  domains = {Multi-Agent Systems:Formal Specification/OZS:Formal
             Specification/RIO:},
  editor = {Omicini, Andrea and Tolksdorf, Robert and Zambonelli, Franco},
  title = {Formal Specification and Prototyping of Multi-agent Systems},
  publisher = {Springer Verlag},
  pages = {114},
  year = 2001,
}

Documents in the same domains
- Root
+- Formal Specification/OZS
|+ [GHK+00] Gruer P. et al., "Verification of Object-Z Specifications..." (2000)
|+ [GHK+02] Gruer P. et al., "A formal framework for multi-agent..." (2002)
|+ [GHK+04] Gruer P. et al., "Heterogeneous formal specification based..." (2004)
|+ [HKG+01] Hilaire V. et al., "Formal Specification and Prototyping of..." (2001)
|\ [HKG+01b] Hilaire V. et al., "Vers une méthodologie formelle de..." (2001)
+- Formal Specification/RIO
|+ [HKG+01] Hilaire V. et al., "Formal Specification and Prototyping of..." (2001)
|\ [HKG+01b] Hilaire V. et al., "Vers une méthodologie formelle de..." (2001)
\- Multi-Agent Systems
+ [DC+95] Donikian S. et al., "General Animation and Simulation Platform" (1995)
+ [DOO+99] Duffy B.R. et al., "Reality and virtual reality in mobile..." (1999)
+ [DVM+02] Drogoul A. et al., "Multi-Agent Based Simulation: Where are..." (2002)
+ [ELW+03] Erol K. et al., "Application of Agent Technology to..." (2003)
+ [GBR+95] Granieri J.P. et al., "Behavioral Control for Real-Time..." (1995)
+ [GGB+03] Galland S. et al., "MaMA-s: An introduction to a..." (2003)
+ [GHK+00] Gruer P. et al., "Verification of Object-Z Specifications..." (2000)
+ [GHK+02] Gruer P. et al., "A formal framework for multi-agent..." (2002)
+ [GHK+04] Gruer P. et al., "Heterogeneous formal specification based..." (2004)
+ [HKG+01] Hilaire V. et al., "Formal Specification and Prototyping of..." (2001)
+ [HKG+01b] Hilaire V. et al., "Vers une méthodologie formelle de..." (2001)
+ [HU+01] Henoch J. et al., "Agent-based Simulation Platform for..." (2001)
+ [IB+02] Isla D. et al., "New challenges for character-based ai..." (2002)
+ [PB+99] Phillips C.T. et al., "A Cooperative Human-Adaptive Traffic..." (1999)
+ [PBS+05] Parunak H.V.D. et al., "Global Convergence of Local Agent..." (2005)
\ [VD+02] Vanbergue D. et al., "Approche multi-agent pour la simulation..." (2002)
 Overview   Tree   Domains   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 4.0.
Copyright © 1998-05 Stéphane GALLAND (under the GNU General Public License)

Valid HTML 4.01!Valid CSS!