On the Completeness of Logic-Based Workflow Verification
J. Leon Zhao
affiliation not provided to SSRN
Henry H. Bi
Atkinson Graduate School of Management, Willamette University
Proceedings of the Thirteenth Workshop on Information Technologies and Systems (WITS 2003), pp. 73-78, Seattle, WA, USA, December 13-14, 2003
The increasing complexity of business processes makes workflow design a challenging task. However, most of commercial workflow management systems do not provide workflow designers with workflow verification tools. We propose a logic-based verification approach that is based on propositional logic as an alternative to existing workflow verification methods. We have shown previously that logic-based workflow verification can verify the correctness of both acyclic and cyclic workflow graphs that do not contain overlapping patterns. In this paper, we extend our previous work to handle overlapping patterns by proposing the idea of instance-based logic formulas and prove its completeness in detecting structural anomalies in acyclic workflow graphs.
Number of Pages in PDF File: 6
Keywords: workflow, verification
JEL Classification: M1Accepted Paper Series
Date posted: March 1, 2010
© 2013 Social Science Electronic Publishing, Inc. All Rights Reserved.
This page was processed by apollo5 in 0.547 seconds