【期刊论文】Preserving Data Flow Correctness in Process Adaptation

宋巍， Wei Song， Xiaoxing Ma， S. C. Cheung， Hao Hu， Jian Lü.

Proceedings of the 7th International Conference on Services Computing (SCC), 2010, pp. 9-16.，-0001，（）：

-1年11月30日

摘要

【期刊论文】A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions

宋巍， Wei Song， Xiaoxing Ma， S. C. Cheung， Wanchun Dou， Jian Lü.

Proceedings of the 6th International Conference on Services Computing (SCC), 2009, pp. 427-434.，-0001，（）：

-1年11月30日

摘要

【期刊论文】Timed Modeling and Verification of BPEL Processes Using Time Petri Nets

宋巍， Wei Song， Xiaoxing Ma， Chunyang Ye， Wanchun Dou， Jian Lü.

Proceedings of the 9th International Conference on Quality Software (QSIC), 2009, pp. 92-97.，-0001，（）：

-1年11月30日

摘要

【期刊论文】Toward a Model-based Approach to Dynamic Adaptation of Composite Services

宋巍， Wei Song， Xiaoxing Ma， Wanchun Dou， Jian Lü.

Proceedings of the 6th IEEE International Conference on Web Services (ICWS), 2008, pp. 561-568.，-0001，（）：

-1年11月30日

摘要

【期刊论文】Safety Analysis and Performance Evaluation of Time WF-nets

宋巍， Wei Song， Wanchun Dou， Jinjun Chen， Shaokun Fan.

Proceedings of workshop on Process-Aware Information Systems, LNCS 4537, 2007, pp. 420-432.，-0001，（）：

-1年11月30日

摘要