From: A verification strategy for web services composition using enhanced stacked automata model
States | Proposed model-Amend Muller Substantiation algorithm –Response Time (ms) | Web service translator tool and uppaal tool used for verification of the composed web services-Timed Automata (Cambronero et al. 2011 ; Jin Song et al. 2006 )-Response Time (ms) | CWS-PNs methodology for analysis, design and validation of web service choreographies based on (Yang et al. 2005 ) CPN-Response Time (ms) |
---|---|---|---|
4 | 5 | 4 | 10 |
8 | 7 | 3 | 20 |
10 | 9 | 5 | 30 |
12 | 12 | 10 | 32 |
14 | 15 | 17 | 43 |