Design of the executable business state-model process based on finite state machine. - Xiao-Qiang Zheng; Min Liu 002; Junwei Yan (CSCWD, 2012)