by Vincent Hilaire, Abder Koukam, Pablo Gruer, Jean-pierre Müller, Université De Neuchâtel
In ESAW ’00: Proceedings of the First International Workshop on Engineering Societies in the Agent World
http://biber.csc.ncsu.edu/zcheng/refpapers/esaw11.pdf
Add To MetaCart
Abstract:
Abstract. 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.
Citations
|
1713
|
Statecharts: A visual formalism for complex systems
– Harel
- 1987
|
|
461
|
The Gaia Methodology for Agent-oriented analysis and design
– Wooldridge, Jennings, et al.
- 2000
|
|
354
|
Statemate: A working environment for the development of complex reactive systems
– Harel
- 1990
|
|
268
|
On the development of reactive systems
– Harel, Pnueli
- 1985
|
|
129
|
Working With Objects: The OOram Software Engineering Method
– Reenskaug, Reenskaug
- 1995
|
|
126
|
A Meta-Model for the analysis and design of organizations in multi-agent systems
– Ferber, Gutknecht
- 1998
|
|
117
|
Conjunction as composition
– Zave, Jackson
- 1993
|
|
105
|
DESIRE: Modelling MultiAgent Systems in a Compositional Formal Framework
– Brazier, Dunin-Keplicz, et al.
- 1997
|
|
94
|
A Formal Framework for Agency and Autonomy
– Luck, d’Inverno
- 1995
|
|
60
|
The Object-Z Specification Language
– Duke, King, et al.
- 1991
|
|
28
|
A meta-method for formal method integration
– Paige
- 1997
|
|
23
|
Formalisms for Multi-Agent Systems
– d’Inverno, Fisher, et al.
- 1997
|
|
13
|
MadKit: Organizing heterogeneity with groups in a platform for multiple multi-agent systems” Research Report LIRMM 97188, Laboratoire d’informatique, de Robotique, et de Microelectronique de Montpellier
– Gutknecht, Ferber
- 1997
|
|
5
|
Simulation multi-agent et épidémiologie opérationnelle. Étude d’épizooties de fièvre aphteuse. Thèse de doctorat (informatique), université de Caen
– Durand
- 1996
|
|
3
|
Genetic algorithms as prototyping tools for multi-agent systems: An application to the antenna setting problem
– Lissajoux, Hilaire, et al.
- 1997
|
|
2
|
if Z is the answer, what could the question possibly be
– Fisher
- 1997
|
|
2
|
Intelligent Agents Theory and Practice,” Available by FTP
– Wooldridge
- 1994
|
|
1
|
Formal Specification and Verification of Multi-Agent Systems
– Gruer, Hilaire, et al.
- 2000
|
|
1
|
Abder Koukam. Verification of Object-Z Specifications by using Transition Systems
– Gruer, Hilaire
- 2000
|
