Rechercher

[SB13] Vérification formelle des processus workflow - Extension aux workflows inter-organisationnels

Revue Nationale avec comité de lecture : Journal revue Ingénierie des Systèmes d'Information (ISI), 2013., vol. 18(No. 5,), pp. 33-57, 2013, (doi:1633-1311)

Mots clés: vérification sur modèle, workflow, workflow inter-organisationnel, SPIN, Promela, LTL, propriété de cohérence.

Résumé: La technologie workflow doit aujourd’hui faire face à la gestion des processus workflow qui s’étendent à travers de multiples organisations (workflows inter-organisationnels). Afin d’éviter les éventuelles inconsistances qui peuvent avoir lieu lors de l’exécution de ces workflows, une vérification au préalable est nécessaire. A l’aide du model-checker SPIN, nous présentons dans ce travail une approche de vérification formelle des propriétés de cohérence de ces workflows prenant en compte la dimension ressource. Pour cela, nous précisons leur spécification en Promela et les propriétés de cohérence associées en LTL.

Commentaires: http://isi.revuesonline.com/accueil.jsp

Equipe: vespa
Collaboration: ENIT

BibTeX

@article {
SB13,
title="{Vérification formelle des processus workflow - Extension aux workflows inter-organisationnels}",
author="Z. Sbaï and K. Barkaoui",
journal="revue Ingénierie des Systèmes d'Information (ISI), 2013.",
year=2013,
volume=18,
number=No. 5,,
pages="33-57",
note="{http://isi.revuesonline.com/accueil.jsp}",
doi="1633-1311",
}