By Topic

A Framework for Testing Semantic Web Services Using Model Checking

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Shaban, M. ; Dept. of Comput. Sci., Univ. of Auckland, Auckland, New Zealand ; Dobbie, G. ; Jing Sun

Web Services (WS), which are based on standard XML protocols, such as, WSDL, SOAP and UDDI, are the building blocks of Service Oriented Architecture (SOA). The aim of SOA is to automate web service tasks, such as, web service discovery, selection, composition and execution. Since XML is a syntax-based language, the automation of these tasks is still a challenge. To overcome this, web services can be described semantically using an ontology description language, e.g., Web Ontology Language (OWL), giving rise to semantic web services (SWS). Because semantic web services are relatively new, there has been little research into testing and quality assurance aspects. In this paper, we propose a novel approach for generating test cases based on user requirements for testing semantic web services. In SWS frameworks, such as, Web Service Modelling Ontology (WSMO), the user requirements are presented as a goal specification in terms of a state model. We use a model checking approach to generate test cases from this state model. To achieve this, we represent a set of rules for translation from a goal specification to a formal B abstract state machine. The B representation of the goal specification is given as input to the model checker to generate concrete test cases using the assertion violation property of the model checker. Finally, the proposed framework is evaluated using a real world case study based on, the Amazon E-commerce Service.

Published in:

Formal Methods (SEEFM), 2009 Fourth South-East European Workshop on

Date of Conference:

4-5 Dec. 2009