Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints

Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints

The correctness verification is very important for workflow systems. It is closely related with both control-flows and data-flows. Workflow nets with data (WFD-nets) are a kind of formal model that can reflect some logical structures of workflow systems, e.g., choice and concurrency, and represent s...

Full description

Bibliographic Details
Main Authors: Yaqiong He, Guanjun Liu, Dongming Xiang, Jiaquan Sun, Chungang Yan, Changjun Jiang
Format: Article
Language:English
Published: IEEE 2018-01-01
Series:IEEE Access
Subjects:
Workflow systems
data constraints
Petri nets
soundness
Online Access:https://ieeexplore.ieee.org/document/8293772/

Similar Items

Similar Items