DocumentCode :
25471
Title :
Verification of Semantic Web Service Annotations Using Ontology-Based Partitioning
Author :
Belhajjame, Khalid ; Embury, Suzanne M. ; Paton, Norman W.
Author_Institution :
PSL, Paris Dauphine Univ., Paris, France
Volume :
7
Issue :
3
fYear :
2014
fDate :
July-Sept. 2014
Firstpage :
515
Lastpage :
528
Abstract :
Semantic annotation of web services has been proposed as a solution to the problem of discovering services to fit a particular need and reusing them appropriately. While there exist tools that assist human users in the annotation task, e.g., Radiant and Meteor-S, no semantic annotation proposal considers the problem of verifying the accuracy of the resulting annotations. Early evidence from workflow compatibility checking suggests that the proportion of annotations that contain some form of inaccuracy is high, and yet no tools exist to help annotators to test the results of their work systematically before they are deployed for public use. In this paper, we adapt techniques from conventional software testing to the verification of semantic annotations for web service input and output parameters. We present an algorithm for the testing process and discuss ways in which manual effort from the annotator during testing can be reduced. We also present two adequacy criteria for specifying test cases used as input for the testing process. These criteria are based on structural coverage of the domain ontology used for annotation. The results of an evaluation exercise, based on a collection of annotations for bioinformatics web services, show that defects can be successfully detected by the technique.
Keywords :
Web services; formal verification; ontologies (artificial intelligence); program testing; Web service input parameter; Web service output parameter; bioinformatics Web services; ontology-based partitioning; semantic Web service annotations; service discovery; service reuse; software testing; workflow compatibility checking; Bandwidth; Collaboration; Dispatching; IPTV; Protocols; Servers; Streaming media; Semantic web services; model-based test generation; semantic annotations; specification-based testing; test adequacy;
fLanguage :
English
Journal_Title :
Services Computing, IEEE Transactions on
Publisher :
ieee
ISSN :
1939-1374
Type :
jour
DOI :
10.1109/TSC.2013.4
Filename :
6419692
Link To Document :
بازگشت