Vérification Formelle des Aspects de Cohérence d’un Workflow net

Abdallah Missaoui (1) , Zohra Sbai (1) , Kamel Barkaoui (1)

1 CEDRIC - Centre d'études et de recherche en informatique et communications

Un processus workflow est un ensemble d’activités de forte granularité dont chacune réalise une tâche bien précise en consommant et/ou produisant des données. La vérification du bon fonctionnement de ces processus devient une question capitale vus leur complexité et le coût notable des pannes. Dans ce papier, nous exploitons des résultats récents de la théorie des processus workflow et les technologies de vérification basée sur le model checking. Nous proposons un outil de validation et de vérification de workflow net en utilisant SPIN model checker. Notre méthode repose sur l’analyse des spécifications Promela des processus workflow. Les propriétés de processus sont exprimées en langage temporelle linéaire (LTL) puis analysées par SPIN. Les résultats obtenus permettent l’identification et la vérification efficaces de plusieurs aspects de cohérence des processus workflow. Mots clés: vérification, processus workflow, cohérence, model checking, SPIN. Plus d'informations sur ce site.

Domaines: Informatique [cs]; Calcul parallèle, distribué et partagé [cs.DC]

Abdallah Missaoui, Zohra Sbai, Kamel Barkaoui. Vérification Formelle des Aspects de Cohérence d’un Workflow net. e-STA Sciences et Technologies de l’Automatique, 2010, 7, pp.37-41. ⟨hal-01125810⟩