|
|
|
|
||||
|
||||
On the Completeness of Logic-Based Workflow VerificationJ. Leon Zhaoaffiliation not provided to SSRN Henry H. BiAtkinson Graduate School of Management, Willamette University 2003 Proceedings of the Thirteenth Workshop on Information Technologies and Systems (WITS 2003), pp. 73-78, Seattle, WA, USA, December 13-14, 2003 Abstract: 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: M1 Accepted Paper SeriesDate posted: March 1, 2010Suggested CitationContact Information
|
|
|||||||||||||||||
© 2013 Social Science Electronic Publishing, Inc. All Rights Reserved.
FAQ
Terms of Use
Privacy Policy
Copyright
This page was processed by apollo5 in 0.547 seconds
