文 献 综 述

Web服务描述是近年来研究的重点，但其建设还不成熟，目前尚无通用的标准测试集，因此，不能很好地适用于Web服务测试。而形式化规约语言适合机器处理，很多测试步骤都可以自动执行，因此它具有高度自动化的测试过程（包括测试用例生成，测试执行和测试结果检查）和独立于软件实现细节的优点。所以将web服务描述转换为代数规约很有研究意义，本文重点研究的是WSML描述到代数规约的转换。下面将对此进行详细的介绍。

1.Web服务

1.1web服务简介

1.1.1基本概念

Web服务（Web service）是面向服务计算(SOC)与面向服务的体系结构(SOA)中所强调的服务概念的一种具体表现形式和功能载体，它是一种基于web环境的具有自适应、自描述、模块化、良好互操作能力的应用程序[1]。其通信协议主要基于SOAP，服务的描述通过WSDL，通过UDDI来发现和获得服务的元数据。

Web Service技术，可以让运行在不同机器和设备上的应用程序可以在不借助第三方软件和硬件的基础下实现交互[9]，其目的就是让地理上分布在不同区域的计算机和设备一起工作，以便为用户提供各种各样的服务。利用Web服务，公司和个人能够迅速且廉价地通过互联网向全球用户提供服务，在广泛的范围内寻找可能的合作伙伴，随着Web服务技术的发展和运用，我们目前所进行的开发和使用应用程序的信息处理活动将过渡到开发和使用Web服务。

1.1.2基本特点

Web服务最大的特点就是它的互操作性和重用性[10]，互操作能力使web服务成为一种最有吸引力的用于异质异构应用和系统无缝集成的粘合剂，重用性使得web服务成为软件服务化的最佳载体。

Web服务体系结构的优势：

• web服务的高度通用性；
• 完全的平台、语言独立性；
• 高度可集成性。

1.1.3技术体系

一个Web服务被分为数据层(Data Layer)、数据访问层(Data Access Layer)、业务层(Business Layer)、业务面(Business Facade)和监听者(Listener)五个逻辑层[14]。