APP下载
[00066099]基于日志记录挖掘与组合验证的工作流建模方法
联系人： 蒋华峰
所在地：浙江 杭州市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
本发明公开了基于日志记录挖掘与组合验证的工作流建模方法。本发明首先从数据库中导出工作流日志，删除冗余的信息，并对日志进行分类。其次扫描无循环的工作流日志，统计任务节点发生次数同时记录下每个任务节点的跟随任务节点，及此任务节点与跟随节点共同出现的次数；根据每个任务节点及其跟随任务节点集，构建有向任务图。然后根据任务节点发生次数，以及其与跟随节点共同发生次数，为有向任务图添加控制结构，最后有向任务图转换为工作流网，利用工作流网的关联矩阵和状态方程验证已挖掘的模型的正确性。本发明可有效构建出工作流程中的顺序结构、选择结构、循环结构和并行结构，并进行了形式化验证，保证了模型的准确性。
