Verifying Web Services Composition. - Yanping Yang; QingPing Tan; Yong Xiao 003 (ER (Workshops), 2005)

Model Transformation Based Verification of Web Services Composition. - Yanping Yang; QingPing Tan; Yong Xiao 003 (GCC, 2005)

Setup Algorithm of Web Service Composition. - Yanping Yang; QingPing Tan; Yong Xiao 003 (ICA3PP, 2005)

Verifying web services composition based on hierarchical colored petri nets. - Yanping Yang; QingPing Tan; Yong Xiao 003 (IHIS, 2005)

Transformation-Driven Development of Composite Web Services. - Yanping Yang; QingPing Tan; Yong Xiao 003 (ISPA Workshops, 2005)

Verifying Web Services Composition: A Transformation-Based Approach. - Yanping Yang; QingPing Tan; Yong Xiao 003; Jinshan Yu; Feng Liu 029 (PDCAT, 2005)

Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification. - Yanping Yang; QingPing Tan; Yong Xiao 003; Feng Liu 029; Jinshan Yu (APWeb, 2006)

Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow. - Yanping Yang; QingPing Tan; Yong Xiao 003; Jinshan Yu; Feng Liu 029 (SAINT, 2006)