Une Approche De Transformation Des Diagrammes D’activités D’uml Mobile 2.0 Vers Les Réseaux De Petri
Résumé: Les agents mobiles jouent un rôle important dans divers domaines. Cependant l’exactitude de leur modélisation influe sur la performance des systèmes où ils sont utilisés. Dans cette étude, nous avons proposé une nouvelle approche, permettant la modélisation des agents mobiles avec le formalisme de diagramme d’activités mobile. Ils sont compréhensible et facile mais souffre d’un manque de sémantique formelle, cependant ils 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 leurs équivalents des réseaux de Petri imbriqués, ces derniers peuvent être utilisés comme base pour une éventuelle vérification et analyse.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
