OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A Stepwise Refinement based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants

Graja, Zeineb and Migeon, Frédéric and Maurel, Christine and Gleizes, Marie-Pierre and Hadj Kacem, Ahmed A Stepwise Refinement based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants. (2016) International Journal of Agent-Oriented Software Engineering, 5 (2/3). 134-166. ISSN 1746-1375

[img]
Preview
(Document in English)

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

Official URL: https://doi.org/10.1504/IJAOSE.2016.10001862

Abstract

This paper proposes a formal modeling for Self-Organizing Multi-Agent Systems (SOMAS) based on stepwise refinements, with the Event-B language and the Temporal Logic of Actions (TLA). This modeling allows to develop this kind of systems in a more structured manner. In addition, it enables to reason, in a rigorous way, about the correctness of the derived models both at the individual level and the global level. Our work is illustrated by the foraging ants case study.

Item Type:Article
Additional Information:This papers appears in Volume 5-2016 of International Journal of Agent-Oriented Software Engineering ISSN: 1746-1375 The original PDF is available at: http://www.inderscience.com/info/inarticle.php?artid=80891
HAL Id:hal-01726402
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:14 Feb 2018 14:43

Repository Staff Only: item control page