On the Verification of Business Processes by Model Checking Techniques - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

On the Verification of Business Processes by Model Checking Techniques

Résumé

The correctness of a workflow specification is critical for the automation of business processes. For this reason, errors in the specification should be detected and corrected as early as possible - at specification time. In this paper, we present a verification method for workflow specifications using model checking techniques. We propose an approach for verifying correctness properties of workflow processes using SPIN model checker. First, a formalized workflow specification is translated into a Promela description. Second, the desired property is translated to an LTL formula. Finally, the SPIN model checker is run to check if the correctness properties hold for the model, and, if not, to provide a counterexample. For further information, please visit this web site.
Fichier non déposé

Dates et versions

hal-01125806 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01125806 , version 1

Citer

Zohra Sbai, Abdallah Missaoui, Kamel Barkaoui, R. Ben Ayed. On the Verification of Business Processes by Model Checking Techniques. ICSTE'10, 2nd International Conference on Software Technology and Engineering, San Juan, Puerto Rico, USA. October 3-5, Jan 2010, X, France. pp.97-103. ⟨hal-01125806⟩
48 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More