|
 
|
[SMB10] On the Verification of Business Processes by Model Checking Techniques
Conférence Internationale avec comité de lecture : ICSTE'10, 2nd International Conference on Software Technology and Engineering, San Juan, Puerto Rico, USA. October 3-5, January 2010, pp.97-103,
motcle:
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.
For further information, please visit this web site.
Equipe:
sys
BibTeX
| @inproceedings { | |||
| SMB10, | |||
| title | = | "{On the Verification of Business Processes by Model Checking Techniques}", | |
| author | = | " Z. Sbai and A. Missaoui and K. Barkaoui and R. Ben Ayed ", | |
| booktitle | = | "{ICSTE'10, 2nd International Conference on Software Technology and Engineering, San Juan, Puerto Rico, USA. October 3-5}", | |
| year | = | 2010, | |
| month | = | "January", | |
| pages | = | "97-103", | |
| } | |||
