[发明专利]基于日志记录挖掘与组合验证的工作流建模方法

摘要

本发明公开了基于日志记录挖掘与组合验证的工作流建模方法。本发明首先从数据库中导出工作流日志，删除冗余的信息，并对日志进行分类。其次扫描无循环的工作流日志，统计任务节点发生次数同时记录下每个任务节点的跟随任务节点，及此任务节点与跟随节点共同出现的次数；根据每个任务节点及其跟随任务节点集，构建有向任务图。然后根据任务节点发生次数，以及其与跟随节点共同发生次数，为有向任务图添加控制结构，最后有向任务图转换为工作流网，利用工作流网的关联矩阵和状态方程验证已挖掘的模型的正确性。本发明可有效构建出工作流程中的顺序结构、选择结构、循环结构和并行结构，并进行了形式化验证，保证了模型的准确性。

主权项

基于日志记录挖掘与组合验证的工作流建模方法，其特征在于该方法的具体步骤是：步骤（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的关联矩阵和状态方程验证已挖掘的模型的正确性。