基于程序依赖图的BPEL过程一致性度量方法

摘要

本发明公开了一种基于程序依赖图的BPEL过程一致性度量方法。以两个BPEL过程为输入，以这两个BPEL过程的一致性程度为输出结果；该方法使用的BPEL过程必须严格符合WS-BPEL2.0规范，并且过程中不包含活动；根据BPEL的特性将两个BPEL过程分别转化为控制流程图；根据每个BPEL过程的控制流程图，分析活动间的三种依赖关系，生成程序依赖图PDG；基于两个BPEL过程的程序依赖图，计算出这两个BPEL过程的一致性程度。本发明提出的方法，可以对两个BPEL过程的一致性给出一个从0到1的数值，而不是像传统方法那样仅仅提供一致和不一致的定性结论，从而有效区分不同程度的BPEL过程一致性。

主权项

一种基于程序依赖图的BPEL过程一致性度量方法，其特征在于：以两个BPEL过程为输入，以这两个BPEL过程的一致性程度为输出结果；该方法使用的BPEL过程必须符合WS‑BPEL2.0规范，并且过程中不包含活动；步骤如下：(1)输入两个BPEL过程，根据BPEL的特性将两个BPEL过程分别转化为控制流程图；(2)根据每个BPEL过程的控制流程图，分析活动间的三种依赖关系，生成程序依赖图PDG；(3)通过对两个BPEL过程的程序依赖图的分析，计算出这两个BPEL过程的一致性程度。