基于WFT-net验证合理性的动态数据精炼策略

• 作者: 陶小燕 闫春钢 刘关俊
• 来源期刊: 计算机科学
• 关键词: Petri网 数据表 合理性 数据精炼 循环结构
• 年，卷（期）: 2021,（7）
• 所属期刊栏目: 数据库&大数据&数据科学|Database & Big Data & Data Science
• 页码范围: 99-104
• 页数: 6页
• 分类号: TP306
• 语种: 中文
• DOI: 10.11896/jsjkx.200700125

摘要

带有数据表的工作流网(WFT-net)用于验证业务流程的合理性,包括正确的行为逻辑和满足的数据需求.在某些情况下,静态数据精炼策略存在无法反映流程中所有可能执行路径的情况,这会导致检测正确率不理想等问题.为此,文中提出了一种新的动态数据精炼策略.首先,提出了在流程运行当前状态下评估与被写数据元素相关联的数据表和谓词状态的方法,捕捉数据流状态的实时变化,全面反映流程执行所有可达的状态,避免执行路径的丢失.此外,当流程执行陷入会导致数据流状态无限更新的循环时,通过适当调整赋值精炼规则的方式,来避免状态的无限延伸.然后,基于所有可能执行路径来检测流程的合理性.最后,在不同业务流程实例上的实验结果表明,该动态数据精炼策略能够有效提高合理性检测的正确率.