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

Email:

liux

seg.nju.edu.cn

[Research Interests] [Education] [Projects] [Publications] [Tools] [Awards] [Activities] [Personal]

Research Interests

Service oriented computing
Web services analysis and verification
Software engineering

Besides I am also eager to know more about: 1) Web services formalization and verification, 2) Program analysis on service-based applications, 3) Services compatibility and automatic composition, 4) Web services (composition) testing / run-time verification, 5) Emerging services computing paradigms and technologies.

[TOP]

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.

[TOP]

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)

[TOP]

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)

[TOP]

Tools

SSCC (Service Scenario-based Consistency Checker)

[TOP]

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

[TOP]

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)