Conflicts Analysis for Inter-Enterprise Business Process Model

W Ding,Z Tian,J Wang,J Zhu,HQ Liang,L Zhang
2002-01-01
Abstract:Business process (BP) management systems facilitate the understanding and execution of business processes, which tend to change frequently due to both internal and external change in in enterprise. Therefore, the needs for analysis methods to verify tile correctness of business process model is becoming more prominent. One key element of such business process is its control flow. We show how a flow specification may contain certain structural conflicts that could compromise its correct execution. In general, identification of such conflicts is a computationally complex problem and requires development of effective algorithms specific for target system language. We present a verification approach and algorithm that employs condition reachable matrix to identify structural conflicts in inter-enterprise business process models. The main contribution of tile paper is a new technology for identifying structural conflicts and satisfying well-defined correctness criteria in inter-enterprise business process models.
What problem does this paper attempt to address?