LIU Xi (柳溪)

Ph.D. Candidate Software Engineering Group State Key Laboratory for Novel Software and Technology Department of Computer Science and Technology Nanjing University Room 503, Mengmingwei Building, 22 Hankou Road Nanjing, China 210093

Research Interests

• Service oriented computing
• Web services analysis and verification
• Software engineering

Education

• Ph.D. Candidate Department of Computer Science and Technology, Nanjing University, June 2011 (Expected). Supervisor: Prof. Xuandong Li.
• M.S. Department of Computer Science and Technology, Nanjing University, Upgraded to Ph.D. June 2008. Supervisor: Prof. Xuandong Li.
• B.S. Department of Computer Science and Technology, Nanjing University, June 2006.
  
  

Projects

• Agentized and service oriented internetware modelling, methodology and dependability assurance
  (973 National Basic Research Program, 2009CB320702, 2009-2013)
• Reorganization and comprehension based software dependability evaluation architecture and supporting techniques
  (National Natural Science Foundation of China, 90818022, 2009-2012)
• Key technologies and supporting tools for model-driven software testing and verification
  (863 High Tech Plan, 2008)
• Software service composition and its quality assurance techniques
  (Natural Science Foundation of Jiangsu Province, 2008-2010)
• A production line for analysis and evaluation of software dependability
  (863 High Tech Plan, 2007AA010302)
• Scenario-based behavior obtainment and verification of web services composition
  (National Natural Science Foundation of China, 60673125, 2007-2009)

Past Projects

• Internetware formalization theory and approach
  (973 National Basic Research Program, 2002CB312001)

Publications

• LIU Guohua, LIU Xi, QIN Haihuan, SU Jianwen, YAN Zhimin, ZHANG Liang. Automated Realization of Business Workflow Specification. 1st International Workshop on SOA, Globalization, People, & Work (SG-PAW 2009). November, 2009. (accepted)
• 杨璐, 柳溪, 王林章, 陈鑫, 李宣东. 面向基于场景规约的Web服务消息流分析与验证. 计算机学报,第32卷 第9期. 2009年9月. 1759-1772.
  YANG Lu, LIU Xi, WANG Linzhang, CHEN Xin, LI Xuandong. Scenario-Based Analysis and Verification for Web Services Message Flows. Chinese Journal of Computers, Vol.32 No.9. September, 2009. pp 1759-1772. (in Chinese)
• Technical Reports:
  YANG Lu, LIU Xi, LI Xuandong. Scenario-based Verification of Web Services Communication and Composition. Technical Report, Software Engineering Group, Nanjing University. October, 2008.
  LIU Xi, LI Xuandong. A Preliminary Approach for Web Service Behavior Control. Technical Report, Software Engineering Group, Nanjing University. January, 2008.
  LIU Xi. Survey on Formalization of Web Services. Technical Report, Software Engineering Group, Nanjing University. April, 2007. (In Chinese)
  LIU Xi. Case Study: A BPEL4WS Based Travel Agent Service. Technical Report, Software Engineering Group, Nanjing University. June, 2006. (In Chinese)
  

Tools

• SSCC: Prototype tool for service scenario-based consistency checking
• BASIS v0.1.0: Prototype tool for behavior analysis and extraction of interactive web services

Awards

• Jiangsu Government Scholarship, Nanjing University, 2005
• The People's scholarship - Rank 2, Nanjing University, 2004
• The People's scholarship - Rank 3, Nanjing University, 2003

Activities

• Participate in work group led by Prof. Jianwen Su (UCSB) on Artifact-centric business process modeling at Fudan Univ., Shanghai, China.
• Participated in organizing and volunteer for 11th IEEE High Assurance Systems Engineering Symposium (HASE 2008, Dec. 3-5, 2008, Nanjing, China)
• Volunteer for IEEE 2008 International Conference on Web Services (ICWS 2008, Sep. 23 -26, 2008, Beijing, China)
• Participated in organizing and volunteer for 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008, Jun. 17-19, 2008, Nanjing, China)
• UNU-IIST Spring School on Foundation and Advance Software Engineering (Apr. - May, 2008, Guizhou Normal University, Guiyang, China)
• Artist2/UNU-IIST 2007 Summer School (Aug. 1-10, 2007, Soochow University, Suzhou)
• Web master of Software Engineering Group website since 2007
• High Dependability Computing Technology Seminar (Aug. 7-18, 2006, East China Normal University, Shanghai, China)

Personal

• Curriculum Vitae
    Here to download: My CV.


• About me
    Want to know more about me, click here.


• Some of my friends' homepages

YU Xiaofeng (于笑丰) Tian ZHANG (张天) Bin Lei (雷斌) Bu Lei (卜磊) Zhanqi Cui (崔展齐)
CHEN Xiang (陈翔) Shu-Jian HUANG (黄书剑) Yangsheng JI (吉阳生) Jun-Ming Xu (眭俊明) Xiang-Nan Kong (孔祥南) Yu-Feng Li (李宇峰)
Yang Jiao (焦阳)

　　Last update: