Formalisation des Besoins Fonctionnels des Systèmes Multi-Agents à l’aide de Maude

Abstract

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.