Rule Randomization for Propositional Logic-Based Workflow Verification

• Main Authors: LIANG, Qianhui (Althea), Rubin, S.
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2008
• Subjects: Computer Sciences; Management Information Systems
• Online Access: https://ink.library.smu.edu.sg/sis_research/416
• Institution: Singapore Management University

Workflow verification has been a well studied research topic during the past few years. Theorem proof based approaches to workflow verification become popular due to several advantages including being based on formal characterization with rigorous and non-ambiguous inference mechanisms. However, a c...