1. Alves A, Arkin A, Askary S, et al. Web Services Business Process Execution Language Version 2.0 [EB/OL]. [2008-01-03]. http://docs.oasis-open.org/wsbpel/2.0/CS01/wsbpel-v2.0-CS01.html .
2. Foster H, Uchitel S, Magee J, et al. Model-Based Verification of Web Service Compositions[C]//Proceedings of the 18th IEEE International Conference on Automated Software Engineering. Washington D C: IEEE CS Press, 2003: 152–161.
3. Huang H, Tsai W T, Paul R, et al. Chen. Automated Model Checking and Testing for Composite Web Services[C]// Proceedings Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. Seattle: IEEE CS Press, 2005: 300–307.
4. Yang Y, Tan Q, Yu J, et al. Transformation BPEL to CP-Nets for Verifying Web Services Composition[C] //Proceedings of the International Conference on Next Generation Web Services Practices. Washington D C: IEEE CS Press, 2005: 137–142.
5. Yang Y, Tan Q, Xiao Y, et al. Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow [C]//Proceedings of the 2005 Symposium on Applications and the Internet. Washington D C: IEEE CS Press, 2006: 116–122.