A Hybrid Approach for Business Process Verification

Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previous research and informal models used in the industry prevents these approaches from large-scale industrial applications. This paper proposes a hybrid approach to bridge the gap between XPDL and Situation Calculus. XPDL defines a business process informally while Situation Calculus provides a formal specification to enable the function of BPV. The gap between them will be bridged by a devised language – XSSL, based on which the process model will be logically verified.

• Type: Conference
• Year: 2007
• Where: IFIP8
• Authors: Bing Li, Junichi Iijima
• Keywords: Business Process, Business Process Verification, IFIP8 2007, Information Technology, Situation Calculus