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

Author

Guo, Lihua ; Lu, Zhao ; Gu, Junzhong

Author_Institution

East China Normal Univ., Shanghai

fYear

2007

fDate

22-24 Aug. 2007

Firstpage

165

Lastpage

169

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

communicating sequential processes; formal verification; programming language semantics; workflow management software; CSP; FILLORDER; automated model checker FDR; communicating sequential processes; semantic modeling; verification approach; workflow modeling; workflow process; workflow verification; Automatic control; Communication system control; Computer science; Engines; Interleaved codes; State estimation; System recovery; Unified modeling language; Visualization; Waste materials; CSP; modeling; verification; workflow;

fLanguage

English

Publisher

ieee

Conference_Titel

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

Conference_Location

Shanghai

Print_ISBN

978-1-4244-1008-8

Electronic_ISBN

978-1-4244-1009-5

Type

conf

DOI

10.1109/CHINACOM.2007.4469354

Filename

4469354