Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes

Authors:
YanHua Du;PengCheng Xiong;YuShun Fan;Xitong Li
Affiliations:
School of Mechanical Engineering, University of Science and Technology Beijing, Beijing, China;College of Computing, Georgia Institute of Technology, GA, USA;Department of Automation, Tsinghua University, Beijing, China;MIT Sloan School of Management, Massachusetts Institute of Technology, Cambridge , MA, USA
Venue:
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Year:
2011

Citing 0
Cited 3

An incremental approach to analyzing temporal constraints of workflow processes

APWeb'12 Proceedings of the 14th Asia-Pacific international conference on Web Technologies and Applications
Toward a Time-centric modeling of Business Processes in BPMN 2.0

Proceedings of International Conference on Information Integration and Web-based Applications & Services
Workflow performance analysis and simulation based on multidimensional workflow net

Computers in Industry

Quantified Score

Hi-index	0.00

Visualization

Abstract

Current methods that deal with concurrent workflow temporal violations only focus on checking whether there are any temporal violations. They are not able to point out the path where the temporal violation happens and thus cannot provide specific solutions. This paper presents an approach based on a sprouting graph to find out the temporal violation paths in concurrent workflow processes as well as possible solutions to resolve the temporal violations. First, we model concurrent workflow processes with time workflow net and a sprouting graph. Second, we update the sprouting graph at the checking point. Finally, we find out the temporal violation paths and provide solutions. We apply the approach in a real business scenario to illustrate its advantages: 1) It can dynamically check temporal constraints of multiple concurrent workflow processes with resource constraints; 2) it can give the path information in the workflow processes where the temporal violation happens; and 3) it can provide solution to the temporal violation based on the analysis.