A Semantic Modeling and Verification Approach Workflow Process Based on CSP

Lihua Guo; Zhao Lu; Junzhong Gu

2nd International ICST Conference on Communications and Networking in China

Research Article

A Semantic Modeling and Verification Approach Workflow Process Based on CSP

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.1109/CHINACOM.2007.4469354,
    author={Lihua Guo and Zhao Lu and Junzhong Gu},
    title={A Semantic Modeling and Verification Approach Workflow Process Based on CSP},
    proceedings={2nd International ICST Conference on Communications and Networking in China},
    publisher={IEEE},
    proceedings_a={CHINACOM},
    year={2008},
    month={3},
    keywords={workflow; CSP; modeling; verification},
    doi={10.1109/CHINACOM.2007.4469354}
}

Lihua Guo
Zhao Lu
Junzhong Gu
Year: 2008
A Semantic Modeling and Verification Approach Workflow Process Based on CSP
CHINACOM
IEEE
DOI: 10.1109/CHINACOM.2007.4469354

Lihua Guo¹^,*, Zhao Lu¹^,*, Junzhong Gu¹^,*

1: Dept. of Computer Science East China Normal University Shanghai, China

*Contact email: huhucalf107@tom.com, zlu@cs.ecnu.edu.cn, jzgu@cs.ecnu.edu.cn

Abstract

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.

Keywords: workflow; CSP; modeling; verification

Published: 2008-03-07
Publisher: IEEE
Modified: 2011-07-13

: http://dx.doi.org/10.1109/CHINACOM.2007.4469354