A Hybrid Approach for Business Process Verification

Business Process Verification (BPV) works as one of the important functions in the emerging Business Process Management Systems. Current proposed approaches are not yet well applied because of the gap between formal models defined in the academia and informal models used in the industry. This paper attempts to propose a hybrid approach to solve this problem. XPDL will be used to describe business processes and Situation Calculus will be employed as the formalism to perform the function of BPV. A typical order fulfillment process is exemplified to illustrate the approach and the demonstration system implements the automatic transformation from the XPDL-defined process and performs the logical verification.