Une approche formelle basée BRS pour la spécification et la vérification des architectures des systèmes Multi-Agents
Résumé
Multi-Agent System (MAS) paradigm, can be particularly suitable to build
distributed, open and concurrent systems. In fact, it has shown to be an excellent
and adequate way to develop a variety of large and complex industrial
applications across different domains, such as distributed networks management,
grid computing, smart web services, etc. Indeed, these systems must
be designed to meet increasingly new requirements. Therefore, they must be
flexible, robust and capable to adapt to their environments. However, the
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
reconfigurable multi-agent systems.
In this work, we rely 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 Bigraphical Reactive
Systems (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.
Le paradigme multi-agent (SMA) peut être particulièrement adapté à la
construction de systèmes distribués, ouverts et concurrents. Il est reconnu,
comme étant un moyen excellent et adéquat pour développer une variété d'applications
industrielles de grande envergure dans différents domaines, tels que :
la gestion des réseaux distribués, l'informatique en grille, les services web intelligents,
etc. Ces systèmes doivent souvent opérer dans des environnements
dynamiques et faire face au défi de l'évolution constante de leurs exigences ;
donc ils doivent être flexibles, robustes et capables de s'adapter à leurs environnements.
Ceci, rend difficile la conception et le développement des systèmes
multi-agents reconfigurables.
Dans ce travail, nous nous basons sur les méthodes formelles pour gérer
la complexité des aspects liés à la conception des architectures de SMA. Plus
précisément, nous proposons une approche de modélisation formelle basée sur
les systèmes réactifs bigraphiques (BRS) pour la spécification et la vérification
des architectures des systèmes multi-agents et leur reconfiguration. Les BRS
présentent une solution prometteuse et efficace pour le développement des
SMA sûrs et de qualité. En outre, ils permettent la vérification des propriétés
pertinentes des SMA à l'aide d'outils de vérification de modèles bigraphiques.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...