Browsing by Author "Mazouz, Mihoub"
Now showing 1 - 2 of 2
Results Per Page
Sort Options
Item Formalisation de la méthodologie passi(université Oum-El-Bouaghi, 2018) Mazouz, Mihoub; Mokhati, FaridLe paradigme agent a prouvé sa capacité et son efficacité dans le développement des systèmes distribués et complexes. Durant les deux dernières décennies, plusieurs méthodologies de développement des systèmes multi-agents (MAS) ont été proposées telles que Gaia, Tropos et PASSI. Bien que ces méthodologies et autres aient contribué de manière significative à relever plusieurs défis dans le domaine de développement des SMA, la plupart d’entre elles sont basées sur des notations semi-formelles et n’utilisent pas des techniques formelles, ce qui met les spécifications produites lors des phases du cycle de développement susceptibles de contenir des inconsistances, d’incohérences ou des ambiguïtés. L’utilisation de méthodes formelles fait face à ces lacunes et peut permettre une description précise et non ambigüe du système sous-développement. Dans cette thèse, nous proposons la méthodologie F-PASSI (Formal-PASSI), une extension de la méthodologie PASSI. F-PASSI vise à adopter de spécifications formelles et les exploiter pour en appliquer quelques techniques formelles. Le processus de conception de F-PASSI se compose de celui de PASSI en lui intégrant un modèle formel. Ce dernier se compose de quatre phases et vise à offrir une description formelle basée sur la logique de réécriture et son langage Maude par l’exécution de deux transformations successives. La première transformation est du type Modèle-à-Modèle (M2M) et en résulte un modèle Maude à partir d’un modèle PASSI. La deuxième transformation est du type Modèle-à-texte (M2T) et en résulte une description basée-Maude à partir du modèle Maude généré. La description formelle produite est exploitée ensuite pour valider les diagrammes comportementaux conçus dans les modèles qui précèdent le module formel, et pour vérifier des propriétés au niveau d’abstraction Multi/Single agent avant le passage au modèle de codage. F-PASSI est supportée par un outil que nous avons développé (F-PTK). L’outil développé facilite aux développeurs leurs tâches surtout le fait qu’il soit basé sur une technique de traçabilité que nous avons aussi proposée. La méthodologie proposée et l’outil développé sont illustrés à travers une étude de cas.Item Génération d'une spécification maude strategy à partir d'une description UML-S(Université Oum El Bouaghi, 2011) Mazouz, Mihoub; Mokhati, FaridNous avons précisé dans ce chapitre une approche permettant de valider la composition de services Web tout en gérant une spécification formelle Maude-Strategy partir de diagrammes de classes et d¯activité UML-S. Comme nous avons aussi précisé le plug-in Eclipse que nous avons développement. Ce Plug-in, nous permet dans un premier temps de mod¨¦liser les services composer sous forme d'un diagramme de classes UML-S, et de modiliser leur composition ¨ l'aide du diagramme d'activit¨ UML-S, et puis de gérer une spécification formelle Maude-Strategy pour la valider.