Abstract:
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.
