Résumé:
Le travail proposé dans ce mémoire traite la modélisation et la vérification des processus métier. Son objectif est de permettre d’une part la modélisation des processus métier coopératifs, et d’une autre, de vérifier le déroulement de ces derniers afin d’assurer leur bon fonctionnement.
La technologie de workflow, tendant à automatiser les processus d'entreprise et à fournir un support pour leur gestion, la modélisation d’un workflow consiste à décrire les différents acteurs impliqués dans la réalisation d’une tâche coopérative, l’interface informatique qui unisse ces acteurs, les tâches à répartir entre les différents acteurs, les délais, les modes de validation, et fournir à chacun des acteurs les informations nécessaires à l'exécution de sa tâche et leurs natures. Pour cela, les développeurs se basent sur une méthode stricte souvent résultant de l’adaptation d’une méthode existante, ce qui engendre des systèmes conçus qui ne répondent pas aux besoins des utilisateurs et ne sont pas adaptés à l’organisation des activités de l’entreprise. Chaque développeur a son propre point de vu sur la méthode à adopter pour concevoir le système workflow, ce qui implique différents workflows, car il n’existe pas de méthode unique pour la modélisation de workflow. D’autre part, les systèmes workflow souffrent de l’absence de vérification et de simulation. Pour remédier à ce manque, Van Der Aalest a introduit la notion de WF net, des systèmes workflow basés sur une modélisation par réseaux de Pétri. L’argumentation de Van Der Aalest s’est basé sur le fait que les réseaux de Pétri sont un langage graphique intuitive et qui abouti à des modèles workflow dont la définition est claire et précise. De plus, les RDP assurent le bon fonctionnement des processus par divers moyens comme l’analyse et la simulation. Pour y parvenir, on doit passer d’une représentation UML ou BPMN à une représentation réseaux de Pétri en utilisant des fondements mis en place pour générer automatiquement des réseaux de Pétri.
