A modeling method based on CCS for workflow

Li Zhao, Qing Li, Xiaoli Liu, Nanshan Du

Abstract: Workflow model is used to generate a computerized definition of a business process and help the designer to design, test and validate workflow process. Convenient for verification and optimization, formalized technologies on modeling receive large attentions for their strong theoretic bases. However, none of the existing methods can meet complicated requirements in current business environments. In this paper, we introduce a new modeling method based on the Calculus of Communicating Systems (CCS) to describe behaviors between processes in intricate workflows, by adding dependent constraints and parameters into activity expressions. We provide a specification language to establish a formal model and capture its relevant graphical model in succession. The modeling method is explicated through an example as a case study.