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

Dynamic Data Refining Strategy for Soundness Verification Based on WFT-net

作　　者：陶小燕[1,2] 闫春钢 刘关俊[1,2] TAO Xiao-yan;YAN Chun-gang;LIU Guan-jun(College of Computer Science and Technology,Tongji University,Shanghai 201804,China;The Key Laboratory of the Ministry of Education for Embedded System and Service Computing,Tongji University,Shanghai 201804,China)

机构地区：[1]同济大学计算机科学与技术系,上海201804 [2]同济大学嵌入式系统与服务计算教育部重点实验室,上海201804

出　　处：《计算机科学》2021年第7期99-104,共6页Computer Science

基　　金：国家重点研发项目(2018YFB2100801)。

摘　　要：带有数据表的工作流网(WFT-net)用于验证业务流程的合理性,包括正确的行为逻辑和满足的数据需求。在某些情况下,静态数据精炼策略存在无法反映流程中所有可能执行路径的情况,这会导致检测正确率不理想等问题。为此,文中提出了一种新的动态数据精炼策略。首先,提出了在流程运行当前状态下评估与被写数据元素相关联的数据表和谓词状态的方法,捕捉数据流状态的实时变化,全面反映流程执行所有可达的状态,避免执行路径的丢失。此外,当流程执行陷入会导致数据流状态无限更新的循环时,通过适当调整赋值精炼规则的方式,来避免状态的无限延伸。然后,基于所有可能执行路径来检测流程的合理性。最后,在不同业务流程实例上的实验结果表明,该动态数据精炼策略能够有效提高合理性检测的正确率。The workflow net with data tables(WFT-net)has been proposed to verify the soundness of business processes,to ensure the correctness of business logics and the satisfiability of data requirements.In some cases,the static data refining strategy may not reflect all possible execution situations of the business process,which can cause problems such as poor detection accuracy.To this end,a new dynamic data refining strategy is proposed in this paper.First,a method for evaluating the status of tables and predicates associated with the written data element in the current state of the WFT-net is given,to capture real-time changes in data-flow status,and to fully reflect all reachable states in process execution,so as to avoid the loss of the execution path.In addition,when the process execution is caught in a loop that will cause the data-flow status to be updated infinitely,the data assignment rules are appropriately adjusted to avoid the consequent infinite state.Then,the soundness of the business process is verified based on its all possible execution situations.At last,experimental results based on different business process instances show that the dynamic data refining strategy is able to improve the accuracy of soundness verification.

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

分 类 号：TP306[自动化与计算机技术—计算机系统结构]