Data flow analysis and testing for OWL-S semantic web service compositions

Authors:
Chien-Hung Liu;Shu-Ling Chen;Teng-Yi Huang
Affiliations:
Department of Computer Science and Information Engineering, National Taipei University of Technology, No. 1, Sec. 3, Chung-Hsiao E. Rd., Taipei 106, Taiwan;Department of Management and Information Technology, Southern Taiwan University, No. 1, Nan-Tai St., Yungkang Dist., Tainan 710, Taiwan;Department of Computer Science and Information Engineering, National Taipei University of Technology, No. 1, Sec. 3, Chung-Hsiao E. Rd., Taipei 106, Taiwan
Venue:
International Journal of Computational Science and Engineering
Year:
2013

Citing 5
Cited 0

An Applicable Family of Data Flow Testing Criteria

IEEE Transactions on Software Engineering
A Framework for Testing Web Services and Its Supporting Tool

SOSE '05 Proceedings of the IEEE International Workshop
Ontology-Based Test Case Generation for Testing Web Services

ISADS '07 Proceedings of the Eighth International Symposium on Autonomous Decentralized Systems
Automatic Mutation Testing and Simulation on OWL-S Specified Web Services

ANSS-41 '08 Proceedings of the 41st Annual Simulation Symposium (anss-41 2008)
Ontology-Based Test Modeling and Partition Testing of Web Services

ICWS '08 Proceedings of the 2008 IEEE International Conference on Web Services

Quantified Score

Hi-index	0.00

Visualization

Abstract

Semantic web services SWSs, which integrate the concept of ontology to support incorporation of machine understandable semantics into web services, have drawn much attention in recent years. By introducing semantics into web services, the quality and robustness of web service discovery, selection, and invocation can be greatly improved. However, web ontology language for service OWL-S, the most widely accepted standard used to describe SWS, is extremely complex and hard to understand. This makes OWL-S compositions difficult to analyse and test. In view of this, this paper proposes a data flow testing approach for web service compositions based on OWL-S. The data flow test artefacts introduced by OWL-S are identified and thoroughly analysed. A test model that considers a variety of control constructs and semantics of OWL-S is proposed to abstract these test artefacts. Based on the test model, test paths can be derived to effectively uncover defects caused by improper data handling and message exchanges of OWL-S compositions.