ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
Décisions, argumentation et traçabilité dans l’Ingénierie des Systèmes d’Information
En savoir plus >>
Autres revues >>

Ingénierie des Systèmes d'Information

Networking and Information Systems
1633-1311
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 18/5 - 2013  - pp.33-57  - doi:10.3166/isi.18.5.33-57
TITRE
Vérification formelle des processus workflow. Extension aux workflows inter-organisationnels

TITLE
Formal verification of workflow processes. Extension to inter-organizational workflows

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.


ABSTRACT
Workflow technology is currently facing the management of workflow processes that extend across multiple organizations (inter-organizational workflows). To avoid any inconsistencies that may occur during the execution of these workflows, a pre verification is required. Using the model checker SPIN, we present in this paper an approach to formal verification of the soundness properties of these workflows taking into account the resource dimension. To do this, we specify their specification in Promela and the associated soundness properties in LTL


AUTEUR(S)
Zohra SBAÏ , Kamel BARKAOUI

MOTS-CLÉS
vérification sur modèle, workflow, workflow inter-organisationnel, SPIN, Promela, LTL, propriété de cohérence.

KEYWORDS
model checking, workflow, inter-organizational workflow, SPIN, Promela, LTL, soundness property.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (582 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier