Rechercher

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

Revue Nationale avec comité de lecture : Journal Revue électronique Sciences et Technologies de l’Automatique (e-STA), vol. 7(1), pp. 37-41, 2010
motcle:
Résumé: 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.

BibTeX

@article {
MSB10,
title="{Vérification Formelle des Aspects de Cohérence d’un Workflow net}",
author="A. Missaoui and Z. Sbai and K. Barkaoui",
journal="Revue électronique Sciences et Technologies de l’Automatique (e-STA)",
year=2010,
volume=7,
number=1,
pages="37-41",
}