Tao Jin , Tsinghua University, Beijing
Jianmin Wang , Tsinghua University, Beijing
Lijie Wen , Tsinghua University, Beijing
Gen Zou , Tsinghua University, Beijing
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TSC.2013.19
Since the behavior is the essential characteristic of business process models, and ordering relations between execution of tasks can be used to describe the behavior of process models, we need to compute the ordering relations between tasks in process models. This computation can be used for compliance checking and querying process models based on behavior. There are three types of ordering relations, i.e. causal, conflict and concurrency. In this paper, we refine the causal and concurrency relations with uncertainty according to whether one task is always executed with the other task in the same instance. To compute the refined ordering relations with uncertainty efficiently, we propose some rules for adjacent tasks and some transitive laws for non-adjacent tasks together with their proofs. Based on these rules and laws, we propose an algorithm to compute the refined ordering relations for acyclic process models based on unfolding technology. The algorithm has a biquadrate time to the size of complete prefix unfolding of the original model.
Business Process Management, Services Computing, Business Process Management and Integration, General, Business Process Modeling
Tao Jin, Jianmin Wang, Lijie Wen, Gen Zou, "Computing Refined Ordering Relations with Uncertainty for Acyclic Process Models", IEEE Transactions on Services Computing, , no. 1, pp. 1, PrePrints PrePrints, doi:10.1109/TSC.2013.19