Paper Info
Title
ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols
Abstract
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.
Year
DOI
Venue
2006
10.1109/SEFM.2006.8
SEFM
Keywords
Field
DocType
different service provider,useful protocol,verification ofweb services protocols,necessary feature,high quality service,protocol designer,high software maintenance cost,hierarchical automata-based framework,graphical model,reliable protocol,ws-atomictransaction protocol,open systems,service providers,protocols,software maintenance,internet,service provider,automata theory
Automata theory,Service quality,Interoperability,Computer science,Correctness,Implementation,Service provider,Software maintenance,Distributed computing,The Internet
Conference
ISBN
Citations 
PageRank 
0-7695-2678-0
9
0.63
References 
Authors
16
2
Name
Order
Citations
PageRank
Pemadeep Ramsokul1252.30
Arcot Sowmya231960.05