ZHAO Xiangpeng's Homepage


赵翔鹏
[email] (!!!NOTE!!! Please add a '/' at the end of the url if you cannot see the email address! Otherwise, most links will not work properly!)

Software Development Engineer, Microsoft ATC, Beijing, China

About myself


I received my Bachelor's degree of Science in 2003 from Xi'an Jiaotong University, majoring in computational mathematics. I received my PhD degree in 2008 from the Department of Informatics, Peking University, under the supervision of Prof. Qiu Zongyan. From Feb. 2005 to Nov. 2005, I worked as a fellow in UNU-IIST, Macau SAR, China. My advisor in UNU-IIST was Dr. Antonio Cerone. From Sep. 2007 to Mar. 2008, I was a visiting student of UCSB under the supervision of Prof. Jianwen Su.

My current interests include performance analysis of operation system, formal methods, Web services and business process management. I love programming as much as theoretical research. More information about me can be found in my (Chinese) blog www.zhaoxiangpeng.com.

Publications

    bibtex download
  1. Web服务组合的建模和分析. 赵翔鹏,
    北京大学博士论文.( pdf, slides )
  2. WS-CDL规范中文版. 裘宗燕, 赵翔鹏, 杨红丽, 蔡超 译
  3. A Formal Model of Human Workflow. Xiangpeng Zhao, Zongyan Qiu, Chao Cai, and Hongli Yang,
    To appear in 2008 IEEE International Conference on Web Services (ICWS 2008), Beijing, China.
  4. A Formal Model for Channel Passing in Web Service Composition.
    Chao Cai, Hongli Yang, Xiangpeng Zhao, and Zongyan Qiu,
    To appear in SCC 2008, 2008 IEEE International Conference on Services Computing, Honolulu, Hawaii, USA.
  5. Reasoning about channel passing in choreography.
    Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, and Zongyan Qiu,
    In Proc. of TASE 2008, 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering, Nanjing, China.
  6. Towards a Theory of Web Service Choreographies.
    Jianwen Su, Tevfik Bultan, Xiang Fu, and Xiangpeng Zhao,
    In Proc. of WS-FM 2007, Brisbane, Australia.( pdf )
  7. A QoS View of Web Service Choreography.
    Zhao Xiangpeng, Cai Chao, Yang Hongli, and Qiu Zongyan,
    In Proc. of 3rd IEEE International Workshop on Service-Oriented System Engineering (SOSE 2007), Hong Kong, China.
  8. Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation .
    Yang Hongli, Zhao Xiangpeng, Cai Chao, and Qiu Zongyan,
    In Proc. of FORTE 2007, Tallinn, Estonia. ( pdf )
  9. Towards the Theoretical Foundation of Choreography.
    Qiu Zongyan, Zhao Xiangpeng, Cai Chao, and Yang Hongli,
    In Proc. of WWW 2007, Banff, Canada. ( pdf )
  10. Exploring into the Essence of Choreography.
    Qiu Zongyan, Cai Chao, Zhao Xiangpeng, and Yang Hongli,
    Technical Report, Peking Univ., China. ( pdf )
  11. Verification of WS-CDL Choreography.
    Zhao Xiangpeng, Yang Hongli, Cai Chao, Dai Xiwu, and Qiu Zongyan,
    In AWCVS 2006, Macao SAR, China. ( pdf )
  12. Type Checking Choreography Description Language.
    Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai and Geguang Pu,
    In Proc. of ICFEM 2006, Macao SAR, China. ( pdf )
  13. Model Checking Dynamic UML Consistency.
    Zhao Xiangpeng, Yang Hongli, and Qiu Zongyan,
    In Proc. of ICFEM 2006, LNCS 4260, Macao SAR, China. ( pdf )
  14. Towards the Formal Model and Verification of Web Service Choreography Description Language.
    Zhao Xiangpeng, Yang Hongli, and Qiu Zongyan,
    In Proc. of WS-FM 2006, LNCS 4184, Vienna, Austria. ( pdf )
  15. Verifying BPEL Workflows under Authorisation Constraints.
    Xiangpeng Zhao, Antonio Cerone, Paddy Krishnan,
    In Proc. of BPM’ 06, Fourth International Conference on Business Process Management, LNCS 4102, Vienna, Austria, 2006. ( pdf )
  16. A Type System for the Relational Calculus of Object Systems.
    Zhao Liang, Zhao Xiangpeng, Long Quan and Qiu Zongyan,
    In Proc. of ICECCS'06, 11th IEEE International Conference on Engineering of Complex Computer Systems, Stanford University, CA, USA, 2006. ( pdf )
  17. A Formal Model for Web Service Choreography Description Language (WS-CDL).
    Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, and Shuling Wang,
    In Proc. of ICWS 2006, Chicago, USA. ( pdf )
  18. Theoretical Foundation of Scope-based Compensable Flow Language for Web Service.
    Geguang Pu, Huibiao Zhu, Qiu Zongyan, Shuling Wang, Zhao Xiangpeng, and Jifeng He,
    In Proc. of FMOODS'06, LNCS 4037, pp. 251–266, Springer, 2006. ( pdf )
  19. Patterns with algebraic properties in BPEL0.
    Geguang Pu, Huibiao Zhu, Jifeng He, Xiangpeng Zhao, Zongyan Qiu, and Hongli Yang,
    In Proc. of ISoLA 2006, 2nd IEEE-EASST International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Paphos, Cyprus, IEEE CS Press, 2006.
  20. Semantics of BPEL4WS-like fault and compensation handling.
    Qiu Zongyan, Wang Shuling, Pu Geguang, and Zhao Xiangpeng,
    In Proc. of FM 2005, New Castle, UK, 2005.7. Lecture Notes on Computer Science 3582, pp. 350-365, Springer, 2005. ( pdf )
  21. Towards the semantics and verification of BPEL4WS.
    Pu Geguang, Zhao Xiangpeng, Wang Shuling, and Qiu Zongyan,
    In Proc. of International Workshop on Web Languages and Formal Methods, WLFM 2005, New Castle, UK, 2005.7. ENTCS, Vol. 151, Issue 2, pp.33-52, Elsevier, 2006. ( pdf )
  22. Robust tabu search for resource predictions in high level synthesis.
    Chong Zhang, Zuoquan Lin, Geguang Pu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao,
    In Proc. of 6th Metaheuristics International Conference (MIC 2005), Vienna, Austria, 2005.8
  23. An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model.
    Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi,
    In Proc. of SEFM'04, Second IEEE International Conference on Software Engineering and Formal Methods, pp. 376-385, Beijing, China, 2004. ( pdf )

Some links