Rule Randomization for Propositional Logic-Based Workflow Verification

• المؤلفون الرئيسيون: LIANG, Qianhui (Althea), Rubin, S.
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2008
• الموضوعات: Computer Sciences; Management Information Systems
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/416

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...