Verification for Time Consistency of Web Service Flow. - Rujuan Liu; Changjun Hu; Chongchong Zhao; Zhong Gao (ACIS-ICIS, 2008)

Timing Constraints Specification and Verification for Web Service Compositions. - Guilan Dai; Rujuan Liu; Chongchong Zhao; Changjun Hu (APSCC, 2008)

A Verification Method for Temporal Consistency of Service Flow. - Rujuan Liu; Guilan Dai; Changjun Hu; Chongchong Zhao (COMPSAC, 2008)

Model Checking for Web Service Flow Based on Annotated OWL-S. - Rujuan Liu; Changjun Hu; Chongchong Zhao (SNPD, 2008)