Binding Abstract Business Process and Actual Web Services Using Finite State Automata. - Gao, Kun; Xi, Lifeng; Wang, Qin (2009)