loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols
Pune, India
September 11-September 15
ISBN: 0-7695-2678-0
ASCII Text
x 
 
Pemadeep Ramsokul, Arcot Sowmya, "ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols," Software Engineering and Formal Methods, IEEE International Conference on, pp. 196-205, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/SEFM.2006.8,
author = {Pemadeep Ramsokul and Arcot Sowmya},
title = {ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols},
journal ={Software Engineering and Formal Methods, IEEE International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2678-0},
pages = {196-205},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.8},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering and Formal Methods, IEEE International Conference on
TI - ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols
SN - 0-7695-2678-0
SP196
EP205
A1 - Pemadeep Ramsokul,
A1 - Arcot Sowmya,
PY - 2006
KW - null
VL - 0
JA - Software Engineering and Formal Methods, IEEE International Conference on
ER -
 
Pemadeep Ramsokul, UNSW Sydney, Australia
Arcot Sowmya, UNSW Sydney, Australia
Agents require standard and reliable protocols to interact with different service providers in order to provide high quality service to customers over the web. Many useful protocols are coming into the market, but are often ambiguously specified by protocol designers and not fully verified. These can lead to interoperability problems among implementations of the same protocol and high software maintenance costs.

In this paper, we propose a hierarchical automata-based framework to model the necessary features of protocols to verify their correctness. Our experience shows that the graphical models help uncover subtle scenarios and reduce, if not eliminate, ambiguities. We illustrate our formalism with a version of WS-AtomicTransaction protocol.

Citation:
Pemadeep Ramsokul, Arcot Sowmya, "ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols," sefm, pp.196-205, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.