Open Access iconOpen Access

ARTICLE

crossmark

Detecting and Repairing Data-Flow Errors in WFD-net Systems

Fang Zhao1, Dongming Xiang2,*, Guanjun Liu1, Changjun Jiang1, Honghao Zhu3

1 School of Electronics and Information Engineering, Tongji University, Shanghai, 201804, China
2 School of Information Science and Technology, Zhejiang Sci-Tech University, Hangzhou, 310018, China
3 School of Computer Engineering, Bengbu University, Bengbu, 233030, China

* Corresponding Author: Dongming Xiang. Email: email

Computer Modeling in Engineering & Sciences 2022, 131(3), 1337-1363. https://doi.org/10.32604/cmes.2022.018872

Abstract

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.

Keywords


Cite This Article

APA Style
Zhao, F., Xiang, D., Liu, G., Jiang, C., Zhu, H. (2022). Detecting and repairing data-flow errors in wfd-net systems. Computer Modeling in Engineering & Sciences, 131(3), 1337-1363. https://doi.org/10.32604/cmes.2022.018872
Vancouver Style
Zhao F, Xiang D, Liu G, Jiang C, Zhu H. Detecting and repairing data-flow errors in wfd-net systems. Comput Model Eng Sci. 2022;131(3):1337-1363 https://doi.org/10.32604/cmes.2022.018872
IEEE Style
F. Zhao, D. Xiang, G. Liu, C. Jiang, and H. Zhu "Detecting and Repairing Data-Flow Errors in WFD-net Systems," Comput. Model. Eng. Sci., vol. 131, no. 3, pp. 1337-1363. 2022. https://doi.org/10.32604/cmes.2022.018872



cc This work is licensed under a Creative Commons Attribution 4.0 International License , which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
  • 1323

    View

  • 659

    Download

  • 0

    Like

Related articles

Share Link