基于WS-BPEL过程的Web服务依赖关系分析

摘要：

构件和服务等软件实体的动态更新是支撑软件系统在线演化的关键技术，该技术可以在不中断系统运行的前提下对软件系统的结构或行为进行调整。然而，为保证更新前后系统行为的一致性，只有当软件实体处于安全状态时方可进行更新。以基于WS-BPEL（Web Service Business Process Execution Language）的软件系统为例，通过分析WS-BPEL过程与其成员服务间的依赖关系，提出了一种可预判成员服务是否动态更新的算法。实验结果表明，依赖分析算法可以有效预判成员服务可动态更新的时机，从而在不影响系统行为一致性的前提下有效减少动态更新所引起的服务中断。

关键词：在线演化、动态更新、Web服务业务流程执行语言(WS-BPEL)、依赖

分类号：TP393(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划973No.2009CB320702；国家自然科学基金No.61021062，No.61003019。

在线出版日期：2014-01-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：25-30,74