The Research and Design on the Workflow Model and Verification Technology Based on BPEL

The workflow technology is a key technology to achieve business process automation. However, there is some interoperation drawback in dealing with the distributed business process which has been the bottleneck in the effective collaboration among enterprises. In this paper, we have discussed and designed the workflow technology based on the BPE and an interoperable workflow model has been brought forward based on the cross-platform web service. At the same time we discussed the verification technology of workflow to ensure the achievement of business objectives to be right. Finally, we designed a BPEL-based workflow modeling technology, improved the previous verification algorithm to complete the verification.