Un Systéme automatique pour la vérification des diagrammes B P M N en utilisant pi-calcul

dc.contributor.author	Yahi, Oumaima
dc.contributor.author	Nacer, Houria
dc.contributor.author	Boussetoua, Riad(Encadreur)
dc.date.accessioned	2020-11-04T08:06:55Z
dc.date.available	2020-11-04T08:06:55Z
dc.date.issued	2017
dc.identifier.uri	http://dspace.univ-jijel.dz:8080/xmlui/handle/123456789/2785
dc.description.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.	fr_FR
dc.language.iso	fr	fr_FR
dc.publisher	Université jijel	fr_FR
dc.relation.ispartofseries	;M.Inf.SIAD.09/17
dc.subject	IDM, Méta-modélisation, transformation des modéles, processus métiers.	fr_FR
dc.title	Un Systéme automatique pour la vérification des diagrammes B P M N en utilisant pi-calcul	fr_FR
dc.type	Thesis	fr_FR