Systèmes multi-agents et DEVS, une petite histoire commune

Depuis le début des années 2000, des propositions de formalisation avec DEVS et ses extensions des systèmes multi-agents ont été proposées. Cet exposé se propose de visiter les plus emblématiques d'entre-elles en les restituant dans le contexte de leur développement, c'est-à-dire en essayant d'identifier à quels types de problèmes elles se proposent de répondre et quels sont les apports et les limites de ces propositions. Nous essayerons ensuite de faire une synthèse de ces propositions afin de discuter des développements à venir, notamment dans les domaines de la vérification et de la communication des SMAs.