Peer Reviewed Journal via three different mandatory reviewing processes, since 2006, and, from September 2020, a fourth mandatory peer-editing has been added.
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 an enterprise. Therefore, the needs for analysis methods to verify the 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 the paper is a new technology for identifying structural conflicts and satisfying well-defined correctness criteria in inter-enterprise business process models.
