[發(fā)明專利]一種面向規(guī)則執(zhí)行日志的流程挖掘方法

有效

• 申請?zhí)枺?/td>: 201110325501.3
• 申請日: 2011-10-24
• 公開（公告）號: CN102509171A
• 公開（公告）日: 2012-06-20
• 發(fā)明（設計）人: 尹建偉;曹斌;鄧水光;李瑩;吳健;吳朝暉
• 申請（專利權）人: 浙江大學
• 主分類號: G06Q10/04
• 分類號: G06Q10/04;G06Q10/06
• 代理公司: 杭州裕陽專利事務所(普通合伙) 33221
• 代理人: 江助菊

1.一種面向規(guī)則執(zhí)行日志的流程挖掘方法，其特征在于，包括如下步驟：

1）獲取規(guī)則流日志????????????????????????????????????????????????并將其轉換為標準的ProM輸入格式；

2）對轉換后的規(guī)則流日志中的每一條規(guī)則軌跡的每個規(guī)則任務t進行查詢，若t是規(guī)則軌跡中第一條規(guī)則任務，則t就是流程的起始點；

3）獲得該規(guī)則任務t對應的LHS所涉及的事實集FL(r)和對應的RHS所涉及的事實集FR(r)；

4）對FL(r)進行判斷，若為空，則規(guī)則任務t是流程的終點；若不為空，則

對于規(guī)則任務t之后的每個規(guī)則任務t'，獲得該規(guī)則任務t'中規(guī)則r'對應的LHS所涉及的事實集FL(r')和對應的RHS所涉及的事實集FR(r')；判斷FL(r)和FL(r')的關系，如果兩者中的事實更新頻率均相同，則t與t'存在關系；如果兩者至少存在一個相同的事實，則t與t'存在關系；如果兩者至少存在一個相同的事實，則t與t'存在關系；若FR(r)在規(guī)則任務t之后從未觸發(fā)過任何規(guī)則，那么t就是流程的終點；

5）對于規(guī)則軌跡中任意兩個規(guī)則任務t、t'的規(guī)則r?、r'，若FL(r)和FL(r')均為空集或者t與t'均與軌跡中的其它規(guī)則任務不存在關系，則t與t'存在關系；

6）合并由上述步驟挖掘的結果并發(fā)現(xiàn)關系；

7）通過Petri網形式對最終的挖掘結果進行建模；

上述規(guī)則是一個二元組（LHS,RHS），其中：LHS是左邊部分，即一個規(guī)則中的一組有限個數(shù)條件的集合；RHS是右邊部分，即一個規(guī)則中的一組有限個數(shù)動作的集合；令T為規(guī)則任務的集合，則表示一條規(guī)則流軌跡，是一個規(guī)則流日志，其中是的冪集，所述?表示最先開始執(zhí)行的規(guī)則任務，即在系統(tǒng)運行時規(guī)則庫中最先被并行觸發(fā)的規(guī)則任務；所述關系表示并行結束，存在于兩種不同的情形之下，即規(guī)則任務中沒有涉及到任何事實或規(guī)則的RHS中所涉及到的事實無法再觸發(fā)別的規(guī)則，所述表示兩個規(guī)則間有直接因果依賴關系，關系表示了每個并行分支的最初節(jié)點，最后一個關系是基于兩個不同的軌跡，所以它表示規(guī)則間是選擇關系。

2.根據(jù)權利要求1所述的一種面向規(guī)則執(zhí)行日志的流程挖掘方法，其特征在于，

所述事實?f?由三元組??組成，?表示事實類型ID，表示事實ID，表示事實在一個規(guī)則任務的集合，一起結合使用并以工作流的形式做出最終決策中被更新的次數(shù)。

3.根據(jù)權利要求1所述的一種面向規(guī)則執(zhí)行日志的流程挖掘方法，其特征在于，令?g?為規(guī)則任務集合T（即）上的規(guī)則流日志，以?/?分別代表規(guī)則r所對應的LHS?/?RHS所涉及到的事實集，而π(f)?表示事實f的更新頻率：當存在軌跡，其中且?,?時:

?當且僅當相同;

?當且僅當?;

?當且僅當?;

?當且僅當?;

當存在另外一條規(guī)則流軌跡，其與軌跡共享某些相同的規(guī)則任務,令：

?當且僅當。