Rule randomisation and its application to logic-based workflow verification

• Main Authors: LIANG, Qianhui (Althea), Rubin, S.
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2009
• Subjects: complexity; component-based software; heuristics; logic inference; propositional logic; reuse; rule randomisation; workflow verification; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/798; http://dx.doi.org/10.1504/IJIDS.2009.027655
• 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 have become popular due to several advantages including being based on formal characterisation with rigorous and unambiguous inference mechanisms. However,...