[發明專利]一種電力企業工作流程結構驗證方法

無效

• 申請號: 201310719721.3
• 申請日: 2013-12-24
• 公開（公告）號: CN103714425A
• 公開（公告）日: 2014-04-09
• 發明（設計）人: 馬剛;吳薛紅;錢偉行
• 申請（專利權）人: 南京師范大學
• 主分類號: G06Q10/06
• 分類號: G06Q10/06;G06Q50/06
• 代理公司: 南京知識律師事務所 32207
• 代理人: 李媛媛

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，則該工作流圖中不存在回路。