Rule Randomization for Propositional Logic-Based Workflow Verification

Publication Type

Conference Proceeding Article

Publication Date

6-2008

Abstract

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 common problem to 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 randomization enables reuse and reduces processing time in logic based workflow verification approaches. We, in particular, 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 randomization to the inference rules after each verification task such that new inference rules reflecting the componentized verification are added to the inference rule sets. We reviewed the savings incurred in verifying a workflow pattern and provide a theoretical analysis.

Discipline

Computer Sciences | Management Information Systems

Research Areas

Information Systems and Management

Publication

IEEE International Conference on Information Reuse and Integration 2008 (IRI '08)

Identifier

10.1109/IRI.2008.4583060

Publisher

IEEE

Additional URL

http://dx.doi.org/10.1109/IRI.2008.4583060

This document is currently not available here.

Share

COinS