Résumé : Dans cet article, nous proposons d’intégrerune approche formelle pour la spécification demodèles de simulation orientés agent, dans lebut de rendre les modèles interopérables et derendre les résultats de simulation plus facilement reproductibles.