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

摘要：

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

关键词：Petri网;数据表;合理性;数据精炼;循环结构

所属期刊栏目：48

分类号：TP306(计算技术、计算机技术)

资助基金：国家重点研发项目2018YFB2100801

在线出版日期：2021-08-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：99-104