A Method for Transforming Workflow Processes to CSS

Author

Xiao Jing ; Wu Guo-qing ; Chen Shu

Author_Institution

Comput. Sch., Wuhan Univ., Wuhan

Volume

1

fYear

2009

fDate

22-24 Jan. 2009

Firstpage

295

Lastpage

299

Abstract

In this paper, we proposed a method to transform the workflow processes into CCS, and the workflow process is described in activity network charts. For the first, we used CCS to describe the six basic logical relations of the workflow model, and then based on the basic expressions, we illustrate how to transform the whole workflow model to CCS process expressions.We provide the exact formalization basis for the workflow model, and express its operational semantics in the form of synchronous tree, at last we use the synchronous tree to verify the correctness of the workflow processes.

Keywords

computer communications software; flowcharting; formal logic; trees (mathematics); workflow management software; CCS; computer communications software; logical relations; operational semantics; synchronous tree; workflow process; Carbon capture and storage; Cascading style sheets; Computer networks; Finishing; Information technology; Process control; Research and development; CCS; activity network charts; correctness; operational semantics; workflow process;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Engineering and Technology, 2009. ICCET '09. International Conference on

Conference_Location

Singapore

Print_ISBN

978-1-4244-3334-6

Type

conf

DOI

10.1109/ICCET.2009.106

Filename

4769475