《基于Petri网的Web服务组合的交互模型及其应用机理的研究》由会员分享，可在线阅读，更多相关《基于Petri网的Web服务组合的交互模型及其应用机理的研究（126页珍藏版）》请在金锄头文库上搜索。
1、国防科学技术大学 博士学位论文 基于Petri网的Web服务组合的交互模型及其应用机理的研究 姓名：朱俊 申请学位级别：博士 专业：计算机科学与技术 指导教师：吴泉源 2011-03 国防科学技术大学研究生院博士学位论文 第 i 页 摘 要 当前，互联网不仅是信息传输的基础设施，而且是信息处理和服务共享的基础设 施。以资源聚合和按需服务为主要理念的云计算的迅速发展，使未来的用户不必再关 心如何根据自己的业务需求去购买服务器、软件和解决方案，而只需关心如何通过互 联网来获取满足自己需求的云服务。面向服务的计算（Service-Oriented Computing， SOC）把服务作为构建软件应用
2、系统的基本单元，为网络资源和服务共享提供了统一 的技术规范。面向服务的体系架构（Service-Oriented Architecture，SOA）已成为新一 代 Web 服务的基础架构。在这一架构下，开发者无需进行底层的程序实现，而只需 编写服务组合脚本便可构建一个复杂的业务应用。 以 Web 服务为代表的软件服务及服务协同正成为互联网应用的主流形态。但是， 由于恶意客户或异常伙伴服务的存在，服务协同未必能正常完成。为此，需要以服务 组合监控为目的，对 Web 服务组合过程中所有伙伴服务之间的交互行为建立定性分 析模型。 另一方面， 考虑到网络传输速度和可靠性等环境因素对服务组合性能的影响，
3、 需要以环境优化为目的，引入定量化的环境因素，在前一模型基础上建立交互行为的 量化模型。本文在分析国内外相关最新研究成果的基础上，从定性定量两个方面研究 了 Web 服务组合的交互模型、交互行为检测算法、运行时监控机制和基于模型模拟 的环境优化方法，主要成果包括： 1. 提出了一种基于有色 Petri 网的 Web 服务组合交互定性分析模型 WS-PIM。目 前，业务流程执行语言 BPEL 可以作为服务组合脚本语言用于描述服务组合的流程， 而 WS-PIM 模型关注于服务组合过程中的服务之间的协同交互关系是否发生异常。 在 WS-PIM 模型中，这种协同交互关系是基于有色 Petri 网描述的
4、，该模型将服务组合 流程所处的状态映射为有色 Petri 网的“令牌” （Token）在其“库所” （Place）中的分 布，将流程状态的变化映射为“变迁” （Transition） ，将 BPEL 中用于装配流程的“活 动” （Activity）映射为 WS-PIM 模型的基本模式，进而采用库所融合的方式实现模型 基本模式的嵌套迭代和组合。本文还给出了 WS-PIM 模型的首、尾库所唯一性，后继 状态可达性以及后继节点的出入度约束等重要性质。实验表明，该模型比同类模型更 适合于描述服务组合过程中的协同交互关系。 2. 提出了一种基于时序属性一致性的 Web 服务组合交互行为检测算法。交互行
5、为的时序属性包括偏序关系、活性、安全性等。在服务组合流程的实际执行过程中， 消息是交互行为的唯一表征，代表交互过程的是实际发生的消息序列；另一方面， WS-PIM 模型所描述的服务组合的流程状态变化过程是通过定性分析得到的变迁发 生序列。两个序列所体现的时序属性必须是一致的。本文以一个 BPEL 描述的典型服 务组合流程为实例，提出了一种基于时序属性一致性的 Web 服务组合交互行为检测 国防科学技术大学研究生院博士学位论文 第 ii 页 算法。 该算法将实际捕获到的交互行为序列与模型分析得到的变迁发生序列进行时序 关系比对，便能判定服务组合执行是否存在异常。实验表明，该算法能有效检测服务 组
6、合过程中发生的服务异常。 3. 提出了一种基于 Web 服务组合交互行为检测算法的运行时监控机制。该机制 由交互模型特征抽取器、交互行为捕获器以及时序属性一致性检测器三部分构成。交 互模型特征抽取器能够自动将 BPEL 描述的服务组合映射为 WS-PIM 模型， 并抽取出 交互过程中的变迁发生序列及其必须遵循的时序属性。 交互行为捕获器部署在负责处 理交互行为的消息引擎中，实时捕获所有与被监控的服务组合进程相关的交互消息， 并将消息转发给时序属性一致性检测器。时序属性一致性检测器运用 Web 服务组合 交互行为检测算法，对捕获到的交互行为进行运行时检测。该检测器的判定逻辑所对 应的软件代码是由
7、交互模型特征提取器自动生成的。 4. 提出了一种基于广义随机 Petri 网的 Web 服务组合定量化交互模型 WS-GIM。 该模型聚焦于 Web 服务组合的性能与网络交互环境之间的关系，关注直接影响系统 吞吐率性能的各个伙伴服务的执行时间和消息在网络中的传输速度以及它们的失效 率。WS-GIM 模型以 WS-PIM 模型为基础，增加服务的执行和消息的传输两个广义 随机 Petri 网基本模式，并在泊松分布的假设下，通过设置服务的往返时间、失效率 和分支流程执行概率等个体服务有关的均值参数，从而建立相应的定量化模型。通过 实例的模型模拟和统计分析，可以得到整个服务组合的平均吞吐率、失效率等属
8、性。 该定量模型可用于评估网络交互环境因素对服务组合吞吐率性能的影响， 进而给出了 一种基于网络交互环境的服务组合性能优化的途径。同时，本文将该模型预测的平均 吞吐率、失效率与组合服务部署代价、运营商信誉等属性聚合成决策矩阵，并赋予不 同的权重，基于多属性效用理论，研究了组合服务的部署方案，从中选取偏好排序结 果。 关键词：Web 服务；服务组合；Petri 网；交互模型；运行时监控；模型模拟； 性能预测；性能优化 国防科学技术大学研究生院博士学位论文 第 iii 页 Abstract Currently, the Internet is not only information transm
9、ission infrastructure, but also information processing and services sharing infrastructure. Cloud computing is developing rapidly, the main concept of which is resources aggregation and on-demand services. So that future users do not care about how to buy the servers, software and solutions accordin
10、g to their business requirements, and only concern about how to obtain cloud services via the Internet to meet their own demands. Service-oriented computing (SOC), which provides network resources and services sharing with a uniform technical specifications, builds software application system by usi
11、ng services as basic units. Service-oriented architecture (SOA) has become a new generation of Web services infrastructure. In this framework, developers do not need to implement programs. They just write Web service composition scripts to build complex business applications. Software services and s
12、ervices collaboration are becoming a mainstream form of Internet applications. However, for the existence of malicious clients or abnormal partner services, service coordination may not be properly completed. For this reason, a qualitative analysis model is required to describe the interactions betw
13、een all partner services as the purpose of runtime monitoring service composition. On the other hand, considering the relationship between service composition performance and Internet environmental factors such as network speed and reliability, it is needed to import quantitative Internet environmen
14、tal factors to build a quantitative model based on the previous interaction model, in order to optimize service execution environment. On the basis of the latest research results related to this dissertation, it presents Web service composition interaction model, interaction behavior detection algor
15、ithm, runtime monitoring mechanism and model simulation based Internet environment optimization methods qualitatively and quantitatively. The key contributions of this dissertation include: Firstly, this dissertation proposes colored Petri net (CPN) based Web service composition interaction model WS
16、-PIM for the purpose of qualitative analysis. Recently, the Business Process Execution Language (BPEL) serves as a service composition description language to describe service composition process. WS-PIM model focuses on collaborative interactions between partner services in the process of service composition. In the WS-PIM model, these synergistic interactions relationships are described by CPN. The model maps process status to the “token” distribution in the “place” of CPN, maps the changing o
