摘要Web服务可以让处于不同地区的计算机和设备能够协同工作，从而能为用户提供便利的服务。最近几年，Web服务得到了快速发展以及广泛的应用，并成为面向服务体系架构(SOA)的主流技术，Web服务的质量也得到越来越多的重视。为了便于Web服务的发现、组合、测试等操作，有必要对Web服务进行精确的描述，其中本体描述以WSDL（Web服务描述语言）为代表，主要用于Web服务的搜索与理解；形式化描述以代数规约为代表，主要用于Web服务的测试。33009
本文的主要工作首先是研究本体到代数规约的映射规则，然后根据规则设计一个原型工具，根据现有的本体描述，将其转换为代数规约形式。
关键词  Web服务 WSDL 本体 代数规约
毕业论文设计说明书外文摘要
Title Based on Web Service Test: Research of Conversion From WSDL to Algebraic Specification       
Abstract
The meaning of the existence of web services, is that it can let computer and devices in different regions work together and provide convenient services for users. In recent years, web services have been rapidly developing, also, services become a mainstream technology for service system architecture. In order to facilitate the service discovery, service description is becoming more necessary, which represented by WSDL (Web Service Description Language). However, with the wide development of service application, Web service quality testing has been paid more and more attention. Algebraic specification method is designed for automatic Web service test.
The main work of this paper first research ontology to algebraic specification of the mapping rules, and according to the rules of the design of a prototype tool, according to the existing ontology to describe, convert it to a form of algebraic specification.
Keywords  Web services WSDL ontology algebraic specification
目   次
1 引言    1
1.1 研究背景及意义    1
1.2 服务描述介绍    2
1.3 本文的主要工作    3
1.4 论文的组织结构    3
2 涉及的原理及关键技术    4
2.1 WSDL语言    4
2.2 代数规约    7
2.3 开源库DOM4J    10
3 WSDL与代数规约之间转换的分析与设计    12
3.1 转换规则    12
3.2 WSDL文件的解析    12
3.3 数据库设计    15
3.3 SOFIA规约的输出    16
4 系统的实现    17
4.1 系统模型    17
4.2 实现细节    18
4.3 实验结果    22
结  论    24
致  谢    25
参考文献26
1 引言
1.1 研究背景及意义
Web服务技术，在最近几年得到了快速发展和应用，Web服务是一种基于网络的、自描述的、分布式的组件，Web服务可以使在地理上不同区域的计算机和设备，能够一起协同工作，从而用户可以享受到各种各样的服务。Web服务需要遵循一定的技术规范，需要执行特定的任务，面向互联网应用提供统一的服务发现，注册，绑定和集成机制，从而广域环境下，设备和计算机之间的互操作得以实现。
为了便于Web服务的发现，服务提供者发布的服务，以及服务请求者都需要进行统一的描述。现阶段的服务描述方法，主要分为两种：基于语法的服务描述，以服务描述语言（Web Services Description Language，WSDL）为主要代表，这是一种基于XML结构的服务描述语言，主要用于对Web服务的公共接口进行描述，这种基于语法的服务描述研究相对成熟，但是它的描述能力有限，而且扩展性和灵活性较差，除此之外，还缺乏对Web服务语义的描述；基于语义的语法描述，几年来，这种描述方法得到了越来越多的重视，因为语义Web服务的工作重心在于，开发“计算机可以理解并处理的形式表示信息的语言”。这种服务描述方法描述能力更强，目标是使计算机能够理解服务，从而让服务的发现、执行和组合这些操作的智能化得以实现。实现智能化的前提是，能够为服务描述赋予足够的语义信息，核心工作就是把互联网环境中，服务的名称、属性、功能和操作转换成计算机能理解的形式。虽然，目前工业界的Web服务描述标准语言WSDL语言，已经有了长时间的发展和研究，但只能提供语法级别的信息，这些信息主要是基于关键字，以及面向用户的形式化信息，缺乏语义信息，所以也就无法实现服务发现等操作的自动化。 面向Web服务测试的WSDL到代数规约转换技术研究:http://www.751com.cn/jisuanji/lunwen_29844.html