Résumé:
Ce mémoire présente une approche systématique permettant de translater les besoins
fonctionnels d’un système multi-agents décrits par les diagrammes de cas d’utilisation UML
étendus et, les diagrammes de séquences AUML dans une spécification formelle Maude.
Notre approche propose dans un premier temps d’étendre les cas d’utilisation UML en
utilisant les stéréotypes UML pour tenir compte de spécificités de SMAs. Dans un second
temps, nous associons à chaque cas d’utilisation un ou plusieurs diagrammes de séquences
AUML réalisant les différents scénarios possibles de la fonctionnalité décrite par le cas
d’utilisation proprement-dit. Une fois élaborés les différents diagrammes subissent une
validation afin d’assurer la cohérence inter et intra modèles. Le langage Maude, basé sur la
logique de réécriture, offre des bases formelles et solides pour la spécification et la
programmation des systèmes concurrents. Les principales motivations de ce travail sont : (1)
la formalisation des besoins fonctionnels d’un système multi-agents à l’aide de Maude, et (2)
l’intégration de la validation formelle de la cohérence des modèles, dès la phase d’élicitation
des besoins, dans un processus de développement des SMAs.
