表3.2  数据库表SortRelation14
表3.3  数据库表Operator14
表3.4  数据库表OpDomain14
表4.1  dom4j.1.6 API17
1  引言
    本章阐述了毕业设计课题的背景，分析了当前主流的Web服务，介绍有关本课题的当前国内外研究状况，最后给出论文主要研究内容和文章结构。
1.1  研究背景
近年来，互联网经济正在慢慢发生改变，Web服务作为一种崭新的分布式计算模型，已经在电子商务、企业应用等领域扮演着愈发重要的角色。Web服务是通过接口提供某一功能，客户端可以通过Internet对此应用进行访问。由于Web服务具有跟客户端平台无关性，可以多次复用，便于集成应用等优点，Web服务受到越来越多服务商的青睐。同时，Web服务的数量也在以几何倍数增长。那么，如何发现服务，如何在众多Web服务中选择高质量的Web服务便成了一个迫切需解决的问题，而测试则是一个有效的解决方法。
如何发现服务涉及到对Web服务的描述，服务描述是指对服务请求者的需求和服务提供者发布的服务进行统一的描述，以便于服务发现。服务描述的发展大致可以分为基于关键词、基于语法和基于语义三个阶段。
    最早提出的基于关键字的服务描述是最简单的一种服务描述方法，它通过几个关键字来描述服务，其服务描述能力不强、描述不准确、灵活性差，并且基于该描述的服务匹配精确度不高。
    基于语法的服务描述是在基于关键字服务描述的基础上发展起来的，主要以服务描述语言(Web services description language，WSDL) 为代表，是一种基于XML格式表示的服务描述语言，用来描述Web服务的公共接口。
    基于语义的描述，主要是对服务本体的描述，利用领域本体，使得描述具有语义，但是Web服务本体描述的建设尚不成熟，没有通用的标准化方法，更谈不上标准测试集，因而很难被机器所“理解”，不能很好地适用于Web服务测试。
    现在，我们将目光转向了形式化规约，形式化规约具有自动化、严密性、可推理等特点，很适合机器处理，可以提高Web服务描述的准确性，提高服务的匹配度，也更适合于服务的自动化测试。
未来几年中，互联网经济发展的焦点逐渐转到Web上，对于Web服务测试的需求也更加急切。为了使Web服务的描述能更好地适合Web服务测试，研究Web服务本体描述与代数规约的转换非常有必要。
1.2  当前国内外研究状况
1.3  研究内容
本毕业设计课题是研究Web服务本体描述到代数规约的转换，主要内容包括两个方面：
（1）研究Web服务本体到代数规约转换的转换步骤，主要是分析OWL-S中的profile文件和ontology文件；
（2）根据转换步骤，利用Sofia语言表示代数规约，使用一种编程语言实现一个Web服务本体到代数规约转换的原型工具。
本毕业设计课题的核心是定义转换步骤，目前主要考虑语法转换方面。
1.4  论文组织结构
本文主要是按照如下的组织结构进行书写的，主要分为四章：
第一章主要写了本文研究的背景，以及当前关于这一课题国内外的研究情况，并列举相关的成果，然后说明了选题的内容以及文章的结构；
第二章概述了选题的相关技术，分为Web服务技术、本体描述语言（本课题采用的OWL-S语言）、代数规约三个部分；
第三章是基于第二章的有关技术，介绍了原型工具的具体设计。主要分为数据库设计、转换步骤设计和程序整体设计。
第四章介绍了Web服务本体描述到代数规约的转换实现，主要是dom4j解析包的介绍和程序的具体实现及展示； 面向Web服务描述的本体到代数规约转换技术研究(2):http://www.751com.cn/jisuanji/lunwen_23608.html