文档介绍：国防科学技术大学
博士学位论文
基于Petri网的Web服务组合的交互模型及其应用机理的研究
姓名:朱俊
申请学位级别:博士
专业:计算机科学与技术
指导教师:吴泉源
2011-03
国防科学技术大学研究生院博士学位论文
摘要
当前,互联网不仅是信息传输的基础设施,而且是信息处理和服务共享的基础设
施。以资源聚合和按需服务为主要理念的云计算的迅速发展,使未来的用户不必再关
心如何根据自己的业务需求去购买服务器、软件和解决方案,而只需关心如何通过互
联网来获取满足自己需求的云服务。面向服务的计算(Service-puting,
SOC)把服务作为构建软件应用系统的基本单元,为网络资源和服务共享提供了统一
的技术规范。面向服务的体系架构(Service-Oriented Architecture,SOA)已成为新一
代 Web 服务的基础架构。在这一架构下,开发者无需进行底层的程序实现,而只需
编写服务组合脚本便可构建一个复杂的业务应用。
以 Web 服务为代表的软件服务及服务协同正成为互联网应用的主流形态。但是,
由于恶意客户或异常伙伴服务的存在,服务协同未必能正常完成。为此,需要以服务
组合监控为目的,对 Web 服务组合过程中所有伙伴服务之间的交互行为建立定性分
析模型。另一方面,考虑到网络传输速度和可靠性等环境因素对服务组合性能的影响,
需要以环境优化为目的,引入定量化的环境因素,在前一模型基础上建立交互行为的
量化模型。本文在分析国内外相关最新研究成果的基础上,从定性定量两个方面研究
了 Web 服务组合的交互模型、交互行为检测算法、运行时监控机制和基于模型模拟
的环境优化方法,主要成果包括:
1. 提出了一种基于有色 Petri 网的 Web 服务组合交互定性分析模型 WS-PIM。目
前,业务流程执行语言 BPEL 可以作为服务组合脚本语言用于描述服务组合的流程,
而 WS-PIM 模型关注于服务组合过程中的服务之间的协同交互关系是否发生异常。在
WS-PIM 模型中,这种协同交互关系是基于有色 Petri 网描述的,该模型将服务组合
流程所处的状态映射为有色 Petri 网的“令牌”(Token)在其“库所”(Place)中的分
布,将流程状态的变化映射为“变迁”(Transition),将 BPEL 中用于装配流程的“活
动”(Activity)映射为 WS-PIM 模型的基本模式,进而采用库所融合的方式实现模型
基本模式的嵌套迭代和组合。本文还给出了 WS-PIM 模型的首、尾库所唯一性,后继
状态可达性以及后继节点的出入度约束等重要性质。实验表明,该模型比同类模型更
适合于描述服务组合过程中的协同交互关系。
2. 提出了一种基于时序属性一致性的 Web 服务组合交互行为检测算法。交互行
为的时序属性包括偏序关系、活性、安全性等。在服务组合流程的实际执行过程中,
消息是交互行为的唯一表征,代表交互过程的是实际发生的消息序列;另一方面,
WS-PIM 模型所描述的服务组合的流程状态变化过程是通过定性分析得到的变迁发
生序列。两个序列所体现的时序属性必须是一致的。本文以一个 BPEL 描述的典型服
务组合流程为实例,提出了一种基于时序属性一致性的 Web 服务组合交互行为检测
第 i 页
国防科学技术大学研究生院博士学位论文
算法。该算法将实际捕获到的交互行为序列与模型分析得到的变迁发生序列进行时序
关系比对,便能判定服务组合执行是否存在异常。实验表明,该算法能有效检测服务
组合过程中发生的服务异常。
3. 提出了一种基于 Web 服务组合交互行为检测算法的运行时监控机制。该机制
由交互模型特征抽取器、交互行为捕获器以及时序属性一致性检测器三部分构成。交
互模型特征抽取器能够自动将 BPEL 描述的服务组合映射为 WS-PIM 模型,并抽取出
交互过程中的变迁发生序列及其必须遵循的时序属性。交互行为捕获器部署在负责处
理交互行为的消息引擎中,实时捕获所有与被监控的服务组合进程相关的交互消息,
并将消息转发给时序属性一致性检测器。时序属性一致性检测器运用 Web 服务组合
交互行为检测算法,对捕获到的交互行为进行运行时检测。该检测器的判定逻辑所对
应的软件代码是由交互模型特征提取器自动生成的。
4. 提出了一种基于广义随机 Petri 网的 Web 服务组合定量化交互模型 WS-GIM。
该模型聚焦于 Web 服务组合的性能与网络交互环境之间的关系,关注直接影响系统
吞吐率性能的各个伙伴服务的执行时间和消息在网络中的传输速度以及它们的失效
率。WS-GIM 模型以 WS-P