By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Lihua Guo ; East China Normal Univ., Shanghai ; Zhao Lu ; Junzhong Gu

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.

Published in:

Communications and Networking in China, 2007. CHINACOM '07. Second International Conference on

Date of Conference:

22-24 Aug. 2007