Title :
A Method for Transforming Workflow Processes to CSS
Author :
Xiao Jing ; Wu Guo-qing ; Chen Shu
Author_Institution :
Comput. Sch., Wuhan Univ., Wuhan
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;
Conference_Titel :
Computer Engineering and Technology, 2009. ICCET '09. International Conference on
Conference_Location :
Singapore
Print_ISBN :
978-1-4244-3334-6
DOI :
10.1109/ICCET.2009.106
