Hongli Yang Xiangpeng Zhao Zongyan Qiu Geguang Pu Shuling Wang A Formal Model forWeb Service Choreography Description Language (WS-CDL). 893-894 2006 conf/icws/2006 ICWS http://doi.ieeecomputersociety.org/10.1109/ICWS.2006.3 db/conf/icws/icws2006.html#YangZQPW06