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
• Service-based business process modeling and analysis
• Software verification and testing
• Software engineering

Education

• Ph.D. Candidate Department of Computer Science and Technology, Nanjing University, September 2012. Supervisor: Prof. LI Xuandong.
• M.S. Department of Computer Science and Technology, Nanjing University, Upgraded to Ph.D. June 2008. Supervisor: Prof. LI Xuandong.
• B.S. Department of Computer Science and Technology, Nanjing University, June 2006.
  
  

Projects

• 网构化软件可信评估技术与工具
  (863主题项目课题 2012AA011205)
• CPS设计与实现技术
  (863主题项目课题 2011AA010103)
• 交织场景驱动的信息物理融合系统行为建模与测试技术研究
  (国家自然科学基金委面上项目 61170066)
• 基于认识理解途径软件可信性度量评估体系支撑技术研究
  (国家自然科学基金90818022)
• 主体化、服务化的网构软件模型、方法及可信保障
  (973-国家重点基础研究发展计划2009CB320702)
• 模型驱动的软件测试与验证关键技术及支撑工具
  (863计划导向性项目 2009AA01Z148)
• 支持软件可信性分析和评估的生产线
  (863计划重点项目课题 2007AA010302)
• Software service composition and its quality assurance techniques
  (Natural Science Foundation of Jiangsu Province, 2008-2010)
• Internetware formalization theory and approach
  (973 National Basic Research Program, 2002CB312001)

Publications

• LIU Xi, SU Jianwen and LI Xuandong. Proactive enforcement of data consistency by business processes. In Proc. of Asia-Pacific Software Engineering Conference (APSEC) – Emerging Research Track, 2012. (to appear)
• CUI Zhanqi, WANG Linzhang, LIU Xi, BU Lei, ZHAO Jianhua, LI Xuandong. Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri-net Analyzer. In Proc. of International Conference on Software Engineering and Knowledge Engineering, 2012. (to appear)
• LIU Xi, SU Jianwen, and YANG Jian. Preservation of Integrity Constraints by Workflow. In Proc. of International Conference on Cooperative Information Systems (CoopIS), 2011. LNCS, Springer, page 64-81.
• SUN Yutian, LIU Xi, KUCUKOGUZ Esra, SU Jianwen and YANG Jian. Towards an artifact-centric workflow management system. In Proc. of Chinese Conference on Business Process Management, Computer Integrated Manufacturing Systems volume 17, 2011. Page 1709–1721.
• 柳溪, 杨璐, 潘敏学, 王林章. 场景驱动的服务行为调控. 软件学报. 2011, 22(6):1185−1198.
  LIU Xi, YANG Lu, PAN Minxue, WANG Linzhang. Scenario-Driven service behavior manipulation. Journal of Software, 2011, 22(6) : 1185−1198. (in Chinese with English Abstract)
• 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. Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, volume 6275 of LNCS, pages 96–108. Springer, 2010.
• 杨璐, 柳溪, 王林章, 陈鑫, 李宣东. 面向基于场景规约的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 with English Abstract)
  
  
• 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

• Guorui (国睿) Scholarship, CETC 14, Nanjing
• Jiangsu Province Government Scholarship, Nanjing University, 2005
• The People's scholarship - Rank 2, Nanjing University, 2004
• The People's scholarship - Rank 3, Nanjing University, 2003

Activities

• Research during visit to University of California at Santa Barbara, USA, supervised by Prof. Oscar H. Ibarra and Prof. Jianwen SU, Nov. 2010 - Nov. 2011.
• Research during visit to UNU-IIST at Macao SAR, supervised by Jeff SANDERS and co-work with Dr. Shaofa YANG, Jan. 2010 - Oct. 2010.
• Research during visit to University of Leicester at Macau, United Kingdom, supervised by Prof. José FIADEIRO, Sep. 2009 - Oct. 2009.


• 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)
• High Dependability Computing Technology Seminar (Aug. 7-18, 2006, East China Normal University, Shanghai, China)


• Web master of Software Engineering Group website, 2007-2008

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: