Un Systéme Automatique Pour La Vérification Des Diagrammes B P M N En Utilisant Pi-calcul
Résumé: La modélisation d'un processus d'entreprise s'inscrit dans le domaine de l 'ingénierie dirigd par les modéles (IDM) en générale, et dans Ia transformation de modéles d I'aide de la grammaire de graphes en particulier pour I'analyse et la vérification. Notre approche se base sur la métamodélisation et la grammaire de graphes pour la transformation automatique des moddles graphiques utilisant la notation BPMN des processus métiers, vers le code équivalent en Pi-calcul qu'est un langage formel avec une base mathématique précisément la version polyadique, pour l'exploiter avec l'outil MWB qui est un outil pour la vérification des modéles, la recherche des interblocages et la simulation interactive des systémes concrurents mobiles décrits dans le Pi-calcul. Ce travail est réalisé d l'aide de I'outil AToM3.
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".
