摘要近年来，Web 服务描述成为一个热点研究方向，获得了快速发展及广泛应用，并成 为面向服务体系架构(SOA)的主流技术。同时，Web 服务质量也受到了广泛地关注。但由 于 Web 服务描述技术仍处于一个发展阶段，目前尚无通用标准。已有的大部分 Web 服务 描述技术主要用于服务搜索，并不能很好地适用于 Web 服务测试。作为一个形式化规约 技术，代数规约高度抽象，完全独立于实现细节，且基于代数规约可实现自动化测试。 因此，有必要研究如何将已有的 Web 服务描述转换为代数规约。78633

本文首先分析 Web 服务本体描述语言（WSML）的相关基础概念，然后提取 WSML 的语言要素，分析这些语言要素和代数规约语言要素的对应关系，并制定相应的转换规 则，最后设计和实现一个转换工具，将 Web 服务的 WSML 描述转化为代数规约描述。通 过自动化转换工具，在 WSML 描述和代数规约描述之间架设桥梁，为进一步的自动化测 试打下基础。

毕业论文关键词 Web 服务 WSML 本体 代数规约 转换规则

Title Transformation of WSML Descriptions of Web Services Into Algebraic Specifications

Abstract Web service description is the focus of research in recent years, the direction in the past period of time, Web services are rapidly developing and has been widely used, has become a service-oriented architecture (SOA) of mainstream technology, while Web quality of service have begun to pay attention to it by everybody。 But its own building is not perfect, there is no universal standard test set in the existing circumstances, therefore, not well suited for Web services testing; and formal specification language is more suitable for machine processing, many test steps It can be performed automatically, so it has a high degree of automation of the testing process (including test case generation, test execution and test results checking) software implementation details and advantages of independence。 In summary, the Web service description converted into algebraic statute in research is very meaningful。

This study is focused to the WSML description of Web Service transform to Algebraic specification , designed to convert a prototype tool in accordance with the appropriate mapping rules。

Keywords  Web services  Service Description  Algebraic specification

目 次

1 引言 1

1。1 研究背景 1

1。2 Web 服务描述 2

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

1。2。2 本体描述 2

1。2。3 代数规约 3

1。3 本文主要内容 3

1。4 论文组织结构 3

2 相关技术 4

2。1 WSML 语言 4

2。1。1 基本概念 4

2,1。2