| Type de document | Thèse |
| Langue | fre |
| Titre | Formalisation des Besoins Fonctionnels des Systèmes Multi-Agents à l’aide de Maude [ressource textuelle, sauf manuscrits] |
| Auteur(s) | HAMIDANE Fathi (Auteur) BELLEILI Habiba (Directeur de thèse) Mokhati Farid (Directeur de thèse) |
| Adresse bib. | TEBESSA : Université de Cheikh Larbi Tebessi,2009 |
| Collation | 121 p. : CD-ROM ; 27 cm |
| Notes de thèse | Magister : Systèmes informatiques : Université chikh laarbi Tbessi Tebessa : 2009 |
| Theme | Informatique |
| 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. Mots Clés : Besoins fonctionnels, Spécification formelle, Diagramme de cas d’utilisation, Agent UML, Logique de Réécriture, Maude |
HAMIDANE Fathi
Formalisation des Besoins Fonctionnels des Systèmes Multi-Agents à l’aide de Maude [ressource textuelle, sauf manuscrits] / HAMIDANE Fathi ; Dir. BELLEILI Habiba; Dir. Mokhati Farid.-TEBESSA : Université de Cheikh Larbi Tebessi,2009.-121 p. : CD-ROM ; 27 cm.
- Magister : Systèmes informatiques : Université chikh laarbi Tbessi Tebessa : 2009.
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.
Mots Clés :
Besoins fonctionnels, Spécification formelle, Diagramme de cas d’utilisation, Agent UML,
Logique de Réécriture, Maude