Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede. Formal semantics and analysis of control flow in WS-BPEL. Science of Computer Programming, 67(2-3):162-198, 2007. [doi]
Abstract is missing.