By Topic

On verifying Web service flows

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
$33 $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

1 Author(s)
S. Nakajima ; NEC Corp., Japan

The article discusses the need for verifying Web service flows. It then presents issues and an approach using software model-checking techniques to accomplish the verification. As the Web service becomes pervasive, an end-user can use various services scattered in a large open network (the Internet) (M. Aoyama, 2001; S. Nakajima, 2001). The service needs to have well-defined descriptions on how the user accesses to it. WSDL (Web Service Description Language), standardized by W3C, is one such description format meant to be universally used (E. Christensen et al., 2001). WSDL is essentially an XML format for describing interface specification of the service. The specification consists of a set of endpoints, each of which provides information necessary for users to access

Published in:

Applications and the Internet (SAINT) Workshops, 2002. Proceedings. 2002 Symposium on

Date of Conference: