Referenced Items are not available for this document.
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: 2002
- Page(s):
- 223 - 224
- Meeting Date :
- 28 Jan 2002-01 Feb 2002
- Print ISBN:
- 0-7695-1450-2
- INSPEC Accession Number:
- 7231743
- Conference Location :
- Nara
- Digital Object Identifier :
- 10.1109/SAINTW.2002.994574
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
