A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

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.

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems.pdf (449.22 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Documentation IRIT  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03260611

Soumis le : mercredi 16 juin 2021-11:33:26

Dernière modification le : mardi 13 février 2024-14:53:55

Archivage à long terme le : vendredi 17 septembre 2021-18:26:28

Télécharger pour visualiser

Dates et versions

hal-03260611 , version 1 (16-06-2021)

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. 2nd International workshop on Engineering Multi-Agent Systems (EMAS 2014), May 2014, Paris-, France. ⟨10.1007/978-3-319-14484-9_3⟩. ⟨hal-03260611⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-SMAC IRIT-ICI IRIT-UT3 TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
53 Consultations
58 Téléchargements

Altmetric

Partager

More