Abstract | ||
---|---|---|
Transactions across composed Web services (WS) are usually non-trivial and require the use of some pre-agreed or standard protocols. Proper specification and implementation of these protocols are critical for the correct execution and termination of transactions; incomplete or ambiguous specifications can give rise to interoperability problems. We have recently proposed a framework for specifying and verifying WS protocols. In this paper, we propose a test bed based on this framework for finding bugs in implementations of WS protocols especially when the number of entities that can participate is not always the same, which is typical of transaction protocols. We also illustrate the utility of our test bed using the implementation of an actual WS protocol. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1109/ICIW.2007.12 | Morne |
Keywords | Field | DocType |
volatile nature,dynamic verification,ensuring dependability,web services protocols,intricate task,test bed,web service,protocols,testing,formal specifications,computer bugs,automata,formal specification,web services,computer science,phase detection | Software engineering,Computer science,Interoperability,Software bug,Automaton,Formal specification,Implementation,Web service,Database transaction,Database,Distributed computing | Conference |
ISBN | Citations | PageRank |
0-7695-2844-9 | 5 | 0.53 |
References | Authors | |
10 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pemadeep Ramsokul | 1 | 25 | 2.30 |
Arcot Sowmya | 2 | 319 | 60.05 |
S. Ramesh | 3 | 102 | 6.74 |