Set-based access conflict analysis of concurrent workflow definition

An error-comprising workflow definition might provoke serious problems to a n enterprise especially when it is involved with mission critical business processes. Concurrency of workflow processes is known as one of the major s ources causing such an invalid workflow process definition. So the conflict s caused by concurrent workflow processes should be considered deliberately when defining concurrent workflow processes. If we can analyze the conflic ts immanent in concurrent workflow definition prior to runtime, it will be very helpful to business process designers and many other users of workflow management systems. In this paper, we propose a set-based access conflict analysis method to detect all the possible access conflicts prior to the ex ecution of the workflow process, The method is composed of two phases. In t he first phase, it generates set constraints from a structured workflow def inition. In the second phase, it solves the set constraints obtained from t he first phase. Using the information about potential conflicts detected by our analysis, workflow designers can prevent the serious problems that can be raised by conflicts in runtime and they can convince whether their work flow definitions are free from such conflicts or not. (C) 2001 Published by Elsevier Science B.V.