[发明专利]BPEL流程图形化设计中检测死锁的方法和装置

权利要求书

1.一种BPEL流程图形化设计中检测死锁的方法，其特征在于，所述方法包括：

建立同意边数据集；

建立所述同意边数据集对应的拒绝列表，所述拒绝列表中的每一项为对应所述同意边数据集中每一个同意边的所有拒绝边的集合；

获取新引入的边；

判断新引入的边是否属于已有的拒绝列表中，如果是则判断引入死锁。

2.根据权利要求1所述的方法，其特征在于，

如果判断新引入的边不属于已有的拒绝列表，则将新引入的边作为同意边加入到同意边数据集中并更新所述拒绝列表。

3.根据权利要求2所述的方法，其特征在于，所述更新所述拒绝列表包括：

在新引入的同意边(vi，vj)的源顶点vi和目的顶点vj均为新引入的顶点的情况下，在对应该同意边的拒绝列表的项中加入从目的顶点vj指向源顶点vi的拒绝边。

4.根据权利要求2所述的方法，其特征在于，所述更新所述拒绝列表包括：

在新引入的同意边(vi，vj)的源顶点vi具有前驱顶点并且目的顶点vj为新引入的顶点的情况下，在对应该同意边的拒绝列表的项中加入从目的顶点Vj分别指向源顶点vi及指向源顶点vi的所有前驱顶点的拒绝边。

5.根据权利要求2所述的方法，其特征在于，所述更新所述拒绝列表包括：

在新引入的同意边(vi，vj)的源顶点vi为新引入的顶点并且目的顶点vj具有后驱顶点的情况下，在对应该同意边的拒绝列表的项中加入分别从目的顶点Vj及其所有后驱顶点指向源顶点vi的拒绝边。

6.根据权利要求2所述的方法，其特征在于，所述更新所述拒绝列表包括：

在新引入的同意边(vi，vj)的源顶点vi具有前驱顶点及目的顶点vj具有后驱顶点的情况下,在对应该同意边的拒绝列表的项中加入从目的顶点Vj及其所有后驱顶点分别指向源顶点vi及其所有前驱顶点的拒绝边。

7.根据权利要求1所述的方法，其特征在于，在建立同意边数据集之后，还包括：

删除已有的同意边；

根据删除的同意边更新所述拒绝列表。

8.一种BPEL流程图形化设计中检测死锁的装置，其特征在于，所述装置包括存储器和处理器，所述存储器存储指令，所述处理器运行所述指令以执行根据权利要求1-7中任意一项所述的方法。

9.一种BPEL流程图形化设计中检测死锁的装置，其特征在于，所述装置包括建立模块、添加模块和判断模块；

所述建立模块用于建立同意边数据集以及建立所述同意边数据集对应的拒绝列表，所述拒绝列表中的每一项为对应所述同意边数据集中每一个同意边的所有拒绝边的集合；

所述添加模块用于获取新引入的边；

所述判断模块用于判断新引入的边是否属于已有的拒绝列表中，如果是，则判断引入死锁。

10.根据权利要求9所述的装置，其特征在于，所述判断模块还用于判断新引入的边不属于已有的拒绝列表时，更新所述拒绝列表。