[发明专利]一种面向规则执行日志的流程挖掘方法

权利要求书

1.一种面向规则执行日志的流程挖掘方法，其特征在于，包括如下步骤：

1）获取规则流日志                                                并将其转换为标准的ProM输入格式；

2）对转换后的规则流日志中的每一条规则轨迹的每个规则任务t进行查询，若t是规则轨迹中第一条规则任务，则t就是流程的起始点；

3）获得该规则任务t对应的LHS所涉及的事实集FL(r)和对应的RHS所涉及的事实集FR(r)；

4）对FL(r)进行判断，若为空，则规则任务t是流程的终点；若不为空，则

对于规则任务t之后的每个规则任务t'，获得该规则任务t'中规则r'对应的LHS所涉及的事实集FL(r')和对应的RHS所涉及的事实集FR(r')；判断FL(r)和FL(r')的关系，如果两者中的事实更新频率均相同，则t与t'存在关系；如果两者至少存在一个相同的事实，则t与t'存在关系；如果两者至少存在一个相同的事实，则t与t'存在关系；若FR(r)在规则任务t之后从未触发过任何规则，那么t就是流程的终点；

5）对于规则轨迹中任意两个规则任务t、t'的规则r 、r'，若FL(r)和FL(r')均为空集或者t与t'均与轨迹中的其它规则任务不存在关系，则t与t'存在关系；

6）合并由上述步骤挖掘的结果并发现关系；

7）通过Petri网形式对最终的挖掘结果进行建模；

上述规则是一个二元组（LHS,RHS），其中：LHS是左边部分，即一个规则中的一组有限个数条件的集合；RHS是右边部分，即一个规则中的一组有限个数动作的集合；令T为规则任务的集合，则表示一条规则流轨迹，是一个规则流日志，其中是的幂集，所述 表示最先开始执行的规则任务，即在系统运行时规则库中最先被并行触发的规则任务；所述关系表示并行结束，存在于两种不同的情形之下，即规则任务中没有涉及到任何事实或规则的RHS中所涉及到的事实无法再触发别的规则，所述表示两个规则间有直接因果依赖关系，关系表示了每个并行分支的最初节点，最后一个关系是基于两个不同的轨迹，所以它表示规则间是选择关系。

2.根据权利要求1所述的一种面向规则执行日志的流程挖掘方法，其特征在于，

所述事实 f 由三元组  组成， 表示事实类型ID，表示事实ID，表示事实在一个规则任务的集合，一起结合使用并以工作流的形式做出最终决策中被更新的次数。

3.根据权利要求1所述的一种面向规则执行日志的流程挖掘方法，其特征在于，令 g 为规则任务集合T（即）上的规则流日志，以 / 分别代表规则r所对应的LHS / RHS所涉及到的事实集，而π(f) 表示事实f的更新频率：当存在轨迹，其中且 , 时:

 当且仅当相同;

 当且仅当 ;

 当且仅当 ;

 当且仅当 ;

当存在另外一条规则流轨迹，其与轨迹共享某些相同的规则任务,令：

 当且仅当。