语义Web服务组合的形式化研究

发布时间：2023-03-28 18:52

　　由于单个的Web服务已经无法满足服务请求者的复杂功能需求,因此如何将已有的、运行在异构平台的Web服务组合起来,提供给用户更为强大和增值的功能,成为Web服务领域研究的一个热点。目前语义Web服务组合的研究中仍存在诸多问题,如对于服务组合中的各个服务,如何定义和描述他们之间的逻辑时序关系和动态交互过程以实现Web服务组合的自动化执行；对于如何验证和测试组合后的Web服务从而保证Web服务执行结果的正确性等。目前W3C组织推荐的标语言是Web服务本体语言(Web service ontology1anguage, OWL-S),然而,OWL-S仅仅从语法角度对Web服务组合的过程模型进行描述,因此它对过程模型的描述只是停留在概念框架层次,这样增大了计算机对Web服务组合过程模型进行自动化分析的难度。针对上述问题,本文提出一种基于时序扩展描述逻辑的Web服务组合的形式化方法,它通过对OWL-S过程模型的形式化的描述,从而得到OWL-S过程模型的动态语义,最终建立语义Web服务组合的形式化模型。该方法可以将其置于严格的可判定推理框架之下,讨论Web服务组合的相关性质,不仅在一定程度上提高了对...

【文章页数】：56 页

【学位级别】：硕士

【文章目录】：
目录
摘要
Abstract
插图索引
附表索引
第1章 绪论
    1.1 研究背景与意义
    1.2 语义Web服务组合国内外研究现状
        1.2.1 基于人工智能的语义Web服务组合
        1.2.2 基于工作流的语义Web服务组合
        1.2.3 基于形式化的语义Web服务组合
    1.3 本文的主要工作
    1.4 论文的组织结构
第2章 语义Web服务本体描述语言
    2.1 引言
    2.2 Web本体语言(OWL)
        2.2.1 Web本体语言概述
        2.2.2 OWL的子语言
    2.3 Web服务本体语言(OWL-S)
        2.3.1 OWL-S概述
        2.3.2 Service Profile
        2.3.3 Service Model
        2.3.4 Service Grounding
    2.4 本章小结
第3章 描述逻辑
    3.1 描述逻辑简介
    3.2 描述逻辑的语法、语义及基本结构
        3.2.1 描述逻辑语法及语义
        3.2.2 描述逻辑基本结构
    3.3 描述逻辑推理及Tableau算法
        3.3.1 描述逻辑的推理
        3.3.2 描述逻辑Tableau算法
    3.5 描述逻辑的应用
    3.6 本章小结
第4章 基于时序描述逻辑的OWL-S过程模型语义
    4.1 引言
    4.2 描述逻辑的时序扩展
        4.2.1 时序扩展后的语法和语义
        4.2.2 时序扩展后的公理和基本性质
    4.3 0WL-S过程模型的形式化语义
        4.3.1 原子过程的形式化语义
        4.3.2 组合过程的形式化语义
    4.4 实例论证
        4.4.1 原子过程实例论证
        4.4.2 组合过程实例论证
    4.5 本章小结
总结与展望
参考文献
致谢
附录A 攻读硕士学位期间所发表的论文



本文编号：3773084