Detecting and Repairing Data-Flow Errors in WFD-net Systems
作者机构：School of Electronics and Information EngineeringTongji UniversityShanghai201804China School of Information Science and TechnologyZhejiang Sci-Tech UniversityHangzhou310018China School of Computer EngineeringBengbu UniversityBengbu233030China
出 版 物：《Computer Modeling in Engineering & Sciences》 (工程与科学中的计算机建模（英文）)
年 卷 期：2022年第131卷第6期
页 面：1337-1363页
核心收录：
学科分类：0809[工学-电子科学与技术（可授工学、理学学位）] 08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：supported in part by the Shanghai Science and Technology Innovation Action Plan(Grant No.19511101300) in part by the Key Laboratory of EMBEDded System and Service Computing(Ministry of Education)(Grant Nos.ESSCKF201902 and ESSCKF202102) in part by the National Nature Science Foundation of China(Grant Nos.62172299 and 62032019).
主 题：Data-flow errors WFD-net weak behavioral relations system requirements
摘 要：Workflow system has become a standard solution for managing a complex business process.How to guarantee its correctness is a key requirement.Many methods only focus on the control-flow verification,while they neglect the modeling and checking of data-flows.Although some studies are presented to repair the data-flow errors,they do not consider the effect of delete operations or weak circulation relations on the repairing results.What’s more,repairing some data-flow errors may bring in new errors.In order to solve these problems,we use workflow net with data(WFD-net)systems to model and analyze a workflow system.Based on weak behavioral relations and order relations in a WFD-net system,we formalize four kinds of data-flow errors.After then,we reveal the relations between these errors and organize them into a hierarchy.Furthermore,we propose some new methods to repair data-flow errors in a WFD-net system based on system requirements and repair strategies.Finally,a case study of campus-card recharging shows the applicability of our methods,and a group of experiments show their advantages and effectiveness.
维普期刊数据库