The Community for Technology Leaders
2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (2011)
Paris, France
June 27, 2011 to June 29, 2011
ISSN: 1524-4547
ISBN: 978-0-7695-4410-6
pp: 176-184
ABSTRACT
The increasing use of Workflow Management Systems (WfMS) in companies expresses their undeniable importance to improve the efficiency of their processes and their execution costs. However, with the technological improvements and the continuous increasing market pressures and requirements, collaborative information systems are becoming more and more complex, involving numerous interacting business objects. Consequently, in spite of their obvious potential, WfMS show some limitations to ensure a correct and reliable execution. Therefore, there is a growing interest for verification techniques which help to provide reliable transactional workflow behavior and thereafter prevent workflow execution failures. In this paper, we propose a Petri net driven approach to validate workflow transactional behavior to subsequently improve and correct related recovery mechanisms. The transactional behavior verification is done at design time to validate the transactional behavior consistency and help designers to provide correct recovery mechanisms. By using Petri nets and Temporal Logic formalisms to specify and check the transactional behavior consistency, the approach we present in this paper provides a logical foundation to ensure workflow execution reliability.
INDEX TERMS
CITATION
Kais Klai, Walid Gaaloul, "Petri Net Modeling and Verification of Transactional Workflows", 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, vol. 00, no. , pp. 176-184, 2011, doi:10.1109/WETICE.2011.72
77 ms
(Ver 3.3 (11022016))