On verifying Web service flows

Author

Nakajima, Shin

Author_Institution

NEC Corp., Japan

fYear

2002

fDate

2002

Firstpage

223

Lastpage

224

Abstract

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

Keywords

Internet; formal specification; hypermedia markup languages; information resources; program verification; Internet; W3C; WSDL; Web Service Description Language; Web service flow verification; XML format; description format; end-user; interface specification; large open network; software model-checking techniques; Concurrent computing; IP networks; National electric code; Petri nets; Scattering; Telecommunication traffic; Web and internet services; Web services; XML; Yarn;

fLanguage

English

Publisher

ieee

Conference_Titel

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

Conference_Location

Nara

Print_ISBN

0-7695-1450-2

Type

conf

DOI

10.1109/SAINTW.2002.994574

Filename

994574