Skip to Main content Skip to Navigation
Conference papers

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

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01171940
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Monday, July 6, 2015 - 3:18:49 PM
Last modification on : Tuesday, September 8, 2020 - 9:58:03 AM

File

graja_12857.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01171940, version 1
  • OATAO : 12857

Citation

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. International Conference on Agents and Artificial Intelligence - ICAART 2014, Mar 2014, Angers, France. pp. 229-236. ⟨hal-01171940⟩

Share

Metrics

Record views

269

Files downloads

322