Modélisation d'un système d'agent mobile par les ECATNets

Abstract

Dans ces dernières années, on assiste à l'accroissement spectaculaire des réseaux, l'émergence des systèmes distribués et d'Internet en particulier. Les systèmes d'agents et en particulier les systèmes d'agents mobiles, qui sortent à peine des laboratoires, montrent des potentialités intéressantes par leur flexibilité, adaptations et réduction de la charge des réseaux à grande échelle. Les agents mobiles sont une forte abstraction pour la conception des systèmes complexes répartis. Ils peuvent exhiber la majorité des attributs des agents comme l'intelligence, l'autonomie, l'adaptabilité, et la sociabilité et ils peuvent aussi se déplacer vers d'autres ordinateurs pour bénéficier de la performance des interactions locales. Dans ce mémoire on a présenté une approche formelle et intuitive pour la modélisation du comportement des agents mobiles basée sur les ECATNets, qui sont une catégorie de réseau de Petri de haut niveau. Les ECATNets exploitent les forces des types abstraits algébriques qui permettent de décrire abstraitement les données, et leur sémantique est définie en termes de la logique de réécriture qui offre une base solide et rigoureuse pour toute démarche de vérification. 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.