A testing method for Web services composition based on data-flow

Wuhan University Journal of Natural Sciences

Volumn 13, Issue 4, 2008, Pages 455-460

  Hou, Jun ^a   Xu, Baowen ^a   Xu, Lei ^a,b   Wang, Di ^a   Xu, Junling ^a  

^a SOUTHEAST UNIVERSITY   (China)

^b WUHAN UNIVERSITY   (China)

Author keywords

All du path; Business process execution language (BPEL); Data flow; Web services composition; Web services description language (WSDL)

Indexed keywords

EID: 50149084338     PISSN: 10071202     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11859-008-0415-8     Document Type: Article

References (10)

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.
6. Yuan Y, Li Z and Sun W. A Graph Search Based Approach to BPEL4WS Test Generation [C]//Proceedings of the International Conference on Software Engineering Advances. Pipeete: IEEE CS Press, 2006: 14-14.
7. Yan J, Li Z, Yuan Y, et al. BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach[C] //Proceedings of 17th International Symposium on Software Reliability Engineering. Washington D C: IEEE CS Press, 2006: 75-84.
8. White S. Introduction to BPMN [EB/OL].[2008-01-10]. http://www.bpmn.org/ Documents/Introduction to BPMN.pdf.
9. White S. Process Modeling Notations and Workflow Patterns [EB/OL].[2008-01-10]. http://www.bpmn.org/Documents/Notations and Workflow Patterns.pdf.
10. Tsai B Y, Stobart S and Parrington N. Employing Data Flow Testing on Object-Oriented Classes[J]. The IEE Proceedings-Software Journal, 2001, 148(2): 56-64.