[1] OASIS. Web service business process execution language (WS-BPEL) . (2007-04-11). http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0. pdf. [2] Sun Ping, Jiang Changjun. Analysis of workflow dynamic changes based on Petri net[J]. Information and Software Technology, 2009, 51(2): 284-292. [3] Mukherjee A, Tari Z, Bertok P. Modeling of BPEL composite services using clustered coloured Petri-nets//SERVICES-2’09. Washington: ACM Press, 2009: 55-62. [4] Lucchi R, Mazzara M. A pi-calculus based semantics for WS- BPEL [J]. Journal of Logic and Algebraic Programming Web Services and Formal Methods, 2007, 70(1): 96-118. [5] Yan Jun, Li Zhongjie, Yuan Yuan, et al. BPEL4WS unit testing: test case generation using a concurrent path analysis approach //ISSRE’06. Washington: ACM Press, 2006: 75-84. [6] 宫云战. 一种面向故障的软件测试新方法[J]. 装甲兵工程学院学报, 2004, 18(1): 21-25. Gong Yunzhan. An introduction to the software technique oriented software faults test model[J]. Journal of Academy of Armored Force Engineering, 2004, 18(1): 21-25. [7] 宫云战. 软件测试教程[M]. 北京: 机械工业出版社, 2006: 89-134. [8] 杨朝红, 宫云战, 肖庆, 等. 基于软件缺陷模型的测试系统[J]. 北京邮电大学学报, 2008, 31(5): 1-4. Yang Zhaohong, Gong Yunzhan, Xiao Qing, et al. A defect model based testingsystem [J]. Journal of Beijing University of Posts and Telecommunications, 2008, 31(5): 1-4. [9] Huynh K. Analysis through refection: walking the EMF model of BPEL4WS. Toronto: York University, 2005. [10] Aho A V, Sethi R, Ullman J D. Compilers: prin2ciples, techniques, and tools [M]. Beijing: Posts &Telecom Press, Pearson Education, 2002: 608-633. |