An automated reasoning method used in workflow management system

In the workflow management system, the process definition is finished by the process definition tools and explained and enacted by the workflow enactment service. The method that the application logic and the process logic are separated improves the reuse rate of the software and the efficiency of the system by modifying the process model rather than the material functions. We propose an automated reasoning method to validate the process definition in this paper. The method includes two steps. In the first step, the typical relationship between the activities is discussed, and then the transformation rules from the relevant activities to a clause set is given; the automated reasoning based on path searching is proposed for judging the satisfiability of the clause set and finding out the validation of the process definition in the second step. Experimental results show that this method is effective for WfMS.