On Verifying Web Service Flows

Authors:
Shin Nakajima
Affiliations:
-
Venue:
SAINT-W '02 Proceedings of the 2002 Symposium on Applications and the Internet (SAINT) Workshops
Year:
2002

Citing 0
Cited 3

Modelling and verifying web service orchestration by means of the concurrency workbench

ACM SIGSOFT Software Engineering Notes
Model-Checking Behavioral Specification of BPEL Applications

Electronic Notes in Theoretical Computer Science (ENTCS)
Application of formal methods to the analysis of web services security

EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes

Quantified Score

Hi-index	0.00

Visualization

Abstract

This position paper discusses needs for verifying Web service flows. It then presents issues and an approach using software model-checking techniques to the subject matter.