A Pattern based Modelling for Self-Organizing Multi-Agent Systems with Event-B - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

A Pattern based Modelling for Self-Organizing Multi-Agent Systems with Event-B

(1) , (1) , (1) , (1) , (2) , (3) , (3)
1
2
3

Abstract

Self-Organizing Multi-Agent Systems (SO-MAS) are defined as a set of autonomous entities called agents interacting together in order to achieve a given task. Generally, the development process of these systems is based on the bottom-up approach which focuses on the design of the entities individual behavior. The main question arising when developing SO-MAS is how to insure that the designed entities, when interacting together, will give rise to the desired behavior? Our proposition to deal with this question is to use formal methods. We propose a correct by construction method for systematic design of SO-MAS based on the use of design patterns and formal stepwise refinements. Our work gives guidelines to assist the designer when developing the individual behavior of the entities and prove its correctness at the early stages of the design process. The method is illustrated with the foraging ants’ case study.
Fichier principal
Vignette du fichier
graja_12857.pdf (228.88 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01171940 , version 1 (06-07-2015)

Licence

Attribution - NonCommercial - NoDerivatives - CC BY 4.0

Identifiers

Cite

Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Linas Laibinis, et al.. A Pattern based Modelling for Self-Organizing Multi-Agent Systems with Event-B. 6th International Conference on Agents and Artificial Intelligence - ICAART 2014, Mar 2014, Angers, France. pp.229-236, ⟨10.5220/0004906902290236⟩. ⟨hal-01171940⟩
85 View
105 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More