基于Petri网行为的可信Web服务组合方法研究

发布时间：2022-01-02 02:48

　　Web服务正成为一种新兴的互联网应用模式,由于用户需求的复杂性和动态性,以及应用环境的开放性和不确定性,单一的服务无法满足复杂应用的需要,仅仅从功能角度进行服务组合已无法应对环境和需求的快速变化。因此,如何实现行为约束下的可信服务组合,以便高质量地满足用户的需求,对于网络资源的重用和协同具有重要意义。目前,主要从功能可满足性方面对Web服务组合进行研究,对行为约束的处理考虑较少,在行为一致性的判定上也存在着一定的局限性。本文从服务行为的可信角度入手,主要研究以下三个方面的内容：（1）提出了基于行为模式的可信Web服务组合分析方法。组合服务的可信性主要体现在功能可满足性和组合后的行为可预期性。通过服务组件的有效组合能够实现组合服务的功能可满足性,也是容易实现的。但在组合过程中,由于受组件间的交互行为或外部因素的影响,会出现一些不可预期的行为。因此,对于组合服务除了要判定其组合合理性还要分析行为的可预期性。本文针对服务组合中组件之间能否正确组合及交互行为关系难确定的问题,基于Petri网行为提出了活动变迁的动作模式,结合Petri网行为轮廓对活动变迁的约束关系以及动作模式对部分活动出现次数... 

【文章来源】：安徽理工大学安徽省

【文章页数】：59 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
引言
1 绪论
    1.1 研究背景
    1.2 国内外研究现状
    1.3 本文的内容安排
2 基本知识
    2.1 Petri网的相关知识
        2.1.1 Petri网的基本概念
        2.1.2 Petri网的性质
    2.2 Petri网行为
    2.3 行为轮廓
        2.3.1 行为轮廓的定义
        2.3.2 行为轮廓的性质
3 基于动作模式的Web服务组合的分析方法
    3.1 概述
    3.2 基本概念
    3.3 问题阐述
    3.4 动作模式
    3.5 基于动作模式与行为轮廓的Web服务组合方法
    3.6 实例分析
    3.7 本章小结
4 基于Petri网结合行为轮廓与依赖关系分析模型一致性
    4.1 概述
    4.2 问题阐述
    4.3 基本概念
        4.3.1 控制Petri网与数据Petri网
        4.3.2 控制Petri网与数据Petri网的依赖关系
    4.4 基于依赖关系的模型一致性分析
    4.5 实例分析
    4.6 本章小结
5 基于Petri网的业务流程变化域的分析方法
    5.1 概述
    5.2 基本概念
    5.3 基于Petri网动态行为寻找变化域的分析
    5.4 实例分析
    5.5 本章小结
6 结论
    6.1 本文的主要工作
    6.2 未来工作
参考文献
致谢
作者简介及读研期间主要科研成果


【参考文献】：
期刊论文
[1]基于开放Petri网的Web服务行为弱合理性分析[J]. 王娟,方贤文.  微电子学与计算机. 2012(05)
[2]Web服务组合行为一致性的形式化描述和分析[J]. 李劲,张华,吴浩雄,向军.  计算机应用. 2012(02)
[3]工作流网系统合理性的语言特性[J]. 闫春钢,蒋昌俊,丁志军,孙萍.  应用科学学报. 2011(01)
[4]Web服务流程相容性和相似性分析[J]. 李喜彤,范玉顺.  计算机学报. 2009(12)
[5]Web服务组合方法综述[J]. 倪晚成,刘连臣,吴澄.  计算机工程. 2008(04)
[6]基于Petri网的语义Web服务自动组合方法[J]. 汤宪飞,蒋昌俊,丁志军,王成.  软件学报. 2007(12)
[7]Web服务行为兼容性的判定与计算[J]. 邓水光,李莹,吴健,邝砾,吴朝晖.  软件学报. 2007(12)
[8]空间信息栅格体系与服务聚合技术[J]. 唐宇,何凯涛,陈荦,景宁.  国防科技大学学报. 2005(02)
[9]基于Pi-演算的Web服务组合的描述和验证[J]. 廖军,谭浩,刘锦德.  计算机学报. 2005(04)
[10]基于Pi演算的构件演化研究[J]. 龚洪泉,赵文耘,徐如志,钱乐秋.  电子学报. 2004(S1)



本文编号：3563317