[发明专利]用于检测事件日志和过程模型之间的区别的方法和装置

权利要求书

1.一种用于检测事件日志和过程模型之间的区别的方法，包括：

将所述过程模型转换为概率过程模型，所述概率过程模型包括多个层级中的多个节点以及与所述多个节点相关联的概率分布，所述多个节点中的叶节点对应于所述过程模型中的活动；

按照对应关系检测所述事件日志中包括的至少一个事件序列与所述概率过程模型之间的差异；以及

响应于所述差异超过预定阈值，将所述差异标识为所述区别，

其中所述对应关系描述所述至少一个事件序列中的一个事件序列中的事件与所述概率过程模型中的叶节点之间的对应关系，其中所述多个节点中的非叶节点对应于所述过程模型中的阶段。

2.根据权利要求1所述的方法，其中将所述过程模型转换为所述概率过程模型包括：

计算所述非叶节点的出现的初始概率、所述非叶节点之间的转移概率以及从所述非叶节点到所述叶节点的发射概率，以形成所述概率过程模型。

3.根据权利要求2所述的方法，其中计算所述非叶节点的出现的所述初始概率、所述非叶节点之间的所述转移概率以及从所述非叶节点到所述叶节点的所述发射概率、以形成所述概率过程模型包括：

设置所述初始概率、所述转移概率以及所述发射概率，以形成所述概率过程模型；以及

迭代地训练所述概率过程模型。

4.根据权利要求1-3中的任一项所述的方法，其中按照对应关系检测所述事件日志中包括的至少一个事件序列与所述概率过程模型之间的差异包括：针对所述至少一个事件序列中的当前事件序列，

基于所述概率分布将所述当前事件序列中的每个事件与所述概率过程模型中的所述叶节点对准；

记录与每个事件对准的叶节点在所述概率过程模型中的路径，以将所述当前事件序列转变为路径序列；以及

基于所述概率过程模型和所述路径序列以确定所述差异。

5.根据权利要求4所述的方法，其中所述路径包括与所述概率过程模型中的多个层级相对应的多级路径。

6.根据权利要求4所述的方法，其中所述差异的类型包括违反约束，以及基于所述概率过程模型和所述路径序列以确定所述差异包括：

利用线性时序逻辑，构造符合所述概率过程模型中的约束关系的自动机；以及

从所述自动机不接受的路径序列中获取所述违反约束。

7.根据权利要求4所述的方法，其中所述差异的类型包括缺失活动，以及基于所述概率过程模型和所述路径序列以确定所述差异包括：

分别计算所述叶节点在所述概率过程模型中的路径的全集SModel、以及与所述至少一个事件序列中的事件序列中的事件对准的叶节点在所述概率过程模型中的路径的全集SLog；以及

计算所述全集SModel与所述全集SLog的差集SAbsent＝SModel-SLog以作为缺失活动。

8.根据权利要求4所述的方法，其中所述差异的类型包括额外活动，以及基于所述概率过程模型和所述路径序列以确定所述差异包括：

分别计算所述叶节点在所述概率过程模型中的路径的全集SModel、以及与所述至少一个事件序列中的事件序列中的事件对准的叶节点在所述概率过程模型中的路径的全集SLog；以及

计算所述全集SLog与所述全集SModel的差集SAdditional＝SLog-SModel以作为额外活动。