Fang Zhao1, Dongming Xiang2,*, Guanjun Liu1, Changjun Jiang1, Honghao Zhu3
CMES-Computer Modeling in Engineering & Sciences, Vol.131, No.3, pp. 1337-1363, 2022, DOI: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… More >
Login
Register
