Type Checking Choreography Description Language. - Hongli Yang; Xiangpeng Zhao; Zongyan Qiu; Chao Cai 002; Geguang Pu (ICFEM, 2006)

Tool Support for BPEL Verification in ActiveBPEL Engine. - Yi Qian; Yuming Xu; Zheng Wang 005; Geguang Pu; Huibiao Zhu; Chao Cai 002 (ASWEC, 2007)

Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. - Hongli Yang; Xiangpeng Zhao; Chao Cai 002; Zongyan Qiu (FORTE, 2007)

A QoS View ofWeb Service Choreography. - Xiangpeng Zhao; Chao Cai 002; Hongli Yang; Zongyan Qiu (ICEBE, 2007)

Towards the theoretical foundation of choreography. - Zongyan Qiu; Xiangpeng Zhao; Chao Cai 002; Hongli Yang (WWW, 2007)

A Formal Model for Channel Passing in Web Service Composition. - Chao Cai 002; Hongli Yang; Xiangpeng Zhao; Zongyan Qiu (IEEE SCC (2), 2008)

Correct Channel Passing by Construction. - Chao Cai 002; Zongyan Qiu; Xiangpeng Zhao; Hongli Yang (ICFEM, 2008)

An Approach to Check Choreography with Channel Passing in WS-CDL. - Chao Cai 002; Zongyan Qiu (ICWS, 2008)

A Formal Model of Human Workflow. - Xiangpeng Zhao; Zongyan Qiu; Chao Cai 002; Hongli Yang (ICWS, 2008)

Model-Checking of Web Services Choreography. - Hongli Yang; Xiangpeng Zhao; Chao Cai 002; Zongyan Qiu (SOSE, 2008)

Reasoning about Channel Passing in Choreography. - Hongli Yang; Chao Cai 002; Liyang Peng; Xiangpeng Zhao; Zongyan Qiu (TASE, 2008)

Verification of channel passing in choreography with model checking. - Liyang Peng; Chao Cai 002; Zongyan Qiu; Geguang Pu (SOCA, 2009)

Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling. - Chao Cai 002; Zongyan Qiu; Hongli Yang; Xiangpeng Zhao (J. Comput. Sci. Technol., 2009)

Algorithms for checking channel passing in web service choreography. - Hongli Yang; Chao Cai 002; Liyang Peng; Xiangpeng Zhao; Zongyan Qiu; Shengchao Qin (Frontiers Comput. Sci., 2013)