A Stepwise Refinement based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal of Agent-Oriented Software Engineering Année : 2016

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

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
72 Consultations
104 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More