Table des matières - Gilles Daniel

Introduction à la modélisation et à la simulation d'événements discrets. 45
interne du système. Nous verrons par la suite que B. Zeigler proposera un cadre
formel de spécification de systèmes dynamiques généralisant ce niveau
d’abstractions en ajoutant une fonction de transition interne. Cette dernière aura pour
objectif de modéliser la dynamique interne.
Le cinquième et dernier niveau introduit le concept de couplage de modèles. Le
modèle global est alors un ensemble de modèles interconnectés. Ces connexions
déterminent les relations entre les modèles et les événements échangés entre les
modèles. A ce niveau, on considère que le modélisateur connait la structure interne
de son système et qu’il est capable de le décomposer en sous-modèles.
2.2.5 . Qu’est-ce qu’un paradigme
Sans le préciser lorsque B. Zeigler propose ses niveaux de spécifications, il
exploite le paradigme de la modélisation à événements discrets. Un paradigme est
un cadre de pensée composé par un ensemble d’hypothèses fondamentales, de lois et
de moyens sur la base desquels des raisonnements, et donc en particulier des
modèles, peuvent se développer. La notion de paradigme est difficilement
dissociable de la notion de formalisme. En effet, les équations différentielles sont à
la fois un paradigme et un outil de formalisme mathématique. En règle générale, le
paradigme est utilisé au niveau sémantique (ou méta) tandis que le formalisme est
l’outil opérationnel du paradigme : à un paradigme est associé un ou plusieurs
formalismes. De plus, on peut concevoir des modèles en s’appuyant sur les concepts
d’un paradigme et spécifier le modèle à l’aide d’un formalisme qui n’est pas
obligatoirement issu du paradigme [Chapitre 11]. Si on prend l’exemple du
paradigme multi-agents, la spécification de la structure du système peut être réalisé à
l’aide d’UML (Unified Modeling Language) tandis que la dynamique des agents est
spécifiée à l’aide de réseaux de Petri ou de règles d’inférences.
2.2.6. Qu’est-ce qu’un formalisme
Les définitions précédentes ont posé les bases de la modélisation en définissant
ce qu’est un modèle. Nous avons vu aussi qu’il était possible de formaliser un
système selon différents niveaux d’abstraction, niveaux qui dépendent la plupart du
temps du niveau de connaissances sur le système. Revenons, par exemple, sur la
notion de fonction de transition. Cette fonction a pour objectif de déterminer le
nouvel état du système en fonction des événements d’entrée (ou externes). La
question qui reste en suspens est comment spécifier cette fonction. Le formalisme
est l’outil dédié à cette opération. C’est l’outil d’expression des paradigmes (voir
”Qu’est-ce qu’un paradigme ”). On peut utiliser, par exemple, les automates à états
finis pour spécifier les changements d’états. Ce n’est pas la seule possibilité.