Paper Info
Title
A Sniffer Based Approach to WS Protocols Conformance Checking
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 Ramsokul1252.30
Arcot Sowmya231960.05