[DBS16] Specification and verification of reconfigurable multi-agent system architectures

Revue Internationale avec comité de lecture : Journal Multiagent and Grid Systems, vol. 12(2), pp. 105-124, 2016

Mots clés: Multi-agent systems, reconfiguration, formal specification, formal verification, bigraphical reactive systems

Résumé: Multi-Agent Systems (MAS) can be subject to changes reflecting the continuous emergence of new requirements. Thus, diversity of the basics on one hand, and the complexity of the concepts related to agents on the other hand, make it difficult to conceive and develop a reconfigurable multi-agent system architecture. In this paper, we relay on formal methods to manage the complexity of these aspects and reason on the design of MAS architectures. Precisely, we propose a formal modelling approach based on Bigraphs (BRS) for the specification of multi-agent system architectures and their reconfiguration. BRS present a promising and effective solution for the development of high quality and safe MAS at reasonable cost and time span. In addition, they enable the verification of MAS relevant properties using a bigraphical model checking tool named BigMC.

Commentaires: Dowload pdf :


@article {
title="{Specification and verification of reconfigurable multi-agent system architectures}",
author="A. Dib and K. Barkaoui and Z. Sahnoun",
journal="Multiagent and Grid Systems",
note="{Dowload pdf :}",