A Sniffer Based Approach to WS Protocols Conformance Checking

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Pemadeep Ramsokul Articles by Arcot Sowmya

Proceedings of The Fifth International Symposium on Parallel and Distributed Computing (ISPDC'06)

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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISPDC.2006.5

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.