An Intelligent Methodology for Business Process Model Verification

In order to verify the correctness of business process model, A-Net modeling based on activity was studied and a multilevel verification model based on knowledge rules was established. An extended structure of knowledge rule was proposed and a flowchart was presented for the multi-level verification model. Moreover, a modified genetic algorithm was proposed to resolve the resource scheduling conflicts checked by the verification model. The structure and flowchart of the modified genetic algorithm were designed. Finally, an illustrative example was proposed and the verification model was proved feasibility and efficient.