摘要最近几年来，随着 Web 服务的快速发展和广泛应用，基于 HTTP 的 Web 应用也得到 越来越多的重视。 越来越多的依赖于 Web 的企业（像 Google, Yahoo, Amazon, Flickr 等） 正在开发基于 HTTP 的应用（通过 XML 访问其内部数据）。通常这些应用程序使用文本 文档描述，这些文本文档有时被辅以更正式的规范，例如基于 XML 的数据格式。WADL 的目的是提供一种机器可处理的协议来描述这种基于 HTTP 的 Web 应用程序（尤其是使 用 XML 进行交互的应用）。代数规约是一种形式化的描述方法，这种描述方法可用于 Web 服务的测试。成功实现 Web 服务描述与代数规约之间的转换，对保证 Web 服务的可 测试和可验证具有重大的意义。77204

本文的主要研究内容是 WADL 到代数规约的映射规则，并根据映射规则设计一个转 换原型工具，将现有 Web 应用的描述转换为代数规约，从而用于 Web 服务的测试。

毕业论文关键词 Web 服务 Web 应用 WADL  代数规约

毕 业 设 计 说 明 书 外 文 摘 要

Title Research on Transferring from WADL to Algebraic Specification for Web Service Test

AbstractIn recent years, with the rapid development and wide utilization of Web service, an increasing number of Web-based enterprises (Google, Yahoo, Amazon, Flickr to name but a few) are developing HTTP-based applications that provide programatic access to their internal data。 Typically these applications are described using textual documentation that is sometimes supplemented with more formal specifications such as XML schema for XML-based data formats。 WADL is designed to provide a machine process-able description of such HTTP-based Web applications。 Algebraic specification provides a solution for automatic Web service testing。 This paper presents the mapping rules from WADL to algebraic specification, and design a prototype tool according to the rules, which transforms the description of Web Application to algebraic specification that testing for Web services。

Keywords  Web services    Web Application    WADL    Algebraic specification

本科毕业设计说明书 第 I 页

目 录

1 绪论 1

1。1 研究背景 1

1。2 Web 服务和服务描述 2

1。3 本文主要工作 4

1。4 本文的组织结构 5

2 相关关键技术 6

2。1 WADL 语言 6

2。2 代数规约语言 11

2。3 开源库 DOM4J 15

3 从 WADL 到代数规约转换的分析与设计 17

3。1 转换规则 17

3。2 转换案例 18

3。3 WADL 文件的解析 22

3。4 数据库设计 23

3。5 SOFIA 规约的输出 25

4 系统实现 27

4。1 系统模型 27

4。2 实现过程 27

4。3 实验结果 29

结 论 31

参 考 文 献