WofBPEL: A Tool for Automated Analysis of BPEL Processes.

Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede

Browse the full ICSOC paper archive.