Overview   Tree   Domains   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

[HKG+01b]  Vers une méthodologie formelle de spécification de Systèmes Multi-Agents

Hilaire.unpublished01 (Unpublished)
Author(s)Hilaire, Vincent and Koukam, Abder and Gruer, Pablo and Müller, Jean-Pierre
Title« Vers une méthodologie formelle de spécification de Systèmes Multi-Agents »
Note-

Abstract & Keywords
The work presented in this article is concerned in a methodological approach for building Multi-Agent Systems specifications. The basic idea is to define such systems as a set of entities playing roles which have interactions between them. In order to build such specification we define a formalism which can express Multi-Agent Systems aspects. This formalism composes Object-Z and statecharts. This approach is caracterised by: 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.

Keywords: agent, specification, prototyping

BibTeX code
@unpublished{Hilaire.unpublished01,
  domains = {Multi-Agent Systems:Formal Specification/OZS:Formal
             Specification/RIO:},
  title = {Vers une m{\'e}thodologie formelle de sp{\'e}cification de
           Syst{\`e}mes Multi-Agents},
  author = {Hilaire, Vincent and Koukam, Abder and Gruer, Pablo and M{\"u}ller,
            Jean-Pierre},
  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!