ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols.

Pemadeep Ramsokul Arcot Sowmya

Published in: SEFM (2006)

Keyphrases

main contribution
probabilistic model
theoretical framework
communication protocols
data sets
web services
lightweight
service oriented
service composition
service quality
user centric
service integration