Résumé:
modèles, dès la phase d’élicitation des besoins, dans un processus de développement 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 la méthodologie PASSI à savoir : modèle de description des besoins, modèle d’identification d’agents, modèle d’identification de rôle et modèle d’identification de taches dans une spécification formelle Maude. Notre approche propose un processus de translation à partir des modèles cités auparavant vers une spécification formelle écrite en langage Maude. 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 présentés dans la méthodologie PASSI à l’aide de Maude, et (2) l’intégration de la validation formelle et de la cohérence des des SMAs.
