ملخص: 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:
لغة: فرنسية
الوصف المادي: 87 p. ill. ;30 cm
الشهادة: Magister
مؤسسة مناقشة الرسالة: Batna, Université El Hadj Lakhdar. Faculté des Sciences
تخصص: Informatique
الفهرس العشري 005.275 .برمجة الكمبيوتر للمعالجات المتعددة (البرمجة المتوازية)
الموضوع الإعلام الآلي

الكلمات الدالة:
Pétri, réseaux de
grammaire de graphe
UML

ملاحظة: Bibliogr. pp.77-79; Annexe pp.80-87