Mémoires de Fin d’Etudes
Etablissement
Université 8 mai 1945 de Guelma
Affiliation
Département d’Informatique
Auteur
ZELIT, Saoussan
Directeur de thèse
Pr Seridi Hamid (Professeur)
Filière
Intelligence Artificielle et Images
Diplôme
Magister
Titre
Modélisation d’un système d’agent mobile par les ECATNets
Mots clés
Modélisation . système. d’agent .mobile. ECATNets.
Résumé
Le paradigme agent mobile est apparu comme une extension du code mobile et de la migration de processus. Il marque plusieurs apports dans la gestion des systèmes complexes distribués, le plus important et de réduire la quantité de données transmises à travers un réseau pour une même tâche effectuée à distance. Cependant ces systèmes sont en effet difficiles à représenter d’une manière formelle, ce mémoire vise à donner une approche permet de représenter ces systèmes formellement dans le but de les bien analyser, valider et programmer. Notre approche se base sur le modèle de réseau de Petri dit ECATNets qui offre une symbolique simple facile à comprendre et une capacité d’exprimer les comportements parallèles et concurrents. IL se base sur les types abstraits algébrique qui présente une capacité de décrire abstraitement les données ainsi que la logique de réécriture qui définie la sémantique de réseau de Petri utilisé. Pour rendre le réseau de Petri plus intuitive, on a divisé le réseau en plusieurs parties, dont chacune présente un endroit précis du système. En plus ce partage permettra de montrer les propriétés des agents mobiles les plus essentiels tel que l’autonomie, la réactivité et particulièrement la mobilité. Cependant l’utilisation des types abstraits algébriques pour la définition des agents donne une représentation abstraite aux agents ce qui facilite la compréhension et l’implémentation du système. A la fin, pour bien illustrer les apports des ECATNets dans la modélisation des agents mobiles, on a démontré l’approche proposée par la modélisation d’un système d’administration à distance des Firewalls basée sur le paradigme d’agents mobiles
Date de soutenance
Année : 2008
Cote
004
Pagination
77 PAGES
Illusatration
relieure
Format
PDF
Statut
Traitée