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
|
(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 - Toulouse INP (FRANCE) French research institutions > Centre National de la Recherche Scientifique - CNRS (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) |
| Laboratory name: | |
| Statistics: | download |
| Deposited On: | 14 Feb 2018 14:43 |
Repository Staff Only: item control page
