菜单
　　
    摘要随着互联网经济的发展，用于互联网信息交换的Web服务的重要性逐渐显现，如何在众多的Web服务中发现高质量的服务成为亟待解决的问题，而测试是一种有效的途径。但是当前Web服务本体描述方法并不适用于服务测试，而形式化规约技术则能提供一种可测试的服务描述。因此，如何将Web服务的本体描述转换为形式化规约是一个值得研究的问题。28672
    本文研究Web服务描述的本体与代数规约之间的转换，设计和开发Web服务描述的本体到代数规约的转换工具，将Web服务的OWL-S描述转换成用Sofia语言书写的代数规约。
    关键词  Web服务   本体   OWL-S   代数规约  dom4j
    毕业论文设计说明书外文摘要
    Title   Research on Transforming from Ontology Description  to Algebraic Specifications of Web Services                                                
    Abstract
    With the development of the Internet economy, the importance of Web services for Internet information exchange revealed gradually, in many Web services how to find quality service becomes a problem to be solved, while testing is an effective way. But the current ontology description method of Web services does not apply to the service tests, and the formal specification techniques can provide a kind of service description that could be tested. Therefore, how to transform ontology description of Web services to formal specification is a problem worthy of studying.
    In this paper, we study the transformation between ontology and algebraic specification of Web service description, design and develop a tool transforming the ontology of the Web services description to the algebraic specification, a Web service of OWL-S to algebraic specification written in Sofia language.
    Keywords  Web service; ontology; OWL-S; algebraic specification; dom4j
    目   录
    1  引言  1
       1.1  研究背景  1
       1.2  当前国内外研究状况  1
       1.3  研究内容  4
         1.4  论文组织结构  4
    2  涉及的方法和技术   5
       2.1  Web服务   5
       2.2  Web服务本体描述语言   6
       2.3  代数规约    10
          2.3.1 代数规约基本概念  10
          2.3.2 代数规约的语言---Sofia语言    10
    3  面向Web服务描述的本体语言与代数规约的转换设计 13
       3.1  数据库设计 13
       3.2  转换设计15
       3.3  整体设计 16
    4  面向Web服务描述的本体语言与代数规约的转换实现17
       4.1 dom4j--java的XML API 17
       4.2 程序模块  19
       4.3 程序结果展示19
    结论与展望 28
    致谢29
    参考文献30
    图2.1  Web服务框架结构图5
      图2.2  RDF三元组表示6
    图2.3  OWL-S的结构模型图7
    图3.1  OWL-S文件的树状结构15
    图3.2  程序界面图16
    图4.1  本体程序流程图19
    图4.2  uses和extends关系运行结果24
    图4.3  常量运行结果24
    图4.4  操作运行结果26
    图4.5  变量运行结果26
    图4.6  ontology文件运行结果27
    图4.7  profile文件运行结果28
    表2.1  RDF(S)、DAML+OIL、OWL的比较7
    表3.1  数据库表Sort14
  1. 上一篇：依托Hadoop平台的田间云终端系统设计与实现
  2. 下一篇：ASP.net汽车4S店信息管理系统开发+ER图

  1. php+mysql志愿者服务平台前端页面设计

  2. jsp+mysql知识产权代理服务系统的设计与实现

  3. 面向电商评论的数据挖掘技术与系统

  4. Hadoop云计算环境下的Web应用日志安全威胁分析

  5. CC2530云服务的智能家居系统的设计

  6. jsp基于web的图书销售系统的设计与实现

  7. JavaWeb企业人事管理系统的设计与实现

  8. 酸性水汽提装置总汽提塔设计+CAD图纸

  9. java+mysql车辆管理系统的设计+源代码

  10. 当代大学生慈善意识研究+文献综述

  11. 十二层带中心支撑钢结构...

  12. 电站锅炉暖风器设计任务书

  13. 河岸冲刷和泥沙淤积的监测国内外研究现状

  14. 大众媒体对公共政策制定的影响

  15. 中考体育项目与体育教学合理结合的研究

  16. 杂拟谷盗体内共生菌沃尔...

  17. 乳业同业并购式全产业链...

　　

About

751论文网手机版...

主页：http://www.751com.cn

关闭返回