1。2。3 代数规约

代数规约在 20 世纪 70 年代被首次提出[4]，最初是作为一项独立的抽象数据类型的规约 技术被提出。近几年，它被改进用于指定并发系统、基于状态的系统和基于行为代数和共代 数理论的软件组件[3]，目前国内外对于代数规约的研究都已经相对成熟。

代数规约语言是一种可用于描述 Web 服务的形式化方法，与其他方法相比，它处于一个 非常高的抽象层次，因此能够实现细节独立[2]。代数规约另一个引人注目的特点是它可以直 接使用于自动化软件测试。这一特点在服务工程中尤其重要，因为当服务组合动态化时，测 试必须在运行中自动执行。最初的代数规约语言为 CASOCC，对其进行改进之后得到修订版 CASOCC-WS。然后，一个名为 SOFIA 的代数规约语言被提出，提高了代数规约的实用性。 SOFIA 语言用一种准确的和机器可理解的方式指定服务语义，基于行为代数和共代数理论。

1。3 本文主要内容

本文的主要的工作是设计和实现一个转换工具，将 Web 服务的 WSML 描述转化为代数 规约描述。通过这种自动化工具，将 Web 服务描述转换为正式规范的代数规约描述。工具的 输入是 Web 服务的 WSML 描述文件，输出的则是 SOFIA 代数规约描述，其中转换规则是通 用的。本文的主要任务是：

（1）分析 WSML 描述的相关基础概念，提取需要转换的概念信息；

（2）研究两者之间转换的规则，提供一组 WSML 语言到代数规约的映射规则；

（3）基于 Myeclipse 开发平台，使用 Java 程序设计语言开发一个 WSML 到代数规约的 转换工具，实现服务的 WSML 描述到代数规约描述的转换。

1。4 论文组织结构

本文共分为四章，本章节为绪论，其余各章节安排如下所示： 第二章主要是详细介绍本文中所用到的相关技术；

第三章是该转换工具的详细设计，介绍了转换规则及转换的实现过程以及实现过程中对

WSML 的解析和数据库相关设计和代数规约的输出； 第四章是工具的具体实现过程和实验结果截图； 最后是本文的结论与展望，对全文进行总结。

2 相关技术

本章将详细介绍工具实现过程中所涉及到的主要知识点。首先将详细介绍本体描述中的

WSML 语言，然后再介绍 SOFIA 规约语法。

2。1WSML 语言

2。1。1 基本概念

Web 服务建模语言( Web Service Modeling Language, WSML)是欧洲语义系统计划在前期 Web 服务模型框架( Web Service Modeling Framework, WSMF)的工作基础上,提出的一个语义 Web 服务的建模本体和描述语言[5]。随着 WSML 的出现，我们提供了一个正式的基于 WSMO 概念模型的 Web 语言，WSML 的目标是提供一个连贯的可以将 Web 技术和不同的众所周知 的逻辑语言范式连接在一起的框架，以便更好地实现语义 Web 服务描述。

WSML 是语义 Web 服务的描述语言之一，它的工作是将大量的描述集中在向机器解释明 确的语义；同时，作为其他顶级元素的术语提供者，也为其他的描述提供了繁多的概念和进 行了关系的实例化工作。文献综述

2,1。2 基础内容

WSML 是 WSMO 形式基础的组成部分，目的是为了对概念元素和相关的逻辑规则建模。 WSMO 主要定义了四个最高级元素[12]：1、ontologies（本体）2、Web services（Web 服务）3、 goals（目标）4、mediators（中介器）。为了合理支持 services 和 goals 的 WSMO 理念，WSML 要能够描述每个元素功能性的，行为性的，非功能性的部分。