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