Modeling and Model Checking Web Services
Electronic Notes in Theoretical Computer Science (2005)
- ISSN: 15710661
- DOI: 10.1016/j.entcs.2004.11.011
Available from linkinghub.elsevier.com
or
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.
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more
- All your research in one place
- Add and import papers easily
- Access it anywhere, anytime
Start using Mendeley in seconds!
Readership Statistics
9 Readers on Mendeley
by Discipline
11% Economics
by Academic Status
78% Ph.D. Student
11% Student (Master)
11% Lecturer
by Country
33% Germany
22% Australia
11% United Kingdom