A Stepwise Refinement based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants - Archive ouverte HAL Access content directly
Journal Articles International Journal of Agent-Oriented Software Engineering Year : 2016

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

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.
Fichier principal
Vignette du fichier
graja_18785.pdf (693.92 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01726402 , version 1 (08-03-2018)

Identifiers

Cite

Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem. A Stepwise Refinement based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants. International Journal of Agent-Oriented Software Engineering, 2016, vol. 5 (n° 2/3), pp. 134-166. ⟨10.1504/IJAOSE.2016.10001862⟩. ⟨hal-01726402⟩
58 View
95 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More