论文部分内容阅读
随着Web服务应用的深入发展,单一的Web服务无法满足企业多变的需求,因此业界提出了Web服务组合技术。由于企业对服务速度和服务质量有着较高要求,服务性能问题逐渐受到越来越多的关注。目前研究学者们对Web组合服务性能分析主要集中在基于进程代数中Pi演算分析法和基于Petri网的分析法。由于Petri网有着丰富的系统描述手段和分析技术,所以选择Petri网描述组合更为直观。在Web服务组合中,经常会出现用户服务需排队等待的现象,为了能够充分比较研究web服务组合性能,本文重点分析比较了两种均可用于描述排队系统的web服务组合流程模型:排队Petri网和着色赋时Petri网,分别使用仿真工具QPMEHE CPN-Tools模拟实验。本论文内容大致分成三部分:首先是相关知识介绍,包括排队Petri网和着色赋时Petri网定义;其次是使用一种专门用于描述Web服务业务流程执行语言BPEL,通过一定的映射规则和约束,实现将BPEL中的各种活动(包括基元活动和结构活动)分别转换成QPN和TCPN仿真模型;最后以实例验证BPEL映射规则的正确性,使用CPN-TOOLS和QPME两种工具描述,在条件结构和顺序结构下,当进入条件分支、循环分支的概率发生变化,以及单个服务服务时间的变化时,对系统性能的影响,比较两种模型描述方法下所得结论的异同,分析可能导致差异的原因。