【期刊论文】过程感知信息系统中过程的动态演化

宋巍， 马晓星， 胡昊， 吕建.

软件学报, 2011, 22(3): 417-438.，-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日

摘要

【期刊论文】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日

摘要

【期刊论文】WS-BPEL服务可替换性分析

宋巍， 唐金辉， 张功萱， 马晓星.

中国科学 (F辑: 信息科学), 2012, 42(3): 264-279.，-0001，（）：

-1年11月30日

摘要