Résumé : Le travail présenté dans cet article s'inscrit dans le cadre d'une démarche méthodique pour la construction de spécifications formelles de Systèmes Multi-Agents. L'idée de base est de définir de tels systèmes comme un ensemble d'entités mettant en oeuvre des rôles entre lesquels des interactions sont spécifiées. Le formalisme utilisé est basé sur la composition d'Object-Z et des statecharts. Cette approche nous permet : d'avoir un pouvoir d'expression suffisant, de disposer d'outils pour l'analyse d'une spécification et enfin de pouvoir raffiner les spécificationsafin d'aboutir à une implémentation.