Test case generation for BPEL-based web service composition using Colored Petri Nets

2016 ◽  
Author(s):  
Hosney Jahan ◽  
Sana Rao ◽  
Dongmei Liu
Keyword(s):  
Petri Nets ◽  
Web Service ◽  
Service Composition ◽  
Web Service Composition ◽  
Colored Petri Nets ◽  
Test Case Generation ◽  
Test Case

Test Case Generation of Web Service Composition: An Approach Based on the Color Petri Net

2013 ◽  
Vol 336-338 ◽  
pp. 2063-2070 ◽  
Author(s):  
Yu Ying Wang ◽  
Ping Chen
Keyword(s):  
Web Service ◽  
Petri Net ◽  
Service Composition ◽  
Web Service Composition ◽  
Test Case Generation ◽  
Test Case ◽  
Test Cases ◽  
Constraint Set ◽  
Bpel Processes

Based on CP-nets models, an approach of test case generation is proposed for BPEL processes, with which the semantic of BPEL concurrence is well dealt. Firstly, a web service composition which coded in BPEL language is expressed as CP-net models on which depth-first traversal works immediately, and result in sequence test paths obtained. After merging these sequence test paths into program executable units (PEU for short), constraint set of these units is solved and formed into test cases. Finally an application of the approach is illustrated with an example, which more efficiency shown with 7 test units less than 9 test path appear in reference available for same example.

scholarly journals A Comparative Study of Web Service Composition via BPEL and Petri Nets

2014 ◽  
Vol 6 (2) ◽  
pp. 110-113 ◽  
Author(s):  
Mohammad Salah Uddin ◽  
S. Ripon ◽  
Nakul C. Das ◽  
Orin Hossain
Keyword(s):  
Comparative Study ◽  
Petri Nets ◽  
Web Service ◽  
Service Composition ◽  
Web Service Composition

Automatic Web service composition based on Horn clauses and Petri nets

2011 ◽  
Vol 38 (10) ◽  
pp. 13024-13031 ◽  
Author(s):  
Xianfei Tang ◽  
Changjun Jiang ◽  
Mengchu Zhou
Keyword(s):  
Petri Nets ◽  
Web Service ◽  
Service Composition ◽  
Web Service Composition ◽  
Horn Clauses
Sign in / Sign up

Export Citation Format

Share Document