Rule randomisation and its application to logic-based workflow verification

Qianhui Liang and Stuart H. Rubin

International Journal of Information and Decision Sciences, 2009, vol. 1, issue 3, 265-281

Abstract: 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, a common problem with these inference mechanisms is combinatorial explosions, which forms a major performance hurdle to workflow verification systems based on inference. In this paper, we study how randomisation enables reuse and reduces processing time in logic-based workflow verification approaches. In particular, we look at a propositional logic-based workflow verification technique. For the logic inference rules, which are used to infer new truthful propositions from existing truthful propositions in this logic, we apply randomisation to the inference rules after each verification task such that new inference rules, reflecting the componentised verification, are added to the inference rule sets. We also review the savings gained by verifying a workflow pattern and provide a theoretical analysis.

Keywords: complexity; component-based software; heuristics; logic inference; propositional logic; reuse; rule randomisation; workflow verification. (search for similar items in EconPapers)
Date: 2009
References: Add references at CitEc
Citations:

Downloads: (external link)
http://www.inderscience.com/link.php?id=27655 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:ids:ijidsc:v:1:y:2009:i:3:p:265-281

Access Statistics for this article

More articles in International Journal of Information and Decision Sciences from Inderscience Enterprises Ltd
Bibliographic data for series maintained by Sarah Parker ().