服务组合排编规范性能分析研究

伴随Web服务而生的服务组装技术,因能实现服务的复用和增值而成为学术界和工业界关注的焦点。目前主流的服务组合规范可以分为基于编写（orchestration-based规范,如WS-BPEL）和基于排编（choreography-based规范,如WSCI和WS-CDL）两大类。目前对服务组合规范的研究多偏重于功能分析和性质验证的方面,而数量化特性,特别是性能的研究却相对薄弱。运用随机Petri网对基于WSCI规范描述的服务组合进行了建模和性能分析。基于WSCI的组合服务转换为随机Petri网描述,在其基础上导出连续时间马氏过程的状态变迁模型,在马氏过程的转移强度矩阵上进行一系列计算以获得对性能的评价。在实例研究中运用蒙特卡洛实验和置信区间分析的方法,对上一步获得的理论结果进行了检验。     

一种模型驱动的WS-CDL服务组合可靠性预测方法

WS-CDL是一种主流的Web服务组合标准,描述了基于编排机制的端对端服务组件的组合方式。对基于WS-CDL的服务组合进行可靠性预测,能帮助Web服务的使用和管理者定量考察服务的可信性,并帮助他们从功能相同的服务组件中择优选取以优化整体服务流程的可靠性。然而,学术界对WS-CDL可靠性研究非常匮乏。提出了一种模型驱动的方法来预测基于WS-CDL的组合服务的可靠性。该方法首先引入一系列的转换规则,将WS-CDL中的各种活动和结构转换为等效的NMSPN网描述。在生成的NMSPN网基础上,引入了一个预测算法以分析组合服务的“流程正常结束概率”。为了对理论模型和结果进行检验,还通过WS-CDL+执行引擎对服务组合的实例进行执行并获得了流程正常结束率的实验数据。比较发现,由实验数据导出的95%置信区间完好地覆盖了理论分析结果,表明了该方法的正确性和精确性。