A stepwise refinement-based development of self-organising multi-agent systems: application to the foraging ants. (2016)

• Record Type: Journal Article
• Authors: Graja, Zeineb; Migeon, Frédéric; Maurel, Christine; Gleizes, Marie-Pierre; Kacem, Ahmed Hadj
• Is Part Of: International journal of agent-oriented software engineering. Volume 5:Number 2/3(2016)
• Page Start: 134
• Page End: 166
• Publication Date: 2016
• Subjects: self-organising MAS -- multi-agent systems -- SOMAS -- agent-based systems -- foraging ants -- formal verification -- convergence -- resilience -- stepwise refinements -- Event-B -- temporal logic of actions -- TLA -- modelling; Intelligent agents (Computer software) -- Periodicals; Software engineering -- Periodicals; Systems software -- Periodicals; 005.12
• Languages: English
• ISSNs: 1746-1375

Abstract

This paper proposes a formal modelling for self-organising multi-agent systems (SOMAS) based on stepwise refinements, with the Event-B language and the temporal logic of actions (TLA). This modelling 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 local level and the global level. Our work is illustrated by the foraging ants case study.