[發明專利]基于日志記錄挖掘與組合驗證的工作流建模方法

有效

• 申請號: 201210337478.4
• 申請日: 2012-09-13
• 公開（公告）號: CN102880684A
• 公開（公告）日: 2013-01-16
• 發明（設計）人: 胡海洋;呂倩;謝建恩
• 申請（專利權）人: 杭州電子科技大學
• 主分類號: G06F17/30
• 分類號: G06F17/30
• 代理公司: 杭州求是專利事務所有限公司 33200
• 代理人: 杜軍

1.?基于日志記錄挖掘與組合驗證的工作流建模方法，其特征在于該方法的具體步驟是：

步驟（1）從數據庫中導出工作流日志，刪除冗余的信息；

步驟（2）根據日志是否存在循環進行分類，分為循環日志和無循環日志；

步驟（3）掃描無循環的工作流日志，即相同的任務節點在某次執行中只出現一次，統計每個任務節點的發生次數；

步驟（4）統計任務節點發生次數同時要記錄下每個任務節點的跟隨任務節點，及此任務節點與跟隨節點共同出現的次數；

步驟（5）根據每個任務節點及其跟隨任務節點集，從該任務出發，向任務節點的每個跟隨任務節點畫出一條帶箭頭的有向邊，形成有向任務圖，這樣的有向邊表明了任務之間執行的時間先后關系，但這樣的任務節點間不一定是依賴關系；

步驟（6）在步驟(5)中構造出的有向任務圖內，可能有某兩個任務節點存在有雙向箭頭的有向邊，即此兩個任務節點在日志中的發生時間可以不分先后，則表明這兩個任務節點是并行結構，則將刪除這兩個任務節點之間的有向邊；

步驟（7）根據任務節點發生次數，以及其與跟隨節點共同發生次數，為已構造的有向任務圖添加控制結構，即并行執行AND_Split、合取合并AND_Join、析取執行OR_Split、析取合并OR_Join；?

步驟（8）單獨掃描帶有循環的日志，找出某個任務節點在日志中出現的次數大于2的日志片段，逐一對其日志片段連線，找出其循環結構，并添加到已構造的有向任務圖中；

步驟（9）基于Petri網的轉化知識，把已經構造好的有向任務圖轉換為Petri網的子網—工作流網WF-Net，利用工作流網WF-Net的關聯矩陣和狀態方程驗證已挖掘的模型的正確性。