A Semantic Modeling and Verification Approach of Workflow Process Based on CSP

Recently, researches on the workflow modeling and verification mostly focused on the structure of workflow process pay less attention to descript data, resources, and structure of a workflow process simultaneously. This paper proposes a novel semantic modeling and verification approach of a workflow which can describe these three parts at the same time based on CSP. The effective of the approach is showed by an example subprocess FILLORDER and is supported by the automated model checker FDR.