Verification of Unstructured Workflows Via Propositional Logic
Conference Proceeding Article
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.
ICIS 2008: 7th IEEE International Conference on Computer and Information Science, 14-16 May, Portland, OR: Proceedings
City or Country
LIANG, Qianhui (Althea) and ZHAO, L..
Verification of Unstructured Workflows Via Propositional Logic. (2008). ICIS 2008: 7th IEEE International Conference on Computer and Information Science, 14-16 May, Portland, OR: Proceedings. 247-252. Research Collection School Of Information Systems.
Available at: http://ink.library.smu.edu.sg/sis_research/408