On verifying Web service flows
On verifying Web service flows
复制标题
关于验证 Web 服务流
DOI：
10.1109/saintw.2002.994574
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
S. Nakajima
中科院分区：
文献类型：
--
作者：
S. Nakajima
本文讨论了验证Web服务流的必要性。然后，它提出的问题和使用软件模型检查技术来完成验证的方法。随着Web服务的普及，最终用户可以使用分散在大型开放网络（Internet）中的各种服务（M。Aoyama，2001; S. Nakajima，2001）。服务需要对用户如何访问它进行定义良好的描述。W3C标准化的WSDL（Web服务描述语言）就是这样一种通用的描述格式（E。Christensen等人，2001年）。WSDL本质上是一种XML格式，用于描述服务的接口规范。该规范由一组端点组成，每个端点提供用户访问所需的信息。
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.