Modeling and Model Checking Web Services
Bernd–Holger Schlingloff, Axel Martens, Karsten Schmidt · Electronic Notes in Theoretical Computer Science · 2005
We give an overview on web services and the web service technology stack. We then show how to build Petri net models of web services formulated in the specification language BPEL4WS. We define an abstract correctness criterion for these models and study the automated verification according to this criterion. Finally, we relate correctness of web service models to the model checking problem for alternating temporal logics.