Table des matières - Gilles Daniel

54 Modélisation et simulation multi-agents pour Sciences de l'Homme et de la Société.
– un nouveau serveur qui apparaît dans un réseau complexe,
– le remplacement d’un composant défectueux par un autre,
– la transformation d’une particule en une autre particule,
– l’apparition et la disparition de produits dans un système de production,
– le changement de modèles dans une simulation en cours d’exécution,
– une entité avec un comportement dans un environnement d’entités
communicantes (de type système multi-agents),
Dynamic Structure DEVS a été défini par F. J. Barros dans [BAR 95] afin de palier
à cette insuffisance. Ce formalisme est basé sur DEVS (comme son nom le laisse
supposé) et fournit tous les mécanismes pour le changement dynamique de la structure
d’un modèle DEVS. DS-DEVS introduit une nouvelle spécification pour les modèles
couplés mais n’effectue aucune modification de spécification des modèles atomiques.
Nous allons donc faire le tour de ces modifications afin de comprendre quels sont les
apports potentiels pour la formalisation des systèmes multi-agents et centrés individus.
2.5. Simulation à événements discrets
La simulation a pour objectif d’assurer la mise en œuvre de l’animation des
modèles. L’algorithmique des simulateurs est, dans la majorité des cas, spécifiques
au formalisme adopté pour la phase de modélisation. Ce constat peut s’avérer être un
vrai problème pour deux raisons : la difficulté de démontrer l'adéquation entre le
simulateur et le formalisme et de coupler différents modèles basés sur des
formalismes différents. Nous allons illustrer une approche possible à l'aide des
travaux de Zeigler [ZEI 73] et du formalisme DEVS. Comme nous l’avons déjà
présenté dans la partie précédente, DEVS est un formalisme abstrait pour la
modélisation à événements discrets. Ce formalisme a la prétention d’offrir à la fois
l’encapsulation des autres formalismes et les simulateurs associés.
Figure 2.5. Le simulateur abstrait d'un modèle atomique