Search the dblp DataBase

Publications of Author

1. Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao
   Semantics of BPEL4WS-Like Fault and Compensation Handling. [Citation Graph (0, 0)][DBLP]
   FM, 2005, pp:350-365 [Conf]
   
2. Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He
   Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2006, pp:251-266 [Conf]
   
3. Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu
   Type Checking Choreography Description Language. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2006, pp:264-283 [Conf]
   
4. Xiangpeng Zhao, Quan Long, Zongyan Qiu
   Model Checking Dynamic UML Consistency. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2006, pp:440-459 [Conf]
   
5. Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang
   A Formal Model forWeb Service Choreography Description Language (WS-CDL). [Citation Graph (0, 0)][DBLP]
   ICWS, 2006, pp:893-894 [Conf]
   
6. Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi
   An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. [Citation Graph (0, 0)][DBLP]
   SEFM, 2004, pp:376-385 [Conf]
   
7. Xiangpeng Zhao, Hongli Yang, Zongyan Qiu
   Towards the Formal Model and Verification of Web Service Choreography Description Language. [Citation Graph (0, 0)][DBLP]
   WS-FM, 2006, pp:273-287 [Conf]
   
8. Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu
   Towards the Semantics and Verification of BPEL4WS. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:151, n:2, pp:33-52 [Journal]
   
9. Yang Hongli, Zhao Xiangpeng, Cai Chao, Qiu Zongyan
   Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. [Citation Graph (0, 0)][DBLP]
   FORTE, 2007, pp:81-96 [Conf]
   
10. Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
    A Type System for the Relational Calculus of Object Systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:189-198 [Conf]
    
11. Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang
    Towards the theoretical foundation of choreography. [Citation Graph (0, 0)][DBLP]
    WWW, 2007, pp:973-982 [Conf]
    
12. 
    A Formal Model for Channel Passing in Web Service Composition. [Citation Graph (, )][DBLP]
    
    
13. 
    A QoS View ofWeb Service Choreography. [Citation Graph (, )][DBLP]
    
    
14. 
    Correct Channel Passing by Construction. [Citation Graph (, )][DBLP]
    
    
15. 
    A Formal Model of Human Workflow. [Citation Graph (, )][DBLP]
    
    
16. 
    Patterns with Algebraic Properties in BPEL0. [Citation Graph (, )][DBLP]
    
    
17. 
    Towards a Theory of Web Service Choreographies. [Citation Graph (, )][DBLP]
    
    
18. 
    Model-Checking of Web Services Choreography. [Citation Graph (, )][DBLP]
    
    
19. 
    Enforcing Constraints on Life Cycles of Business Artifacts. [Citation Graph (, )][DBLP]
    
    
20. 
    Reasoning about Channel Passing in Choreography. [Citation Graph (, )][DBLP]