Table des matières - Gilles Daniel

56 Modélisation et simulation multi-agents pour Sciences de l'Homme et de la Société.
initial du modèle et les variables t l et t n . La réception d’un événement externe, mis à
part la mise à jour des variables e, t l et t n , fait appel à la fonction de transition externe
δext. Cette fonction ainsi que la fonction de transition interne et la fonction de sortie,
sont naturellement spécifiques au modèle. La réception d’un événement de fin d’état
débute par le calcul de la fonction de sortie λ et se poursuit par l’envoi des événements
externes générés par la fonction de sortie au père. La notion de père est synonyme ici
de modèle hiérarchiquement supérieur. Si le modèle génère des événements externes,
c’est à destination d'un modèle avec lequel il est couplé dans un modèle couplé (le
modèle père). Dans cette approche, le modèle père connait les connexions entre les
modèles qui le composent et non les modèles le composant. Cette phase se termine par
le calcul de la fonction de transition interne afin de déterminer le nouvel état du
modèle. Cet algorithme en trois phases constitue la base universelle des simulateurs de
modèles atomiques basés sur le formalisme DEVS. Il reste normalement un dernier
cas à traiter celui du conflit lorsqu’un événement externe arrive exactement au
moment de la fin d’un état. Nous ne présentons pas ce cas.
Intéressons nous maintenant à l’algorithme d’un modèle couplé. L’algorithme de
la dynamique d’un modèle couplé se décompose en quatre phases :
– l’initialisation : le modèle couplé transmet l’événement d’initialisation à
tous les modèles qui le composent,
– la réception d’un événement externe en entrée : cet événement est envoyé à
tous les sous-modèles récepteurs de cet événement,
– la réception d’un événement externe provenant d’un sous-modèle : cet événement
est envoyé soit aux sous-modèles connectés au modèle qui a émit l’événement
(connexion interne - IC) soit au modèle père si le sous-modèle émetteur est
connecté à une sortie du modèle couplé (connexion en sortie - OIC),
la fin de traitement des sous-modèles : lorsqu’un modèle atomique reçoit un
événement, il signale à son modèle père qu’il a fini de le traiter ; tant que pour une
date donnée, tous les sous-modèles n’ont pas fini, le modèle couplé attend ; si tous
les sous-modèles ont fini alors il y a calcul de la date du prochain événement.
Comme on peut le constater l’algorithme de la dynamique d’un modèle couplé
s’articule autour de la notion de relai. On peut dire en effet qu’un modèle couplé est
une sorte d’aiguillage d’événements et que cet aiguillage est réalisé grâce à la
définition des connexions.
Quand réception d’un événement d’initialisation (i, t)
Envoyer à tous les modèles composant le modèle couplé
un événement d’initialisation (i, t)
active = ∅
Fin Quand