面向Web服务测试的WSDL到代数规约转换技术研究(3)
1.3 本文的主要工作
本文的主要工作是将WSDL文件转换成代数规约语言，实现能够执行这项任务的原型工具。通过这种自动化工具，即可弥补本体与代数规约之间的差距，将Web服务转换为正式规范的SOFIA。
本文的主要任务是：
（1）提供一组WSDL到代数规约的映射规则；
（2）程序实现两种语法的转换，构建原型工具。
本工具的输入是一个描述Web服务的WSDL文件，输出的则是SOFIA构建的代数规约。其中的转换规则是通用的，适合所有WSDL与SOFIA之间的转换。
1.4 论文的组织结构
本文按照如下的组织结构来撰写，主要分为五章。
第一章概述了本课题的研究背景以及实际意义，表明该课题的实际意义。
第二章主要阐述的则是实现该毕业设计过程中，涉及到的主要技术。
第三章是该原型工具的详细设计，对框架及规则有深入的阐述和解释。
第四章是工具的具体实现过程。
最后是本文的结论与展望，表明本课题的意义所在，以及将来的发展方向。
2 涉及的原理及关键技术
本章将详细介绍工具实现过程中，所涉及到的主要知识点，以及需要运用的关键技术。首先将详细介绍本体描述中的WSDL语言，再介绍Sofia语法，最后将介绍使用到的开源库DOM4J。