Business process management systems facilitate the understanding and execution of
business processes, which tend to change frequently due to changes inside and outside of an
enterprise. Therefore, there is a prominent need for analytical methods to verify the correctness of
business process models. 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. Identifying such conflicts is computationally complex and requires efficient 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.
By: Wei Ding, Zhong Tian, Lei Zhang, Jian Wang, Jun Zhu, Haiqi Liang
Published in: RC22321 in 2002
LIMITED DISTRIBUTION NOTICE:
This Research Report is available. This report has been submitted for publication outside of IBM and will probably be copyrighted if accepted for publication. It has been issued as a Research Report for early dissemination of its contents. In view of the transfer of copyright to the outside publisher, its distribution outside of IBM prior to publication should be limited to peer communications and specific requests. After outside publication, requests should be filled only by reprints or legally obtained copies of the article (e.g., payment of royalties). I have read and understand this notice and am a member of the scientific community outside or inside of IBM seeking a single copy only.
Questions about this service can be mailed to reports@us.ibm.com .