Correctness of Concurrency Based on Semantic Constraint Resource Workflow

Correctness of concurrency transition in control flow construction is the foundation of workflow verification In this paper, definition of resource semantic constraint workflow nets is presented, and data semantic of control flow is enriched Two aspects of correctness of concurrency in control flow are given: the first is algorithms to detect inconsistency between control flow and data semantic of control flow; the second is a concurrency scheduling mechanism based on semantic constraint Algorithms of requesting lock and releasing lock are proposed to guarantee correctness of workflow instance