[發明專利]一種基于工作流的災害應急任務組合方法

在審

• 申請號: 201910476690.0
• 申請日: 2019-06-03
• 公開（公告）號: CN110334907A
• 公開（公告）日: 2019-10-15
• 發明（設計）人: 樂鵬;張明達;姜良存;潘伯悅
• 申請（專利權）人: 武漢大學
• 主分類號: G06Q10/06
• 分類號: G06Q10/06;G06Q50/26;G06F17/50
• 代理公司: 湖北武漢永嘉專利代理有限公司 42102
• 代理人: 唐萬榮

1.一種基于工作流的災害應急任務組合方法，其特征在于，該方法包括以下步驟：

步驟1、構建災害應急任務流程的抽象層：根據災害學災害應急領域的相關知識，設計基礎算子，構建災害應急業務流程的抽象層；抽象層由多個活動組成，每個活動是一個執行單元，活動之間設置相應的執行順序，執行單元包括輸入、處理以及輸出三個部分；

步驟2、對災害應急任務流程進行實例化：為步驟1構建的構建災害應急業務流程抽象層綁定參數，綁定的參數為符合OGC標準的地理信息服務數據，形成災害應急業務的實例層；

步驟3、基于Petri的災害應急業務流程驗證：將實例層災害應急業務流程轉換為Petri網的表達，采用Petri網的合理性和正確性檢驗方法，檢驗災害應急業務流程的合理性與正確性。

2.根據權利要求1所述的基于工作流的災害應急任務組合方法，其特征在于，災害基礎算子以地理信息服務的方式進行發布。

3.根據權利要求1所述的基于工作流的災害應急任務組合方法，其特征在于，該方法中科學工作流的方法采用兩層設計，分別為抽象層和實例層，抽象與實例是一對多的關系。

4.根據權利要求1所述的基于工作流的災害應急任務組合方法，其特征在于，該方法中Petri網的合理性和正確性檢驗采用語義和語法雙重檢驗方法。

5.根據權利要求1所述的基于工作流的災害應急任務組合方法，其特征在于，該方法中將實例層災害應急業務流程轉換為Petri網的表達的方法具體為：

通過判斷各實例的直接父類確定Petri網中該節點類型，節點的直接父類是GeoProcess，則該節點是變遷，否則為庫所；通過實例的屬性確定起始終止庫所和有向弧；屬性hasInput給出了變遷的輸入庫所，屬性hasOutput確定了變遷的輸出庫所；起始庫所是有isInputOf屬性而無isOutputOf屬性的庫所，或是有數據屬性firstInputFlag；數據類型屬性endOutputFlag標記了終止庫所；經過上述步驟，一個從起始庫所出發、經由有向弧通過其他變遷和庫所、最后到達終止庫所的Petri網就建立了起來。

6.根據權利要求5所述的基于工作流的災害應急任務組合方法，其特征在于，該方法中進行合理性檢驗的方法具體為：

首先進行語法驗證，從初始狀態庫所集開始，如當前狀態中的節點滿足執行條件，將加入新的狀態，反之等待執行條件滿足，再加入新的狀態，判斷當前狀態是否有可執行節點，如果有則重新判斷執行條件是否滿足，若無，判斷狀態是否為終止狀態，若是終止狀態且所有庫所和變遷都被執行過，則語法合理正確，否則不合理；之后進行語義驗證，檢查變遷輸入數據和前序庫中的數據一致性，檢驗處理節點的次序，檢驗輸入資源的資源類型，通過上述三項檢查則為通過語義驗證。