loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Proceedings of The Fifth International Symposium on Parallel and Distributed Computing (ISPDC'06)
A Sniffer Based Approach to WS Protocols Conformance Checking
Timisoara, Romania
July 06-July 09
ISBN: 0-7695-2638-1
ASCII Text
x 
 
Pemadeep Ramsokul, Arcot Sowmya, "A Sniffer Based Approach to WS Protocols Conformance Checking," Parallel and Distributed Computing, International Symposium on, pp. 58-65, Proceedings of The Fifth International Symposium on Parallel and Distributed Computing (ISPDC'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ISPDC.2006.5,
author = {Pemadeep Ramsokul and Arcot Sowmya},
title = {A Sniffer Based Approach to WS Protocols Conformance Checking},
journal ={Parallel and Distributed Computing, International Symposium on},
volume = {0},
year = {2006},
isbn = {0-7695-2638-1},
pages = {58-65},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISPDC.2006.5},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Parallel and Distributed Computing, International Symposium on
TI - A Sniffer Based Approach to WS Protocols Conformance Checking
SN - 0-7695-2638-1
SP58
EP65
A1 - Pemadeep Ramsokul,
A1 - Arcot Sowmya,
PY - 2006
KW - conformance checking
KW - interoperability
KW - web services
KW - protocols
KW - sniffer
VL - 0
JA - Parallel and Distributed Computing, International Symposium on
ER -
 
Pemadeep Ramsokul, UNSW Sydney, Australia; National ICT Australia (NICTA), Australia
Arcot Sowmya, UNSW Sydney, Australia; UNSW Asia, Singapore; National ICT Australia (NICTA), Australia
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 WSAtomicTransaction protocol.

Index Terms:
conformance checking, interoperability, web services, protocols, sniffer
Citation:
Pemadeep Ramsokul, Arcot Sowmya, "A Sniffer Based Approach to WS Protocols Conformance Checking," ispdc, pp.58-65, Proceedings of The Fifth International Symposium on Parallel and Distributed Computing (ISPDC'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.