OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Graja, Zeineb and Migeon, Frédéric and Maurel, Christine and Gleizes, Marie-Pierre and Laibinis, Linas and Regayeg, Amira and Hadj Kacem, Ahmed A Pattern based Modelling for Self-Organizing Multi-Agent Systems with Event-B. (2014) In: International Conference on Agents and Artificial Intelligence - ICAART 2014, 6 March 2014 - 8 March 2014 (Angers, France).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://dx.doi.org/10.5220/0004906902290236


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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Scitepress editor. The definitive version is available at http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0004906902290236
HAL Id:hal-01171940
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Abo Academi University (FINLAND)
Other partners > Université de Sfax (TUNISIA)
Laboratory name:
Deposited On:12 Jun 2015 14:52

Repository Staff Only: item control page