Computer Science ›› 2017, Vol. 44 ›› Issue (1): 203-207, 225.doi: 10.11896/j.issn.1002-137X.2017.01.039

Previous Articles     Next Articles

Research on BPEL Test Sequence Generation for Web Services Combination


  • Online:2018-11-13 Published:2018-11-13

Abstract: A kind of concurrent-based mode of control flow was proposed for the analysis and verification of interactions of Web services composition,which contains many complex concurrent behaviors using BPEL language.A formal for concurrent control flow and an efficient algorithm were also presented to generate BPEL testing sequence.First,we discussed many possible situations in Web services process by analyzing BPEL files,and translated the BPEL process source code into concurrent flow diagram to simplify the model.Then,the algorithm of executive paths of services composition process was discussed,and the algorithm can find out the sum of all executive paths and node passed by the paths.Finally,an example of composite service was given to proof the usability.The algorithm is the basis of full-scale test of Web services composition process,the research and implement of web services composition.

Key words: Web services,Composition testing,Mapping conversion,BPEL process,Composition route

[1] VAN DER ALST WM P,DUMAS M,OUYANGETA C.Choreography Conformance checking:An Approach based on BPEL and Petri Nets[C]∥Proceedings of the 4th Intemational Conferen-ce on Business Process Management.Vierula,Austria,2006.
[2] OUYAJLG C,VERBEEK E,VAN DER ALST W M P,et al.Formal semantics and analysis of control flow in WS-BPEL[J].Science of Computer Programming Archive,2007,67(23):162-198.
[3] FARAHBOD R,GLSSER’ U,VAJIHOLLAHI M.A formal semantics for the Business Process Execution Language for Web Services[C]∥Web Services and Model-Driven Enterprise Information Services.2005.
[4] VERBEEK H,VAN DER ALST W M P.Analyzing BPEL pro-cesses using Petri-Nets[C]∥Second International Workshop on Application of Petri-Nets to Coordination Workflow and Business Process Management.2005.
[5] SCHMIDT K,STAHL C.A Petri net semantic for BPEL4WS Validation and application[J].Proceedings of the 11th Workshop on Algorithms and Tools for Petri-Nets.Paderbom,2004,75(21):1-6.
[6] HINZ S,SCHMIDT K,STAHL C.Transforming BPEL to Petri Nets[C]∥International Conference on Business Process Manage-ment.2005:220-235.
[7] STAHL C.A Petri Net Semantics for BPEL:Technical Repert 188[R].Humboldt University Zu Berlin,Institut for Informatik, 2005.
[8] HOLZMANN G J.The Spin Model Checker:Primer and Re-ference Manual[D].Addison-Wesley,Boston,MA,USA:2004.
[9] SCHMIDT K.LoL A-a low 1evel analyser[C]∥Proceedings of the 21st Intemational Conference on Application and Theory of Petri Nets,Volume1 825 of Lecture Notes in Computer Science.Aarhus,Demnark:Springer,Verlag,2000:465-474.
[10] LOHMANN N.A Feature-Complete Petri Net Semantics or WS-BPEL2.0[C]∥Web Services and Formal Methods International Workshop(WSFM07).2007:77-91.
[11] SUN Xi-long.Research on Web Service Composition TestingBased on BPEL[D].Beijing:Beijing University of Technology,2009.(in Chinese) 孙喜龙.基于BPEL的Web服务组合测试研究[D].北京:北京工业大学,2009.
[12] YU Bo.Application of Petri Net to Improve the Correctness of BPEL Program[J].Application Research of Computers,2011(28):3348-3350.(in Chinese) 余波.应用Petri网改进BPEL程序的正确性[J].计算机应用研究,2011(28):3348-3350.
[13] LUO Xiang-yu,TAN Zheng,SU Kai-le,et al.A Web Service Composition Verification Method Based on Cognitive Model Detection[J].Chinese Journal of Computers,2011(34):1041-1061.(in Chinese) 骆翔宇,谭征,苏开乐,等.一种基于认知模型检测的Web服务组合验证方法[J].计算机学报,2011(34):1041-1061.
[14] SUN Lin,LIU Jiu-fu,YANG Zhen-xing.Software Test Case Ge-neration Method Based on Petri Net[J].Computer Measurement &Control,2010(18):2019-2022.(in Chinese) 孙琳,刘久富,杨振兴.基于Petri网的软件测试用例生成方法[J].计算机测量与控制,2010(18):2019-2022.
[15] MOU Xiao-ling.Research on Service Composition Testing Based on Extended Colored Petri Nets[D].Chongqing:Southwest University, 2012.(in Chinese) 牟小玲.基于扩展着色Petri网的服务组合测试研究[D].重庆:西南大学,2012.

No related articles found!
Full text



[1] LEI Li-hui and WANG Jing. Parallelization of LTL Model Checking Based on Possibility Measure[J]. Computer Science, 2018, 45(4): 71 -75, 88 .
[2] XIA Qing-xun and ZHUANG Yi. Remote Attestation Mechanism Based on Locality Principle[J]. Computer Science, 2018, 45(4): 148 -151, 162 .
[3] LI Bai-shen, LI Ling-zhi, SUN Yong and ZHU Yan-qin. Intranet Defense Algorithm Based on Pseudo Boosting Decision Tree[J]. Computer Science, 2018, 45(4): 157 -162 .
[4] WANG Huan, ZHANG Yun-feng and ZHANG Yan. Rapid Decision Method for Repairing Sequence Based on CFDs[J]. Computer Science, 2018, 45(3): 311 -316 .
[5] SUN Qi, JIN Yan, HE Kun and XU Ling-xuan. Hybrid Evolutionary Algorithm for Solving Mixed Capacitated General Routing Problem[J]. Computer Science, 2018, 45(4): 76 -82 .
[6] ZHANG Jia-nan and XIAO Ming-yu. Approximation Algorithm for Weighted Mixed Domination Problem[J]. Computer Science, 2018, 45(4): 83 -88 .
[7] WU Jian-hui, HUANG Zhong-xiang, LI Wu, WU Jian-hui, PENG Xin and ZHANG Sheng. Robustness Optimization of Sequence Decision in Urban Road Construction[J]. Computer Science, 2018, 45(4): 89 -93 .
[8] LIU Qin. Study on Data Quality Based on Constraint in Computer Forensics[J]. Computer Science, 2018, 45(4): 169 -172 .
[9] ZHONG Fei and YANG Bin. License Plate Detection Based on Principal Component Analysis Network[J]. Computer Science, 2018, 45(3): 268 -273 .
[10] SHI Wen-jun, WU Ji-gang and LUO Yu-chun. Fast and Efficient Scheduling Algorithms for Mobile Cloud Offloading[J]. Computer Science, 2018, 45(4): 94 -99, 116 .