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.
Origin : Files produced by the author(s)
Loading...