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

無效

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

技術領域

本發明為一種電力企業工作流程結構驗證方法，屬計算機算法領域。

背景技術

工作流技術是當今一項飛速發展的技術，它最基本的特性就是能夠結合人工和機器的行為，特別是能夠與應用程序和工具進行交互，從而完成業務過程的自動化處理。為了使計算機能夠支持電力企業業務過程處理，就要對電力業務過程進行分析，抽象出業務過程的本質特征，并使用某種計算機可處理的方式來表示。電力企業工作流程模型是對工作流的抽象表示，它將電力企業實際的經營過程轉化為計算機可處理的形式化定義。在電力系統工作流管理系統中對業務過程描述的目的是便于工作流管理系統的控制執行。因此，流程模型的正確性是業務目標實現的基本保證。

電力企業工作流程模型的正確性驗證是工作流建模環境的一個核心功能，其目的是對已建立的工作流模型按照某種正確性原則進行驗證。在電力企業工作流程模型定義時，流程結構上可能出現流程沒有無開始節點、沒有無結束節點、某個節點無法到達結束節點、某個節點無法被觸發、某個節點沒有輸入也沒有輸出以及結構上存在無條件環或者回路的問題，這些將導致工作流程運轉的不正常，從而影響正常業務工作的開展。

發明內容

本發明的目的為提供一種電力企業工作流程結構驗證方法，能夠正確驗證電力企業工作流程結構。

本發明的技術方案如下：

一種電力企業工作流程結構驗證方法，包括如下步驟：首先，將電力企業的具體工作流程抽象成為由節點集合和有向邊集合構成的工作流程圖；然后，將工作流程圖轉化為矩陣并求其鄰接矩陣A，鄰接矩陣A表明了工作流圖中兩個相鄰節點間是否相互關聯，若工作流圖中的任何兩個節點之間存在有向邊，則鄰接矩陣A的值為1；否則，其值為0；根據矩陣運算，求解二元關系傳遞閉包，由鄰接矩陣A計算工作流程圖的關系矩陣P，關系矩陣P表明了工作流圖中任意兩節點間是否至少存在一條鏈或路，以及在節點處是否有圈或回路；最后，建立五條結構驗證規則并將規則應用于工作流程圖的鄰接矩陣A和關系矩陣P，判斷工作流程是否存在結構性問題。

為了解決電力企業工作流程定制時在結構上出現的問題，本發明提出的一種電力企業工作流程結構驗證方法，構建了五條驗證規則，依據該方法和驗證規則可驗證包含孤立節點、死節點、死循環等六種異常結構。該方法能夠準確指出工作流程中存在的結構性問題，通過實例分析驗證，該方法全面可靠。

附圖說明

圖1為本發明工作流程結構驗證方法的流程圖。

圖2為本發明工作流圖關系矩陣計算步驟流程圖。

圖3為本發明工作流圖結構驗證過程流程圖。

具體實施方式

本發明的一種電力企業工作流程結構驗證方法的技術方案如圖1所示，具體過程為：

1、根據工作流程，將其抽象成圖形G=<V,E,D>，其中：

（1）V為工作流程節點集合，V={V₁,V₂,...V_n}，（n為整數），V₁和V_n為流程的開始節點和結束節點，通常沒有實際動作，只表示流程的開始和結束；但某些特殊情況下，也可以帶有觸發動作。其他節點為普通節點、分支節點或者跳轉等節點。

（2）E為節點間連接弧的集合，<V_i,V_j>為連接節點V_i到節點V_j的一條又向弧。

（3）D連接節點的弧的數量。D=<in,out>，為所有終點為V_i的弧的總數；為所有起點為V_i的弧的總數。

2、計算第一步中生產的工作流圖的鄰接矩陣A=(a_ij)。