Generating Scenarios from Web Service Choreography. - Ke Zhang Ke; Zongyan Qiu; Hongli Yang (APSCC, 2011)