| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. QingPing Tan Yanping Yang , QingPing Tan, Yong Xiao , Feng Liu , Jinshan Yu : Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification. APWeb 2006 : 275-284 Yanping Yang , QingPing Tan, Yong Xiao , Jinshan Yu , Feng Liu : Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow. SAINT 2006 : 116-122 Yanping Yang , QingPing Tan, Yong Xiao : Verifying Web Services Composition. ER (Workshops) 2005 : 354-363 Yanping Yang , QingPing Tan, Yong Xiao : Model Transformation Based Verification of Web Services Composition. GCC 2005 : 71-76 Yanping Yang , QingPing Tan, Yong Xiao : Setup Algorithm of Web Service Composition. ICA3PP 2005 : 139-148 Yanping Yang , QingPing Tan, Yong Xiao : Verifying web services composition based on hierarchical colored petri nets. IHIS 2005 : 47-54 Yanping Yang , QingPing Tan, Yong Xiao : Transformation-Driven Development of Composite Web Services. ISPA Workshops 2005 : 637-646 Yanping Yang , QingPing Tan, Yong Xiao , Jinshan Yu , Feng Liu : Verifying Web Services Composition: A Transformation-Based Approach. PDCAT 2005 : 546-548 1 [ 1 ] [ 7 ] [ 8 ] 2 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] 3 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] 4 [ 1 ] [ 7 ] [ 8 ]  ©2006 Association for Computing Machinery |
