在现实生活中 Web 服务有着广泛的应用，因此 Web 服务的质量就显得尤为重要。通过 Web 服务测试可以挑选出高质量的 Web 服务，这就使得描述语言的重要性凸显了出来。Web 服务描述语言基于本体论，是面向搜索的服务描述语言，可以对 Web 服务语义进行描述，便 于开发人员理解和处理服务信息，在描述 Web 服务时不仅有优势，也更方便一些；而代数规 约语言是一种形式化的测试语言，是面向测试的描述语言，能为开发者提供测试及可考察的 语义信息，是可考证的，在测试时更具有优势。因此，实现从服务描述语言到代数规约的转 化，可以更方便的对 Web 服务进行测试，以便筛选出高质量的 Web 服务，这就是本文研究的 意义所在。

本体描述与代数规约两者的转换，为 WSML 描述和代数规约描述之间架设了桥梁，也为 进一步的自动化测试打下基础。因此，实现它们之间的转换，对服务的发现、组合等操作的 实现有十分重大的意义。

1。2 Web 服务描述

1。2。1 Web 服务描述语言简介

服务描述是指对服务请求方的需求和服务提供方的服务进行一个统一标准的描述，以便 于更好地实现 Web 服务[8]。Web 服务描述语言分类如下：

1。WSDL 语言

标准的 Web 服务描述语言 WSDL 是一种基于 XML 的描述语言，通过声明用户调用服务 时使用的服务接口和接入服务的方法来描述服务。

2。基于本体的 Web 服务描述语言

1）OWL-S：从语义技术的高度阐述如何描述 Web 服务；

2）WSMO：为语义 Web 服务的各个方面定义建模本体，用于解决 Web 服务的整合问题；

3）MicroWSMO/hRESTS：hRESTS 语言为 RESTful 服务提供语法结构，而 MicroWSMO 语言 为其添加语义注解；

4）SA-REST：用开放、灵活、基于标准的方法给 RESTful 服务和 Web APIs 添加语义注解；

5）WSDL-S：在 WSDL 基础上扩展了一些元素及描述属性，弥补了其在语义表述上的不足；

6）WADL：一种基于 HTTP 的用于描述 Web 应用的语言；论文网

7）WSML：提供一种方法形式化描述定义于 WSMO 中的所有元素；

3。基于形式化方法的 Web 服务描述语言 形式化方法主要包括两种技术：形式化规约技术和形式化分析技术，形式化方法能够有

效地支持自动化测试和验证，从而使系统具有较高的可信度和质量。

1。2。2 本体描述

本体（Ontology）这一概念最初来源于哲学，用于研究客观世界的本质问题。不过随着 互联网的发展，这一概念已经深入到互联网的多项领域。目前来说本体并没有一个标准的定 义，目前大众认可的是斯坦福大学 Gruber 的定义，即“本体是概念化的显式规范”[9]。一个特 定的学科范围一般定义为一个领域，现实中人类和应用软件通过本体来分享领域内知识。本 体涵盖了特定领域内的知识，也包括其他领域间的知识，使用本体描述方法，知识就可得到 重用。通过对 Web 服务的本体描述，就可以实现“精确地表示那些隐含而不明确的信息”[6]。 语义 Web 服务是基于大型 Web 服务和 RESTful Web 服务[10]提出的，它们的共同之处就 是都用领域本体[11]来描述服务。领域本体包含类似于元数据的标签，被应用于操作和其输入 输出参数中，这样的标签易于开发者理解并且对于机器处理是有效的。本文中提到的 WSML

描述语言就是一种基于本体的 Web 服务描述语言，同时它也是领域本体的描述语言的一种， 它提供了一种方法来形式化描述定义于 WSMO 中的所有元素。