Paper Info
Title
Modeling and Model Checking Web Services
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.
Year
DOI
Venue
2005
10.1016/j.entcs.2004.11.011
Electr. Notes Theor. Comput. Sci.
Keywords
Field
DocType
temporal logic,service oriented architecture,model checking,web service
Model checking,Programming language,WS-Addressing,Computer science,Correctness,WS-I Basic Profile,Data Web,Theoretical computer science,Web modeling,Web service,Service-oriented architecture
Journal
Volume
Issue
ISSN
126,
C
1571-0661
Citations 
PageRank 
References 
32
1.32
8
Authors
3
Name
Order
Citations
PageRank
Bernd-holger Schlingloff119519.56
Axel Martens258233.46
Karsten Schmidt334820.00