Table des matières - Gilles Daniel

Introduction à la modélisation et à la simulation d'événements discrets. 57
Quand réception d’un événement externe : (x, t)
∀i ∈ EIC
Envoyer l’événement externe (x, t) à i
active = active ∪ {i}
Fin Quand
Quand réception d’un événement externe : (y, t) provenant du sous-modèle i
∀(i, j) ∈ IC
Envoyer l’événement externe (y, t) à j
active = active ∪ {j}
Si i ∈ OIC Alors
Envoyer l’événement extern (y, t) au père
Fin Si
Fin Quand
Quand réception d’un événement de fin d’état (*, t)
I est l’ensemble des sous-modèles tel que leur date
de fin d’état est égale à t
i* = select(I)
Envoyer un événement de fin d’état (*, t) à i*
active = active ∪ {i*}
Fin Quand
Quand réception d’un événement de fin d’état (fait, t)
Retirer l’expéditeur du message de active
Si active = ∅ Alors
t l = t
t n = min(M i .t n ∀i ∈ D)
Envoyer l’événement (fait, t n ) au père
Fin Quand
Figure. 2.7. Simulateur abstrait d’un modèle couplé
2.6. Conclusion
Ce deuxième chapitre nous a permis de fixer les idées sur les concepts de base de la
multi-modélisation, de la spécification formelle de systèmes dynamiques et la mise en
œuvre de simulateur à événements discrets. Il était important de rappeler les notions de
système, de système complexe, de schéma expérimental, de paradigme et de formalisme.
Il était aussi important de les replacer dans leur contexte épistémologique avec un petit
rappel sur l’histoire des Sciences. On oublie trop souvent que l’on est conditionné par
notre vision des choses et par nos connaissances. Au travers ce discours, nous avons
(enfin nous l’espérons) mis en évidence les problématiques sous-jacentes : l’adéquation
du schéma expérimental par rapport aux interrogations sur le système, l’adéquation du
formalisme au système et au paradigme, l’intégration d’une démarche au sein de
l’activité de modélisation, la cohérence sémantique du couplage de modèles, ...