Bibliography

[GHK+02] A formal framework for multi-agent systems analysis and design

Gruer.esa02 (Article)
Author(s)	Gruer, Pablo and Hilaire, Vincent and Koukam, Abder and Cetnarowicz, Krzysztof
Title	« A formal framework for multi-agent systems analysis and design »
Journal	Expert Systems with Applications
Volume	23
Number	4
Page(s)	349--355
Year	2002

Gruer.esa02 (Article)

Author(s)

Gruer, Pablo and Hilaire, Vincent and Koukam, Abder and Cetnarowicz, Krzysztof

Title

« A formal framework for multi-agent systems analysis and design »

Journal

Expert Systems with Applications

Volume

Number

Page(s)

349--355

Year

2002

Abstract
Agent based computing is generally intended for modeling and implementation of distributed complex problems. Despite the existence of many applications, the problem of rational engineering of multi-agent systems remains complex and difficult. The purpose of this paper can be summarized within two claims. first, we aim at providing an approach that gives some guidelines for specifying and designing multi-agent systems. Secondly, we focus on the formalisms as a language for describing the models produced in each development process phases. These seem to be straightforward, while the development of multi-agent systems is still done, in most cases, without using methods and formal modeling such as those generally used in object oriented software. We illustrate this approach by specifying an example based upon a specific agent architecture.

Abstract

Agent based computing is generally intended for modeling and implementation of distributed complex problems. Despite the existence of many applications, the problem of rational engineering of multi-agent systems remains complex and difficult. The purpose of this paper can be summarized within two claims. first, we aim at providing an approach that gives some guidelines for specifying and designing multi-agent systems. Secondly, we focus on the formalisms as a language for describing the models produced in each development process phases. These seem to be straightforward, while the development of multi-agent systems is still done, in most cases, without using methods and formal modeling such as those generally used in object oriented software. We illustrate this approach by specifying an example based upon a specific agent architecture.

BibTeX code

@article{Gruer.esa02,
  number = {4},
  volume = {23},
  month = nov,
  author = {Gruer, Pablo and Hilaire, Vincent and Koukam, Abder and Cetnarowicz,
            Krzysztof},
  domains = {Multi-Agent Systems:Formal Specification/OZS:},
  title = {A formal framework for multi-agent systems analysis and design},
  year = 2002,
  pages = {349--355},
  journal = {Expert Systems with Applications},
}

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)

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)