Abstract | ||
---|---|---|
To reduce interoperability problems arising from ambiguous or incomplete Web services protocol specifications, we have recently introduced a formal framework, which allows modelling and automatic verification of such protocols. However, interoperability problems can still occur due to incorrect implementations. In this paper, we introduce a sniffer based approach to check the conformance of a protocol's implementation to its specification; messages of the actual implementations are captured, processed and checked against the specification's formal model. We also briefly illustrate the application of our framework using a version of the WS-AtomicTransaction protocol |
Year | DOI | Venue |
---|---|---|
2006 | 10.1109/ISPDC.2006.5 | Timisoara |
Keywords | DocType | ISBN |
collaborative use,ws protocols conformance checking,scientific instrument,multiple organization,high-end computer,protocols,computer science,testing,formal verification,sniffer,web services,automata,formal specifications,formal specification,interoperability,open systems,conformance testing,web service | Conference | 0-7695-2638-1 |
Citations | PageRank | References |
11 | 0.81 | 12 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pemadeep Ramsokul | 1 | 25 | 2.30 |
Arcot Sowmya | 2 | 319 | 60.05 |