[发明专利]业务过程死锁与缺乏同步错误的挖掘方法

权利要求书

1.一种业务过程死锁与缺乏同步错误的挖掘方法，其特征在于，根据业务过程事件日志，挖掘出业务过程中存在的死锁与缺乏同步错误；以XES格式描述的业务过程事件日志作为输入，以PNML格式描述的包含死锁或者缺乏同步错误的过程片段为输出，该方法具体步骤为：

步骤1，解析XES描述的业务过程事件日志，获得事件序列集合L，对L进行预处理，获得分别用于发现死锁与缺乏同步错误的事件序列集合L1和L2；

步骤2，分别遍历事件序列集合L1和L2中的每条事件序列，挖掘所有事件间的关系，包括直接先于关系、因果关系、并行关系、独立关系和传递闭包关系；

直接先于关系，符号表示为，即对于任一事件序列，当，，则；

因果关系，符号表示为，当且仅当并且时，；

并行关系，符号表示为||，当且仅当, 并且时，；

独立关系，符号表示为，当且仅当并且时，；

传递闭包关系，符号表示为，当且仅当时，；

步骤3，对从事件序列集合L1中获得的事件关系集利用启发式规则1与算法，挖掘得到业务过程中所有包含死锁错误的过程片段；启发式规则1具体为：

如果存在事件t，，，，对于任意并且对于任意，存在，但是不存在使得对于任意，表示存在死锁错误；

如果该过程中包含死锁错误，利用算法挖掘得到过程中包含的所有死锁错误片段；

对从事件序列集合L2中获得的事件关系集利用启发式规则2与算法，挖掘得到业务过程中所有包含缺乏同步错误的过程片段；启发式规则2具体为：

如果存在t，，，，对于任意并且对于任意，存在，但是不存在使得对于任意，表示存在缺乏同步错误；

如果该过程中包含缺乏同步错误，利用算法挖掘得到过程中包含的所有缺乏同步错误片段。

2.根据权利要求1所述的业务过程死锁与缺乏同步错误的挖掘方法，其特征在于，步骤1具体为：

步骤1-1，解析业务过程事件日志XES文件，依次读取每一条日志信息，获得所有事件序列集合，任意一条事件序列包含n个事件，代表事件，这n个事件按照事件先后发生顺序排列；

步骤1-2，遍历事件序列集合，如果当前遍历的事件序列不以终止事件结尾，则将该事件序列置于挖掘死锁错误的事件序列集合L1中；如果当前遍历的事件序列中包含但不以结尾，或者包含连续两个以上相同事件，则将该事件序列置于挖掘缺乏同步错误的事件序列集合L2中；将L1投影到L2的集合上；

步骤1-3，分别遍历事件序列集合L1、L2，在每条事件序列中只保留每个事件的首次出现。

3.根据权利要求2所述的业务过程死锁与缺乏同步错误的挖掘方法，其特征在于，步骤2具体为：

步骤2-1，遍历事件序列集合L1，挖掘获得所有事件之间的直接先于关系；

步骤2-2，遍历事件序列集合L1中的事件集合，根据步骤2-1得到的直接先于关系集合，挖掘获得事件之间的因果关系、并行关系以及独立关系；

步骤2-3，根据步骤2-2得到的因果关系，挖掘获得事件之间的传递闭包关系；

步骤2-4，对事件序列集合L2进行步骤2-1、步骤2-2、步骤2-3操作，挖掘获得L2中所有事件之间的直接先于关系、因果关系、并行关系、独立关系以及传递闭包关系。