Set-based access conflicts analysis of concurrent workflow definition

摘要: An error-comprising workflow definition might provoke serious problems to an enterprise, especially when it is involved with mission critical business processes. Concurrency of processes known as one the major sources causing such invalid process definition. So, conflicts caused by concurrent should be considered deliberately defining However, very difficult ascertain whether a free from or not without any experimental executions at runtime; this would tedious and time consuming work for designers. If we can analyze immanent in prior runtime, helpful designers many other users management systems. The authors propose set-based constraint system possible read-write write-write between activities which read write shared variables composed two phases. In first phase, generates set constraints structured second finds minimal solution constraints.