Design of the executable business state-model process based on finite state machine | IEEE Conference Publication | IEEE Xplore