Table des matières - Gilles Daniel

46 Modélisation et simulation multi-agents pour Sciences de l'Homme et de la Société.
2.2.7. Qu’est ce que le multi-formalisme
Modéliser un système, c’est construire un objet abstrait représentant la structure et
la dynamique du système observé. Pour un même système et pour des modélisateurs
différents, l’activité de modélisation va donner naissance obligatoirement à des
modèles différents. Essayons de comprendre ce que signifie l’adjectif ”différent”.
Le premier cas de figure est le plus simple : les deux modélisateurs ont le même
objectif, ils veulent comprendre la même chose et ils en ont le même point de vue.
La seule différence réside dans les outils utilisés. Le choix d’outils différents est très
souvent gouverné soit par une méconnaissance des outils existants (et en plus, l’outil
que l’on utilise est le sien, tout simplement), soit par la capacité de l’outil choisi
pour exprimer la structure ou la dynamique (les deux outils choisis par les
modélisateurs ont des capacités équivalentes mais les modélisateurs ont décidé de
choisir celui avec lequel ils ont l’habitude de travailler). Dans ce cas, on cherche à
vérifier que les deux modélisations sont équivalentes et on parle alors de mapping.
Le mapping cherche à construire une bijection entre les éléments des deux modèles.
Le deuxième cas de figure met en jeu une démarche de hiérarchisation des
modèles. Le système est décomposable en sous-systèmes et chaque sous-système
fait l’objet d’une modélisation. La notion de décomposition est prise ici au sens
large. La décomposition peut aussi s’appliquer sur les éléments de la dynamique du
système. Dans ce cas, on peut, par exemple, décomposer un état du système en sousétats.
Les formalismes et les paradigmes utilisés pour le système global (ou pour les
états du système global) et les sous-systèmes (ou les sous-états) peuvent alors être
différents : c'est le multi-formalisme. Ce point de vue est développé par P. A.
Fishwick dans [FIS 95], [FIS 93]. Il parle alors de raffinement ou d’abstraction dans
un cadre de multi-formalisme. Le pré requis à un tel type de multi-formalisme est
que les paradigmes et les formalismes utilisés soient compatibles.
2.3. Une classification des formalismes
Chaque formalisme est spécialisé dans la spécification d’un aspect du système :
la description de la structure ou du comportement, la description de l’espace, ..., etc.
On peut donc établir une classification des formalismes en fonction des aspects à
modéliser et des propriétés du système ou d’une partie du système. Cette
classification a un seul objectif : montrer qu’il est fondamental de bien choisir son
formalisme en fonction de son système. Cette démarche s’inscrit dans une approche
par décomposition de son système en sous-systèmes et il est important d’adopter le
formalisme le plus adéquat pour la représentation de chaque sous-système. Cette
classification a aussi pour objectif de montrer que certains aspects ne sont pas pris
en compte de la même façon selon les formalismes. Cette différence nous conduira à