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 metadata

Cited literature [15 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) Connect in order to contact the contributor
Submitted on : Monday, July 6, 2015 - 3:18:49 PM
Last modification on : Tuesday, October 19, 2021 - 2:23:23 PM


Files produced by the author(s)


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


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⟩



Record views


Files downloads