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

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

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

-1年11月30日

摘要

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

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

软件学报, 2011, 22(3): 417-438.，-0001，（）：

-1年11月30日

摘要

【期刊论文】Web服务组合动态演化的实例可迁移性

宋巍， 马晓星， 吕建.

计算机学报, 2009, 32(9): 1816-1831.，-0001，（）：

-1年11月30日

摘要

【期刊论文】时间约束Petri网及其可调度性分析与验证

宋巍， 窦万春， 刘茜萍.

软件学报, 2007, 18(1): 11-21.，-0001，（）：

-1年11月30日

摘要

【期刊论文】Refactoring and Publishing WS-BPEL Processes to Obtain More Partners

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

Proceedings of the 9th International Conference on Web Services (ICWS), 2011, pp.129-136.，-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日

摘要

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

摘要