Résumé: Les agent mobiles jouent un rôle important dans les divers domaines. Cependant l'exactitude de leur modélisation influe sur la performance des systèmes ou ils sont utilisés. Dans cette étude, nous avons proposé une nouvelle approche, permettant la modélisation des agents mobiles avec le formalisme de diagrammes d'activités mobile. Ils sont compréhensible et facile mais souffre d'un manque de sémantique formelle, cependant il ne permettent pas l'analyse et la vérification. Une grammaire de graphe généré avec l'outil AToM3 permet la transformation automatique des diagrammes d'activités mobiles vers leur équivalents des réseaux de pétri imbriqué, ces derniers peuvent être utilisés comme base pour une éventuelle vérification et analyse.

Batna:
Langue: Français
Collation: 87 p. ill. ;30 cm
Diplôme: Magister
Etablissement de soutenance: Batna, Université El Hadj Lakhdar. Faculté des Sciences
Spécialité: Informatique
Index décimal 005.275 .Programmation informatique pour les multiprocesseurs (programmation parallèle)
Thème Informatique

Mots clés:
Pétri, réseaux de
grammaire de graphe
UML

Note: Bibliogr. pp.77-79; Annexe pp.80-87