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)
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)