基于动态逻辑的语义Web服务组合研究

发布时间：2023-03-04 22:15

　　随着Web服务技术的迅速发展，越来越多的Web服务运行在Internet上，但单个Web服务功能有限，难以满足日益增长和不断变化的用户需求。因此，如何将已有的、运行在异构平台上的Web服务组合起来，提供给用户更为强大和增值的功能，成为Web服务研究领域中的一个热点。目前，Web服务组合还面临着一些问题：如何确定Web服务之间的逻辑及时序关系,以实现Web服务组合的自动化；如何测试和验证Web服务组合,以保证组合后Web服务执行结果的正确性。针对上述问题，文本提出了基于动态逻辑的Web服务组合方法，将OWL-S描述的语义Web服务映射为动态逻辑中的动作和公式，利用动态逻辑的形式化推理来产生满足用户需求的服务组合，从而实现了Web服务组合的自动化，并保证了服务组合结果的正确性和完整性。 本文的主要工作包括： 1.从OWL-S中的过程模型出发，利用动态逻辑对语义Web服务进行形式化描述。对应于过程模型中的原子过程，可以对变量、变量绑定、输入、输出、前提条件和结果等多个方面进行刻画；对应于过程模型中的组合过程，可以相应地对顺序、条件、选择、循环等控制结构进行描述。 2.在Web服务组合过程中，...

【文章页数】：56 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
插图索引
附表索引
第1章 绪论
    1.1 课题研究背景及关键技术
    1.2 国内外研究现状
        1.2.1 基于工作流的Web服务组合
        1.2.2 基于人工智能规划的Web服务组合
    1.3 论文的主要工作
    1.4 论文的组织结构
第2章 语义Web服务描述语言OWL-S
    2.1 Web本体语言OWL
        2.1.1 OWL概述
        2.1.2 OWL的子语言
    2.2 Web服务本体语言OWL-S
        2.2.1 OWL-S概述
        2.2.2 Service Profile
        2.2.3 Service Model
        2.2.4 Service Grounding
    2.3 本章小结
第3章 动态逻辑
    3.1 动态逻辑及其推理
        3.1.1 语法
        3.1.2 直观含义
        3.1.3 语义
        3.1.4 演绎原理
    3.2 动态逻辑动作的描述
    3.3 基于动态逻辑的人工智能规划方法
        3.3.1 规划领域、规划问题和规划解
        3.3.2 用户自定义控制策略
        3.3.3 基于动态逻辑的人工智能规划的优缺点
    3.4 本章小结
第4章 基于动态逻辑的语义Web服务建模与组合
    4.1 语义Web服务建模
        4.1.1 原子Web服务建模
        4.1.2 组合Web服务建模
        4.1.3 语义Web服务实例
    4.2 语义Web服务组合
        4.2.1 语义Web服务组合描述
        4.2.2 语义Web服务组合框架
        4.2.3 语义Web服务组合实例
        4.2.4 语义Web服务组合方法的比较
    4.3 本章小结
总结与展望
参考文献
致谢
附录A 攻读硕士学位期间所发表的学术论文



本文编号：3755111