A Formal Approach to Verification of Process Constraints
6 Pages Posted: 5 Nov 2007
Date Written: 2007
Abstract
Maintaining the consistency of large-scale business processes under various business changes has become a significant issue in corporate information management. One important aspect of business process management is maintaining the correctness and consistency of process constraints. In this paper, we present a formal approach to the verification of process constraints by means of a Predicate-based Process Specification Language (P2SL). A business case is used to motivate the problem and to illustrate the effectiveness of our approach.
Keywords: business process management, process constraint, process verification, logic
JEL Classification: M40
Suggested Citation: Suggested Citation