Skip to main content

Table 2 Response time calculation for different models

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