[发明专利]一种电力企业工作流程结构验证方法

权利要求书

1.一种电力企业工作流程结构验证方法，其特征在于，包括如下步骤：

首先，将电力企业的具体工作流程抽象成为由节点集合和有向边集合构成的工作流程图；

然后，将工作流程图转化为矩阵并求其邻接矩阵A，邻接矩阵A表明了工作流图中两个相邻节点间是否相互关联，若工作流图中的任何两个节点之间存在有向边，则邻接矩阵A的值为1；否则，其值为0；根据矩阵运算，求解二元关系传递闭包，由邻接矩阵A计算工作流程图的关系矩阵P，关系矩阵P表明了工作流图中任意两节点间是否至少存在一条链或路，以及在节点处是否有圈或回路；

最后，建立五条结构验证规则并将规则应用于工作流程图的邻接矩阵A和关系矩阵P，判断工作流程是否存在结构性问题。

2.根据权利要求1所述的一种电力企业工作流程结构验证方法，其特征在于，邻接矩阵A具体定义为：A=(a_ij)，其中，aij=1<vi,vj>∈E0<vi,vj>∉E]]>i,j=1,2,...,n，n为整数，V为工作流程节点集合，V={V₁,V₂,...V_n}，V₁和V_n为流程的开始节点和结束节点，E为节点间连接弧的集合，<V_i,V_j>为连接节点V_i到节点V_j的一条又向弧。

3.根据权利要求1或2所述的一种电力企业工作流程结构验证方法，其特征在于，五条结构验证规则具体如下：

（1）结构验证规则1：工作流图邻接矩阵A中只存在开始节点和结束节点；

（2）结构验证规则2：如果关系矩阵P中开始节点所对应行，除开始节点自身外，还具有其他0的分量，则表示从开始节点出发，有节点不可达，即存在无根节点；

（3）结构验证规则3：如果关系矩阵P中结束节点所对应列，除结束节点自身外，还具有其他0的分量，则表示这些0分量所对应节点，到结束节点不可达，即所谓的僵尸节点；

（4）结构验证规则4：如果邻接矩阵A存在一个入度为0，且出度也为0的节点，则表示该节点即不能从开始节点流向它，也不能流向结束节点，即所谓的孤立节点；

（5）结构验证规则5：如果关系矩阵P对角线上存在非0的分量P_ij，则表示至少存在一条包含节点V_i的回路。

4.根据权利要求3所述的一种电力企业工作流程结构验证方法，其特征在于，对工作流程图的邻接矩阵A和关系矩阵P进行验证的具体步骤为：

（1）应用结构验证规则1对邻接矩阵A进行验证，如果邻接矩阵A第i行第1列元素a_i1和第1行第i列元素a_1i满足(a_i1=0)∩(a_1i=0)i=1,2,...,n，则该工作流图中只有一个开始节点和一个结束节点；

（2）应用结构验证规则2对关系矩阵P进行验证，如果关系矩阵P第1行第j列元素P_1j满足P_1j>0j=2,...,n，则该工作流图中不存在无根节点；

（3）应用结构验证规则3对关系矩阵P进行验证，如果关系矩阵P第n行第j列元素P_nj满足P_nj>0j=1,2,...,n-1，则该工作流图中不存在僵尸节点；

（4）应用结构验证规则4对关系矩阵P进行验证，判断关系矩阵P，各行和列分别累加求和，对每个节点求解以节点为始点的边的总数D_out()和以节点为终点的边的总数D_in()，如果不存在D_out(v_i)=0∩D_in(v_i)=0，则该工作流图中不存在孤立节点；

（5）应用结构验证规则5对关系矩阵P进行验证，如果关系矩阵P第i行第j列元素P_ij满足P_ij=0i,j=1,2,...,n，则该工作流图中不存在回路。