Un Modèle Formel Des Besoins Fonctionnels Des Systèmes Multi-agents Al’aide De Maude
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.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
