Detecting Data Inconsistency Based on Workflow Nets With Tables
For a data element concurrently accessed by multiple threads or stored at different locations, improper data operations will cause its values to be inconsistent. This could damage the correctness of workflow systems. Limited by modeling method, most existing researches can only discuss this issue in...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2021-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/9446048/ |