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

Depuis le debut des annees 2000, des propositions de formalisation avec DEVS et ses extensions des systemes multi-agents ont ete proposees. Cet expose se propose de visiter les plus emblematiques d'entre-elles en les restituant dans le contexte de leur developpement, c'est-a-dire en essayant d'identifier a quels types de problemes elles se proposent de repondre et quels sont les apports et les limites de ces propositions. Nous essayerons ensuite de faire une synthese de ces propositions afin de discuter des developpements a venir, notamment dans les domaines de la verification et de la communication des SMAs.