Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9655941 | Electronic Notes in Theoretical Computer Science | 2005 | 24 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Holger Schlingloff, Axel Martens, Karsten Schmidt,