Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008) Verification of Unstructured Workflows via Propositional Logic May 14-May 16 ISBN: 978-0-7695-3131-1
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICIS.2008.66
The concept of unstructured workflows is useful for both research and practical purposes. While sometimes it is preferable to transform unstructured workflows into structured ones, unstructured workflows may be more meaningful to business people. Furthermore, transformation from unstructured to structured workflows may be troublesome at times. As such, it is important to be able to verify unstructured workflows directly. In this paper, we take a different perspective by focusing on the verification of unstructured workflows using a propositional-logic-based approach. We demonstrate that logic-based verification can derive similar results between an unstructured workflow and its corresponding structured workflow. We further develop a conceptual framework that characterizes the propositional logic approach to verification of unstructured workflows.
Index Terms:
overlapping patterns, propositional logic, unstructured workflow, workflow verification
Citation:
Qianhui Althea Liang, J. Leon Zhao, "Verification of Unstructured Workflows via Propositional Logic," icis, pp.247-252, Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008), 2008 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb