Gauthier Quesnel

Son article :

Mots-clefs : formalisme, DEVS, Systèmes, structures dynamiques, VLE
Résumé : Dans cet article, nous discutons des systèmes multi-agents dans le contexte de la mod-élisation et de la simulation (M&S). Le formalisme DEVS (Discrete EVent Specification system)est à la base de nos travaux. DEVS peut Œtre considéré comme une « capsule formelle » quipermet la multi-formalisation et donc la spécification de multi-modèles.Dans ce travail, nous proposons de rapprocher le « paradigme des agents » de la théorie de laM&S en établissant une analogie entre ces deux abstractions. Ansi, nous élaborons une miseen correspondance entre certains des concepts fondamentaux des SMAs et une formalisationabstraite dont l’algorithmique est bien connue. Nous espérons que cette distinction sera utileau modélisateur en séparant la conception de SMAs des problèmes de spécification rigoureusede simulateurs. Ceci devrait améliorer l’utilisation et l’intélligibilité des SMAs dans la commu-nauté scientifique.
LIL
Calais, France

Laboratoire d’Informatique du Littoral
Calais, France