Executive validation analysis of workflow process

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 in which 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 adopt the practicable automated reasoning method to analyze the executive validation after the workflow process defined in this paper. The method includes two steps. In the first step, the basic relations between the activities in the workflow process is discussed, and then the transformation rules from the workflow process 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 executive validation of the workflow process in the second step. Experimental results show that this method is effective for WfMS.