Table des matières - Gilles Daniel

58 Modélisation et simulation multi-agents pour Sciences de l'Homme et de la Société.
Ces différentes problématiques ont été abordées au travers de diverses définitions
pour finalement aboutir à une proposition. Cette proposition s’inscrit à la fois dans les
idées de Fishwick et de multi-modélisation et dans les idées de Zeigler et de
spécifications formelles de systèmes. La multi-modélisation est vue comme un processus
de modélisation mariant des idées de décomposition ou d’agrégation et des idées de
couplage de paradigmes et de formalismes. Les processus de décomposition et
d’agrégation sont inhérents à l’approche de modélisation adoptée : top-down ou
bottom-up. Ces approches sont conformes à la vision dominante : le réductionnisme.
Le fait d’adopter au sein des processus de décomposition et d’agrégation le postulat du
multi-formalisme, on obtient alors la multi-modélisation. Pour être plus juste, il faut
alors ajouter tous les problèmes liés à la cohérence du couplage de formalismes par
décomposition et le point de vue du mapping. L’approche de Zeigler est alors
complémentaire puisqu’elle s’abstrait des processus de décomposition et d’agrégation
et propose la spécification formelle de systèmes dynamiques et de systèmes couplés
avec DEVS. Notre proposition s’inspire d’une règle de bon sens : ”il y a de bonnes
idées dans les deux propositions, prenons les pour construire notre propre
proposition”. L’activité de modélisation doit s’inscrire dans une démarche et chaque
niveau d’abstractions ou chaque élément du multi-modèles, il faut adopter un
paradigme et un formalisme conformes aux propriétés du système ou du sous-système
et compatibles formellement et sémantiquement avec les autres éléments du modèle.
Pour conclure, DEVS nous offre en plus et propose des formalismes tels que Cell-
DEVS de Wainer [WAI 01] pour les automates cellulaires et DS-DEVS de Barros
[BAR 95] pour les structures dynamiques d'interactions.
2.7. Bibliographie.
[BAR 95] BARROS F. J., “Dynamic Structure Discrete Event System Specification : A New
Modeling and Simulation Formalism for Dynamic Structure Systems”, Proceedings of the
1995 Winter Simulation Conference, p. 781-785, 1995.
[BOL 02] BOLDUC J. S., VANGHELUWE H., “Expressing ODE models as DEVS : Quantization
approaches”, in BARROS F. GIAMBIASI N. eds., Proceedings of the AIS’2002 Conference (AI,
Simulation and Planning in High Autonomy Systems), Lisbonne, Portugal, Society for
Modeling and Simulation International (SCS), p. 163 – 169, 2002.
[BOO 97] BOOCH G., RUMBAUGH J., JACOBSON I., Unified Modeling Language User Guide,
Reading, Ma., Addison Wesley, 1997.
[BOR 03] BORLAND S., VANGHELUWE H., Transforming Statecharts to DEVS, dans A. BRUZZONE
A., ITMI M. eds., Summer Computer Simulation Conference, Student Workshop, Montréal,
Canada, Society for Computer Simulation International (SCS), p. S154 - S159, 2003.
[BOU 98] BOUSQUET F., BAKAM I., PROTON H., LE PAGE C., Cormas : common-pool resources
and multi-agent systems, Lecture Notes in Artificial Intelligence, 1416, p. 826-838, 1998.
[COQ 97] COQUILLARD P., HILL D., Modélisation et simulation d’écosystèmes, Paris, Masson, 1997.