Résumé:
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.
